CP solvers bigger format (2)