pub const kHighsModelStatusInterrupt: HighsInt = 17;