CO solvers indicate if they produced an optimal solution