pub const kHighsModelStatusModelEmpty: HighsInt = 6;