pub const kHighsModelStatusTimeLimit: HighsInt = 13;