pub const STATUS_WARNING: HighsInt = 1;