c wbo 1.4 beta - 20100610 c | Number of variables: 400 | c | Number of clauses: 4484 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 569 | c | Number Clauses: 4479 | 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 | 569 4479 9184 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 569 4480 9358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 569 4481 9532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 569 4482 9706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 569 4483 9880 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 569 4484 10054 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 569 4485 10228 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 569 4486 10402 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 569 4487 10576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 569 4488 10750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 569 4489 10924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 569 4490 11098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 569 4491 11272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 569 4492 11446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 569 4493 11620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 569 4494 11794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 569 4495 11968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 569 4496 12142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 569 4497 12316 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 569 4498 12490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 569 4499 12664 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 569 4500 12838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 1 | 569 4501 13012 | 5000 1 154 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 2 | 569 4502 13186 | 5000 2 153 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 3 | 569 4503 13360 | 5000 3 152 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 3 | 569 4504 13534 | 5000 3 152 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 3 | 569 4505 13708 | 5000 3 152 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 3 | 569 4506 13882 | 5000 3 152 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 5 | 569 4507 14056 | 5000 5 150 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 6 | 569 4508 14230 | 5000 6 150 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 22 | 569 4509 14404 | 5000 22 141 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 28 | 569 4510 14578 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 42 | 569 4511 14752 | 5000 42 142 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 55 | 569 4512 14926 | 5000 55 143 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 78 | 569 4513 15100 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 143 | 569 4514 15274 | 5000 143 142 | 0.000 % | c | 243 | 569 4514 15274 | 5500 243 141 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 326 | 569 4515 15448 | 5000 326 140 | 0.000 % | c | 426 | 569 4515 15448 | 5500 426 140 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 460 | 569 4516 15622 | 5000 460 140 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 468 | 569 4517 15796 | 5000 468 140 | 0.000 % | c | 568 | 569 4517 15796 | 5500 568 139 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 608 | 569 4518 15970 | 5000 608 139 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 705 | 569 4519 16144 | 5000 705 138 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 790 | 569 4520 16318 | 5000 790 138 | 0.000 % | c | 890 | 569 4520 16318 | 5500 890 137 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 983 | 569 4521 16492 | 5000 983 137 | 0.000 % | c | 1084 | 569 4521 16492 | 5500 1084 137 | 0.000 % | c | 1236 | 569 4521 16492 | 6050 1236 137 | 0.000 % | c | 1462 | 569 4521 16492 | 6655 1462 136 | 0.000 % | c | 1800 | 569 4521 16492 | 7320 1800 136 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 2083 | 569 4522 16666 | 5000 2083 135 | 0.000 % | c | 2183 | 569 4522 16666 | 5500 2183 135 | 0.000 % | c | 2333 | 569 4522 16666 | 6050 2333 135 | 0.000 % | c | 2558 | 569 4522 16666 | 6655 2558 135 | 0.000 % | c | 2895 | 569 4522 16666 | 7320 2895 135 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 3089 | 569 4523 16840 | 5000 3089 135 | 0.000 % | c | 3189 | 569 4523 16840 | 5500 3189 135 | 0.000 % | c | 3341 | 569 4523 16840 | 6050 3341 134 | 0.000 % | c | 3567 | 569 4523 16840 | 6655 3567 134 | 0.000 % | c | 3905 | 569 4523 16840 | 7320 3905 134 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 4296 | 569 4524 17014 | 5000 4296 134 | 0.000 % | c | 4397 | 569 4524 17014 | 5500 4397 134 | 0.000 % | c | 4548 | 569 4524 17014 | 6050 4548 134 | 0.000 % | c | 4773 | 569 4524 17014 | 6655 4773 134 | 0.000 % | c | 5110 | 569 4524 17014 | 7320 5110 134 | 0.000 % | c | 5616 | 569 4524 17014 | 8052 5616 133 | 0.000 % | c | 6376 | 569 4524 17014 | 8857 6376 133 | 0.000 % | c | 7515 | 569 4524 17014 | 9743 7515 133 | 0.000 % | c | 9223 | 569 4524 17014 | 10717 9223 133 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 9754 | 569 4525 17188 | 5000 9754 133 | 0.000 % | c | 9854 | 569 4525 17188 | 5500 4977 131 | 0.000 % | c | 10005 | 569 4525 17188 | 6050 5128 131 | 0.000 % | c | 10230 | 569 4525 17188 | 6655 5353 131 | 0.000 % | c | 10568 | 569 4525 17188 | 7320 5691 131 | 0.000 % | c | 11074 | 569 4525 17188 | 8052 6197 131 | 0.000 % | c | 11833 | 569 4525 17188 | 8857 6956 131 | 0.000 % | c | 12972 | 569 4525 17188 | 9743 8095 131 | 0.000 % | c | 14680 | 569 4525 17188 | 10717 9803 131 | 0.000 % | c | 17242 | 569 4525 17188 | 11789 6916 130 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 3.46547 s Remaining CPU time: 176.535 s c =============================================================================== c | 20416 | 569 4526 17362 | 5000 10090 130 | 0.000 % | c | 20516 | 569 4526 17362 | 5500 2623 129 | 0.000 % | c | 20666 | 569 4526 17362 | 6050 2773 129 | 0.000 % | c | 20891 | 569 4526 17362 | 6655 2998 129 | 0.000 % | c | 21228 | 569 4526 17362 | 7320 3335 129 | 0.000 % | c | 21735 | 569 4526 17362 | 8052 3842 129 | 0.000 % | c | 22494 | 569 4526 17362 | 8857 4601 129 | 0.000 % | c | 23633 | 569 4526 17362 | 9743 5740 129 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 4.16537 s Remaining CPU time: 175.835 s c =============================================================================== c | 23743 | 569 4527 17536 | 5000 5850 129 | 0.000 % | c | 23843 | 569 4527 17536 | 5500 3025 128 | 0.000 % | c | 23993 | 569 4527 17536 | 6050 3175 128 | 0.000 % | c | 24218 | 569 4527 17536 | 6655 3400 128 | 0.000 % | c | 24556 | 569 4527 17536 | 7320 3738 128 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 4.35934 s Remaining CPU time: 175.641 s c =============================================================================== c | 24969 | 569 4528 17710 | 5000 4151 128 | 0.000 % | c | 25069 | 569 4528 17710 | 5500 4251 128 | 0.000 % | c | 25219 | 569 4528 17710 | 6050 4401 128 | 0.000 % | c | 25446 | 569 4528 17710 | 6655 4628 128 | 0.000 % | c | 25783 | 569 4528 17710 | 7320 4965 128 | 0.000 % | c | 26289 | 569 4528 17710 | 8052 5471 128 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 4.64929 s Remaining CPU time: 175.351 s c =============================================================================== c | 26865 | 569 4529 17884 | 5000 6047 128 | 0.000 % | c | 26965 | 569 4529 17884 | 5500 3124 127 | 0.000 % | c | 27115 | 569 4529 17884 | 6050 3274 127 | 0.000 % | c | 27340 | 569 4529 17884 | 6655 3499 127 | 0.000 % | c | 27677 | 569 4529 17884 | 7320 3836 127 | 0.000 % | c | 28184 | 569 4529 17884 | 8052 4343 127 | 0.000 % | c | 28944 | 569 4529 17884 | 8857 5103 127 | 0.000 % | c | 30085 | 569 4529 17884 | 9743 6244 127 | 0.000 % | c | 31794 | 569 4529 17884 | 10717 7953 127 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 5.96409 s Remaining CPU time: 174.036 s c =============================================================================== c | 33664 | 569 4530 18058 | 5000 9823 127 | 0.000 % | c | 33764 | 569 4530 18058 | 5500 5012 126 | 0.000 % | c | 33914 | 569 4530 18058 | 6050 5162 126 | 0.000 % | c | 34141 | 569 4530 18058 | 6655 5389 126 | 0.000 % | c | 34479 | 569 4530 18058 | 7320 5727 126 | 0.000 % | c | 34986 | 569 4530 18058 | 8052 6234 126 | 0.000 % | c | 35745 | 569 4530 18058 | 8857 6993 126 | 0.000 % | c | 36884 | 569 4530 18058 | 9743 8132 125 | 0.000 % | c | 38593 | 569 4530 18058 | 10717 9841 125 | 0.000 % | c | 41157 | 569 4530 18058 | 11789 6979 125 | 0.000 % | c | 45001 | 569 4530 18058 | 12968 10823 125 | 0.000 % | c | 50767 | 569 4530 18058 | 14265 10042 125 | 0.000 % | c | 59416 | 569 4530 18058 | 15692 11493 125 | 0.000 % | c | 72390 | 569 4530 18058 | 17261 8623 125 | 0.000 % | c | 91851 | 569 4530 18058 | 18987 10673 125 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 22.9185 s Remaining CPU time: 157.081 s c =============================================================================== c | 94911 | 569 4531 18232 | 5000 13733 126 | 0.000 % | c | 95011 | 569 4531 18232 | 5500 3534 124 | 0.000 % | c | 95161 | 569 4531 18232 | 6050 3684 124 | 0.000 % | c | 95386 | 569 4531 18232 | 6655 3909 124 | 0.000 % | c | 95723 | 569 4531 18232 | 7320 4246 124 | 0.000 % | c | 96229 | 569 4531 18232 | 8052 4752 124 | 0.000 % | c | 96990 | 569 4531 18232 | 8857 5513 124 | 0.000 % | c | 98129 | 569 4531 18232 | 9743 6652 124 | 0.000 % | c | 99837 | 569 4531 18232 | 10717 8360 125 | 0.000 % | c | 102400 | 569 4531 18232 | 11789 5491 124 | 0.000 % | c | 106244 | 569 4531 18232 | 12968 9335 124 | 0.000 % | c | 112010 | 569 4531 18232 | 14265 8549 124 | 0.000 % | c | 120659 | 569 4531 18232 | 15692 9952 124 | 0.000 % | c | 133633 | 569 4531 18232 | 17261 15002 125 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 35.7056 s Remaining CPU time: 144.294 s c =============================================================================== c | 145495 | 569 4532 18406 | 5000 9388 125 | 0.000 % | c | 145596 | 569 4532 18406 | 5500 4795 124 | 0.000 % | c | 145746 | 569 4532 18406 | 6050 4945 124 | 0.000 % | c | 145971 | 569 4532 18406 | 6655 5170 124 | 0.000 % | c | 146308 | 569 4532 18406 | 7320 5507 124 | 0.000 % | c | 146814 | 569 4532 18406 | 8052 6013 124 | 0.000 % | c | 147573 | 569 4532 18406 | 8857 6772 124 | 0.000 % | c | 148714 | 569 4532 18406 | 9743 7913 124 | 0.000 % | c | 150422 | 569 4532 18406 | 10717 9621 124 | 0.000 % | c | 152985 | 569 4532 18406 | 11789 6747 122 | 0.000 % | c | 156829 | 569 4532 18406 | 12968 10591 123 | 0.000 % | c | 162595 | 569 4532 18406 | 14265 9788 123 | 0.000 % | c | 171244 | 569 4532 18406 | 15692 11203 123 | 0.000 % | c | 184219 | 569 4532 18406 | 17261 8292 123 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 47.4918 s Remaining CPU time: 132.508 s c =============================================================================== c | 193138 | 569 4533 18580 | 5000 17211 123 | 0.000 % | c | 193239 | 569 4533 18580 | 5500 4404 123 | 0.000 % | c | 193389 | 569 4533 18580 | 6050 4554 123 | 0.000 % | c | 193615 | 569 4533 18580 | 6655 4780 123 | 0.000 % | c | 193952 | 569 4533 18580 | 7320 5117 123 | 0.000 % | c | 194459 | 569 4533 18580 | 8052 5624 122 | 0.000 % | c | 195219 | 569 4533 18580 | 8857 6384 122 | 0.000 % | c | 196358 | 569 4533 18580 | 9743 7523 122 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 48.3067 s Remaining CPU time: 131.693 s c =============================================================================== c | 196857 | 569 4534 18754 | 5000 8022 122 | 0.000 % | c | 196957 | 569 4534 18754 | 5500 4111 121 | 0.000 % | c | 197107 | 569 4534 18754 | 6050 4261 121 | 0.000 % | c | 197332 | 569 4534 18754 | 6655 4486 121 | 0.000 % | c | 197669 | 569 4534 18754 | 7320 4823 121 | 0.000 % | c | 198175 | 569 4534 18754 | 8052 5329 121 | 0.000 % | c | 198935 | 569 4534 18754 | 8857 6089 121 | 0.000 % | c | 200075 | 569 4534 18754 | 9743 7229 121 | 0.000 % | c | 201783 | 569 4534 18754 | 10717 8937 121 | 0.000 % | c | 204345 | 569 4534 18754 | 11789 6058 120 | 0.000 % | c | 208190 | 569 4534 18754 | 12968 9903 121 | 0.000 % | c | 213956 | 569 4534 18754 | 14265 9094 121 | 0.000 % | c | 222605 | 569 4534 18754 | 15692 10551 121 | 0.000 % | c | 235579 | 569 4534 18754 | 17261 15592 121 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 60.9867 s Remaining CPU time: 119.013 s c =============================================================================== c | 243172 | 569 4535 18928 | 5000 14495 122 | 0.000 % | c | 243272 | 569 4535 18928 | 5500 3724 120 | 0.000 % | c | 243423 | 569 4535 18928 | 6050 3875 120 | 0.000 % | c | 243648 | 569 4535 18928 | 6655 4100 120 | 0.000 % | c | 243985 | 569 4535 18928 | 7320 4437 120 | 0.000 % | c | 244491 | 569 4535 18928 | 8052 4943 120 | 0.000 % | c | 245250 | 569 4535 18928 | 8857 5702 120 | 0.000 % | c | 246389 | 569 4535 18928 | 9743 6841 120 | 0.000 % | c | 248097 | 569 4535 18928 | 10717 8549 120 | 0.000 % | c | 250659 | 569 4535 18928 | 11789 5678 119 | 0.000 % | c | 254503 | 569 4535 18928 | 12968 9522 120 | 0.000 % | c | 260270 | 569 4535 18928 | 14265 8712 120 | 0.000 % | c | 268919 | 569 4535 18928 | 15692 10135 120 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 68.8365 s Remaining CPU time: 111.163 s c =============================================================================== c | 280544 | 569 4536 19102 | 5000 13848 121 | 0.000 % | c | 280644 | 569 4536 19102 | 5500 3562 120 | 0.000 % | c | 280794 | 569 4536 19102 | 6050 3712 120 | 0.000 % | c | 281019 | 569 4536 19102 | 6655 3937 120 | 0.000 % | c | 281356 | 569 4536 19102 | 7320 4274 120 | 0.000 % | c | 281863 | 569 4536 19102 | 8052 4781 120 | 0.000 % | c | 282622 | 569 4536 19102 | 8857 5540 120 | 0.000 % | c | 283761 | 569 4536 19102 | 9743 6679 120 | 0.000 % | c | 285469 | 569 4536 19102 | 10717 8387 120 | 0.000 % | c | 288031 | 569 4536 19102 | 11789 5527 119 | 0.000 % | c | 291876 | 569 4536 19102 | 12968 9372 119 | 0.000 % | c | 297642 | 569 4536 19102 | 14265 8586 120 | 0.000 % | c | 306291 | 569 4536 19102 | 15692 10038 120 | 0.000 % | c | 319265 | 569 4536 19102 | 17261 15058 120 | 0.000 % | c | 338728 | 569 4536 19102 | 18987 17101 120 | 0.000 % | c | 367920 | 569 4536 19102 | 20886 17577 121 | 0.000 % | c | 411709 | 569 4536 19102 | 22974 19272 121 | 0.000 % | c | 477393 | 569 4536 19102 | 25272 23016 120 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 143.061 s Remaining CPU time: 36.9387 s c =============================================================================== c | 520235 | 569 4537 19276 | 5000 22217 120 | 0.000 % | c | 520335 | 569 4537 19276 | 5500 2790 117 | 0.000 % | c | 520485 | 569 4537 19276 | 6050 2940 117 | 0.000 % | c | 520710 | 569 4537 19276 | 6655 3165 117 | 0.000 % | c | 521047 | 569 4537 19276 | 7320 3502 117 | 0.000 % | c | 521554 | 569 4537 19276 | 8052 4009 118 | 0.000 % | c | 522314 | 569 4537 19276 | 8857 4769 118 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 143.941 s Remaining CPU time: 36.0589 s c =============================================================================== c | 523324 | 569 4538 19450 | 5000 5779 118 | 0.000 % | c | 523425 | 569 4538 19450 | 5500 2991 116 | 0.000 % | c | 523575 | 569 4538 19450 | 6050 3141 116 | 0.000 % | c | 523801 | 569 4538 19450 | 6655 3367 116 | 0.000 % | c | 524138 | 569 4538 19450 | 7320 3704 116 | 0.000 % | c | 524644 | 569 4538 19450 | 8052 4210 116 | 0.000 % | c | 525403 | 569 4538 19450 | 8857 4969 117 | 0.000 % | c | 526542 | 569 4538 19450 | 9743 6108 117 | 0.000 % | c | 528250 | 569 4538 19450 | 10717 7816 117 | 0.000 % | c | 530812 | 569 4538 19450 | 11789 10378 117 | 0.000 % | c | 534656 | 569 4538 19450 | 12968 8245 117 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 146.429 s Remaining CPU time: 33.5713 s c =============================================================================== c | 534844 | 569 4539 19624 | 5000 8433 117 | 0.000 % | c | 534945 | 569 4539 19624 | 5500 4318 116 | 0.000 % | c | 535096 | 569 4539 19624 | 6050 4469 116 | 0.000 % | c | 535321 | 569 4539 19624 | 6655 4694 116 | 0.000 % | c | 535658 | 569 4539 19624 | 7320 5031 116 | 0.000 % | c | 536164 | 569 4539 19624 | 8052 5537 116 | 0.000 % | c | 536923 | 569 4539 19624 | 8857 6296 116 | 0.000 % | c | 538063 | 569 4539 19624 | 9743 7436 116 | 0.000 % | c | 539771 | 569 4539 19624 | 10717 9144 117 | 0.000 % | c | 542333 | 569 4539 19624 | 11789 6272 116 | 0.000 % | c | 546177 | 569 4539 19624 | 12968 10116 116 | 0.000 % | c | 551943 | 569 4539 19624 | 14265 9314 117 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 151.514 s Remaining CPU time: 28.486 s c =============================================================================== c | 557102 | 569 4540 19798 | 5000 7259 117 | 0.000 % | c | 557202 | 569 4540 19798 | 5500 3730 117 | 0.000 % | c | 557353 | 569 4540 19798 | 6050 3881 117 | 0.000 % | c | 557578 | 569 4540 19798 | 6655 4106 117 | 0.000 % | c | 557915 | 569 4540 19798 | 7320 4443 117 | 0.000 % | c | 558421 | 569 4540 19798 | 8052 4949 117 | 0.000 % | c | 559180 | 569 4540 19798 | 8857 5708 117 | 0.000 % | c | 560319 | 569 4540 19798 | 9743 6847 117 | 0.000 % | c | 562027 | 569 4540 19798 | 10717 8555 117 | 0.000 % | c | 564589 | 569 4540 19798 | 11789 5691 115 | 0.000 % | c | 568433 | 569 4540 19798 | 12968 9535 116 | 0.000 % | c | 574201 | 569 4540 19798 | 14265 8733 116 | 0.000 % | c | 582850 | 569 4540 19798 | 15692 10175 116 | 0.000 % | c | 595824 | 569 4540 19798 | 17261 15225 116 | 0.000 % | c | 615285 | 569 4540 19798 | 18987 17291 116 | 0.000 % | c | 644479 | 569 4540 19798 | 20886 17734 116 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 175.44 s Remaining CPU time: 4.55967 s c =============================================================================== c | 648526 | 569 4541 19972 | 5000 11260 116 | 0.000 % | c | 648626 | 569 4541 19972 | 5500 2915 114 | 0.000 % | c | 648776 | 569 4541 19972 | 6050 3065 114 | 0.000 % | c | 649001 | 569 4541 19972 | 6655 3290 114 | 0.000 % | c | 649338 | 569 4541 19972 | 7320 3627 114 | 0.000 % | c | 649845 | 569 4541 19972 | 8052 4134 114 | 0.000 % | c | 650604 | 569 4541 19972 | 8857 4893 114 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 175.974 s Remaining CPU time: 4.02575 s c =============================================================================== c | 651436 | 569 4542 20146 | 5000 5725 114 | 0.000 % | c | 651536 | 569 4542 20146 | 5500 2963 112 | 0.000 % | c | 651686 | 569 4542 20146 | 6050 3113 112 | 0.000 % | c | 651911 | 569 4542 20146 | 6655 3338 112 | 0.000 % | c | 652249 | 569 4542 20146 | 7320 3676 112 | 0.000 % | c | 652756 | 569 4542 20146 | 8052 4183 112 | 0.000 % | c | 653515 | 569 4542 20146 | 8857 4942 113 | 0.000 % | c | 654654 | 569 4542 20146 | 9743 6081 113 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 176.716 s Remaining CPU time: 3.28386 s c =============================================================================== c | 655877 | 569 4543 20320 | 5000 7304 113 | 0.000 % | c | 655978 | 569 4543 20320 | 5500 3753 112 | 0.000 % | c | 656128 | 569 4543 20320 | 6050 3903 112 | 0.000 % | c | 656354 | 569 4543 20320 | 6655 4129 112 | 0.000 % | c | 656691 | 569 4543 20320 | 7320 4466 112 | 0.000 % | c | 657197 | 569 4543 20320 | 8052 4972 112 | 0.000 % | c | 657956 | 569 4543 20320 | 8857 5731 112 | 0.000 % | c | 659096 | 569 4543 20320 | 9743 6871 112 | 0.000 % | c | 660804 | 569 4543 20320 | 10717 8579 112 | 0.000 % | c | 663366 | 569 4543 20320 | 11789 5724 112 | 0.000 % |