pub const HighsStatuskError: HighsInt = -1;