c wbo 1.4 beta - 20100610 c | Number of variables: 223 | c | Number of clauses: 1512 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1626 | c | Number Clauses: 1480 | 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 | 1626 1480 5704 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2722570 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 1626 1481 7139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2720949 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1626 1482 8574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2718257 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1626 1483 10009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2716335 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1626 1484 11444 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2712639 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1626 1485 12879 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2712467 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 38 | 1626 1486 14314 | 5000 38 1414 | 0.000 % | c | 138 | 1626 1486 14314 | 5500 138 1414 | 0.000 % | c | 288 | 1626 1486 14314 | 6050 288 1413 | 0.000 % | c | 513 | 1626 1486 14314 | 6655 513 1413 | 0.000 % | c | 851 | 1626 1486 14314 | 7320 851 1413 | 0.000 % | c | 1357 | 1626 1486 14314 | 8052 1357 1413 | 0.000 % | c =============================================================================== c New solution: 2712358 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s c =============================================================================== c | 1399 | 1626 1487 15749 | 5000 1399 1413 | 0.000 % | c | 1499 | 1626 1487 15749 | 5500 1499 1413 | 0.000 % | c | 1649 | 1626 1487 15749 | 6050 1649 1413 | 0.000 % | c =============================================================================== c New solution: 2712258 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s c =============================================================================== c | 1779 | 1626 1488 17184 | 5000 1779 1413 | 0.000 % | c | 1880 | 1626 1488 17184 | 5500 1880 1413 | 0.000 % | c =============================================================================== c New solution: 2712121 c Elapsed CPU time: 1.83872 s Remaining CPU time: 178.161 s c =============================================================================== c | 1958 | 1626 1489 18619 | 5000 1958 1413 | 0.000 % | c | 2059 | 1626 1489 18619 | 5500 2059 1413 | 0.000 % | c | 2210 | 1626 1489 18619 | 6050 2210 1413 | 0.000 % | c =============================================================================== c New solution: 2712008 c Elapsed CPU time: 2.34264 s Remaining CPU time: 177.657 s c =============================================================================== c | 2296 | 1626 1490 20054 | 5000 2296 1413 | 0.000 % | c | 2397 | 1626 1490 20054 | 5500 2397 1413 | 0.000 % | c | 2547 | 1626 1490 20054 | 6050 2547 1413 | 0.000 % | c | 2773 | 1626 1490 20054 | 6655 2773 1413 | 0.000 % | c =============================================================================== c New solution: 2711944 c Elapsed CPU time: 3.47247 s Remaining CPU time: 176.528 s c =============================================================================== c | 3046 | 1626 1491 21489 | 5000 3046 1413 | 0.000 % | c | 3147 | 1626 1491 21489 | 5500 3147 1413 | 0.000 % | c =============================================================================== c New solution: 2711942 c Elapsed CPU time: 3.73343 s Remaining CPU time: 176.267 s c =============================================================================== c | 3188 | 1626 1492 22924 | 5000 3188 1413 | 0.000 % | c | 3289 | 1626 1492 22924 | 5500 3289 1413 | 0.000 % | c | 3439 | 1626 1492 22924 | 6050 3439 1413 | 0.000 % | c =============================================================================== c New solution: 2711775 c Elapsed CPU time: 4.07438 s Remaining CPU time: 175.926 s c =============================================================================== c | 3480 | 1626 1493 24359 | 5000 3480 1413 | 0.000 % | c =============================================================================== c New solution: 2711645 c Elapsed CPU time: 4.09138 s Remaining CPU time: 175.909 s c =============================================================================== c | 3480 | 1626 1494 25794 | 5000 3480 1413 | 0.000 % | c | 3581 | 1626 1494 25794 | 5500 3581 1413 | 0.000 % | c =============================================================================== c New solution: 2711399 c Elapsed CPU time: 4.24735 s Remaining CPU time: 175.753 s c =============================================================================== c | 3623 | 1626 1495 27229 | 5000 3623 1413 | 0.000 % | c | 3723 | 1626 1495 27229 | 5500 3723 1413 | 0.000 % | c | 3873 | 1626 1495 27229 | 6050 3873 1413 | 0.000 % | c =============================================================================== c New solution: 2711297 c Elapsed CPU time: 4.70328 s Remaining CPU time: 175.297 s c =============================================================================== c | 4091 | 1626 1496 28664 | 5000 4091 1413 | 0.000 % | c | 4191 | 1626 1496 28664 | 5500 4191 1413 | 0.000 % | c =============================================================================== c New solution: 2711228 c Elapsed CPU time: 4.86626 s Remaining CPU time: 175.134 s c =============================================================================== c | 4218 | 1626 1497 30099 | 5000 4218 1413 | 0.000 % | c | 4318 | 1626 1497 30099 | 5500 4318 1413 | 0.000 % | c | 4469 | 1626 1497 30099 | 6050 4469 1413 | 0.000 % | c =============================================================================== c New solution: 2711193 c Elapsed CPU time: 5.39618 s Remaining CPU time: 174.604 s c =============================================================================== c | 4676 | 1626 1498 31534 | 5000 4676 1413 | 0.000 % | c | 4776 | 1626 1498 31534 | 5500 4776 1413 | 0.000 % | c =============================================================================== c New solution: 2711022 c Elapsed CPU time: 5.73713 s Remaining CPU time: 174.263 s c =============================================================================== c | 4882 | 1626 1499 32969 | 5000 4882 1413 | 0.000 % | c | 4983 | 1626 1499 32969 | 5500 4983 1413 | 0.000 % | c =============================================================================== c New solution: 2710845 c Elapsed CPU time: 5.97909 s Remaining CPU time: 174.021 s c =============================================================================== c | 5018 | 1626 1500 34404 | 5000 5018 1413 | 0.000 % | c =============================================================================== c New solution: 2710694 c Elapsed CPU time: 6.10107 s Remaining CPU time: 173.899 s c =============================================================================== c | 5067 | 1626 1501 35839 | 5000 2558 1413 | 0.000 % | c | 5168 | 1626 1501 35839 | 5500 2659 1413 | 0.000 % | c =============================================================================== c New solution: 2710571 c Elapsed CPU time: 6.41402 s Remaining CPU time: 173.586 s c =============================================================================== c | 5201 | 1626 1502 37274 | 5000 2692 1413 | 0.000 % | c | 5303 | 1626 1502 37274 | 5500 2794 1413 | 0.000 % | c =============================================================================== c New solution: 2710528 c Elapsed CPU time: 6.84096 s Remaining CPU time: 173.159 s c =============================================================================== c | 5434 | 1626 1503 38709 | 5000 2925 1413 | 0.000 % | c | 5536 | 1626 1503 38709 | 5500 3027 1413 | 0.000 % | c | 5686 | 1626 1503 38709 | 6050 3177 1413 | 0.000 % | c =============================================================================== c New solution: 2710450 c Elapsed CPU time: 7.62384 s Remaining CPU time: 172.376 s c =============================================================================== c | 5894 | 1626 1504 40144 | 5000 3385 1413 | 0.000 % | c | 5994 | 1626 1504 40144 | 5500 3485 1413 | 0.000 % | c =============================================================================== c New solution: 2710348 c Elapsed CPU time: 8.10677 s Remaining CPU time: 171.893 s c =============================================================================== c | 6117 | 1626 1505 41579 | 5000 3608 1413 | 0.000 % | c | 6219 | 1626 1505 41579 | 5500 3710 1413 | 0.000 % | c =============================================================================== c New solution: 2710200 c Elapsed CPU time: 8.40972 s Remaining CPU time: 171.59 s c =============================================================================== c | 6249 | 1626 1506 43014 | 5000 3740 1413 | 0.000 % | c | 6349 | 1626 1506 43014 | 5500 3840 1413 | 0.000 % | c | 6499 | 1626 1506 43014 | 6050 3990 1413 | 0.000 % | c | 6724 | 1626 1506 43014 | 6655 4215 1413 | 0.000 % | c =============================================================================== c New solution: 2710191 c Elapsed CPU time: 9.69853 s Remaining CPU time: 170.301 s c =============================================================================== c | 6891 | 1626 1507 44449 | 5000 4382 1413 | 0.000 % | c | 6994 | 1626 1507 44449 | 5500 4485 1413 | 0.000 % | c | 7144 | 1626 1507 44449 | 6050 4635 1413 | 0.000 % | c =============================================================================== c New solution: 2710025 c Elapsed CPU time: 10.6574 s Remaining CPU time: 169.343 s c =============================================================================== c | 7346 | 1626 1508 45884 | 5000 4837 1413 | 0.000 % | c =============================================================================== c New solution: 2710018 c Elapsed CPU time: 10.7784 s Remaining CPU time: 169.222 s c =============================================================================== c | 7409 | 1626 1509 47319 | 5000 4900 1413 | 0.000 % | c | 7509 | 1626 1509 47319 | 5500 5000 1413 | 0.000 % | c =============================================================================== c New solution: 2710007 c Elapsed CPU time: 11.1203 s Remaining CPU time: 168.88 s c =============================================================================== c | 7550 | 1626 1510 48754 | 5000 5041 1413 | 0.000 % | c =============================================================================== c New solution: 2709981 c Elapsed CPU time: 11.3413 s Remaining CPU time: 168.659 s c =============================================================================== c | 7645 | 1626 1511 50189 | 5000 2616 1412 | 0.000 % | c | 7747 | 1626 1511 50189 | 5500 2718 1412 | 0.000 % | c =============================================================================== c New solution: 2709630 c Elapsed CPU time: 11.6872 s Remaining CPU time: 168.313 s c =============================================================================== c | 7751 | 1626 1512 51624 | 5000 2722 1412 | 0.000 % | c | 7851 | 1626 1512 51624 | 5500 2822 1412 | 0.000 % | c | 8001 | 1626 1512 51624 | 6050 2972 1412 | 0.000 % | c | 8227 | 1626 1512 51624 | 6655 3198 1412 | 0.000 % | c | 8564 | 1626 1512 51624 | 7320 3535 1412 | 0.000 % | c =============================================================================== c New solution: 2709543 c Elapsed CPU time: 13.098 s Remaining CPU time: 166.902 s c =============================================================================== c | 8700 | 1626 1513 53059 | 5000 3671 1412 | 0.000 % | c | 8800 | 1626 1513 53059 | 5500 3771 1412 | 0.000 % | c | 8950 | 1626 1513 53059 | 6050 3921 1412 | 0.000 % | c | 9175 | 1626 1513 53059 | 6655 4146 1412 | 0.000 % | c =============================================================================== c New solution: 2709385 c Elapsed CPU time: 14.2158 s Remaining CPU time: 165.784 s c =============================================================================== c | 9325 | 1626 1514 54494 | 5000 4296 1412 | 0.000 % | c | 9426 | 1626 1514 54494 | 5500 4397 1412 | 0.000 % | c | 9576 | 1626 1514 54494 | 6050 4547 1412 | 0.000 % | c | 9802 | 1626 1514 54494 | 6655 4773 1412 | 0.000 % | c | 10139 | 1626 1514 54494 | 7320 5110 1412 | 0.000 % | c =============================================================================== c New solution: 2709139 c Elapsed CPU time: 16.3315 s Remaining CPU time: 163.668 s c =============================================================================== c | 10353 | 1626 1515 55929 | 5000 5324 1412 | 0.000 % | c | 10453 | 1626 1515 55929 | 5500 2762 1411 | 0.000 % | c =============================================================================== c New solution: 2709123 c Elapsed CPU time: 16.8264 s Remaining CPU time: 163.174 s c =============================================================================== c | 10593 | 1626 1516 57364 | 5000 2902 1411 | 0.000 % | c =============================================================================== c New solution: 2709031 c Elapsed CPU time: 17.0864 s Remaining CPU time: 162.914 s c =============================================================================== c | 10680 | 1626 1517 58799 | 5000 2989 1411 | 0.000 % | c =============================================================================== c New solution: 2708966 c Elapsed CPU time: 17.3674 s Remaining CPU time: 162.633 s c =============================================================================== c | 10771 | 1626 1518 60234 | 5000 3080 1411 | 0.000 % | c | 10871 | 1626 1518 60234 | 5500 3180 1411 | 0.000 % | c | 11022 | 1626 1518 60234 | 6050 3331 1411 | 0.000 % | c | 11249 | 1626 1518 60234 | 6655 3558 1411 | 0.000 % | c =============================================================================== c New solution: 2708921 c Elapsed CPU time: 19.1301 s Remaining CPU time: 160.87 s c =============================================================================== c | 11488 | 1626 1519 61669 | 5000 3797 1411 | 0.000 % | c | 11588 | 1626 1519 61669 | 5500 3897 1411 | 0.000 % | c =============================================================================== c New solution: 2708900 c Elapsed CPU time: 19.808 s Remaining CPU time: 160.192 s c =============================================================================== c | 11694 | 1626 1520 63104 | 5000 4003 1411 | 0.000 % | c | 11794 | 1626 1520 63104 | 5500 4103 1411 | 0.000 % | c =============================================================================== c New solution: 2708226 c Elapsed CPU time: 19.979 s Remaining CPU time: 160.021 s c =============================================================================== c | 11795 | 1626 1521 64539 | 5000 4104 1411 | 0.000 % | c =============================================================================== c New solution: 2708010 c Elapsed CPU time: 20.016 s Remaining CPU time: 159.984 s c =============================================================================== c | 11796 | 1626 1522 65974 | 5000 4105 1411 | 0.000 % | c =============================================================================== c New solution: 2707872 c Elapsed CPU time: 20.1199 s Remaining CPU time: 159.88 s c =============================================================================== c | 11855 | 1626 1523 67409 | 5000 4164 1411 | 0.000 % | c | 11955 | 1626 1523 67409 | 5500 4264 1411 | 0.000 % | c | 12107 | 1626 1523 67409 | 6050 4416 1411 | 0.000 % | c | 12334 | 1626 1523 67409 | 6655 4643 1411 | 0.000 % | c | 12671 | 1626 1523 67409 | 7320 4980 1411 | 0.000 % | c =============================================================================== c New solution: 2707698 c Elapsed CPU time: 21.8237 s Remaining CPU time: 158.176 s c =============================================================================== c | 13059 | 1626 1524 68844 | 5000 5368 1411 | 0.000 % | c | 13160 | 1626 1524 68844 | 5500 2785 1411 | 0.000 % | c | 13311 | 1626 1524 68844 | 6050 2936 1411 | 0.000 % | c | 13536 | 1626 1524 68844 | 6655 3161 1411 | 0.000 % | c | 13873 | 1626 1524 68844 | 7320 3498 1411 | 0.000 % | c =============================================================================== c New solution: 2707627 c Elapsed CPU time: 23.8614 s Remaining CPU time: 156.139 s c =============================================================================== c | 13996 | 1626 1525 70279 | 5000 3621 1411 | 0.000 % | c =============================================================================== c New solution: 2707519 c Elapsed CPU time: 24.0123 s Remaining CPU time: 155.988 s c =============================================================================== c | 14043 | 1626 1526 71714 | 5000 3668 1411 | 0.000 % | c | 14144 | 1626 1526 71714 | 5500 3769 1411 | 0.000 % | c | 14294 | 1626 1526 71714 | 6050 3919 1411 | 0.000 % | c =============================================================================== c New solution: 2707517 c Elapsed CPU time: 25.0282 s Remaining CPU time: 154.972 s c =============================================================================== c | 14490 | 1626 1527 73149 | 5000 4115 1411 | 0.000 % | c =============================================================================== c New solution: 2707459 c Elapsed CPU time: 25.1952 s Remaining CPU time: 154.805 s c =============================================================================== c | 14569 | 1626 1528 74584 | 5000 4194 1411 | 0.000 % | c =============================================================================== c New solution: 2707399 c Elapsed CPU time: 25.2812 s Remaining CPU time: 154.719 s c =============================================================================== c | 14597 | 1626 1529 76019 | 5000 4222 1411 | 0.000 % | c =============================================================================== c New solution: 2707348 c Elapsed CPU time: 25.4931 s Remaining CPU time: 154.507 s c =============================================================================== c | 14688 | 1626 1530 77454 | 5000 4313 1411 | 0.000 % | c | 14788 | 1626 1530 77454 | 5500 4413 1411 | 0.000 % | c =============================================================================== c New solution: 2707107 c Elapsed CPU time: 25.6881 s Remaining CPU time: 154.312 s c =============================================================================== c | 14790 | 1626 1531 78889 | 5000 4415 1411 | 0.000 % | c =============================================================================== c New solution: 2706596 c Elapsed CPU time: 25.7311 s Remaining CPU time: 154.269 s c =============================================================================== c | 14797 | 1626 1532 80324 | 5000 4422 1411 | 0.000 % | c =============================================================================== c New solution: 2706343 c Elapsed CPU time: 25.7781 s Remaining CPU time: 154.222 s c =============================================================================== c | 14807 | 1626 1533 81759 | 5000 4432 1411 | 0.000 % | c | 14908 | 1626 1533 81759 | 5500 4533 1411 | 0.000 % | c =============================================================================== c New solution: 2706095 c Elapsed CPU time: 26.05 s Remaining CPU time: 153.95 s c =============================================================================== c | 14937 | 1626 1534 83194 | 5000 4562 1411 | 0.000 % | c | 15038 | 1626 1534 83194 | 5500 4663 1411 | 0.000 % | c | 15188 | 1626 1534 83194 | 6050 4813 1411 | 0.000 % | c | 15413 | 1626 1534 83194 | 6655 5038 1411 | 0.000 % | c =============================================================================== c New solution: 2705866 c Elapsed CPU time: 27.2949 s Remaining CPU time: 152.705 s c =============================================================================== c | 15731 | 1626 1535 84629 | 5000 5356 1411 | 0.000 % | c | 15832 | 1626 1535 84629 | 5500 2779 1411 | 0.000 % | c | 15983 | 1626 1535 84629 | 6050 2930 1411 | 0.000 % | c | 16208 | 1626 1535 84629 | 6655 3155 1411 | 0.000 % | c =============================================================================== c New solution: 2705833 c Elapsed CPU time: 28.6796 s Remaining CPU time: 151.32 s c =============================================================================== c | 16501 | 1626 1536 86064 | 5000 3448 1411 | 0.000 % | c | 16602 | 1626 1536 86064 | 5500 3549 1411 | 0.000 % | c =============================================================================== c New solution: 2705715 c Elapsed CPU time: 29.1916 s Remaining CPU time: 150.808 s c =============================================================================== c | 16705 | 1626 1537 87499 | 5000 3652 1411 | 0.000 % | c | 16805 | 1626 1537 87499 | 5500 3752 1411 | 0.000 % | c | 16955 | 1626 1537 87499 | 6050 3902 1411 | 0.000 % | c | 17183 | 1626 1537 87499 | 6655 4130 1410 | 0.000 % | c =============================================================================== c New solution: 2704840 c Elapsed CPU time: 30.2514 s Remaining CPU time: 149.749 s c =============================================================================== c | 17204 | 1626 1538 88934 | 5000 4151 1410 | 0.000 % | c | 17305 | 1626 1538 88934 | 5500 4252 1410 | 0.000 % | c | 17456 | 1626 1538 88934 | 6050 4403 1410 | 0.000 % | c | 17683 | 1626 1538 88934 | 6655 4630 1410 | 0.000 % | c =============================================================================== c New solution: 2704838 c Elapsed CPU time: 31.1833 s Remaining CPU time: 148.817 s c =============================================================================== c | 17726 | 1626 1539 90369 | 5000 4673 1410 | 0.000 % | c | 17827 | 1626 1539 90369 | 5500 4774 1410 | 0.000 % | c =============================================================================== c New solution: 2704623 c Elapsed CPU time: 31.4662 s Remaining CPU time: 148.534 s c =============================================================================== c | 17828 | 1626 1540 91804 | 5000 4775 1410 | 0.000 % | c =============================================================================== c New solution: 2704461 c Elapsed CPU time: 31.5682 s Remaining CPU time: 148.432 s c =============================================================================== c | 17871 | 1626 1541 93239 | 5000 4818 1410 | 0.000 % | c | 17971 | 1626 1541 93239 | 5500 4918 1410 | 0.000 % | c =============================================================================== c New solution: 2704310 c Elapsed CPU time: 31.9211 s Remaining CPU time: 148.079 s c =============================================================================== c | 18010 | 1626 1542 94674 | 5000 4957 1410 | 0.000 % | c | 18110 | 1626 1542 94674 | 5500 5057 1410 | 0.000 % | c =============================================================================== c New solution: 2704230 c Elapsed CPU time: 32.2921 s Remaining CPU time: 147.708 s c =============================================================================== c | 18137 | 1626 1543 96109 | 5000 5084 1410 | 0.000 % | c | 18237 | 1626 1543 96109 | 5500 2642 1410 | 0.000 % | c | 18388 | 1626 1543 96109 | 6050 2793 1410 | 0.000 % | c | 18613 | 1626 1543 96109 | 6655 3018 1410 | 0.000 % | c =============================================================================== c New solution: 2704094 c Elapsed CPU time: 33.5599 s Remaining CPU time: 146.44 s c =============================================================================== c | 18721 | 1626 1544 97544 | 5000 3126 1410 | 0.000 % | c | 18821 | 1626 1544 97544 | 5500 3226 1410 | 0.000 % | c =============================================================================== c New solution: 2703946 c Elapsed CPU time: 33.9448 s Remaining CPU time: 146.055 s c =============================================================================== c | 18853 | 1626 1545 98979 | 5000 3258 1410 | 0.000 % | c | 18953 | 1626 1545 98979 | 5500 3358 1410 | 0.000 % | c | 19103 | 1626 1545 98979 | 6050 3508 1410 | 0.000 % | c | 19328 | 1626 1545 98979 | 6655 3733 1410 | 0.000 % | c =============================================================================== c New solution: 2703625 c Elapsed CPU time: 35.2346 s Remaining CPU time: 144.765 s c =============================================================================== c | 19372 | 1626 1546 100414 | 5000 3777 1410 | 0.000 % | c | 19473 | 1626 1546 100414 | 5500 3878 1410 | 0.000 % | c | 19624 | 1626 1546 100414 | 6050 4029 1410 | 0.000 % | c =============================================================================== c New solution: 2703587 c Elapsed CPU time: 36.3725 s Remaining CPU time: 143.628 s c =============================================================================== c | 19804 | 1626 1547 101849 | 5000 4209 1410 | 0.000 % | c | 19904 | 1626 1547 101849 | 5500 4309 1410 | 0.000 % | c | 20055 | 1626 1547 101849 | 6050 4460 1410 | 0.000 % | c | 20283 | 1626 1547 101849 | 6655 4688 1410 | 0.000 % | c | 20620 | 1626 1547 101849 | 7320 5025 1410 | 0.000 % | c =============================================================================== c New solution: 2703456 c Elapsed CPU time: 38.3442 s Remaining CPU time: 141.656 s c =============================================================================== c | 20622 | 1626 1548 103284 | 5000 5027 1410 | 0.000 % | c =============================================================================== c New solution: 2703451 c Elapsed CPU time: 38.4592 s Remaining CPU time: 141.541 s c =============================================================================== c | 20635 | 1626 1549 104719 | 5000 2527 1409 | 0.000 % | c =============================================================================== c New solution: 2702808 c Elapsed CPU time: 38.6131 s Remaining CPU time: 141.387 s c =============================================================================== c | 20692 | 1626 1550 106154 | 5000 2584 1409 | 0.000 % | c | 20795 | 1626 1550 106154 | 5500 2687 1409 | 0.000 % | c | 20947 | 1626 1550 106154 | 6050 2839 1409 | 0.000 % | c | 21173 | 1626 1550 106154 | 6655 3065 1409 | 0.000 % | c | 21511 | 1626 1550 106154 | 7320 3403 1409 | 0.000 % | c =============================================================================== c New solution: 2702793 c Elapsed CPU time: 40.8108 s Remaining CPU time: 139.189 s c =============================================================================== c | 21737 | 1626 1551 107589 | 5000 3629 1409 | 0.000 % | c | 21837 | 1626 1551 107589 | 5500 3729 1409 | 0.000 % | c =============================================================================== c New solution: 2702754 c Elapsed CPU time: 41.3257 s Remaining CPU time: 138.674 s c =============================================================================== c | 21927 | 1626 1552 109024 | 5000 3819 1409 | 0.000 % | c | 22027 | 1626 1552 109024 | 5500 3919 1409 | 0.000 % | c =============================================================================== c New solution: 2702665 c Elapsed CPU time: 41.8676 s Remaining CPU time: 138.132 s c =============================================================================== c | 22105 | 1626 1553 110459 | 5000 3997 1409 | 0.000 % | c | 22207 | 1626 1553 110459 | 5500 4099 1409 | 0.000 % | c | 22358 | 1626 1553 110459 | 6050 4250 1409 | 0.000 % | c | 22583 | 1626 1553 110459 | 6655 4475 1409 | 0.000 % | c =============================================================================== c New solution: 2702582 c Elapsed CPU time: 44.2543 s Remaining CPU time: 135.746 s c =============================================================================== c | 22881 | 1626 1554 111894 | 5000 4773 1409 | 0.000 % | c =============================================================================== c New solution: 2702520 c Elapsed CPU time: 44.4712 s Remaining CPU time: 135.529 s c =============================================================================== c | 22940 | 1626 1555 113329 | 5000 4832 1409 | 0.000 % | c | 23042 | 1626 1555 113329 | 5500 4934 1409 | 0.000 % | c =============================================================================== c New solution: 2702386 c Elapsed CPU time: 45.0621 s Remaining CPU time: 134.938 s c =============================================================================== c | 23116 | 1626 1556 114764 | 5000 5008 1409 | 0.000 % | c | 23216 | 1626 1556 114764 | 5500 2604 1408 | 0.000 % | c =============================================================================== c New solution: 2702298 c Elapsed CPU time: 45.6781 s Remaining CPU time: 134.322 s c =============================================================================== c | 23351 | 1626 1557 116199 | 5000 2739 1408 | 0.000 % | c | 23452 | 1626 1557 116199 | 5500 2840 1408 | 0.000 % | c | 23603 | 1626 1557 116199 | 6050 2991 1408 | 0.000 % | c | 23829 | 1626 1557 116199 | 6655 3217 1408 | 0.000 % | c =============================================================================== c New solution: 2702278 c Elapsed CPU time: 47.5118 s Remaining CPU time: 132.488 s c =============================================================================== c | 24099 | 1626 1558 117634 | 5000 3487 1408 | 0.000 % | c | 24200 | 1626 1558 117634 | 5500 3588 1408 | 0.000 % | c | 24351 | 1626 1558 117634 | 6050 3739 1408 | 0.000 % | c | 24577 | 1626 1558 117634 | 6655 3965 1408 | 0.000 % | c =============================================================================== c New solution: 2702245 c Elapsed CPU time: 49.3885 s Remaining CPU time: 130.612 s c =============================================================================== c | 24891 | 1626 1559 119069 | 5000 4279 1408 | 0.000 % | c | 24991 | 1626 1559 119069 | 5500 4379 1408 | 0.000 % | c | 25142 | 1626 1559 119069 | 6050 4530 1408 | 0.000 % | c | 25369 | 1626 1559 119069 | 6655 4757 1408 | 0.000 % | c | 25707 | 1626 1559 119069 | 7320 5095 1408 | 0.000 % | c =============================================================================== c New solution: 2702036 c Elapsed CPU time: 52.1001 s Remaining CPU time: 127.9 s c =============================================================================== c | 25920 | 1626 1560 120504 | 5000 5308 1408 | 0.000 % | c | 26020 | 1626 1560 120504 | 5500 2754 1408 | 0.000 % | c =============================================================================== c New solution: 2701859 c Elapsed CPU time: 52.875 s Remaining CPU time: 127.125 s c =============================================================================== c | 26148 | 1626 1561 121939 | 5000 2882 1408 | 0.000 % | c | 26249 | 1626 1561 121939 | 5500 2983 1408 | 0.000 % | c =============================================================================== c New solution: 2701850 c Elapsed CPU time: 53.6188 s Remaining CPU time: 126.381 s c =============================================================================== c | 26373 | 1626 1562 123374 | 5000 3107 1408 | 0.000 % | c | 26473 | 1626 1562 123374 | 5500 3207 1408 | 0.000 % | c | 26624 | 1626 1562 123374 | 6050 3358 1408 | 0.000 % | c =============================================================================== c New solution: 2701472 c Elapsed CPU time: 54.3927 s Remaining CPU time: 125.607 s c =============================================================================== c | 26625 | 1626 1563 124809 | 5000 3359 1408 | 0.000 % | c =============================================================================== c New solution: 2701184 c Elapsed CPU time: 54.4677 s Remaining CPU time: 125.532 s c =============================================================================== c | 26628 | 1626 1564 126244 | 5000 3362 1408 | 0.000 % | c =============================================================================== c New solution: 2700643 c Elapsed CPU time: 54.5897 s Remaining CPU time: 125.41 s c =============================================================================== c | 26658 | 1626 1565 127679 | 5000 3392 1408 | 0.000 % | c | 26758 | 1626 1565 127679 | 5500 3492 1408 | 0.000 % | c | 26908 | 1626 1565 127679 | 6050 3642 1408 | 0.000 % | c =============================================================================== c New solution: 2700496 c Elapsed CPU time: 55.3756 s Remaining CPU time: 124.624 s c =============================================================================== c | 26974 | 1626 1566 129114 | 5000 3708 1408 | 0.000 % | c | 27075 | 1626 1566 129114 | 5500 3809 1408 | 0.000 % | c | 27227 | 1626 1566 129114 | 6050 3961 1408 | 0.000 % | c | 27452 | 1626 1566 129114 | 6655 4186 1408 | 0.000 % | c | 27790 | 1626 1566 129114 | 7320 4524 1407 | 0.000 % | c | 28297 | 1626 1566 129114 | 8052 5031 1407 | 0.000 % | c | 29057 | 1626 1566 129114 | 8857 5791 1407 | 0.000 % | c =============================================================================== c New solution: 2700459 c Elapsed CPU time: 60.3168 s Remaining CPU time: 119.683 s c =============================================================================== c | 29068 | 1626 1567 130549 | 5000 5802 1407 | 0.000 % | c =============================================================================== c New solution: 2700365 c Elapsed CPU time: 60.4698 s Remaining CPU time: 119.53 s c =============================================================================== c | 29070 | 1626 1568 131984 | 5000 2903 1407 | 0.000 % | c =============================================================================== c New solution: 2700053 c Elapsed CPU time: 60.5568 s Remaining CPU time: 119.443 s c =============================================================================== c | 29080 | 1626 1569 133419 | 5000 2913 1407 | 0.000 % | c | 29182 | 1626 1569 133419 | 5500 3015 1407 | 0.000 % | c =============================================================================== c New solution: 2699999 c Elapsed CPU time: 60.9257 s Remaining CPU time: 119.074 s c =============================================================================== c | 29190 | 1626 1570 134854 | 5000 3023 1407 | 0.000 % | c =============================================================================== c New solution: 2699825 c Elapsed CPU time: 61.0167 s Remaining CPU time: 118.983 s c =============================================================================== c | 29199 | 1626 1571 136289 | 5000 3032 1407 | 0.000 % | c | 29299 | 1626 1571 136289 | 5500 3132 1407 | 0.000 % | c =============================================================================== c New solution: 2699759 c Elapsed CPU time: 61.6486 s Remaining CPU time: 118.351 s c =============================================================================== c | 29400 | 1626 1572 137724 | 5000 3233 1407 | 0.000 % | c | 29501 | 1626 1572 137724 | 5500 3334 1407 | 0.000 % | c =============================================================================== c New solution: 2699531 c Elapsed CPU time: 62.1226 s Remaining CPU time: 117.877 s c =============================================================================== c | 29564 | 1626 1573 139159 | 5000 3397 1407 | 0.000 % | c | 29665 | 1626 1573 139159 | 5500 3498 1407 | 0.000 % | c | 29816 | 1626 1573 139159 | 6050 3649 1407 | 0.000 % | c | 30041 | 1626 1573 139159 | 6655 3874 1407 | 0.000 % | c | 30379 | 1626 1573 139159 | 7320 4212 1407 | 0.000 % | c | 30885 | 1626 1573 139159 | 8052 4718 1407 | 0.000 % | c =============================================================================== c New solution: 2699432 c Elapsed CPU time: 65.4401 s Remaining CPU time: 114.56 s c =============================================================================== c | 30885 | 1626 1574 140594 | 5000 4718 1407 | 0.000 % | c | 30986 | 1626 1574 140594 | 5500 4819 1407 | 0.000 % | c =============================================================================== c New solution: 2699328 c Elapsed CPU time: 65.731 s Remaining CPU time: 114.269 s c =============================================================================== c | 30988 | 1626 1575 142029 | 5000 4821 1407 | 0.000 % | c | 31089 | 1626 1575 142029 | 5500 4922 1407 | 0.000 % | c | 31240 | 1626 1575 142029 | 6050 5073 1407 | 0.000 % | c =============================================================================== c New solution: 2699279 c Elapsed CPU time: 66.7988 s Remaining CPU time: 113.201 s c =============================================================================== c | 31435 | 1626 1576 143464 | 5000 5268 1407 | 0.000 % | c | 31535 | 1626 1576 143464 | 5500 2734 1407 | 0.000 % | c =============================================================================== c New solution: 2699109 c Elapsed CPU time: 67.2428 s Remaining CPU time: 112.757 s c =============================================================================== c | 31579 | 1626 1577 144899 | 5000 2778 1407 | 0.000 % | c | 31682 | 1626 1577 144899 | 5500 2881 1407 | 0.000 % | c =============================================================================== c New solution: 2699107 c Elapsed CPU time: 67.9297 s Remaining CPU time: 112.07 s c =============================================================================== c | 31831 | 1626 1578 146334 | 5000 3030 1407 | 0.000 % | c | 31931 | 1626 1578 146334 | 5500 3130 1407 | 0.000 % | c =============================================================================== c New solution: 2699068 c Elapsed CPU time: 68.5146 s Remaining CPU time: 111.485 s c =============================================================================== c | 32056 | 1626 1579 147769 | 5000 3255 1407 | 0.000 % | c | 32156 | 1626 1579 147769 | 5500 3355 1407 | 0.000 % | c =============================================================================== c New solution: 2698969 c Elapsed CPU time: 69.2965 s Remaining CPU time: 110.704 s c =============================================================================== c | 32288 | 1626 1580 149204 | 5000 3487 1407 | 0.000 % | c | 32388 | 1626 1580 149204 | 5500 3587 1407 | 0.000 % | c | 32538 | 1626 1580 149204 | 6050 3737 1407 | 0.000 % | c | 32763 | 1626 1580 149204 | 6655 3962 1407 | 0.000 % | c =============================================================================== c New solution: 2698925 c Elapsed CPU time: 71.4711 s Remaining CPU time: 108.529 s c =============================================================================== c | 33081 | 1626 1581 150639 | 5000 4280 1407 | 0.000 % | c | 33182 | 1626 1581 150639 | 5500 4381 1407 | 0.000 % | c =============================================================================== c New solution: 2698856 c Elapsed CPU time: 72.122 s Remaining CPU time: 107.878 s c =============================================================================== c | 33246 | 1626 1582 152074 | 5000 4445 1407 | 0.000 % | c | 33346 | 1626 1582 152074 | 5500 4545 1407 | 0.000 % | c | 33497 | 1626 1582 152074 | 6050 4696 1407 | 0.000 % | c | 33722 | 1626 1582 152074 | 6655 4921 1407 | 0.000 % | c =============================================================================== c New solution: 2698684 c Elapsed CPU time: 74.4897 s Remaining CPU time: 105.51 s c =============================================================================== c | 33968 | 1626 1583 153509 | 5000 5167 1407 | 0.000 % | c | 34069 | 1626 1583 153509 | 5500 2685 1407 | 0.000 % | c | 34219 | 1626 1583 153509 | 6050 2835 1407 | 0.000 % | c | 34445 | 1626 1583 153509 | 6655 3061 1407 | 0.000 % | c | 34783 | 1626 1583 153509 | 7320 3399 1407 | 0.000 % | c | 35289 | 1626 1583 153509 | 8052 3905 1407 | 0.000 % | c =============================================================================== c New solution: 2698644 c Elapsed CPU time: 78.3521 s Remaining CPU time: 101.648 s c =============================================================================== c | 35352 | 1626 1584 154944 | 5000 3968 1407 | 0.000 % | c | 35452 | 1626 1584 154944 | 5500 4068 1407 | 0.000 % | c | 35602 | 1626 1584 154944 | 6050 4218 1407 | 0.000 % | c =============================================================================== c New solution: 2698387 c Elapsed CPU time: 79.231 s Remaining CPU time: 100.769 s c =============================================================================== c | 35671 | 1626 1585 156379 | 5000 4287 1407 | 0.000 % | c | 35772 | 1626 1585 156379 | 5500 4388 1407 | 0.000 % | c | 35923 | 1626 1585 156379 | 6050 4539 1407 | 0.000 % | c =============================================================================== c New solution: 2698292 c Elapsed CPU time: 80.5498 s Remaining CPU time: 99.4502 s c =============================================================================== c | 36125 | 1626 1586 157814 | 5000 4741 1407 | 0.000 % | c | 36225 | 1626 1586 157814 | 5500 4841 1407 | 0.000 % | c =============================================================================== c New solution: 2698061 c Elapsed CPU time: 81.1677 s Remaining CPU time: 98.8323 s c =============================================================================== c | 36297 | 1626 1587 159249 | 5000 4913 1407 | 0.000 % | c | 36397 | 1626 1587 159249 | 5500 5013 1407 | 0.000 % | c =============================================================================== c New solution: 2697992 c Elapsed CPU time: 81.8196 s Remaining CPU time: 98.1804 s c =============================================================================== c | 36499 | 1626 1588 160684 | 5000 5115 1407 | 0.000 % | c | 36601 | 1626 1588 160684 | 5500 2660 1407 | 0.000 % | c =============================================================================== c New solution: 2697805 c Elapsed CPU time: 82.4445 s Remaining CPU time: 97.5555 s c =============================================================================== c | 36626 | 1626 1589 162119 | 5000 2685 1407 | 0.000 % | c | 36728 | 1626 1589 162119 | 5500 2787 1407 | 0.000 % | c | 36879 | 1626 1589 162119 | 6050 2938 1407 | 0.000 % | c | 37104 | 1626 1589 162119 | 6655 3163 1407 | 0.000 % | c | 37442 | 1626 1589 162119 | 7320 3501 1407 | 0.000 % | c =============================================================================== c New solution: 2697713 c Elapsed CPU time: 86.3309 s Remaining CPU time: 93.6691 s c =============================================================================== c | 37946 | 1626 1590 163554 | 5000 4005 1407 | 0.000 % | c | 38046 | 1626 1590 163554 | 5500 4105 1407 | 0.000 % | c =============================================================================== c New solution: 2697711 c Elapsed CPU time: 86.9218 s Remaining CPU time: 93.0782 s c =============================================================================== c | 38083 | 1626 1591 164989 | 5000 4142 1407 | 0.000 % | c | 38184 | 1626 1591 164989 | 5500 4243 1407 | 0.000 % | c | 38334 | 1626 1591 164989 | 6050 4393 1407 | 0.000 % | c | 38560 | 1626 1591 164989 | 6655 4619 1407 | 0.000 % | c | 38898 | 1626 1591 164989 | 7320 4957 1407 | 0.000 % | c =============================================================================== c New solution: 2697364 c Elapsed CPU time: 89.8053 s Remaining CPU time: 90.1947 s c =============================================================================== c | 39022 | 1626 1592 166424 | 5000 5081 1407 | 0.000 % | c | 39122 | 1626 1592 166424 | 5500 2641 1407 | 0.000 % | c | 39275 | 1626 1592 166424 | 6050 2794 1407 | 0.000 % | c | 39500 | 1626 1592 166424 | 6655 3019 1407 | 0.000 % | c =============================================================================== c New solution: 2697182 c Elapsed CPU time: 91.3951 s Remaining CPU time: 88.6049 s c =============================================================================== c | 39553 | 1626 1593 167859 | 5000 3072 1407 | 0.000 % | c | 39654 | 1626 1593 167859 | 5500 3173 1407 | 0.000 % | c | 39805 | 1626 1593 167859 | 6050 3324 1407 | 0.000 % | c | 40031 | 1626 1593 167859 | 6655 3550 1407 | 0.000 % | c =============================================================================== c New solution: 2697136 c Elapsed CPU time: 93.1938 s Remaining CPU time: 86.8062 s c =============================================================================== c | 40143 | 1626 1594 169294 | 5000 3662 1407 | 0.000 % | c | 40243 | 1626 1594 169294 | 5500 3762 1407 | 0.000 % | c | 40395 | 1626 1594 169294 | 6050 3914 1407 | 0.000 % | c | 40620 | 1626 1594 169294 | 6655 4139 1407 | 0.000 % | c =============================================================================== c New solution: 2696852 c Elapsed CPU time: 95.5025 s Remaining CPU time: 84.4975 s c =============================================================================== c | 40843 | 1626 1595 170729 | 5000 4362 1407 | 0.000 % | c | 40944 | 1626 1595 170729 | 5500 4463 1407 | 0.000 % | c | 41094 | 1626 1595 170729 | 6050 4613 1407 | 0.000 % | c | 41320 | 1626 1595 170729 | 6655 4839 1407 | 0.000 % | c | 41657 | 1626 1595 170729 | 7320 5176 1407 | 0.000 % | c =============================================================================== c New solution: 2696790 c Elapsed CPU time: 98.758 s Remaining CPU time: 81.242 s c =============================================================================== c | 41754 | 1626 1596 172164 | 5000 5273 1407 | 0.000 % | c | 41855 | 1626 1596 172164 | 5500 2738 1407 | 0.000 % | c | 42005 | 1626 1596 172164 | 6050 2888 1407 | 0.000 % | c | 42231 | 1626 1596 172164 | 6655 3114 1407 | 0.000 % | c | 42568 | 1626 1596 172164 | 7320 3451 1407 | 0.000 % | c =============================================================================== c New solution: 2696759 c Elapsed CPU time: 101.957 s Remaining CPU time: 78.0425 s c =============================================================================== c | 42836 | 1626 1597 173599 | 5000 3719 1407 | 0.000 % | c | 42936 | 1626 1597 173599 | 5500 3819 1407 | 0.000 % | c =============================================================================== c New solution: 2696639 c Elapsed CPU time: 102.555 s Remaining CPU time: 77.4446 s c =============================================================================== c | 42997 | 1626 1598 175034 | 5000 3880 1407 | 0.000 % | c | 43099 | 1626 1598 175034 | 5500 3982 1407 | 0.000 % | c | 43249 | 1626 1598 175034 | 6050 4132 1407 | 0.000 % | c | 43474 | 1626 1598 175034 | 6655 4357 1407 | 0.000 % | c | 43811 | 1626 1598 175034 | 7320 4694 1407 | 0.000 % | c | 44318 | 1626 1598 175034 | 8052 5201 1407 | 0.000 % | c =============================================================================== c New solution: 2696637 c Elapsed CPU time: 107.045 s Remaining CPU time: 72.9553 s c =============================================================================== c | 44631 | 1626 1599 176469 | 5000 5514 1407 | 0.000 % | c =============================================================================== c New solution: 2696595 c Elapsed CPU time: 107.344 s Remaining CPU time: 72.6563 s c =============================================================================== c | 44699 | 1626 1600 177904 | 5000 2825 1406 | 0.000 % | c | 44799 | 1626 1600 177904 | 5500 2925 1406 | 0.000 % | c | 44949 | 1626 1600 177904 | 6050 3075 1406 | 0.000 % | c | 45174 | 1626 1600 177904 | 6655 3300 1406 | 0.000 % | c =============================================================================== c New solution: 2696422 c Elapsed CPU time: 109.679 s Remaining CPU time: 70.3207 s c =============================================================================== c | 45416 | 1626 1601 179339 | 5000 3542 1406 | 0.000 % | c =============================================================================== c New solution: 2696172 c Elapsed CPU time: 109.82 s Remaining CPU time: 70.1797 s c =============================================================================== c | 45433 | 1626 1602 180774 | 5000 3559 1406 | 0.000 % | c | 45534 | 1626 1602 180774 | 5500 3660 1406 | 0.000 % | c | 45684 | 1626 1602 180774 | 6050 3810 1406 | 0.000 % | c =============================================================================== c New solution: 2695729 c Elapsed CPU time: 110.74 s Remaining CPU time: 69.2598 s c =============================================================================== c | 45694 | 1626 1603 182209 | 5000 3820 1406 | 0.000 % | c | 45795 | 1626 1603 182209 | 5500 3921 1406 | 0.000 % | c | 45945 | 1626 1603 182209 | 6050 4071 1406 | 0.000 % | c =============================================================================== c New solution: 2695666 c Elapsed CPU time: 111.899 s Remaining CPU time: 68.101 s c =============================================================================== c | 46071 | 1626 1604 183644 | 5000 4197 1406 | 0.000 % | c | 46171 | 1626 1604 183644 | 5500 4297 1406 | 0.000 % | c | 46321 | 1626 1604 183644 | 6050 4447 1406 | 0.000 % | c | 46547 | 1626 1604 183644 | 6655 4673 1406 | 0.000 % | c | 46886 | 1626 1604 183644 | 7320 5012 1406 | 0.000 % | c =============================================================================== c New solution: 2695604 c Elapsed CPU time: 114.949 s Remaining CPU time: 65.0515 s c =============================================================================== c | 47089 | 1626 1605 185079 | 5000 5215 1406 | 0.000 % | c | 47190 | 1626 1605 185079 | 5500 2709 1406 | 0.000 % | c | 47341 | 1626 1605 185079 | 6050 2860 1406 | 0.000 % | c | 47566 | 1626 1605 185079 | 6655 3085 1406 | 0.000 % | c | 47903 | 1626 1605 185079 | 7320 3422 1405 | 0.000 % | c | 48409 | 1626 1605 185079 | 8052 3928 1405 | 0.000 % | c | 49169 | 1626 1605 185079 | 8857 4688 1405 | 0.000 % | c =============================================================================== c New solution: 2695508 c Elapsed CPU time: 123.795 s Remaining CPU time: 56.2048 s c =============================================================================== c | 50166 | 1626 1606 186514 | 5000 5685 1405 | 0.000 % | c | 50266 | 1626 1606 186514 | 5500 2943 1404 | 0.000 % | c =============================================================================== c New solution: 2695499 c Elapsed CPU time: 124.565 s Remaining CPU time: 55.4349 s c =============================================================================== c | 50360 | 1626 1607 187949 | 5000 3037 1404 | 0.000 % | c | 50460 | 1626 1607 187949 | 5500 3137 1404 | 0.000 % | c | 50610 | 1626 1607 187949 | 6050 3287 1404 | 0.000 % | c | 50835 | 1626 1607 187949 | 6655 3512 1404 | 0.000 % | c =============================================================================== c New solution: 2695442 c Elapsed CPU time: 126.774 s Remaining CPU time: 53.2263 s c =============================================================================== c | 51050 | 1626 1608 189384 | 5000 3727 1404 | 0.000 % | c | 51150 | 1626 1608 189384 | 5500 3827 1404 | 0.000 % | c | 51300 | 1626 1608 189384 | 6050 3977 1404 | 0.000 % | c | 51525 | 1626 1608 189384 | 6655 4202 1404 | 0.000 % | c | 51862 | 1626 1608 189384 | 7320 4539 1404 | 0.000 % | c =============================================================================== c New solution: 2695211 c Elapsed CPU time: 130.073 s Remaining CPU time: 49.9268 s c =============================================================================== c | 52000 | 1626 1609 190819 | 5000 4677 1404 | 0.000 % | c | 52100 | 1626 1609 190819 | 5500 4777 1404 | 0.000 % | c | 52250 | 1626 1609 190819 | 6050 4927 1404 | 0.000 % | c | 52475 | 1626 1609 190819 | 6655 5152 1404 | 0.000 % | c | 52813 | 1626 1609 190819 | 7320 5490 1404 | 0.000 % | c | 53319 | 1626 1609 190819 | 8052 5996 1404 | 0.000 % | c | 54079 | 1626 1609 190819 | 8857 6756 1404 | 0.000 % | c =============================================================================== c New solution: 2695210 c Elapsed CPU time: 138.005 s Remaining CPU time: 41.995 s c =============================================================================== c | 54861 | 1626 1610 192254 | 5000 7538 1404 | 0.000 % | c | 54961 | 1626 1610 192254 | 5500 3869 1404 | 0.000 % | c | 55113 | 1626 1610 192254 | 6050 4021 1404 | 0.000 % | c | 55338 | 1626 1610 192254 | 6655 4246 1404 | 0.000 % | c =============================================================================== c New solution: 2695203 c Elapsed CPU time: 140.568 s Remaining CPU time: 39.4324 s c =============================================================================== c | 55653 | 1626 1611 193689 | 5000 4561 1404 | 0.000 % | c | 55754 | 1626 1611 193689 | 5500 4662 1404 | 0.000 % | c | 55904 | 1626 1611 193689 | 6050 4812 1404 | 0.000 % | c =============================================================================== c New solution: 2695154 c Elapsed CPU time: 141.718 s Remaining CPU time: 38.2815 s c =============================================================================== c | 55948 | 1626 1612 195124 | 5000 4856 1404 | 0.000 % | c =============================================================================== c New solution: 2695145 c Elapsed CPU time: 142.006 s Remaining CPU time: 37.9936 s c =============================================================================== c | 56009 | 1626 1613 196559 | 5000 4917 1404 | 0.000 % | c | 56109 | 1626 1613 196559 | 5500 5017 1404 | 0.000 % | c | 56260 | 1626 1613 196559 | 6050 5168 1404 | 0.000 % | c =============================================================================== c New solution: 2694788 c Elapsed CPU time: 142.985 s Remaining CPU time: 37.0147 s c =============================================================================== c | 56276 | 1626 1614 197994 | 5000 5184 1404 | 0.000 % | c | 56376 | 1626 1614 197994 | 5500 2692 1404 | 0.000 % | c | 56527 | 1626 1614 197994 | 6050 2843 1404 | 0.000 % | c =============================================================================== c New solution: 2694771 c Elapsed CPU time: 144.004 s Remaining CPU time: 35.9959 s c =============================================================================== c | 56592 | 1626 1615 199429 | 5000 2908 1404 | 0.000 % | c =============================================================================== c New solution: 2694742 c Elapsed CPU time: 144.293 s Remaining CPU time: 35.7069 s c =============================================================================== c | 56671 | 1626 1616 200864 | 5000 2987 1404 | 0.000 % | c | 56771 | 1626 1616 200864 | 5500 3087 1404 | 0.000 % | c | 56922 | 1626 1616 200864 | 6050 3238 1404 | 0.000 % | c | 57148 | 1626 1616 200864 | 6655 3464 1404 | 0.000 % | c | 57485 | 1626 1616 200864 | 7320 3801 1404 | 0.000 % | c | 57991 | 1626 1616 200864 | 8052 4307 1404 | 0.000 % | c =============================================================================== c New solution: 2694728 c Elapsed CPU time: 149.636 s Remaining CPU time: 30.3637 s c =============================================================================== c | 58480 | 1626 1617 202299 | 5000 4796 1404 | 0.000 % | c | 58580 | 1626 1617 202299 | 5500 4896 1404 | 0.000 % | c | 58731 | 1626 1617 202299 | 6050 5047 1404 | 0.000 % | c | 58956 | 1626 1617 202299 | 6655 5272 1404 | 0.000 % | c | 59294 | 1626 1617 202299 | 7320 5610 1404 | 0.000 % | c | 59800 | 1626 1617 202299 | 8052 6116 1404 | 0.000 % | c =============================================================================== c New solution: 2694509 c Elapsed CPU time: 155.355 s Remaining CPU time: 24.6446 s c =============================================================================== c | 60108 | 1626 1618 203734 | 5000 6424 1404 | 0.000 % | c | 60209 | 1626 1618 203734 | 5500 3313 1403 | 0.000 % | c | 60360 | 1626 1618 203734 | 6050 3464 1403 | 0.000 % | c =============================================================================== c New solution: 2694144 c Elapsed CPU time: 156.544 s Remaining CPU time: 23.4558 s c =============================================================================== c | 60443 | 1626 1619 205169 | 5000 3547 1403 | 0.000 % | c | 60543 | 1626 1619 205169 | 5500 3647 1403 | 0.000 % | c | 60693 | 1626 1619 205169 | 6050 3797 1403 | 0.000 % | c | 60919 | 1626 1619 205169 | 6655 4023 1403 | 0.000 % | c =============================================================================== c New solution: 2693503 c Elapsed CPU time: 158.436 s Remaining CPU time: 21.5641 s c =============================================================================== c | 60923 | 1626 1620 206604 | 5000 4027 1403 | 0.000 % | c | 61023 | 1626 1620 206604 | 5500 4127 1403 | 0.000 % | c | 61174 | 1626 1620 206604 | 6050 4278 1403 | 0.000 % | c =============================================================================== c New solution: 2693321 c Elapsed CPU time: 160.097 s Remaining CPU time: 19.9033 s c =============================================================================== c | 61389 | 1626 1621 208039 | 5000 4493 1403 | 0.000 % | c | 61490 | 1626 1621 208039 | 5500 4594 1403 | 0.000 % | c =============================================================================== c New solution: 2693270 c Elapsed CPU time: 160.792 s Remaining CPU time: 19.2084 s c =============================================================================== c | 61561 | 1626 1622 209474 | 5000 4665 1403 | 0.000 % | c | 61662 | 1626 1622 209474 | 5500 4766 1403 | 0.000 % | c | 61814 | 1626 1622 209474 | 6050 4918 1403 | 0.000 % | c =============================================================================== c New solution: 2693259 c Elapsed CPU time: 162.463 s Remaining CPU time: 17.5367 s c =============================================================================== c | 61979 | 1626 1623 210909 | 5000 5083 1403 | 0.000 % | c | 62079 | 1626 1623 210909 | 5500 2642 1402 | 0.000 % | c =============================================================================== c New solution: 2692988 c Elapsed CPU time: 163.056 s Remaining CPU time: 16.9438 s c =============================================================================== c | 62100 | 1626 1624 212344 | 5000 2663 1402 | 0.000 % | c | 62201 | 1626 1624 212344 | 5500 2764 1402 | 0.000 % | c | 62352 | 1626 1624 212344 | 6050 2915 1402 | 0.000 % | c =============================================================================== c New solution: 2692881 c Elapsed CPU time: 164.306 s Remaining CPU time: 15.694 s c =============================================================================== c | 62421 | 1626 1625 213779 | 5000 2984 1402 | 0.000 % | c | 62522 | 1626 1625 213779 | 5500 3085 1402 | 0.000 % | c | 62674 | 1626 1625 213779 | 6050 3237 1402 | 0.000 % | c | 62899 | 1626 1625 213779 | 6655 3462 1402 | 0.000 % | c | 63236 | 1626 1625 213779 | 7320 3799 1403 | 0.000 % | c =============================================================================== c New solution: 2692772 c Elapsed CPU time: 168.343 s Remaining CPU time: 11.6566 s c =============================================================================== c | 63620 | 1626 1626 215214 | 5000 4183 1403 | 0.000 % | c =============================================================================== c New solution: 2692769 c Elapsed CPU time: 168.539 s Remaining CPU time: 11.4606 s c =============================================================================== c | 63661 | 1626 1627 216649 | 5000 4224 1403 | 0.000 % | c | 63762 | 1626 1627 216649 | 5500 4325 1403 | 0.000 % | c | 63913 | 1626 1627 216649 | 6050 4476 1403 | 0.000 % | c =============================================================================== c New solution: 2692488 c Elapsed CPU time: 170.473 s Remaining CPU time: 9.52692 s c =============================================================================== c | 64105 | 1626 1628 218084 | 5000 4668 1403 | 0.000 % | c | 64206 | 1626 1628 218084 | 5500 4769 1403 | 0.000 % | c | 64357 | 1626 1628 218084 | 6050 4920 1403 | 0.000 % | c | 64582 | 1626 1628 218084 | 6655 5145 1403 | 0.000 % | c =============================================================================== c New solution: 2692479 c Elapsed CPU time: 172.835 s Remaining CPU time: 7.16528 s c =============================================================================== c | 64696 | 1626 1629 219519 | 5000 5259 1403 | 0.000 % | c | 64796 | 1626 1629 219519 | 5500 2730 1403 | 0.000 % | c | 64946 | 1626 1629 219519 | 6050 2880 1403 | 0.000 % | c | 65172 | 1626 1629 219519 | 6655 3106 1403 | 0.000 % | c | 65509 | 1626 1629 219519 | 7320 3443 1403 | 0.000 % | c =============================================================================== c New solution: 2692431 c Elapsed CPU time: 176.154 s Remaining CPU time: 3.84578 s c =============================================================================== c | 65679 | 1626 1630 220954 | 5000 3613 1403 | 0.000 % | c | 65779 | 1626 1630 220954 | 5500 3713 1403 | 0.000 % | c | 65929 | 1626 1630 220954 | 6050 3863 1403 | 0.000 % | c | 66156 | 1626 1630 220954 | 6655 4090 1403 | 0.000 % | c | 66493 | 1626 1630 220954 | 7320 4427 1403 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 210 3123 4917 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 221 3133 4993 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 235 3146 5010 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 251 3161 5033 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 269 3178 5060 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 289 3197 5091 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 311 3218 5116 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 336 3242 5154 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 363 3268 5194 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 372 3276 5204 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 397 3300 5230 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 433 3335 5279 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 465 3366 5332 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 501 3401 5389 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 537 3436 5446 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 580 3478 5512 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 616 3513 5569 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 624 3520 5578 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 667 3562 5626 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 676 3570 5636 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 719 3612 5696 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 772 3664 5759 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 814 3705 5824 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 859 3749 5898 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 909 3798 5987 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 922 3810 6001 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 927 3815 6010 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 933 3821 6022 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 939 3826 6031 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 949 3832 6063 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 960 3842 6085 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 973 3854 6105 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 984 3864 6133 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 997 3876 6148 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1010 3888 6164 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1019 3896 6178 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1032 3908 6202 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1046 3921 6221 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1063 3932 6302 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1083 3951 6330 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1103 3970 6358 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1124 3990 6381 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1143 4008 6473 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1178 4043 6523 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1213 4076 6561 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1239 4101 6602 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1268 4129 6712 | 5000 0 nan | 0.000 % |