Nicht gruppiert

[4,5,5] 00:00:00.2 first solution 00:00:01.0 uniq 5 status timer expired		[5,5,3] 00:00:00.1 first solution 00:00:01.0 uniq 14 status timer expired		[5,5,4] 00:00:00.1 first solution 00:00:00.5 uniq 1 status DONE
[5,5,5] 00:00:00.1 first solution 00:00:01.0 uniq 88 status timer expired		[6,2,6] 00:00:00.1 first solution 00:00:00.5 uniq 5 status DONE		[7,2,3] 00:00:00.0 first solution 00:00:00.0 uniq 6 status DONE
[7,7,7] 00:00:00.1 first solution 00:00:01.0 uniq 55 status timer expired		[8,8,8] 00:00:00.0 first solution 00:00:00.2 uniq 35 status DONE		[11,4,5] 00:00:00.2 first solution 00:00:01.0 uniq 672 status timer expired
[13,4,5] 00:00:01.4 first solution 00:00:01.6 uniq 1 status stop: max solutions reached		[9,3,9] 00:00:10.0 first solution 00:00:10.3 uniq 1 status stop: max solutions reached		[3,14,23] first solution 01:00:00.0 uniq 0 status timer expired
[3,11,23] first solution 01:00:00.1 uniq 0 status timer expired		[7,9,25] first solution 01:00:00.0 uniq 0 status timer expired		[14,4,5] 00:00:00.2 first solution 00:00:00.6 uniq 1 status stop: max solutions reached