pub const kHighsCallbackLogging: HighsInt = 0;