Nicht gruppiert

[10,13,1] 00:00:00.0 first solution 00:00:00.1 uniq 3 status DONE		[11,11,1] 00:00:00.0 first solution 00:00:01.0 uniq 10299 status timer expired		[23,35,1] first solution 01:00:00.0 uniq 0 status timer expired
[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 1 status stop: max solutions reached		[5,45,1] 00:00:01.1 first solution 00:00:01.2 uniq 1 status stop: max solutions reached		[6,54,1] 00:00:17.9 first solution 00:00:17.9 uniq 1 status stop: max solutions reached
[15,21,1] first solution 01:00:00.0 uniq 0 status timer expired		[15,20,1] 00:00:10.5 first solution 00:00:10.6 uniq 1 status stop: max solutions reached		[11,71,1] 00:19:18.3 first solution 00:19:18.9 uniq 1 status stop: max solutions reached
[25,39,1] first solution 01:00:00.0 uniq 0 status timer expired