Haus

[5,7,5] 00:00:00.1 first solution 00:00:01.0 uniq 5 status timer expired		[3,17,3] 00:00:04.6 first solution 00:00:05.3 uniq 1 status stop: max solutions reached		[3,20,3] 00:01:22.8 first solution 00:01:23.1 uniq 1 status stop: max solutions reached
[3,20,3] 00:00:09.2 first solution 00:00:09.7 uniq 1 status stop: max solutions reached		[5,7,5] 00:00:01.4 first solution 00:00:01.7 uniq 1 status stop: max solutions reached		[5,9,5] 00:00:00.4 first solution 00:00:00.7 uniq 1 status stop: max solutions reached
[5,9,5] 00:00:00.1 first solution 00:00:00.2 uniq 1 status stop: max solutions reached