Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers