pub const kHighsCallbackMipLogging: HighsInt = 4;