Raute

[11,11,1] 00:00:00.1 first solution 00:00:01.0 uniq 4 status timer expired		[12,12,1] 00:00:00.2 first solution 00:00:01.0 uniq 1 status timer expired		[13,13,1] 00:00:00.1 first solution 00:00:01.0 uniq 5 status timer expired
[15,15,1] 00:00:00.0 first solution 00:00:01.0 uniq 1583 status timer expired		[27,29,1] 00:00:05.7 first solution 00:00:05.8 uniq 1 status stop: max solutions reached