Solving Multi-Configuration Problems: A Performance Analysis with Choco Solver