*** pazul started : Tue Jun 04 22:19:17 2013 ---[ 3, 3] / ( 0, 6) : 52 ( 52) 0 msec ---[ 3, 3] / ( 1, 5) : 100 ( 89) 0 msec ---[ 3, 3] / ( 2, 4) : 30 ( 66) 0 msec ---[ 3, 3] / ( 3, 4) : 244 ( 137) 0 msec ---[ 3, 3] / ( 4, 3) : 24 ( 76) 0 msec ---[ 3, 3] / ( 5, 3) : 156 ( 120) 0 msec ---[ 3, 3] / ( 6, 3) : 228 ( 145) 0 msec ---[ 3, 3] / ( 7, 2) : 40 ( 52) 0 msec ---[ 3, 3] / ( 8, 2) : 60 ( 54) 0 msec ---[ 3, 3] / ( 9, 2) : 12 ( 54) 0 msec ---[ 3, 3] / (10, 1) : 8 ( 11) 0 msec ---[ 3, 3] / (11, 1) : 8 ( 11) 0 msec ---[ 3, 3] / (14, 0) : 1 ( 1) 0 msec ===[ 3, 3] total 15 msec ---[ 4, 4] / ( 0, 9) : 16 ( 185) 0 msec ---[ 4, 4] / ( 1, 9) : 4972 ( 2316) 0 msec ---[ 4, 4] / ( 2, 8) : 1798 ( 2424) 0 msec ---[ 4, 4] / ( 3, 7) : 168 ( 1489) 0 msec ---[ 4, 4] / ( 4, 7) : 5720 ( 4584) 0 msec ---[ 4, 4] / ( 5, 6) : 312 ( 2230) 0 msec ---[ 4, 4] / ( 6, 6) : 4230 ( 5096) 16 msec ---[ 4, 4] / ( 7, 5) : 80 ( 2327) 0 msec ---[ 4, 4] / ( 8, 5) : 1164 ( 4516) 0 msec ---[ 4, 4] / ( 9, 5) : 7144 ( 6470) 0 msec ---[ 4, 4] / (10, 4) : 84 ( 2514) 0 msec ---[ 4, 4] / (11, 4) : 784 ( 3037) 0 msec ---[ 4, 4] / (12, 4) : 3020 ( 3225) 0 msec ---[ 4, 4] / (13, 3) : 8 ( 889) 0 msec ---[ 4, 4] / (14, 3) : 156 ( 894) 0 msec ===[ 4, 4] total 16 msec ---[ 5, 5] / ( 0,14) : 448 ( 6785) 15 msec ---[ 5, 5] / ( 1,13) : 208 ( 8429) 0 msec ---[ 5, 5] / ( 2,12) : 16 ( 3361) 16 msec ---[ 5, 5] / ( 3,12) : 28030 ( 39917) 94 msec ---[ 5, 5] / ( 4,11) : 2092 ( 8880) 15 msec ---[ 5, 5] / ( 5,11) : 151276 ( 67208) 297 msec ---[ 5, 5] / ( 6,10) : 6716 ( 11839) 31 msec ---[ 5, 5] / ( 7,10) : 196528 ( 76554) 405 msec ---[ 5, 5] / ( 8, 9) : 4896 ( 12494) 16 msec ---[ 5, 5] / ( 9, 9) : 99740 ( 78098) 328 msec ---[ 5, 5] / (10, 8) : 1038 ( 12560) 16 msec ---[ 5, 5] / (11, 8) : 21422 ( 78197) 172 msec ---[ 5, 5] / (12, 7) : 40 ( 12514) 15 msec ---[ 5, 5] / (13, 7) : 1624 ( 75246) 78 msec ---[ 5, 5] / (14, 7) : 19112 ( 242490) 219 msec ===[ 5, 5] total 1763 msec ---[ 6, 6] / ( 0,19) : 16 ( 1761) 15 msec ---[ 6, 6] / ( 1,19) : 13632 ( 361198) 265 msec ---[ 6, 6] / ( 2,18) : 2752 ( 323816) 203 msec ---[ 6, 6] / ( 3,17) : 72 ( 116834) 78 msec ---[ 6, 6] / ( 4,17) : 371612 ( 2678292) 780 msec ---[ 6, 6] / ( 5,16) : 20300 ( 569214) 171 msec ---[ 6, 6] / ( 6,16) : 4239420 ( 6960858) 1653 msec ---[ 6, 6] / ( 7,15) : 161024 ( 1157496) 281 msec ---[ 6, 6] / ( 8,15) : 11181548 (10533220) 2667 msec ---[ 6, 6] / ( 9,14) : 278384 ( 1546066) 343 msec ---[ 6, 6] / (10,14) : 11129340 (12316203) 3136 msec ---[ 6, 6] / (11,13) : 165500 ( 1711480) 358 msec ---[ 6, 6] / (12,13) : 5117504 (12948555) 2730 msec ---[ 6, 6] / (13,12) : 37360 ( 1764725) 312 msec ---[ 6, 6] / (14,12) : 1138828 (13127423) 2090 msec ===[ 6, 6] total 15428 msec ---[ 7, 7] / ( 0,26) : 544 ( 163767) 2308 msec ---[ 7, 7] / ( 1,25) : 248 ( 167448) 1170 msec ---[ 7, 7] / ( 2,24) : 16 ( 54288) 390 msec ---[ 7, 7] / ( 3,24) : 51436 ( 4699243) 127779 msec ---[ 7, 7] / ( 4,23) : 2232 ( 703693) 6458 msec