pub const CPXPARAM_Benders_WorkerAlgorithm: u32 = 1500;