c wbo 1.4 beta - 20100610 c | Number of variables: 400 | c | Number of clauses: 4604 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 570 | c | Number Clauses: 4601 | 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 | 570 4601 9429 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 570 4602 9602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 570 4603 9775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 570 4604 9948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 570 4605 10121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 570 4606 10294 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 570 4607 10467 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 570 4608 10640 | 5000 1 168 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 570 4609 10813 | 5000 1 168 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 570 4610 10986 | 5000 1 168 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 1 | 570 4611 11159 | 5000 1 168 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 1 | 570 4612 11332 | 5000 1 168 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 1 | 570 4613 11505 | 5000 1 168 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 1 | 570 4614 11678 | 5000 1 168 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 1 | 570 4615 11851 | 5000 1 168 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 3 | 570 4616 12024 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 3 | 570 4617 12197 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 3 | 570 4618 12370 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 3 | 570 4619 12543 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 3 | 570 4620 12716 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 4 | 570 4621 12889 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 4 | 570 4622 13062 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 4 | 570 4623 13235 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 4 | 570 4624 13408 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 4 | 570 4625 13581 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 12 | 570 4626 13754 | 5000 12 154 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 26 | 570 4627 13927 | 5000 26 151 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 35 | 570 4628 14100 | 5000 35 150 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 57 | 570 4629 14273 | 5000 57 144 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 80 | 570 4630 14446 | 5000 80 143 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 128 | 570 4631 14619 | 5000 128 144 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 200 | 570 4632 14792 | 5000 200 144 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 266 | 570 4633 14965 | 5000 266 144 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 334 | 570 4634 15138 | 5000 334 144 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 430 | 570 4635 15311 | 5000 430 143 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 493 | 570 4636 15484 | 5000 493 143 | 0.000 % | c | 594 | 570 4636 15484 | 5500 594 142 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 724 | 570 4637 15657 | 5000 724 141 | 0.000 % | c | 824 | 570 4637 15657 | 5500 824 141 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 852 | 570 4638 15830 | 5000 852 140 | 0.000 % | c | 953 | 570 4638 15830 | 5500 953 140 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 1078 | 570 4639 16003 | 5000 1078 140 | 0.000 % | c | 1178 | 570 4639 16003 | 5500 1178 140 | 0.000 % | c | 1329 | 570 4639 16003 | 6050 1329 139 | 0.000 % | c | 1554 | 570 4639 16003 | 6655 1554 139 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 1735 | 570 4640 16176 | 5000 1735 139 | 0.000 % | c | 1836 | 570 4640 16176 | 5500 1836 139 | 0.000 % | c | 1987 | 570 4640 16176 | 6050 1987 139 | 0.000 % | c | 2212 | 570 4640 16176 | 6655 2212 138 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 2299 | 570 4641 16349 | 5000 2299 138 | 0.000 % | c | 2399 | 570 4641 16349 | 5500 2399 138 | 0.000 % | c | 2549 | 570 4641 16349 | 6050 2549 138 | 0.000 % | c | 2775 | 570 4641 16349 | 6655 2775 138 | 0.000 % | c | 3113 | 570 4641 16349 | 7320 3113 138 | 0.000 % | c | 3619 | 570 4641 16349 | 8052 3619 137 | 0.000 % | c | 4378 | 570 4641 16349 | 8857 4378 137 | 0.000 % | c | 5518 | 570 4641 16349 | 9743 5518 137 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 6982 | 570 4642 16522 | 5000 6982 136 | 0.000 % | c | 7083 | 570 4642 16522 | 5500 3592 135 | 0.000 % | c | 7234 | 570 4642 16522 | 6050 3743 135 | 0.000 % | c | 7459 | 570 4642 16522 | 6655 3968 135 | 0.000 % | c | 7797 | 570 4642 16522 | 7320 4306 135 | 0.000 % | c | 8303 | 570 4642 16522 | 8052 4812 135 | 0.000 % | c | 9062 | 570 4642 16522 | 8857 5571 135 | 0.000 % | c | 10201 | 570 4642 16522 | 9743 6710 135 | 0.000 % | c | 11910 | 570 4642 16522 | 10717 8419 135 | 0.000 % | c | 14472 | 570 4642 16522 | 11789 5517 134 | 0.000 % | c | 18316 | 570 4642 16522 | 12968 9361 135 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 3.61745 s Remaining CPU time: 176.383 s c =============================================================================== c | 20638 | 570 4643 16695 | 5000 11683 135 | 0.000 % | c | 20739 | 570 4643 16695 | 5500 3022 134 | 0.000 % | c | 20890 | 570 4643 16695 | 6050 3173 134 | 0.000 % | c | 21115 | 570 4643 16695 | 6655 3398 134 | 0.000 % | c | 21453 | 570 4643 16695 | 7320 3736 134 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 3.97539 s Remaining CPU time: 176.025 s c =============================================================================== c | 21844 | 570 4644 16868 | 5000 4127 134 | 0.000 % | c | 21944 | 570 4644 16868 | 5500 4227 134 | 0.000 % | c | 22094 | 570 4644 16868 | 6050 4377 134 | 0.000 % | c | 22319 | 570 4644 16868 | 6655 4602 134 | 0.000 % | c | 22657 | 570 4644 16868 | 7320 4940 134 | 0.000 % | c | 23163 | 570 4644 16868 | 8052 5446 134 | 0.000 % | c | 23923 | 570 4644 16868 | 8857 6206 134 | 0.000 % | c | 25062 | 570 4644 16868 | 9743 7345 134 | 0.000 % | c | 26770 | 570 4644 16868 | 10717 9053 134 | 0.000 % | c | 29332 | 570 4644 16868 | 11789 6173 133 | 0.000 % | c | 33177 | 570 4644 16868 | 12968 10018 133 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 7.26389 s Remaining CPU time: 172.736 s c =============================================================================== c | 37159 | 570 4645 17041 | 5000 7439 132 | 0.000 % | c | 37260 | 570 4645 17041 | 5500 3821 132 | 0.000 % | c | 37410 | 570 4645 17041 | 6050 3971 132 | 0.000 % | c | 37635 | 570 4645 17041 | 6655 4196 132 | 0.000 % | c | 37972 | 570 4645 17041 | 7320 4533 132 | 0.000 % | c | 38478 | 570 4645 17041 | 8052 5039 132 | 0.000 % | c | 39237 | 570 4645 17041 | 8857 5798 132 | 0.000 % | c | 40376 | 570 4645 17041 | 9743 6937 132 | 0.000 % | c | 42084 | 570 4645 17041 | 10717 8645 132 | 0.000 % | c | 44647 | 570 4645 17041 | 11789 5759 132 | 0.000 % | c | 48491 | 570 4645 17041 | 12968 9603 132 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 10.5644 s Remaining CPU time: 169.436 s c =============================================================================== c | 50485 | 570 4646 17214 | 5000 11597 132 | 0.000 % | c | 50586 | 570 4646 17214 | 5500 3001 131 | 0.000 % | c | 50737 | 570 4646 17214 | 6050 3152 131 | 0.000 % | c | 50962 | 570 4646 17214 | 6655 3377 131 | 0.000 % | c | 51299 | 570 4646 17214 | 7320 3714 131 | 0.000 % | c | 51805 | 570 4646 17214 | 8052 4220 131 | 0.000 % | c | 52564 | 570 4646 17214 | 8857 4979 131 | 0.000 % | c | 53703 | 570 4646 17214 | 9743 6118 131 | 0.000 % | c | 55411 | 570 4646 17214 | 10717 7826 131 | 0.000 % | c | 57973 | 570 4646 17214 | 11789 10388 131 | 0.000 % | c | 61819 | 570 4646 17214 | 12968 8251 131 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 14.4568 s Remaining CPU time: 165.543 s c =============================================================================== c | 67089 | 570 4647 17387 | 5000 6946 131 | 0.000 % | c | 67190 | 570 4647 17387 | 5500 3574 130 | 0.000 % | c | 67340 | 570 4647 17387 | 6050 3724 130 | 0.000 % | c | 67566 | 570 4647 17387 | 6655 3950 130 | 0.000 % | c | 67903 | 570 4647 17387 | 7320 4287 130 | 0.000 % | c | 68410 | 570 4647 17387 | 8052 4794 130 | 0.000 % | c | 69170 | 570 4647 17387 | 8857 5554 130 | 0.000 % | c | 70309 | 570 4647 17387 | 9743 6693 130 | 0.000 % | c | 72017 | 570 4647 17387 | 10717 8401 130 | 0.000 % | c | 74579 | 570 4647 17387 | 11789 5535 129 | 0.000 % | c | 78423 | 570 4647 17387 | 12968 9379 130 | 0.000 % | c | 84190 | 570 4647 17387 | 14265 8595 130 | 0.000 % | c | 92840 | 570 4647 17387 | 15692 10040 130 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 22.2106 s Remaining CPU time: 157.789 s c =============================================================================== c | 96670 | 570 4648 17560 | 5000 13870 131 | 0.000 % | c | 96770 | 570 4648 17560 | 5500 3568 129 | 0.000 % | c | 96920 | 570 4648 17560 | 6050 3718 129 | 0.000 % | c | 97145 | 570 4648 17560 | 6655 3943 129 | 0.000 % | c | 97483 | 570 4648 17560 | 7320 4281 129 | 0.000 % | c | 97989 | 570 4648 17560 | 8052 4787 129 | 0.000 % | c | 98748 | 570 4648 17560 | 8857 5546 129 | 0.000 % | c | 99888 | 570 4648 17560 | 9743 6686 129 | 0.000 % | c | 101596 | 570 4648 17560 | 10717 8394 129 | 0.000 % | c | 104158 | 570 4648 17560 | 11789 5529 128 | 0.000 % | c | 108003 | 570 4648 17560 | 12968 9374 129 | 0.000 % | c | 113769 | 570 4648 17560 | 14265 8587 128 | 0.000 % | c | 122418 | 570 4648 17560 | 15692 10036 128 | 0.000 % | c | 135392 | 570 4648 17560 | 17261 15075 129 | 0.000 % | c | 154854 | 570 4648 17560 | 18987 17142 129 | 0.000 % | c | 184046 | 570 4648 17560 | 20886 17601 130 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 48.1467 s Remaining CPU time: 131.853 s c =============================================================================== c | 189848 | 570 4649 17733 | 5000 12892 130 | 0.000 % | c | 189949 | 570 4649 17733 | 5500 3324 128 | 0.000 % | c | 190099 | 570 4649 17733 | 6050 3474 128 | 0.000 % | c | 190324 | 570 4649 17733 | 6655 3699 128 | 0.000 % | c | 190661 | 570 4649 17733 | 7320 4036 128 | 0.000 % | c | 191167 | 570 4649 17733 | 8052 4542 128 | 0.000 % | c | 191928 | 570 4649 17733 | 8857 5303 128 | 0.000 % | c | 193067 | 570 4649 17733 | 9743 6442 129 | 0.000 % | c | 194776 | 570 4649 17733 | 10717 8151 129 | 0.000 % | c | 197338 | 570 4649 17733 | 11789 10713 129 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 51.0092 s Remaining CPU time: 128.991 s c =============================================================================== c | 198989 | 570 4650 17906 | 5000 6384 128 | 0.000 % | c | 199089 | 570 4650 17906 | 5500 3292 127 | 0.000 % | c | 199239 | 570 4650 17906 | 6050 3442 127 | 0.000 % | c | 199464 | 570 4650 17906 | 6655 3667 127 | 0.000 % | c | 199801 | 570 4650 17906 | 7320 4004 127 | 0.000 % | c | 200307 | 570 4650 17906 | 8052 4510 127 | 0.000 % | c | 201066 | 570 4650 17906 | 8857 5269 127 | 0.000 % | c | 202205 | 570 4650 17906 | 9743 6408 128 | 0.000 % | c | 203913 | 570 4650 17906 | 10717 8116 128 | 0.000 % | c | 206475 | 570 4650 17906 | 11789 10678 128 | 0.000 % | c | 210319 | 570 4650 17906 | 12968 8558 127 | 0.000 % | c | 216085 | 570 4650 17906 | 14265 7761 128 | 0.000 % | c | 224734 | 570 4650 17906 | 15692 9195 128 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 59.9029 s Remaining CPU time: 120.097 s c =============================================================================== c | 233404 | 570 4651 18079 | 5000 9931 127 | 0.000 % | c | 233504 | 570 4651 18079 | 5500 5066 126 | 0.000 % | c | 233655 | 570 4651 18079 | 6050 5217 126 | 0.000 % | c | 233880 | 570 4651 18079 | 6655 5442 126 | 0.000 % | c | 234218 | 570 4651 18079 | 7320 5780 126 | 0.000 % | c | 234724 | 570 4651 18079 | 8052 6286 126 | 0.000 % | c | 235483 | 570 4651 18079 | 8857 7045 126 | 0.000 % | c | 236622 | 570 4651 18079 | 9743 8184 126 | 0.000 % | c | 238330 | 570 4651 18079 | 10717 4957 125 | 0.000 % | c | 240893 | 570 4651 18079 | 11789 7520 125 | 0.000 % | c | 244737 | 570 4651 18079 | 12968 11364 126 | 0.000 % | c | 250504 | 570 4651 18079 | 14265 10572 126 | 0.000 % | c | 259153 | 570 4651 18079 | 15692 12018 126 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 70.8162 s Remaining CPU time: 109.184 s c =============================================================================== c | 271545 | 570 4652 18252 | 5000 8493 126 | 0.000 % | c | 271646 | 570 4652 18252 | 5500 4348 125 | 0.000 % | c | 271796 | 570 4652 18252 | 6050 4498 125 | 0.000 % | c | 272022 | 570 4652 18252 | 6655 4724 125 | 0.000 % | c | 272361 | 570 4652 18252 | 7320 5063 125 | 0.000 % | c | 272867 | 570 4652 18252 | 8052 5569 125 | 0.000 % | c | 273626 | 570 4652 18252 | 8857 6328 125 | 0.000 % | c | 274765 | 570 4652 18252 | 9743 7467 125 | 0.000 % | c | 276474 | 570 4652 18252 | 10717 9176 125 | 0.000 % | c | 279036 | 570 4652 18252 | 11789 6285 124 | 0.000 % | c | 282880 | 570 4652 18252 | 12968 10129 124 | 0.000 % | c | 288647 | 570 4652 18252 | 14265 9348 124 | 0.000 % | c | 297296 | 570 4652 18252 | 15692 10781 125 | 0.000 % | c | 310270 | 570 4652 18252 | 17261 15802 125 | 0.000 % | c | 329731 | 570 4652 18252 | 18987 9117 125 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 89.2864 s Remaining CPU time: 90.7136 s c =============================================================================== c | 344292 | 570 4653 18425 | 5000 14120 125 | 0.000 % | c | 344393 | 570 4653 18425 | 5500 3631 123 | 0.000 % | c | 344543 | 570 4653 18425 | 6050 3781 124 | 0.000 % | c | 344769 | 570 4653 18425 | 6655 4007 124 | 0.000 % | c | 345106 | 570 4653 18425 | 7320 4344 124 | 0.000 % | c | 345612 | 570 4653 18425 | 8052 4850 124 | 0.000 % | c | 346371 | 570 4653 18425 | 8857 5609 124 | 0.000 % | c | 347510 | 570 4653 18425 | 9743 6748 124 | 0.000 % | c | 349218 | 570 4653 18425 | 10717 8456 124 | 0.000 % | c | 351780 | 570 4653 18425 | 11789 5594 123 | 0.000 % | c | 355624 | 570 4653 18425 | 12968 9438 123 | 0.000 % | c | 361390 | 570 4653 18425 | 14265 8632 124 | 0.000 % | c | 370040 | 570 4653 18425 | 15692 10082 124 | 0.000 % | c | 383014 | 570 4653 18425 | 17261 15143 124 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 103.479 s Remaining CPU time: 76.5207 s c =============================================================================== c | 398998 | 570 4654 18598 | 5000 13696 124 | 0.000 % | c | 399099 | 570 4654 18598 | 5500 3525 121 | 0.000 % | c | 399250 | 570 4654 18598 | 6050 3676 121 | 0.000 % | c | 399475 | 570 4654 18598 | 6655 3901 121 | 0.000 % | c | 399813 | 570 4654 18598 | 7320 4239 122 | 0.000 % | c | 400319 | 570 4654 18598 | 8052 4745 122 | 0.000 % | c | 401078 | 570 4654 18598 | 8857 5504 122 | 0.000 % | c | 402217 | 570 4654 18598 | 9743 6643 122 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 104.411 s Remaining CPU time: 75.5889 s c =============================================================================== c | 402530 | 570 4655 18771 | 5000 6956 122 | 0.000 % | c | 402631 | 570 4655 18771 | 5500 3579 121 | 0.000 % | c | 402781 | 570 4655 18771 | 6050 3729 121 | 0.000 % | c | 403008 | 570 4655 18771 | 6655 3956 121 | 0.000 % | c | 403346 | 570 4655 18771 | 7320 4294 121 | 0.000 % | c | 403852 | 570 4655 18771 | 8052 4800 121 | 0.000 % | c | 404611 | 570 4655 18771 | 8857 5559 121 | 0.000 % | c | 405750 | 570 4655 18771 | 9743 6698 121 | 0.000 % | c | 407458 | 570 4655 18771 | 10717 8406 121 | 0.000 % | c | 410020 | 570 4655 18771 | 11789 5519 121 | 0.000 % | c | 413865 | 570 4655 18771 | 12968 9364 121 | 0.000 % | c | 419632 | 570 4655 18771 | 14265 8581 121 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 108.854 s Remaining CPU time: 71.1455 s c =============================================================================== c | 421890 | 570 4656 18944 | 5000 10839 121 | 0.000 % | c | 421990 | 570 4656 18944 | 5500 2810 120 | 0.000 % | c | 422141 | 570 4656 18944 | 6050 2961 120 | 0.000 % | c | 422366 | 570 4656 18944 | 6655 3186 120 | 0.000 % | c | 422703 | 570 4656 18944 | 7320 3523 120 | 0.000 % | c | 423209 | 570 4656 18944 | 8052 4029 120 | 0.000 % | c | 423969 | 570 4656 18944 | 8857 4789 121 | 0.000 % | c | 425109 | 570 4656 18944 | 9743 5929 121 | 0.000 % | c | 426817 | 570 4656 18944 | 10717 7637 121 | 0.000 % | c | 429379 | 570 4656 18944 | 11789 10199 121 | 0.000 % | c | 433223 | 570 4656 18944 | 12968 8076 120 | 0.000 % | c | 438989 | 570 4656 18944 | 14265 7280 120 | 0.000 % | c | 447640 | 570 4656 18944 | 15692 8729 120 | 0.000 % | c | 460614 | 570 4656 18944 | 17261 13771 120 | 0.000 % | c | 480075 | 570 4656 18944 | 18987 15844 121 | 0.000 % | c | 509269 | 570 4656 18944 | 20886 16329 120 | 0.000 % | c | 553058 | 570 4656 18944 | 22974 18026 121 | 0.000 % | c | 618743 | 570 4656 18944 | 25272 21809 121 | 0.000 % |