c wbo 1.4 beta - 20100610 c | Number of variables: 559 | c | Number of clauses: 14658 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 809 | c | Number Clauses: 14599 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 809 14599 57437 | 5000 0 nan | 0.000 % | c | 100 | 809 14599 57437 | 5500 100 4 | 0.000 % | c | 250 | 809 14599 57437 | 6050 250 4 | 0.000 % | c | 475 | 809 14599 57437 | 6655 475 5 | 0.000 % | c | 812 | 809 14599 57437 | 7320 812 5 | 0.000 % | c | 1318 | 809 14599 57437 | 8052 1318 5 | 0.000 % | c | 2077 | 809 14599 57437 | 8857 2077 5 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 2843 | 809 14600 57746 | 5000 2843 5 | 0.000 % | c | 2943 | 809 14600 57746 | 5500 2943 5 | 0.000 % | c | 3093 | 809 14600 57746 | 6050 3093 5 | 0.000 % | c | 3318 | 809 14600 57746 | 6655 3318 5 | 0.000 % | c | 3655 | 809 14600 57746 | 7320 3655 5 | 0.000 % | c | 4161 | 809 14600 57746 | 8052 4161 5 | 0.000 % | c | 4920 | 809 14600 57746 | 8857 4920 5 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 5264 | 809 14601 58055 | 5000 5264 5 | 0.000 % | c | 5364 | 809 14601 58055 | 5500 2732 5 | 0.000 % | c | 5514 | 809 14601 58055 | 6050 2882 5 | 0.000 % | c | 5739 | 809 14601 58055 | 6655 3107 5 | 0.000 % | c | 6076 | 809 14601 58055 | 7320 3444 5 | 0.000 % | c | 6582 | 809 14601 58055 | 8052 3950 5 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 7339 | 809 14602 58364 | 5000 4707 5 | 0.000 % | c | 7439 | 809 14602 58364 | 5500 4807 5 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 7499 | 809 14603 58673 | 5000 4867 5 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 7528 | 809 14604 58982 | 5000 4896 5 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s c =============================================================================== c | 7540 | 809 14605 59291 | 5000 4908 5 | 0.000 % | c | 7640 | 809 14605 59291 | 5500 5008 5 | 0.001 % | c | 7790 | 809 14605 59291 | 6050 5158 5 | 0.000 % | c | 8015 | 809 14605 59291 | 6655 5383 5 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 8120 | 809 14606 59600 | 5000 5488 5 | 0.000 % | c | 8220 | 809 14606 59600 | 5500 2844 5 | 0.000 % | c | 8370 | 809 14606 59600 | 6050 2994 5 | 0.000 % | c | 8595 | 809 14606 59600 | 6655 3219 5 | 0.000 % | c | 8932 | 809 14606 59600 | 7320 3556 5 | 0.000 % | c | 9438 | 809 14606 59600 | 8052 4062 5 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 9729 | 809 14607 59909 | 5000 4353 5 | 0.000 % | c | 9829 | 809 14607 59909 | 5500 4453 5 | 0.000 % | c | 9979 | 809 14607 59909 | 6050 4603 5 | 0.000 % | c | 10204 | 809 14607 59909 | 6655 4828 5 | 0.000 % | c | 10541 | 809 14607 59909 | 7320 5165 5 | 0.000 % | c | 11047 | 809 14607 59909 | 8052 5671 5 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.44478 s Remaining CPU time: 178.555 s c =============================================================================== c | 11182 | 809 14608 60218 | 5000 5806 5 | 0.000 % | c | 11282 | 809 14608 60218 | 5500 3003 5 | 0.000 % | c | 11432 | 809 14608 60218 | 6050 3153 5 | 0.000 % | c | 11657 | 809 14608 60218 | 6655 3378 5 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 11824 | 809 14609 60527 | 5000 3545 5 | 0.000 % | c | 11924 | 809 14609 60527 | 5500 3645 5 | 0.000 % | c | 12074 | 809 14609 60527 | 6050 3795 5 | 0.000 % | c | 12299 | 809 14609 60527 | 6655 4020 5 | 0.000 % | c | 12636 | 809 14609 60527 | 7320 4357 5 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.76273 s Remaining CPU time: 178.237 s c =============================================================================== c | 13027 | 809 14610 60836 | 5000 4748 5 | 0.000 % | c | 13127 | 809 14610 60836 | 5500 4848 5 | 0.000 % | c | 13277 | 809 14610 60836 | 6050 4998 5 | 0.000 % | c | 13502 | 809 14610 60836 | 6655 5223 5 | 0.000 % | c | 13839 | 809 14610 60836 | 7320 5560 5 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.00669 s Remaining CPU time: 177.993 s c =============================================================================== c | 14316 | 809 14611 61145 | 5000 6037 5 | 0.000 % | c | 14416 | 809 14611 61145 | 5500 3119 5 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.07668 s Remaining CPU time: 177.923 s c =============================================================================== c | 14565 | 809 14612 61454 | 5000 3268 5 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.08368 s Remaining CPU time: 177.916 s c =============================================================================== c | 14582 | 809 14613 61763 | 5000 3285 5 | 0.000 % | c | 14682 | 809 14613 61763 | 5500 3385 5 | 0.000 % | c | 14832 | 809 14613 61763 | 6050 3535 5 | 0.000 % | c | 15057 | 809 14613 61763 | 6655 3760 5 | 0.000 % | c | 15394 | 809 14613 61763 | 7320 4097 5 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.36164 s Remaining CPU time: 177.638 s c =============================================================================== c | 15703 | 809 14614 62072 | 5000 4406 5 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.38664 s Remaining CPU time: 177.613 s c =============================================================================== c | 15770 | 809 14615 62381 | 5000 4473 5 | 0.000 % | c | 15870 | 809 14615 62381 | 5500 4573 5 | 0.000 % | c | 16020 | 809 14615 62381 | 6050 4723 5 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.49862 s Remaining CPU time: 177.501 s c =============================================================================== c | 16168 | 809 14616 62690 | 5000 4871 5 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.50262 s Remaining CPU time: 177.497 s c =============================================================================== c | 16169 | 809 14617 62999 | 5000 4872 5 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.50862 s Remaining CPU time: 177.491 s c =============================================================================== c | 16178 | 809 14618 63308 | 5000 4881 5 | 0.000 % | c | 16278 | 809 14618 63308 | 5500 4981 5 | 0.000 % | c | 16428 | 809 14618 63308 | 6050 5131 5 | 0.000 % | c | 16653 | 809 14618 63308 | 6655 5356 5 | 0.001 % | c | 16990 | 809 14618 63308 | 7320 5693 5 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 3.07653 s Remaining CPU time: 176.923 s c =============================================================================== c | 17450 | 809 14619 63617 | 5000 6153 8 | 0.000 % | c | 17550 | 809 14619 63617 | 5500 3177 12 | 0.000 % | c | 17700 | 809 14619 63617 | 6050 3327 12 | 0.000 % | c | 17925 | 809 14619 63617 | 6655 3552 11 | 0.001 % | c | 18262 | 809 14619 63617 | 7320 3889 11 | 0.000 % | c | 18768 | 809 14619 63617 | 8052 4395 11 | 0.000 % | c | 19527 | 809 14619 63617 | 8857 5154 10 | 0.000 % | c | 20666 | 809 14619 63617 | 9743 6293 10 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 4.45932 s Remaining CPU time: 175.541 s c =============================================================================== c | 21582 | 809 14620 63926 | 5000 7209 10 | 0.000 % | c | 21682 | 809 14620 63926 | 5500 3705 10 | 0.000 % | c | 21832 | 809 14620 63926 | 6050 3855 9 | 0.000 % | c | 22058 | 809 14620 63926 | 6655 4081 10 | 0.000 % | c | 22395 | 809 14620 63926 | 7320 4418 10 | 0.002 % | c | 22901 | 809 14620 63926 | 8052 4924 9 | 0.000 % | c | 23660 | 809 14620 63926 | 8857 5683 9 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 5.14722 s Remaining CPU time: 174.853 s c =============================================================================== c | 23876 | 809 14621 64235 | 5000 5899 9 | 0.000 % | c | 23976 | 809 14621 64235 | 5500 3050 7 | 0.000 % | c | 24126 | 809 14621 64235 | 6050 3200 7 | 0.000 % | c | 24351 | 809 14621 64235 | 6655 3425 7 | 0.000 % | c | 24688 | 809 14621 64235 | 7320 3762 7 | 0.000 % | c | 25194 | 809 14621 64235 | 8052 4268 7 | 0.000 % | c | 25953 | 809 14621 64235 | 8857 5027 6 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 5.74713 s Remaining CPU time: 174.253 s c =============================================================================== c | 26693 | 809 14622 64544 | 5000 5767 6 | 0.000 % | c | 26793 | 809 14622 64544 | 5500 2984 5 | 0.000 % | c | 26943 | 809 14622 64544 | 6050 3134 5 | 0.000 % | c | 27168 | 809 14622 64544 | 6655 3359 5 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 5.9331 s Remaining CPU time: 174.067 s c =============================================================================== c | 27459 | 809 14623 64853 | 5000 3650 5 | 0.000 % | c | 27559 | 809 14623 64853 | 5500 3750 5 | 0.000 % | c | 27709 | 809 14623 64853 | 6050 3900 5 | 0.003 % | c | 27934 | 809 14623 64853 | 6655 4125 5 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 6.09107 s Remaining CPU time: 173.909 s c =============================================================================== c | 28112 | 809 14624 65162 | 5000 4303 5 | 0.000 % | c | 28212 | 809 14624 65162 | 5500 4403 5 | 0.000 % | c | 28362 | 809 14624 65162 | 6050 4553 5 | 0.000 % | c | 28587 | 809 14624 65162 | 6655 4778 5 | 0.000 % | c | 28924 | 809 14624 65162 | 7320 5115 8 | 0.000 % | c | 29430 | 809 14624 65162 | 8052 5621 13 | 0.000 % | c | 30189 | 809 14624 65162 | 8857 6380 20 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 6.85996 s Remaining CPU time: 173.14 s c =============================================================================== c | 30405 | 809 14625 65471 | 5000 6596 19 | 0.000 % | c | 30505 | 809 14625 65471 | 5500 3398 33 | 0.000 % | c | 30655 | 809 14625 65471 | 6050 3548 31 | 0.000 % | c | 30880 | 809 14625 65471 | 6655 3773 30 | 0.000 % | c | 31217 | 809 14625 65471 | 7320 4110 32 | 0.000 % | c | 31723 | 809 14625 65471 | 8052 4616 32 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 7.63184 s Remaining CPU time: 172.368 s c =============================================================================== c | 32331 | 809 14626 65780 | 5000 5224 29 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 7.65084 s Remaining CPU time: 172.349 s c =============================================================================== c | 32354 | 809 14627 66089 | 5000 2635 34 | 0.000 % | c | 32454 | 809 14627 66089 | 5500 2735 32 | 0.000 % | c | 32604 | 809 14627 66089 | 6050 2885 31 | 0.000 % | c | 32829 | 809 14627 66089 | 6655 3110 29 | 0.000 % | c | 33166 | 809 14627 66089 | 7320 3447 27 | 0.000 % | c | 33672 | 809 14627 66089 | 8052 3953 24 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 8.05477 s Remaining CPU time: 171.945 s c =============================================================================== c | 33867 | 809 14628 66398 | 5000 4148 23 | 0.000 % | c | 33967 | 809 14628 66398 | 5500 4248 23 | 0.000 % | c | 34117 | 809 14628 66398 | 6050 4398 22 | 0.000 % | c | 34342 | 809 14628 66398 | 6655 4623 21 | 0.000 % | c | 34679 | 809 14628 66398 | 7320 4960 20 | 0.000 % | c | 35185 | 809 14628 66398 | 8052 5466 19 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 8.43672 s Remaining CPU time: 171.563 s c =============================================================================== c | 35320 | 809 14629 66707 | 5000 5601 18 | 0.000 % | c | 35420 | 809 14629 66707 | 5500 2901 6 | 0.000 % | c | 35570 | 809 14629 66707 | 6050 3051 6 | 0.000 % | c | 35795 | 809 14629 66707 | 6655 3276 6 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 8.63269 s Remaining CPU time: 171.367 s c =============================================================================== c | 35851 | 809 14630 67016 | 5000 3332 6 | 0.000 % | c | 35951 | 809 14630 67016 | 5500 3432 6 | 0.000 % | c | 36101 | 809 14630 67016 | 6050 3582 6 | 0.000 % | c | 36326 | 809 14630 67016 | 6655 3807 6 | 0.000 % | c | 36663 | 809 14630 67016 | 7320 4144 6 | 0.000 % | c | 37169 | 809 14630 67016 | 8052 4650 6 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 9.36558 s Remaining CPU time: 170.634 s c =============================================================================== c | 37859 | 809 14631 67325 | 5000 5340 10 | 0.000 % | c | 37959 | 809 14631 67325 | 5500 2770 18 | 0.000 % | c | 38109 | 809 14631 67325 | 6050 2920 26 | 0.000 % | c | 38335 | 809 14631 67325 | 6655 3146 35 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 9.59154 s Remaining CPU time: 170.408 s c =============================================================================== c | 38656 | 809 14632 67634 | 5000 3467 33 | 0.000 % | c | 38757 | 809 14632 67634 | 5500 3568 34 | 0.000 % | c | 38907 | 809 14632 67634 | 6050 3718 33 | 0.000 % | c | 39132 | 809 14632 67634 | 6655 3943 38 | 0.000 % | c | 39469 | 809 14632 67634 | 7320 4280 35 | 0.002 % | c | 39976 | 809 14632 67634 | 8052 4787 40 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 9.96349 s Remaining CPU time: 170.037 s c =============================================================================== c | 40241 | 809 14633 67943 | 5000 5052 38 | 0.000 % | c | 40341 | 809 14633 67943 | 5500 2626 65 | 0.000 % | c | 40491 | 809 14633 67943 | 6050 2776 64 | 0.000 % | c | 40716 | 809 14633 67943 | 6655 3001 59 | 0.000 % | c | 41053 | 809 14633 67943 | 7320 3338 56 | 0.000 % | c | 41559 | 809 14633 67943 | 8052 3844 53 | 0.000 % | c | 42319 | 809 14633 67943 | 8857 4604 49 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 10.8324 s Remaining CPU time: 169.168 s c =============================================================================== c | 43352 | 809 14634 68252 | 5000 5637 41 | 0.000 % | c | 43452 | 809 14634 68252 | 5500 2919 23 | 0.000 % | c | 43602 | 809 14634 68252 | 6050 3069 22 | 0.000 % | c | 43828 | 809 14634 68252 | 6655 3295 25 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 11.0443 s Remaining CPU time: 168.956 s c =============================================================================== c | 44109 | 809 14635 68561 | 5000 3576 26 | 0.000 % | c | 44209 | 809 14635 68561 | 5500 3676 31 | 0.000 % | c | 44359 | 809 14635 68561 | 6050 3826 31 | 0.000 % | c | 44584 | 809 14635 68561 | 6655 4051 30 | 0.000 % | c | 44921 | 809 14635 68561 | 7320 4388 31 | 0.000 % | c | 45427 | 809 14635 68561 | 8052 4894 38 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 11.6142 s Remaining CPU time: 168.386 s c =============================================================================== c | 46026 | 809 14636 68870 | 5000 5493 34 | 0.000 % | c | 46127 | 809 14636 68870 | 5500 2848 49 | 0.000 % | c | 46277 | 809 14636 68870 | 6050 2998 47 | 0.000 % | c | 46502 | 809 14636 68870 | 6655 3223 59 | 0.000 % | c | 46839 | 809 14636 68870 | 7320 3560 55 | 0.000 % | c | 47345 | 809 14636 68870 | 8052 4066 68 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 12.2911 s Remaining CPU time: 167.709 s c =============================================================================== c | 47935 | 809 14637 69179 | 5000 4656 69 | 0.000 % | c | 48035 | 809 14637 69179 | 5500 4756 67 | 0.000 % | c | 48185 | 809 14637 69179 | 6050 4906 65 | 0.000 % | c | 48410 | 809 14637 69179 | 6655 5131 65 | 0.000 % | c | 48747 | 809 14637 69179 | 7320 5468 62 | 0.000 % | c | 49254 | 809 14637 69179 | 8052 5975 74 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 12.8051 s Remaining CPU time: 167.195 s c =============================================================================== c | 49965 | 809 14638 69488 | 5000 6686 68 | 0.000 % | c | 50065 | 809 14638 69488 | 5500 3443 80 | 0.000 % | c | 50215 | 809 14638 69488 | 6050 3593 77 | 0.000 % | c | 50440 | 809 14638 69488 | 6655 3818 73 | 0.000 % | c | 50778 | 809 14638 69488 | 7320 4156 75 | 0.000 % | c | 51284 | 809 14638 69488 | 8052 4662 67 | 0.000 % | c | 52043 | 809 14638 69488 | 8857 5421 73 | 0.000 % | c | 53182 | 809 14638 69488 | 9743 6560 61 | 0.002 % | c | 54891 | 809 14638 69488 | 10717 8269 77 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 14.3168 s Remaining CPU time: 165.683 s c =============================================================================== c | 55702 | 809 14639 69797 | 5000 9080 70 | 0.000 % | c | 55802 | 809 14639 69797 | 5500 4640 71 | 0.000 % | c | 55952 | 809 14639 69797 | 6050 4790 69 | 0.000 % | c | 56177 | 809 14639 69797 | 6655 5015 66 | 0.000 % | c | 56514 | 809 14639 69797 | 7320 5352 62 | 0.000 % | c | 57021 | 809 14639 69797 | 8052 5859 61 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 14.7928 s Remaining CPU time: 165.207 s c =============================================================================== c | 57587 | 809 14640 70106 | 5000 6425 56 | 0.000 % | c | 57689 | 809 14640 70106 | 5500 3315 35 | 0.000 % | c | 57839 | 809 14640 70106 | 6050 3465 35 | 0.000 % | c | 58064 | 809 14640 70106 | 6655 3690 45 | 0.000 % | c | 58401 | 809 14640 70106 | 7320 4027 55 | 0.000 % | c | 58908 | 809 14640 70106 | 8052 4534 77 | 0.000 % | c | 59667 | 809 14640 70106 | 8857 5293 100 | 0.000 % | c | 60807 | 809 14640 70106 | 9743 6433 126 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 15.8046 s Remaining CPU time: 164.195 s c =============================================================================== c | 62376 | 809 14641 70415 | 5000 8002 127 | 0.000 % | c | 62476 | 809 14641 70415 | 5500 4101 187 | 0.000 % | c | 62626 | 809 14641 70415 | 6050 4251 180 | 0.000 % | c | 62851 | 809 14641 70415 | 6655 4476 174 | 0.000 % | c | 63188 | 809 14641 70415 | 7320 4813 169 | 0.000 % | c | 63694 | 809 14641 70415 | 8052 5319 170 | 0.000 % | c | 64453 | 809 14641 70415 | 8857 6078 151 | 0.000 % | c | 65592 | 809 14641 70415 | 9743 7217 164 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 16.8474 s Remaining CPU time: 163.153 s c =============================================================================== c | 66475 | 809 14642 70724 | 5000 8100 149 | 0.000 % | c | 66576 | 809 14642 70724 | 5500 4151 118 | 0.000 % | c | 66726 | 809 14642 70724 | 6050 4301 114 | 0.000 % | c | 66951 | 809 14642 70724 | 6655 4526 116 | 0.000 % | c | 67289 | 809 14642 70724 | 7320 4864 119 | 0.000 % | c | 67795 | 809 14642 70724 | 8052 5370 110 | 0.000 % | c | 68556 | 809 14642 70724 | 8857 6131 120 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 17.4923 s Remaining CPU time: 162.508 s c =============================================================================== c | 69381 | 809 14643 71033 | 5000 6956 107 | 0.000 % | c | 69481 | 809 14643 71033 | 5500 3578 90 | 0.000 % | c | 69631 | 809 14643 71033 | 6050 3728 86 | 0.000 % | c | 69856 | 809 14643 71033 | 6655 3953 82 | 0.000 % | c | 70193 | 809 14643 71033 | 7320 4290 76 | 0.000 % | c | 70699 | 809 14643 71033 | 8052 4796 68 | 0.000 % | c | 71458 | 809 14643 71033 | 8857 5555 60 | 0.000 % | c | 72597 | 809 14643 71033 | 9743 6694 67 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 18.5132 s Remaining CPU time: 161.487 s c =============================================================================== c | 72884 | 809 14644 71342 | 5000 6981 65 | 0.000 % | c | 72984 | 809 14644 71342 | 5500 3591 43 | 0.000 % | c | 73135 | 809 14644 71342 | 6050 3742 51 | 0.000 % | c | 73360 | 809 14644 71342 | 6655 3967 59 | 0.000 % | c | 73698 | 809 14644 71342 | 7320 4305 74 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 18.7601 s Remaining CPU time: 161.24 s c =============================================================================== c | 74176 | 809 14645 71651 | 5000 4783 67 | 0.000 % | c | 74276 | 809 14645 71651 | 5500 4883 70 | 0.000 % | c | 74427 | 809 14645 71651 | 6050 5034 75 | 0.000 % | c | 74652 | 809 14645 71651 | 6655 5259 83 | 0.000 % | c | 74990 | 809 14645 71651 | 7320 5597 79 | 0.000 % | c | 75497 | 809 14645 71651 | 8052 6104 95 | 0.000 % | c | 76257 | 809 14645 71651 | 8857 6864 112 | 0.000 % | c | 77396 | 809 14645 71651 | 9743 8003 110 | 0.003 % | c | 79104 | 809 14645 71651 | 10717 9711 132 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 19.801 s Remaining CPU time: 160.199 s c =============================================================================== c | 79305 | 809 14646 71960 | 5000 9912 129 | 0.000 % | c | 79405 | 809 14646 71960 | 5500 2537 174 | 0.000 % | c | 79555 | 809 14646 71960 | 6050 2687 165 | 0.000 % | c | 79780 | 809 14646 71960 | 6655 2912 164 | 0.000 % | c | 80117 | 809 14646 71960 | 7320 3249 171 | 0.000 % | c | 80623 | 809 14646 71960 | 8052 3755 158 | 0.000 % | c | 81382 | 809 14646 71960 | 8857 4514 172 | 0.000 % | c | 82521 | 809 14646 71960 | 9743 5653 160 | 0.000 % | c | 84230 | 809 14646 71960 | 10717 7362 168 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 21.1798 s Remaining CPU time: 158.82 s c =============================================================================== c | 84625 | 809 14647 72269 | 5000 7757 168 | 0.000 % | c | 84726 | 809 14647 72269 | 5500 3980 167 | 0.000 % | c | 84876 | 809 14647 72269 | 6050 4130 169 | 0.000 % | c | 85102 | 809 14647 72269 | 6655 4356 173 | 0.000 % | c | 85439 | 809 14647 72269 | 7320 4693 170 | 0.000 % | c | 85945 | 809 14647 72269 | 8052 5199 176 | 0.000 % | c | 86705 | 809 14647 72269 | 8857 5959 186 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 21.8727 s Remaining CPU time: 158.127 s c =============================================================================== c | 87551 | 809 14648 72578 | 5000 6805 166 | 0.000 % | c | 87651 | 809 14648 72578 | 5500 3503 166 | 0.000 % | c | 87801 | 809 14648 72578 | 6050 3653 169 | 0.000 % | c | 88028 | 809 14648 72578 | 6655 3880 174 | 0.000 % | c | 88365 | 809 14648 72578 | 7320 4217 165 | 0.000 % | c | 88871 | 809 14648 72578 | 8052 4723 156 | 0.000 % | c | 89630 | 809 14648 72578 | 8857 5482 142 | 0.000 % | c | 90770 | 809 14648 72578 | 9743 6622 156 | 0.000 % | c | 92478 | 809 14648 72578 | 10717 8330 170 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 22.9805 s Remaining CPU time: 157.019 s c =============================================================================== c | 92857 | 809 14649 72887 | 5000 8709 164 | 0.000 % | c | 92958 | 809 14649 72887 | 5500 4456 169 | 0.000 % | c | 93109 | 809 14649 72887 | 6050 4607 172 | 0.000 % | c | 93337 | 809 14649 72887 | 6655 4835 176 | 0.000 % | c | 93674 | 809 14649 72887 | 7320 5172 166 | 0.000 % | c | 94180 | 809 14649 72887 | 8052 5678 173 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 23.3644 s Remaining CPU time: 156.636 s c =============================================================================== c | 94458 | 809 14650 73196 | 5000 5956 166 | 0.000 % | c | 94558 | 809 14650 73196 | 5500 3078 145 | 0.000 % | c | 94708 | 809 14650 73196 | 6050 3228 139 | 0.000 % | c | 94933 | 809 14650 73196 | 6655 3453 130 | 0.000 % | c | 95270 | 809 14650 73196 | 7320 3790 119 | 0.000 % | c | 95777 | 809 14650 73196 | 8052 4297 125 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 23.8644 s Remaining CPU time: 156.136 s c =============================================================================== c | 96440 | 809 14651 73505 | 5000 4960 109 | 0.000 % | c | 96540 | 809 14651 73505 | 5500 5060 107 | 0.000 % | c | 96690 | 809 14651 73505 | 6050 5210 104 | 0.000 % | c | 96916 | 809 14651 73505 | 6655 5436 101 | 0.000 % | c | 97254 | 809 14651 73505 | 7320 5774 110 | 0.000 % | c | 97760 | 809 14651 73505 | 8052 6280 121 | 0.000 % | c | 98519 | 809 14651 73505 | 8857 7039 130 | 0.000 % | c | 99659 | 809 14651 73505 | 9743 8179 147 | 0.000 % | c | 101368 | 809 14651 73505 | 10717 9888 147 | 0.000 % | c | 103930 | 809 14651 73505 | 11789 6935 199 | 0.000 % | c | 107775 | 809 14651 73505 | 12968 10780 217 | 0.001 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 27.1939 s Remaining CPU time: 152.806 s c =============================================================================== c | 108819 | 809 14652 73814 | 5000 11824 203 | 0.001 % | c | 108920 | 809 14652 73814 | 5500 3057 165 | 0.000 % | c | 109072 | 809 14652 73814 | 6050 3209 169 | 0.000 % | c | 109298 | 809 14652 73814 | 6655 3435 174 | 0.000 % | c | 109636 | 809 14652 73814 | 7320 3773 178 | 0.000 % | c | 110143 | 809 14652 73814 | 8052 4280 184 | 0.002 % | c | 110902 | 809 14652 73814 | 8857 5039 194 | 0.000 % | c | 112042 | 809 14652 73814 | 9743 6179 204 | 0.000 % | c | 113750 | 809 14652 73814 | 10717 7887 214 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 28.7016 s Remaining CPU time: 151.298 s c =============================================================================== c | 114666 | 809 14653 74123 | 5000 8803 206 | 0.000 % | c | 114766 | 809 14653 74123 | 5500 4502 206 | 0.000 % | c | 114916 | 809 14653 74123 | 6050 4652 199 | 0.000 % | c | 115141 | 809 14653 74123 | 6655 4877 192 | 0.000 % | c | 115478 | 809 14653 74123 | 7320 5214 181 | 0.000 % | c | 115985 | 809 14653 74123 | 8052 5721 183 | 0.000 % | c | 116746 | 809 14653 74123 | 8857 6482 189 | 0.000 % | c | 117885 | 809 14653 74123 | 9743 7621 198 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 29.8305 s Remaining CPU time: 150.17 s c =============================================================================== c | 119233 | 809 14654 74432 | 5000 8969 187 | 0.000 % | c | 119333 | 809 14654 74432 | 5500 4585 163 | 0.000 % | c | 119484 | 809 14654 74432 | 6050 4736 160 | 0.000 % | c | 119710 | 809 14654 74432 | 6655 4962 164 | 0.000 % | c | 120047 | 809 14654 74432 | 7320 5299 155 | 0.000 % | c | 120553 | 809 14654 74432 | 8052 5805 164 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 30.2754 s Remaining CPU time: 149.725 s c =============================================================================== c | 121064 | 809 14655 74741 | 5000 6316 151 | 0.000 % | c | 121164 | 809 14655 74741 | 5500 3258 103 | 0.000 % | c | 121314 | 809 14655 74741 | 6050 3408 98 | 0.000 % | c | 121539 | 809 14655 74741 | 6655 3633 93 | 0.000 % | c | 121876 | 809 14655 74741 | 7320 3970 87 | 0.000 % | c | 122383 | 809 14655 74741 | 8052 4477 106 | 0.003 % | c | 123142 | 809 14655 74741 | 8857 5236 126 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 31.1123 s Remaining CPU time: 148.888 s c =============================================================================== c | 124237 | 809 14656 75050 | 5000 6331 121 | 0.000 % | c | 124338 | 809 14656 75050 | 5500 3267 139 | 0.000 % | c | 124488 | 809 14656 75050 | 6050 3417 144 | 0.000 % | c | 124714 | 809 14656 75050 | 6655 3643 150 | 0.000 % | c | 125051 | 809 14656 75050 | 7320 3980 159 | 0.000 % | c | 125558 | 809 14656 75050 | 8052 4487 169 | 0.000 % | c | 126317 | 809 14656 75050 | 8857 5246 180 | 0.000 % | c | 127456 | 809 14656 75050 | 9743 6385 192 | 0.000 % | c | 129165 | 809 14656 75050 | 10717 8094 203 | 0.003 % | c | 131727 | 809 14656 75050 | 11789 10656 212 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 33.2949 s Remaining CPU time: 146.705 s c =============================================================================== c | 132496 | 809 14657 75359 | 5000 11425 201 | 0.000 % | c | 132597 | 809 14657 75359 | 5500 2958 169 | 0.000 % | c | 132747 | 809 14657 75359 | 6050 3108 165 | 0.000 % | c | 132972 | 809 14657 75359 | 6655 3333 171 | 0.000 % | c | 133309 | 809 14657 75359 | 7320 3670 178 | 0.000 % | c | 133815 | 809 14657 75359 | 8052 4176 186 | 0.000 % | c | 134574 | 809 14657 75359 | 8857 4935 195 | 0.000 % | c | 135713 | 809 14657 75359 | 9743 6074 185 | 0.000 % | c | 137422 | 809 14657 75359 | 10717 7783 197 | 0.000 % | c | 139985 | 809 14657 75359 | 11789 10346 205 | 0.002 % | c | 143829 | 809 14657 75359 | 12968 8140 228 | 0.000 % | c | 149595 | 809 14657 75359 | 14265 7264 234 | 0.000 % | c | 158245 | 809 14657 75359 | 15692 8634 231 | 0.000 % | c | 171219 | 809 14657 75359 | 17261 13600 245 | 0.000 % | c | 190681 | 809 14657 75359 | 18987 15478 239 | 0.001 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 53.8578 s Remaining CPU time: 126.142 s c =============================================================================== c | 192400 | 809 14658 75668 | 5000 17197 222 | 0.001 % | c | 192501 | 809 14658 75668 | 5500 4401 159 | 0.000 % | c | 192651 | 809 14658 75668 | 6050 4551 159 | 0.000 % | c | 192877 | 809 14658 75668 | 6655 4777 163 | 0.000 % | c | 193215 | 809 14658 75668 | 7320 5115 169 | 0.000 % | c | 193722 | 809 14658 75668 | 8052 5622 176 | 0.000 % | c | 194481 | 809 14658 75668 | 8857 6381 170 | 0.000 % | c | 195620 | 809 14658 75668 | 9743 7520 174 | 0.000 % | c | 197328 | 809 14658 75668 | 10717 9228 187 | 0.000 % | c | 199890 | 809 14658 75668 | 11789 6300 219 | 0.000 % | c | 203734 | 809 14658 75668 | 12968 10144 228 | 0.002 % | c | 209500 | 809 14658 75668 | 14265 9284 236 | 0.000 % | c | 218150 | 809 14658 75668 | 15692 10620 218 | 0.001 % | c | 231124 | 809 14658 75668 | 17261 15591 236 | 0.000 % | c | 250585 | 809 14658 75668 | 18987 17464 239 | 0.000 % | c | 279777 | 809 14658 75668 | 20886 17679 246 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 98.611 s Remaining CPU time: 81.389 s c =============================================================================== c | 306466 | 809 14659 75977 | 5000 12422 234 | 0.000 % | c | 306566 | 809 14659 75977 | 5500 3206 180 | 0.000 % | c | 306716 | 809 14659 75977 | 6050 3356 172 | 0.000 % | c | 306941 | 809 14659 75977 | 6655 3581 162 | 0.000 % | c | 307279 | 809 14659 75977 | 7320 3919 156 | 0.000 % | c | 307785 | 809 14659 75977 | 8052 4425 153 | 0.000 % | c | 308545 | 809 14659 75977 | 8857 5185 157 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 99.6129 s Remaining CPU time: 80.3871 s c =============================================================================== c | 309405 | 809 14660 76286 | 5000 6045 138 | 0.000 % | c | 309506 | 809 14660 76286 | 5500 3124 90 | 0.000 % | c | 309656 | 809 14660 76286 | 6050 3274 97 | 0.000 % | c | 309882 | 809 14660 76286 | 6655 3500 106 | 0.000 % | c | 310220 | 809 14660 76286 | 7320 3838 103 | 0.000 % | c | 310726 | 809 14660 76286 | 8052 4344 111 | 0.000 % | c | 311487 | 809 14660 76286 | 8857 5105 130 | 0.000 % | c | 312626 | 809 14660 76286 | 9743 6244 131 | 0.000 % | c | 314334 | 809 14660 76286 | 10717 7952 155 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 101.06 s Remaining CPU time: 78.9404 s c =============================================================================== c | 315199 | 809 14661 76595 | 5000 8817 151 | 0.000 % | c | 315300 | 809 14661 76595 | 5500 4510 178 | 0.000 % | c | 315451 | 809 14661 76595 | 6050 4661 173 | 0.002 % | c | 315676 | 809 14661 76595 | 6655 4886 172 | 0.000 % | c | 316015 | 809 14661 76595 | 7320 5225 170 | 0.000 % | c | 316521 | 809 14661 76595 | 8052 5731 162 | 0.000 % | c | 317280 | 809 14661 76595 | 8857 6490 146 | 0.000 % | c | 318419 | 809 14661 76595 | 9743 7629 161 | 0.000 % | c | 320127 | 809 14661 76595 | 10717 9337 171 | 0.002 % | c | 322690 | 809 14661 76595 | 11789 6383 196 | 0.000 % | c | 326534 | 809 14661 76595 | 12968 10227 214 | 0.000 % | c | 332302 | 809 14661 76595 | 14265 9356 236 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 105.508 s Remaining CPU time: 74.492 s c =============================================================================== c | 333115 | 809 14662 76904 | 5000 10169 221 | 0.000 % | c | 333215 | 809 14662 76904 | 5500 2643 162 | 0.000 % | c | 333367 | 809 14662 76904 | 6050 2795 161 | 0.000 % | c | 333592 | 809 14662 76904 | 6655 3020 166 | 0.000 % | c | 333929 | 809 14662 76904 | 7320 3357 173 | 0.000 % | c | 334436 | 809 14662 76904 | 8052 3864 168 | 0.000 % | c | 335195 | 809 14662 76904 | 8857 4623 179 | 0.000 % | c | 336335 | 809 14662 76904 | 9743 5763 192 | 0.000 % | c | 338043 | 809 14662 76904 | 10717 7471 199 | 0.000 % | c | 340607 | 809 14662 76904 | 11789 10035 209 | 0.002 % | c | 344451 | 809 14662 76904 | 12968 7829 223 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 109.056 s Remaining CPU time: 70.9436 s c =============================================================================== c | 344828 | 809 14663 77213 | 5000 8206 214 | 0.000 % | c | 344931 | 809 14663 77213 | 5500 4206 195 | 0.000 % | c | 345082 | 809 14663 77213 | 6050 4357 196 | 0.000 % | c | 345307 | 809 14663 77213 | 6655 4582 198 | 0.000 % | c | 345646 | 809 14663 77213 | 7320 4921 197 | 0.000 % | c | 346152 | 809 14663 77213 | 8052 5427 191 | 0.000 % | c | 346911 | 809 14663 77213 | 8857 6186 195 | 0.000 % | c | 348050 | 809 14663 77213 | 9743 7325 202 | 0.000 % | c | 349758 | 809 14663 77213 | 10717 9033 191 | 0.000 % | c | 352321 | 809 14663 77213 | 11789 6088 194 | 0.000 % | c | 356165 | 809 14663 77213 | 12968 9932 205 | 0.000 % | c | 361932 | 809 14663 77213 | 14265 9043 202 | 0.002 % | c | 370582 | 809 14663 77213 | 15692 10411 223 | 0.000 % | c | 383557 | 809 14663 77213 | 17261 15358 229 | 0.000 % | c | 403018 | 809 14663 77213 | 18987 17260 222 | 0.000 % | c | 432210 | 809 14663 77213 | 20886 17506 242 | 0.001 % |