pub const MODEL_STATUS_MODEL_ERROR: HighsInt = 2;