pub const kHighsModelStatusModelError: HighsInt = 2;