| AbsoluteGap | Gets the nonnegative distance between incumbent objective and bound, or null if unavailable. |
| BestBound | Gets the global objective bound, or null if no finite bound is available. |
| ExtremumType | Gets the original optimization direction. |
| HasIncumbent | Gets whether an integer feasible incumbent was found. |
| Incumbent | Gets a protected copy of the incumbent in original variable order, or null if none was found. |
| IncumbentObjective | Gets the incumbent objective, or null if there is no incumbent or its objective is not finite. |
| NodesEvaluated | Gets the number of node evaluations begun, including the root and failed evaluations. |
| NodesRemaining | Gets the number of unresolved branches when the solve ended, including skipped or failed branches. |
| ProofStatus | Gets the optimality or infeasibility conclusion established by the solve. |
| RelativeGap | Gets AbsoluteGap divided by max(1, abs(IncumbentObjective)), or null if unavailable. |
| TerminationReason | Gets why the solve ended, independently of whether an incumbent exists. |