Constant CPX_PARAM_MIPINTERVAL 

pub const CPX_PARAM_MIPINTERVAL: u32 = 2013;