pub const CPXMIP_ABORT_FEAS: u32 = 113;