pub const kHighsModelStatusPresolveError: HighsInt = 3;