Constant CPXPARAM_RandomSeed 

pub const CPXPARAM_RandomSeed: u32 = 1124;