pub const kHighsModelStatusSolveError: HighsInt = 4;