Constant CPXPARAM_MIP_PolishAfter_DetTime 

pub const CPXPARAM_MIP_PolishAfter_DetTime: u32 = 2151;