pub const MODEL_STATUS_POSTSOLVE_ERROR: HighsInt = 5;