pub const kHighsModelStatusObjectiveBound: HighsInt = 11;