pub const kHighsModelStatusOptimal: HighsInt = 7;