Properties
The shift assignments extracted from the solution.
Error message if the solver returned an error status.
Solver performance statistics (branches, conflicts, solve time).
The solver outcome: OPTIMAL, FEASIBLE, INFEASIBLE, TIMEOUT, or ERROR.