pub const kHighsPresolveStatusTimeout: HighsInt = 5;