Added optimality-verifying output