pub const kHighsCallbackIpmInterrupt: HighsInt = 2;