Do not restart when a solution is found
Do not restart when a solution is found

git-svn-id: 2d17a59ec5406331c31d756b3601458bc52cc290@14382 64335634-5103-0410-b293-fc3d331e086d

cp-profiler/gecode-profiling,cp-profiler/gecode-profiling,cp-profiler/gecode-profiling,cp-profiler/gecode-profiling