pub const kHighsMaximumStringLength: HighsInt = 512;