c wbo 1.4 beta - 20100610 c | Number of variables: 224 | c | Number of clauses: 1525 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1628 | c | Number Clauses: 1478 | 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 | 1628 1478 5600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2799790 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 1628 1479 7051 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2799182 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 1 | 1628 1480 8502 | 5000 1 1416 | 0.000 % | c =============================================================================== c New solution: 2798444 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 5 | 1628 1481 9953 | 5000 5 1419 | 0.000 % | c =============================================================================== c New solution: 2798067 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 11 | 1628 1482 11404 | 5000 11 1419 | 0.000 % | c =============================================================================== c New solution: 2796151 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 11 | 1628 1483 12855 | 5000 11 1419 | 0.000 % | c =============================================================================== c New solution: 2795576 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 18 | 1628 1484 14306 | 5000 18 1418 | 0.000 % | c =============================================================================== c New solution: 2794376 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 18 | 1628 1485 15757 | 5000 18 1418 | 0.000 % | c =============================================================================== c New solution: 2793434 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 18 | 1628 1486 17208 | 5000 18 1418 | 0.000 % | c =============================================================================== c New solution: 2791559 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 19 | 1628 1487 18659 | 5000 19 1418 | 0.000 % | c | 121 | 1628 1487 18659 | 5500 121 1414 | 0.000 % | c =============================================================================== c New solution: 2791339 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 126 | 1628 1488 20110 | 5000 126 1414 | 0.000 % | c | 227 | 1628 1488 20110 | 5500 227 1414 | 0.000 % | c | 378 | 1628 1488 20110 | 6050 378 1415 | 0.000 % | c | 604 | 1628 1488 20110 | 6655 604 1414 | 0.000 % | c | 942 | 1628 1488 20110 | 7320 942 1415 | 0.000 % | c | 1449 | 1628 1488 20110 | 8052 1449 1415 | 0.000 % | c | 2209 | 1628 1488 20110 | 8857 2209 1415 | 0.000 % | c | 3349 | 1628 1488 20110 | 9743 3349 1415 | 0.000 % | c | 5057 | 1628 1488 20110 | 10717 5057 1415 | 0.000 % | c =============================================================================== c New solution: 2791187 c Elapsed CPU time: 6.50401 s Remaining CPU time: 173.496 s c =============================================================================== c | 5739 | 1628 1489 21561 | 5000 5739 1415 | 0.000 % | c | 5839 | 1628 1489 21561 | 5500 2970 1415 | 0.000 % | c =============================================================================== c New solution: 2791149 c Elapsed CPU time: 6.76997 s Remaining CPU time: 173.23 s c =============================================================================== c | 5913 | 1628 1490 23012 | 5000 3044 1415 | 0.000 % | c | 6013 | 1628 1490 23012 | 5500 3144 1415 | 0.000 % | c | 6164 | 1628 1490 23012 | 6050 3295 1415 | 0.000 % | c | 6390 | 1628 1490 23012 | 6655 3521 1415 | 0.000 % | c | 6727 | 1628 1490 23012 | 7320 3858 1415 | 0.000 % | c | 7233 | 1628 1490 23012 | 8052 4364 1415 | 0.000 % | c | 7992 | 1628 1490 23012 | 8857 5123 1415 | 0.000 % | c | 9131 | 1628 1490 23012 | 9743 6262 1415 | 0.000 % | c =============================================================================== c New solution: 2791123 c Elapsed CPU time: 12.89 s Remaining CPU time: 167.11 s c =============================================================================== c | 10348 | 1628 1491 24463 | 5000 7479 1415 | 0.000 % | c | 10448 | 1628 1491 24463 | 5500 3840 1415 | 0.000 % | c | 10600 | 1628 1491 24463 | 6050 3992 1415 | 0.000 % | c | 10825 | 1628 1491 24463 | 6655 4217 1415 | 0.000 % | c =============================================================================== c New solution: 2791112 c Elapsed CPU time: 13.6129 s Remaining CPU time: 166.387 s c =============================================================================== c | 10838 | 1628 1492 25914 | 5000 4230 1415 | 0.000 % | c | 10938 | 1628 1492 25914 | 5500 4330 1415 | 0.000 % | c | 11088 | 1628 1492 25914 | 6050 4480 1415 | 0.000 % | c | 11314 | 1628 1492 25914 | 6655 4706 1415 | 0.000 % | c | 11651 | 1628 1492 25914 | 7320 5043 1415 | 0.000 % | c =============================================================================== c New solution: 2790786 c Elapsed CPU time: 14.9257 s Remaining CPU time: 165.074 s c =============================================================================== c | 11672 | 1628 1493 27365 | 5000 5064 1415 | 0.000 % | c | 11772 | 1628 1493 27365 | 5500 2632 1414 | 0.000 % | c | 11923 | 1628 1493 27365 | 6050 2783 1414 | 0.000 % | c | 12148 | 1628 1493 27365 | 6655 3008 1414 | 0.000 % | c =============================================================================== c New solution: 2790661 c Elapsed CPU time: 15.8546 s Remaining CPU time: 164.145 s c =============================================================================== c | 12456 | 1628 1494 28816 | 5000 3316 1414 | 0.000 % | c | 12556 | 1628 1494 28816 | 5500 3416 1414 | 0.000 % | c | 12707 | 1628 1494 28816 | 6050 3567 1414 | 0.000 % | c | 12936 | 1628 1494 28816 | 6655 3796 1414 | 0.000 % | c =============================================================================== c New solution: 2790619 c Elapsed CPU time: 16.6105 s Remaining CPU time: 163.39 s c =============================================================================== c | 12982 | 1628 1495 30267 | 5000 3842 1414 | 0.000 % | c | 13082 | 1628 1495 30267 | 5500 3942 1414 | 0.000 % | c =============================================================================== c New solution: 2790528 c Elapsed CPU time: 16.8144 s Remaining CPU time: 163.186 s c =============================================================================== c | 13101 | 1628 1496 31718 | 5000 3961 1414 | 0.000 % | c | 13202 | 1628 1496 31718 | 5500 4062 1414 | 0.000 % | c | 13353 | 1628 1496 31718 | 6050 4213 1414 | 0.000 % | c | 13579 | 1628 1496 31718 | 6655 4439 1414 | 0.000 % | c | 13916 | 1628 1496 31718 | 7320 4776 1414 | 0.000 % | c | 14422 | 1628 1496 31718 | 8052 5282 1414 | 0.000 % | c | 15182 | 1628 1496 31718 | 8857 6042 1414 | 0.000 % | c | 16321 | 1628 1496 31718 | 9743 7181 1414 | 0.000 % | c | 18029 | 1628 1496 31718 | 10717 8889 1414 | 0.000 % | c =============================================================================== c New solution: 2789645 c Elapsed CPU time: 25.8481 s Remaining CPU time: 154.152 s c =============================================================================== c | 18046 | 1628 1497 33169 | 5000 8906 1414 | 0.000 % | c | 18146 | 1628 1497 33169 | 5500 4553 1414 | 0.000 % | c =============================================================================== c New solution: 2789556 c Elapsed CPU time: 26.124 s Remaining CPU time: 153.876 s c =============================================================================== c | 18152 | 1628 1498 34620 | 5000 4559 1414 | 0.000 % | c =============================================================================== c New solution: 2789412 c Elapsed CPU time: 26.166 s Remaining CPU time: 153.834 s c =============================================================================== c | 18160 | 1628 1499 36071 | 5000 4567 1414 | 0.000 % | c | 18260 | 1628 1499 36071 | 5500 4667 1414 | 0.000 % | c =============================================================================== c New solution: 2789192 c Elapsed CPU time: 26.398 s Remaining CPU time: 153.602 s c =============================================================================== c | 18268 | 1628 1500 37522 | 5000 4675 1414 | 0.000 % | c | 18369 | 1628 1500 37522 | 5500 4776 1414 | 0.000 % | c | 18520 | 1628 1500 37522 | 6050 4927 1414 | 0.000 % | c | 18746 | 1628 1500 37522 | 6655 5153 1414 | 0.000 % | c | 19083 | 1628 1500 37522 | 7320 5490 1414 | 0.000 % | c | 19591 | 1628 1500 37522 | 8052 5998 1414 | 0.000 % | c | 20350 | 1628 1500 37522 | 8857 6757 1414 | 0.000 % | c =============================================================================== c New solution: 2789051 c Elapsed CPU time: 30.5554 s Remaining CPU time: 149.445 s c =============================================================================== c | 20481 | 1628 1501 38973 | 5000 6888 1414 | 0.000 % | c | 20581 | 1628 1501 38973 | 5500 3544 1413 | 0.000 % | c | 20732 | 1628 1501 38973 | 6050 3695 1413 | 0.000 % | c | 20959 | 1628 1501 38973 | 6655 3922 1413 | 0.000 % | c | 21296 | 1628 1501 38973 | 7320 4259 1413 | 0.000 % | c | 21802 | 1628 1501 38973 | 8052 4765 1414 | 0.000 % | c | 22561 | 1628 1501 38973 | 8857 5524 1414 | 0.000 % | c | 23701 | 1628 1501 38973 | 9743 6664 1414 | 0.000 % | c | 25409 | 1628 1501 38973 | 10717 8372 1414 | 0.000 % | c =============================================================================== c New solution: 2789031 c Elapsed CPU time: 43.4764 s Remaining CPU time: 136.524 s c =============================================================================== c | 26836 | 1628 1502 40424 | 5000 9799 1414 | 0.000 % | c =============================================================================== c New solution: 2787255 c Elapsed CPU time: 43.5844 s Remaining CPU time: 136.416 s c =============================================================================== c | 26837 | 1628 1503 41875 | 5000 4901 1414 | 0.000 % | c =============================================================================== c New solution: 2787229 c Elapsed CPU time: 43.6064 s Remaining CPU time: 136.394 s c =============================================================================== c | 26837 | 1628 1504 43326 | 5000 4901 1414 | 0.000 % | c =============================================================================== c New solution: 2787183 c Elapsed CPU time: 43.7224 s Remaining CPU time: 136.278 s c =============================================================================== c | 26903 | 1628 1505 44777 | 5000 4967 1414 | 0.000 % | c | 27003 | 1628 1505 44777 | 5500 5067 1414 | 0.000 % | c =============================================================================== c New solution: 2787127 c Elapsed CPU time: 43.9093 s Remaining CPU time: 136.091 s c =============================================================================== c | 27006 | 1628 1506 46228 | 5000 5070 1414 | 0.000 % | c | 27106 | 1628 1506 46228 | 5500 2635 1414 | 0.000 % | c =============================================================================== c New solution: 2786857 c Elapsed CPU time: 44.1613 s Remaining CPU time: 135.839 s c =============================================================================== c | 27138 | 1628 1507 47679 | 5000 2667 1414 | 0.000 % | c | 27238 | 1628 1507 47679 | 5500 2767 1414 | 0.000 % | c | 27388 | 1628 1507 47679 | 6050 2917 1414 | 0.000 % | c | 27613 | 1628 1507 47679 | 6655 3142 1414 | 0.000 % | c =============================================================================== c New solution: 2786846 c Elapsed CPU time: 45.0562 s Remaining CPU time: 134.944 s c =============================================================================== c | 27800 | 1628 1508 49130 | 5000 3329 1414 | 0.000 % | c | 27901 | 1628 1508 49130 | 5500 3430 1414 | 0.000 % | c =============================================================================== c New solution: 2786766 c Elapsed CPU time: 45.3261 s Remaining CPU time: 134.674 s c =============================================================================== c | 27938 | 1628 1509 50581 | 5000 3467 1414 | 0.000 % | c | 28038 | 1628 1509 50581 | 5500 3567 1414 | 0.000 % | c | 28189 | 1628 1509 50581 | 6050 3718 1414 | 0.000 % | c | 28414 | 1628 1509 50581 | 6655 3943 1414 | 0.000 % | c =============================================================================== c New solution: 2786657 c Elapsed CPU time: 46.206 s Remaining CPU time: 133.794 s c =============================================================================== c | 28448 | 1628 1510 52032 | 5000 3977 1414 | 0.000 % | c | 28548 | 1628 1510 52032 | 5500 4077 1414 | 0.000 % | c | 28698 | 1628 1510 52032 | 6050 4227 1414 | 0.000 % | c | 28923 | 1628 1510 52032 | 6655 4452 1414 | 0.000 % | c | 29261 | 1628 1510 52032 | 7320 4790 1414 | 0.000 % | c =============================================================================== c New solution: 2786504 c Elapsed CPU time: 48.2407 s Remaining CPU time: 131.759 s c =============================================================================== c | 29715 | 1628 1511 53483 | 5000 5244 1414 | 0.000 % | c | 29815 | 1628 1511 53483 | 5500 2722 1414 | 0.000 % | c | 29965 | 1628 1511 53483 | 6050 2872 1414 | 0.000 % | c | 30191 | 1628 1511 53483 | 6655 3098 1414 | 0.000 % | c | 30529 | 1628 1511 53483 | 7320 3436 1414 | 0.000 % | c | 31037 | 1628 1511 53483 | 8052 3944 1414 | 0.000 % | c | 31796 | 1628 1511 53483 | 8857 4703 1414 | 0.000 % | c =============================================================================== c New solution: 2786407 c Elapsed CPU time: 51.9331 s Remaining CPU time: 128.067 s c =============================================================================== c | 31838 | 1628 1512 54934 | 5000 4745 1414 | 0.000 % | c | 31939 | 1628 1512 54934 | 5500 4846 1414 | 0.000 % | c =============================================================================== c New solution: 2786396 c Elapsed CPU time: 52.416 s Remaining CPU time: 127.584 s c =============================================================================== c | 32018 | 1628 1513 56385 | 5000 4925 1414 | 0.000 % | c | 32119 | 1628 1513 56385 | 5500 5026 1413 | 0.000 % | c | 32270 | 1628 1513 56385 | 6050 5177 1414 | 0.000 % | c | 32495 | 1628 1513 56385 | 6655 5402 1413 | 0.000 % | c | 32833 | 1628 1513 56385 | 7320 5740 1413 | 0.000 % | c | 33341 | 1628 1513 56385 | 8052 6248 1413 | 0.000 % | c | 34100 | 1628 1513 56385 | 8857 7007 1413 | 0.000 % | c | 35240 | 1628 1513 56385 | 9743 8147 1413 | 0.000 % | c | 36948 | 1628 1513 56385 | 10717 9855 1413 | 0.000 % | c =============================================================================== c New solution: 2786370 c Elapsed CPU time: 61.7016 s Remaining CPU time: 118.298 s c =============================================================================== c | 37597 | 1628 1514 57836 | 5000 10504 1413 | 0.000 % | c =============================================================================== c New solution: 2786149 c Elapsed CPU time: 61.8926 s Remaining CPU time: 118.107 s c =============================================================================== c | 37604 | 1628 1515 59287 | 5000 2633 1411 | 0.000 % | c =============================================================================== c New solution: 2785670 c Elapsed CPU time: 61.9486 s Remaining CPU time: 118.051 s c =============================================================================== c | 37623 | 1628 1516 60738 | 5000 2652 1411 | 0.000 % | c | 37723 | 1628 1516 60738 | 5500 2752 1411 | 0.000 % | c =============================================================================== c New solution: 2785527 c Elapsed CPU time: 62.1496 s Remaining CPU time: 117.85 s c =============================================================================== c | 37731 | 1628 1517 62189 | 5000 2760 1411 | 0.000 % | c | 37832 | 1628 1517 62189 | 5500 2861 1411 | 0.000 % | c | 37983 | 1628 1517 62189 | 6050 3012 1411 | 0.000 % | c | 38208 | 1628 1517 62189 | 6655 3237 1411 | 0.000 % | c | 38547 | 1628 1517 62189 | 7320 3576 1411 | 0.000 % | c | 39053 | 1628 1517 62189 | 8052 4082 1411 | 0.000 % | c =============================================================================== c New solution: 2785511 c Elapsed CPU time: 64.0893 s Remaining CPU time: 115.911 s c =============================================================================== c | 39076 | 1628 1518 63640 | 5000 4105 1411 | 0.000 % | c | 39177 | 1628 1518 63640 | 5500 4206 1411 | 0.000 % | c | 39327 | 1628 1518 63640 | 6050 4356 1411 | 0.000 % | c | 39553 | 1628 1518 63640 | 6655 4582 1411 | 0.000 % | c | 39890 | 1628 1518 63640 | 7320 4919 1411 | 0.000 % | c | 40396 | 1628 1518 63640 | 8052 5425 1411 | 0.000 % | c | 41156 | 1628 1518 63640 | 8857 6185 1411 | 0.000 % | c | 42295 | 1628 1518 63640 | 9743 7324 1411 | 0.000 % | c =============================================================================== c New solution: 2785496 c Elapsed CPU time: 69.7574 s Remaining CPU time: 110.243 s c =============================================================================== c | 42344 | 1628 1519 65091 | 5000 7373 1411 | 0.000 % | c | 42445 | 1628 1519 65091 | 5500 3788 1411 | 0.000 % | c | 42595 | 1628 1519 65091 | 6050 3938 1411 | 0.000 % | c | 42820 | 1628 1519 65091 | 6655 4163 1411 | 0.000 % | c | 43157 | 1628 1519 65091 | 7320 4500 1411 | 0.000 % | c =============================================================================== c New solution: 2785348 c Elapsed CPU time: 72.052 s Remaining CPU time: 107.948 s c =============================================================================== c | 43653 | 1628 1520 66542 | 5000 4996 1411 | 0.000 % | c | 43755 | 1628 1520 66542 | 5500 5098 1411 | 0.000 % | c | 43907 | 1628 1520 66542 | 6050 5250 1411 | 0.000 % | c | 44133 | 1628 1520 66542 | 6655 5476 1411 | 0.000 % | c | 44470 | 1628 1520 66542 | 7320 5813 1411 | 0.000 % | c | 44976 | 1628 1520 66542 | 8052 6319 1411 | 0.000 % | c =============================================================================== c New solution: 2785337 c Elapsed CPU time: 76.0854 s Remaining CPU time: 103.915 s c =============================================================================== c | 45481 | 1628 1521 67993 | 5000 6824 1412 | 0.000 % | c | 45581 | 1628 1521 67993 | 5500 3512 1412 | 0.000 % | c | 45731 | 1628 1521 67993 | 6050 3662 1412 | 0.000 % | c | 45957 | 1628 1521 67993 | 6655 3888 1411 | 0.000 % | c | 46295 | 1628 1521 67993 | 7320 4226 1412 | 0.000 % | c | 46801 | 1628 1521 67993 | 8052 4732 1411 | 0.000 % | c | 47560 | 1628 1521 67993 | 8857 5491 1412 | 0.000 % | c | 48700 | 1628 1521 67993 | 9743 6631 1411 | 0.000 % | c | 50408 | 1628 1521 67993 | 10717 8339 1411 | 0.000 % | c =============================================================================== c New solution: 2785329 c Elapsed CPU time: 89.0375 s Remaining CPU time: 90.9625 s c =============================================================================== c | 51373 | 1628 1522 69444 | 5000 9304 1411 | 0.000 % | c | 51474 | 1628 1522 69444 | 5500 4753 1411 | 0.000 % | c | 51625 | 1628 1522 69444 | 6050 4904 1411 | 0.000 % | c | 51850 | 1628 1522 69444 | 6655 5129 1411 | 0.000 % | c =============================================================================== c New solution: 2785265 c Elapsed CPU time: 90.4992 s Remaining CPU time: 89.5008 s c =============================================================================== c | 52160 | 1628 1523 70895 | 5000 5439 1411 | 0.000 % | c =============================================================================== c New solution: 2785146 c Elapsed CPU time: 90.6732 s Remaining CPU time: 89.3268 s c =============================================================================== c | 52222 | 1628 1524 72346 | 5000 2782 1411 | 0.000 % | c =============================================================================== c New solution: 2785131 c Elapsed CPU time: 90.7272 s Remaining CPU time: 89.2728 s c =============================================================================== c | 52226 | 1628 1525 73797 | 5000 2786 1411 | 0.000 % | c =============================================================================== c New solution: 2785025 c Elapsed CPU time: 90.8612 s Remaining CPU time: 89.1388 s c =============================================================================== c | 52285 | 1628 1526 75248 | 5000 2845 1411 | 0.000 % | c | 52386 | 1628 1526 75248 | 5500 2946 1411 | 0.000 % | c =============================================================================== c New solution: 2784888 c Elapsed CPU time: 91.3261 s Remaining CPU time: 88.6739 s c =============================================================================== c | 52523 | 1628 1527 76699 | 5000 3083 1411 | 0.000 % | c | 52624 | 1628 1527 76699 | 5500 3184 1411 | 0.000 % | c | 52774 | 1628 1527 76699 | 6050 3334 1411 | 0.000 % | c | 52999 | 1628 1527 76699 | 6655 3559 1411 | 0.000 % | c | 53338 | 1628 1527 76699 | 7320 3898 1411 | 0.000 % | c | 53845 | 1628 1527 76699 | 8052 4405 1412 | 0.000 % | c | 54604 | 1628 1527 76699 | 8857 5164 1412 | 0.000 % | c | 55743 | 1628 1527 76699 | 9743 6303 1412 | 0.000 % | c | 57451 | 1628 1527 76699 | 10717 8011 1412 | 0.000 % | c =============================================================================== c New solution: 2784841 c Elapsed CPU time: 101.305 s Remaining CPU time: 78.6954 s c =============================================================================== c | 57489 | 1628 1528 78150 | 5000 8049 1412 | 0.000 % | c | 57590 | 1628 1528 78150 | 5500 4126 1412 | 0.000 % | c =============================================================================== c New solution: 2784757 c Elapsed CPU time: 101.754 s Remaining CPU time: 78.2465 s c =============================================================================== c | 57664 | 1628 1529 79601 | 5000 4200 1412 | 0.000 % | c | 57765 | 1628 1529 79601 | 5500 4301 1412 | 0.000 % | c | 57916 | 1628 1529 79601 | 6050 4452 1412 | 0.000 % | c | 58144 | 1628 1529 79601 | 6655 4680 1412 | 0.000 % | c | 58483 | 1628 1529 79601 | 7320 5019 1412 | 0.000 % | c | 58989 | 1628 1529 79601 | 8052 5525 1413 | 0.000 % | c =============================================================================== c New solution: 2784743 c Elapsed CPU time: 105.175 s Remaining CPU time: 74.825 s c =============================================================================== c | 59436 | 1628 1530 81052 | 5000 5972 1413 | 0.000 % | c | 59536 | 1628 1530 81052 | 5500 3086 1413 | 0.000 % | c | 59688 | 1628 1530 81052 | 6050 3238 1413 | 0.000 % | c | 59914 | 1628 1530 81052 | 6655 3464 1413 | 0.000 % | c =============================================================================== c New solution: 2784678 c Elapsed CPU time: 106.923 s Remaining CPU time: 73.0773 s c =============================================================================== c | 60134 | 1628 1531 82503 | 5000 3684 1413 | 0.000 % | c | 60235 | 1628 1531 82503 | 5500 3785 1413 | 0.000 % | c | 60387 | 1628 1531 82503 | 6050 3937 1413 | 0.000 % | c | 60612 | 1628 1531 82503 | 6655 4162 1413 | 0.000 % | c | 60951 | 1628 1531 82503 | 7320 4501 1413 | 0.000 % | c =============================================================================== c New solution: 2784564 c Elapsed CPU time: 109.182 s Remaining CPU time: 70.8176 s c =============================================================================== c | 61046 | 1628 1532 83954 | 5000 4596 1413 | 0.000 % | c | 61146 | 1628 1532 83954 | 5500 4696 1413 | 0.000 % | c | 61297 | 1628 1532 83954 | 6050 4847 1413 | 0.000 % | c | 61522 | 1628 1532 83954 | 6655 5072 1413 | 0.000 % | c | 61861 | 1628 1532 83954 | 7320 5411 1413 | 0.000 % | c =============================================================================== c New solution: 2784561 c Elapsed CPU time: 111.681 s Remaining CPU time: 68.319 s c =============================================================================== c | 61991 | 1628 1533 85405 | 5000 5541 1413 | 0.000 % | c | 62092 | 1628 1533 85405 | 5500 2872 1413 | 0.000 % | c | 62242 | 1628 1533 85405 | 6050 3022 1413 | 0.000 % | c | 62467 | 1628 1533 85405 | 6655 3247 1413 | 0.000 % | c | 62804 | 1628 1533 85405 | 7320 3584 1413 | 0.000 % | c | 63310 | 1628 1533 85405 | 8052 4090 1413 | 0.000 % | c | 64070 | 1628 1533 85405 | 8857 4850 1413 | 0.000 % | c | 65209 | 1628 1533 85405 | 9743 5989 1413 | 0.000 % | c | 66917 | 1628 1533 85405 | 10717 7697 1412 | 0.000 % | c =============================================================================== c New solution: 2784514 c Elapsed CPU time: 123.208 s Remaining CPU time: 56.7917 s c =============================================================================== c | 67782 | 1628 1534 86856 | 5000 8562 1412 | 0.000 % | c | 67882 | 1628 1534 86856 | 5500 4381 1412 | 0.000 % | c | 68033 | 1628 1534 86856 | 6050 4532 1412 | 0.000 % | c | 68258 | 1628 1534 86856 | 6655 4757 1412 | 0.000 % |