A Constraint Programming Approach for the Service Consolidation Problem