pub const HighsStatuskWarning: HighsInt = 1;