pub const kHighsModelStatusPostsolveError: HighsInt = 5;