geteilt

[6,16,1] 00:00:00.1 first solution 00:00:00.4 uniq 56 status DONE		[9,8,1] 00:00:00.0 first solution 00:00:00.2 uniq 12 status DONE		[9,8,1] 00:00:00.1 first solution 00:00:00.2 uniq 12 status DONE
[10,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 5 status DONE		[11,13,1] 00:00:00.0 first solution 00:00:00.1 uniq 10 status DONE		[13,5,1] 00:00:00.1 first solution 00:00:00.1 uniq 16 status DONE
[16,6,1] 00:00:00.0 first solution 00:00:00.2 uniq 36 status DONE		[17,5,1] 00:00:00.0 first solution 00:00:00.1 uniq 37 status DONE		[19,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 23 status DONE
[21,4,1] 00:00:00.1 first solution 00:00:01.0 uniq 62300 status timer expired		[13,5,1] 00:00:00.1 first solution 00:00:00.1 uniq 1 status stop: max solutions reached		[16,6,1] 00:00:00.1 first solution 00:00:00.1 uniq 1 status stop: max solutions reached