c wbo 1.4 beta - 20100610 c | Number of variables: 225 | c | Number of clauses: 1522 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1637 | c | Number Clauses: 1488 | 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 | 1637 1488 5694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2686852 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1637 1489 7140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2686816 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1637 1490 8586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2686651 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1637 1491 10032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2686412 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 2 | 1637 1492 11478 | 5000 2 1423 | 0.000 % | c =============================================================================== c New solution: 2685702 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 2 | 1637 1493 12924 | 5000 2 1423 | 0.000 % | c =============================================================================== c New solution: 2684893 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 3 | 1637 1494 14370 | 5000 3 1423 | 0.000 % | c =============================================================================== c New solution: 2684878 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 46 | 1637 1495 15816 | 5000 46 1424 | 0.000 % | c | 148 | 1637 1495 15816 | 5500 148 1423 | 0.000 % | c =============================================================================== c New solution: 2684741 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 151 | 1637 1496 17262 | 5000 151 1423 | 0.000 % | c =============================================================================== c New solution: 2684673 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 230 | 1637 1497 18708 | 5000 230 1423 | 0.000 % | c | 330 | 1637 1497 18708 | 5500 330 1423 | 0.000 % | c =============================================================================== c New solution: 2684352 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 419 | 1637 1498 20154 | 5000 419 1423 | 0.000 % | c | 519 | 1637 1498 20154 | 5500 519 1423 | 0.000 % | c =============================================================================== c New solution: 2684325 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 612 | 1637 1499 21600 | 5000 612 1423 | 0.000 % | c | 712 | 1637 1499 21600 | 5500 712 1423 | 0.000 % | c | 864 | 1637 1499 21600 | 6050 864 1423 | 0.000 % | c | 1089 | 1637 1499 21600 | 6655 1089 1423 | 0.000 % | c =============================================================================== c New solution: 2684072 c Elapsed CPU time: 1.06284 s Remaining CPU time: 178.937 s c =============================================================================== c | 1095 | 1637 1500 23046 | 5000 1095 1423 | 0.000 % | c | 1195 | 1637 1500 23046 | 5500 1195 1423 | 0.000 % | c | 1346 | 1637 1500 23046 | 6050 1346 1423 | 0.000 % | c =============================================================================== c New solution: 2684022 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 1348 | 1637 1501 24492 | 5000 1348 1423 | 0.000 % | c =============================================================================== c New solution: 2683792 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 1352 | 1637 1502 25938 | 5000 1352 1423 | 0.000 % | c =============================================================================== c New solution: 2683756 c Elapsed CPU time: 1.50277 s Remaining CPU time: 178.497 s c =============================================================================== c | 1451 | 1637 1503 27384 | 5000 1451 1423 | 0.000 % | c | 1551 | 1637 1503 27384 | 5500 1551 1423 | 0.000 % | c | 1701 | 1637 1503 27384 | 6050 1701 1423 | 0.000 % | c =============================================================================== c New solution: 2683692 c Elapsed CPU time: 1.86472 s Remaining CPU time: 178.135 s c =============================================================================== c | 1722 | 1637 1504 28830 | 5000 1722 1423 | 0.000 % | c | 1822 | 1637 1504 28830 | 5500 1822 1423 | 0.000 % | c =============================================================================== c New solution: 2683251 c Elapsed CPU time: 2.00769 s Remaining CPU time: 177.992 s c =============================================================================== c | 1828 | 1637 1505 30276 | 5000 1828 1423 | 0.000 % | c | 1929 | 1637 1505 30276 | 5500 1929 1423 | 0.000 % | c | 2080 | 1637 1505 30276 | 6050 2080 1423 | 0.000 % | c | 2306 | 1637 1505 30276 | 6655 2306 1423 | 0.000 % | c =============================================================================== c New solution: 2683138 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s c =============================================================================== c | 2354 | 1637 1506 31722 | 5000 2354 1423 | 0.000 % | c | 2454 | 1637 1506 31722 | 5500 2454 1423 | 0.000 % | c | 2604 | 1637 1506 31722 | 6050 2604 1423 | 0.000 % | c | 2829 | 1637 1506 31722 | 6655 2829 1423 | 0.000 % | c | 3166 | 1637 1506 31722 | 7320 3166 1423 | 0.000 % | c | 3672 | 1637 1506 31722 | 8052 3672 1422 | 0.000 % | c | 4432 | 1637 1506 31722 | 8857 4432 1422 | 0.000 % | c =============================================================================== c New solution: 2682989 c Elapsed CPU time: 6.52301 s Remaining CPU time: 173.477 s c =============================================================================== c | 4999 | 1637 1507 33168 | 5000 4999 1422 | 0.000 % | c | 5099 | 1637 1507 33168 | 5500 5099 1422 | 0.000 % | c | 5250 | 1637 1507 33168 | 6050 5250 1422 | 0.000 % | c =============================================================================== c New solution: 2682856 c Elapsed CPU time: 7.19291 s Remaining CPU time: 172.807 s c =============================================================================== c | 5339 | 1637 1508 34614 | 5000 5339 1422 | 0.000 % | c | 5440 | 1637 1508 34614 | 5500 2771 1422 | 0.000 % | c | 5590 | 1637 1508 34614 | 6050 2921 1422 | 0.000 % | c | 5815 | 1637 1508 34614 | 6655 3146 1422 | 0.000 % | c | 6153 | 1637 1508 34614 | 7320 3484 1422 | 0.000 % | c | 6659 | 1637 1508 34614 | 8052 3990 1422 | 0.000 % | c | 7419 | 1637 1508 34614 | 8857 4750 1422 | 0.000 % | c =============================================================================== c New solution: 2682778 c Elapsed CPU time: 11.7092 s Remaining CPU time: 168.291 s c =============================================================================== c | 8169 | 1637 1509 36060 | 5000 5500 1422 | 0.000 % | c | 8270 | 1637 1509 36060 | 5500 2851 1422 | 0.000 % | c | 8420 | 1637 1509 36060 | 6050 3001 1422 | 0.000 % | c | 8645 | 1637 1509 36060 | 6655 3226 1422 | 0.000 % | c | 8982 | 1637 1509 36060 | 7320 3563 1422 | 0.000 % | c =============================================================================== c New solution: 2682740 c Elapsed CPU time: 13.9759 s Remaining CPU time: 166.024 s c =============================================================================== c | 9225 | 1637 1510 37506 | 5000 3806 1422 | 0.000 % | c | 9325 | 1637 1510 37506 | 5500 3906 1422 | 0.000 % | c | 9475 | 1637 1510 37506 | 6050 4056 1422 | 0.000 % | c | 9701 | 1637 1510 37506 | 6655 4282 1422 | 0.000 % | c =============================================================================== c New solution: 2682735 c Elapsed CPU time: 15.8286 s Remaining CPU time: 164.171 s c =============================================================================== c | 9805 | 1637 1511 38952 | 5000 4386 1422 | 0.000 % | c | 9907 | 1637 1511 38952 | 5500 4488 1422 | 0.000 % | c =============================================================================== c New solution: 2682722 c Elapsed CPU time: 16.6175 s Remaining CPU time: 163.383 s c =============================================================================== c | 9947 | 1637 1512 40398 | 5000 4528 1422 | 0.000 % | c =============================================================================== c New solution: 2682679 c Elapsed CPU time: 16.8884 s Remaining CPU time: 163.112 s c =============================================================================== c | 9987 | 1637 1513 41844 | 5000 4568 1422 | 0.000 % | c =============================================================================== c New solution: 2682585 c Elapsed CPU time: 17.0154 s Remaining CPU time: 162.985 s c =============================================================================== c | 10006 | 1637 1514 43290 | 5000 4587 1422 | 0.000 % | c =============================================================================== c New solution: 2682539 c Elapsed CPU time: 17.1974 s Remaining CPU time: 162.803 s c =============================================================================== c | 10059 | 1637 1515 44736 | 5000 4640 1422 | 0.000 % | c =============================================================================== c New solution: 2682496 c Elapsed CPU time: 17.3314 s Remaining CPU time: 162.669 s c =============================================================================== c | 10092 | 1637 1516 46182 | 5000 4673 1422 | 0.000 % | c | 10192 | 1637 1516 46182 | 5500 4773 1422 | 0.000 % | c =============================================================================== c New solution: 2680974 c Elapsed CPU time: 17.5023 s Remaining CPU time: 162.498 s c =============================================================================== c | 10195 | 1637 1517 47628 | 5000 4776 1422 | 0.000 % | c | 10296 | 1637 1517 47628 | 5500 4877 1422 | 0.000 % | c | 10446 | 1637 1517 47628 | 6050 5027 1422 | 0.000 % | c | 10671 | 1637 1517 47628 | 6655 5252 1422 | 0.000 % | c | 11008 | 1637 1517 47628 | 7320 5589 1422 | 0.000 % | c | 11514 | 1637 1517 47628 | 8052 6095 1422 | 0.000 % | c | 12275 | 1637 1517 47628 | 8857 6856 1422 | 0.000 % | c =============================================================================== c New solution: 2680952 c Elapsed CPU time: 21.1718 s Remaining CPU time: 158.828 s c =============================================================================== c | 13224 | 1637 1518 49074 | 5000 7805 1422 | 0.000 % | c =============================================================================== c New solution: 2680911 c Elapsed CPU time: 21.3058 s Remaining CPU time: 158.694 s c =============================================================================== c | 13225 | 1637 1519 50520 | 5000 3904 1421 | 0.000 % | c | 13327 | 1637 1519 50520 | 5500 4006 1421 | 0.000 % | c | 13478 | 1637 1519 50520 | 6050 4157 1421 | 0.000 % | c =============================================================================== c New solution: 2680830 c Elapsed CPU time: 21.7827 s Remaining CPU time: 158.217 s c =============================================================================== c | 13522 | 1637 1520 51966 | 5000 4201 1421 | 0.000 % | c | 13622 | 1637 1520 51966 | 5500 4301 1421 | 0.000 % | c =============================================================================== c New solution: 2680295 c Elapsed CPU time: 21.9107 s Remaining CPU time: 158.089 s c =============================================================================== c | 13625 | 1637 1521 53412 | 5000 4304 1421 | 0.000 % | c =============================================================================== c New solution: 2680086 c Elapsed CPU time: 21.9507 s Remaining CPU time: 158.049 s c =============================================================================== c | 13637 | 1637 1522 54858 | 5000 4316 1421 | 0.000 % | c | 13737 | 1637 1522 54858 | 5500 4416 1421 | 0.000 % | c | 13888 | 1637 1522 54858 | 6050 4567 1421 | 0.000 % | c =============================================================================== c New solution: 2679993 c Elapsed CPU time: 22.2986 s Remaining CPU time: 157.701 s c =============================================================================== c | 13898 | 1637 1523 56304 | 5000 4577 1421 | 0.000 % | c | 13998 | 1637 1523 56304 | 5500 4677 1421 | 0.000 % | c | 14148 | 1637 1523 56304 | 6050 4827 1421 | 0.000 % | c =============================================================================== c New solution: 2679882 c Elapsed CPU time: 22.7135 s Remaining CPU time: 157.286 s c =============================================================================== c | 14164 | 1637 1524 57750 | 5000 4843 1421 | 0.000 % | c | 14264 | 1637 1524 57750 | 5500 4943 1421 | 0.000 % | c | 14415 | 1637 1524 57750 | 6050 5094 1421 | 0.000 % | c =============================================================================== c New solution: 2679850 c Elapsed CPU time: 23.2115 s Remaining CPU time: 156.789 s c =============================================================================== c | 14467 | 1637 1525 59196 | 5000 5146 1421 | 0.000 % | c | 14567 | 1637 1525 59196 | 5500 2673 1421 | 0.000 % | c | 14717 | 1637 1525 59196 | 6050 2823 1421 | 0.000 % | c | 14942 | 1637 1525 59196 | 6655 3048 1421 | 0.000 % | c | 15279 | 1637 1525 59196 | 7320 3385 1421 | 0.000 % | c | 15785 | 1637 1525 59196 | 8052 3891 1421 | 0.000 % | c | 16544 | 1637 1525 59196 | 8857 4650 1420 | 0.000 % | c =============================================================================== c New solution: 2679763 c Elapsed CPU time: 27.6978 s Remaining CPU time: 152.302 s c =============================================================================== c | 17320 | 1637 1526 60642 | 5000 5426 1420 | 0.000 % | c | 17422 | 1637 1526 60642 | 5500 2815 1420 | 0.000 % | c | 17573 | 1637 1526 60642 | 6050 2966 1420 | 0.000 % | c | 17799 | 1637 1526 60642 | 6655 3192 1420 | 0.000 % | c | 18136 | 1637 1526 60642 | 7320 3529 1420 | 0.000 % | c | 18643 | 1637 1526 60642 | 8052 4036 1420 | 0.000 % | c | 19403 | 1637 1526 60642 | 8857 4796 1420 | 0.000 % | c =============================================================================== c New solution: 2679654 c Elapsed CPU time: 32.3151 s Remaining CPU time: 147.685 s c =============================================================================== c | 19847 | 1637 1527 62088 | 5000 5240 1420 | 0.000 % | c | 19947 | 1637 1527 62088 | 5500 2720 1419 | 0.000 % | c | 20097 | 1637 1527 62088 | 6050 2870 1419 | 0.000 % | c | 20322 | 1637 1527 62088 | 6655 3095 1419 | 0.000 % | c | 20660 | 1637 1527 62088 | 7320 3433 1419 | 0.000 % | c | 21167 | 1637 1527 62088 | 8052 3940 1420 | 0.000 % | c =============================================================================== c New solution: 2679552 c Elapsed CPU time: 35.1966 s Remaining CPU time: 144.803 s c =============================================================================== c | 21649 | 1637 1528 63534 | 5000 4422 1420 | 0.000 % | c | 21749 | 1637 1528 63534 | 5500 4522 1420 | 0.000 % | c =============================================================================== c New solution: 2679348 c Elapsed CPU time: 35.3966 s Remaining CPU time: 144.603 s c =============================================================================== c | 21788 | 1637 1529 64980 | 5000 4561 1420 | 0.000 % | c | 21888 | 1637 1529 64980 | 5500 4661 1420 | 0.000 % | c | 22039 | 1637 1529 64980 | 6050 4812 1420 | 0.000 % | c | 22265 | 1637 1529 64980 | 6655 5038 1420 | 0.000 % | c | 22602 | 1637 1529 64980 | 7320 5375 1420 | 0.000 % | c =============================================================================== c New solution: 2679189 c Elapsed CPU time: 37.2283 s Remaining CPU time: 142.772 s c =============================================================================== c | 23070 | 1637 1530 66426 | 5000 5843 1420 | 0.000 % | c | 23170 | 1637 1530 66426 | 5500 3022 1420 | 0.000 % | c | 23321 | 1637 1530 66426 | 6050 3173 1420 | 0.000 % | c | 23547 | 1637 1530 66426 | 6655 3399 1420 | 0.000 % | c =============================================================================== c New solution: 2678998 c Elapsed CPU time: 38.5311 s Remaining CPU time: 141.469 s c =============================================================================== c | 23874 | 1637 1531 67872 | 5000 3726 1420 | 0.000 % | c | 23974 | 1637 1531 67872 | 5500 3826 1420 | 0.000 % | c | 24124 | 1637 1531 67872 | 6050 3976 1420 | 0.000 % | c | 24349 | 1637 1531 67872 | 6655 4201 1420 | 0.000 % | c | 24686 | 1637 1531 67872 | 7320 4538 1420 | 0.000 % | c =============================================================================== c New solution: 2678876 c Elapsed CPU time: 40.8028 s Remaining CPU time: 139.197 s c =============================================================================== c | 25065 | 1637 1532 69318 | 5000 4917 1420 | 0.000 % | c | 25165 | 1637 1532 69318 | 5500 5017 1420 | 0.000 % | c | 25316 | 1637 1532 69318 | 6050 5168 1420 | 0.000 % | c | 25542 | 1637 1532 69318 | 6655 5394 1420 | 0.000 % | c | 25879 | 1637 1532 69318 | 7320 5731 1420 | 0.000 % | c | 26385 | 1637 1532 69318 | 8052 6237 1420 | 0.000 % | c =============================================================================== c New solution: 2678824 c Elapsed CPU time: 44.2653 s Remaining CPU time: 135.735 s c =============================================================================== c | 26897 | 1637 1533 70764 | 5000 6749 1420 | 0.000 % | c | 26998 | 1637 1533 70764 | 5500 3476 1420 | 0.000 % | c | 27150 | 1637 1533 70764 | 6050 3628 1420 | 0.000 % | c | 27376 | 1637 1533 70764 | 6655 3854 1420 | 0.000 % | c | 27714 | 1637 1533 70764 | 7320 4192 1420 | 0.000 % | c | 28221 | 1637 1533 70764 | 8052 4699 1420 | 0.000 % | c =============================================================================== c New solution: 2678767 c Elapsed CPU time: 48.4046 s Remaining CPU time: 131.595 s c =============================================================================== c | 28703 | 1637 1534 72210 | 5000 5181 1420 | 0.000 % | c | 28803 | 1637 1534 72210 | 5500 2691 1420 | 0.000 % | c | 28954 | 1637 1534 72210 | 6050 2842 1420 | 0.000 % | c | 29180 | 1637 1534 72210 | 6655 3068 1420 | 0.000 % | c =============================================================================== c New solution: 2678545 c Elapsed CPU time: 50.1354 s Remaining CPU time: 129.865 s c =============================================================================== c | 29509 | 1637 1535 73656 | 5000 3397 1420 | 0.000 % | c | 29609 | 1637 1535 73656 | 5500 3497 1420 | 0.000 % | c | 29759 | 1637 1535 73656 | 6050 3647 1420 | 0.000 % | c | 29984 | 1637 1535 73656 | 6655 3872 1420 | 0.000 % | c =============================================================================== c New solution: 2678425 c Elapsed CPU time: 51.8001 s Remaining CPU time: 128.2 s c =============================================================================== c | 30312 | 1637 1536 75102 | 5000 4200 1420 | 0.000 % | c | 30412 | 1637 1536 75102 | 5500 4300 1420 | 0.000 % | c | 30563 | 1637 1536 75102 | 6050 4451 1420 | 0.000 % | c | 30790 | 1637 1536 75102 | 6655 4678 1420 | 0.000 % | c | 31127 | 1637 1536 75102 | 7320 5015 1420 | 0.000 % | c | 31634 | 1637 1536 75102 | 8052 5522 1420 | 0.000 % | c =============================================================================== c New solution: 2677532 c Elapsed CPU time: 55.7605 s Remaining CPU time: 124.239 s c =============================================================================== c | 31635 | 1637 1537 76548 | 5000 5523 1420 | 0.000 % | c | 31736 | 1637 1537 76548 | 5500 2863 1420 | 0.000 % | c | 31887 | 1637 1537 76548 | 6050 3014 1420 | 0.000 % | c | 32113 | 1637 1537 76548 | 6655 3240 1420 | 0.000 % | c | 32450 | 1637 1537 76548 | 7320 3577 1420 | 0.000 % | c | 32956 | 1637 1537 76548 | 8052 4083 1420 | 0.000 % | c =============================================================================== c New solution: 2677382 c Elapsed CPU time: 58.3431 s Remaining CPU time: 121.657 s c =============================================================================== c | 33422 | 1637 1538 77994 | 5000 4549 1420 | 0.000 % | c | 33523 | 1637 1538 77994 | 5500 4650 1420 | 0.000 % | c | 33673 | 1637 1538 77994 | 6050 4800 1420 | 0.000 % | c | 33899 | 1637 1538 77994 | 6655 5026 1420 | 0.000 % | c | 34236 | 1637 1538 77994 | 7320 5363 1420 | 0.000 % | c | 34743 | 1637 1538 77994 | 8052 5870 1420 | 0.000 % | c | 35503 | 1637 1538 77994 | 8857 6630 1419 | 0.000 % | c | 36643 | 1637 1538 77994 | 9743 7770 1419 | 0.000 % | c =============================================================================== c New solution: 2677342 c Elapsed CPU time: 64.7862 s Remaining CPU time: 115.214 s c =============================================================================== c | 37540 | 1637 1539 79440 | 5000 8667 1419 | 0.000 % | c | 37641 | 1637 1539 79440 | 5500 4435 1419 | 0.000 % | c | 37791 | 1637 1539 79440 | 6050 4585 1419 | 0.000 % | c | 38016 | 1637 1539 79440 | 6655 4810 1419 | 0.000 % | c | 38353 | 1637 1539 79440 | 7320 5147 1419 | 0.000 % | c =============================================================================== c New solution: 2677290 c Elapsed CPU time: 66.7139 s Remaining CPU time: 113.286 s c =============================================================================== c | 38392 | 1637 1540 80886 | 5000 5186 1419 | 0.000 % | c | 38493 | 1637 1540 80886 | 5500 2694 1419 | 0.000 % | c | 38643 | 1637 1540 80886 | 6050 2844 1419 | 0.000 % | c | 38868 | 1637 1540 80886 | 6655 3069 1419 | 0.000 % | c =============================================================================== c New solution: 2677249 c Elapsed CPU time: 68.1956 s Remaining CPU time: 111.804 s c =============================================================================== c | 39101 | 1637 1541 82332 | 5000 3302 1419 | 0.000 % | c | 39202 | 1637 1541 82332 | 5500 3403 1419 | 0.000 % | c | 39352 | 1637 1541 82332 | 6050 3553 1419 | 0.000 % | c | 39577 | 1637 1541 82332 | 6655 3778 1419 | 0.000 % | c =============================================================================== c New solution: 2677113 c Elapsed CPU time: 69.5284 s Remaining CPU time: 110.472 s c =============================================================================== c | 39750 | 1637 1542 83778 | 5000 3951 1419 | 0.000 % | c | 39850 | 1637 1542 83778 | 5500 4051 1419 | 0.000 % | c | 40001 | 1637 1542 83778 | 6050 4202 1419 | 0.000 % | c | 40227 | 1637 1542 83778 | 6655 4428 1419 | 0.000 % | c | 40565 | 1637 1542 83778 | 7320 4766 1419 | 0.000 % | c | 41073 | 1637 1542 83778 | 8052 5274 1419 | 0.000 % | c | 41832 | 1637 1542 83778 | 8857 6033 1419 | 0.000 % | c =============================================================================== c New solution: 2677019 c Elapsed CPU time: 75.8785 s Remaining CPU time: 104.122 s c =============================================================================== c | 42355 | 1637 1543 85224 | 5000 6556 1419 | 0.000 % | c | 42456 | 1637 1543 85224 | 5500 3379 1419 | 0.000 % | c | 42608 | 1637 1543 85224 | 6050 3531 1419 | 0.000 % | c | 42834 | 1637 1543 85224 | 6655 3757 1419 | 0.000 % | c | 43172 | 1637 1543 85224 | 7320 4095 1419 | 0.000 % | c =============================================================================== c New solution: 2676992 c Elapsed CPU time: 80.0108 s Remaining CPU time: 99.9892 s c =============================================================================== c | 43640 | 1637 1544 86670 | 5000 4563 1419 | 0.000 % | c =============================================================================== c New solution: 2676098 c Elapsed CPU time: 80.0598 s Remaining CPU time: 99.9402 s c =============================================================================== c | 43642 | 1637 1545 88116 | 5000 4565 1419 | 0.000 % | c | 43742 | 1637 1545 88116 | 5500 4665 1419 | 0.000 % | c =============================================================================== c New solution: 2675403 c Elapsed CPU time: 80.3768 s Remaining CPU time: 99.6232 s c =============================================================================== c | 43743 | 1637 1546 89562 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2674683 c Elapsed CPU time: 80.4268 s Remaining CPU time: 99.5732 s c =============================================================================== c | 43743 | 1637 1547 91008 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2673856 c Elapsed CPU time: 80.4788 s Remaining CPU time: 99.5212 s c =============================================================================== c | 43743 | 1637 1548 92454 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2673762 c Elapsed CPU time: 80.5288 s Remaining CPU time: 99.4712 s c =============================================================================== c | 43743 | 1637 1549 93900 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2673142 c Elapsed CPU time: 80.5777 s Remaining CPU time: 99.4223 s c =============================================================================== c | 43743 | 1637 1550 95346 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2672851 c Elapsed CPU time: 80.6317 s Remaining CPU time: 99.3683 s c =============================================================================== c | 43743 | 1637 1551 96792 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2672498 c Elapsed CPU time: 80.6867 s Remaining CPU time: 99.3133 s c =============================================================================== c | 43743 | 1637 1552 98238 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2671713 c Elapsed CPU time: 80.7397 s Remaining CPU time: 99.2603 s c =============================================================================== c | 43743 | 1637 1553 99684 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2670449 c Elapsed CPU time: 80.7897 s Remaining CPU time: 99.2103 s c =============================================================================== c | 43743 | 1637 1554 101130 | 5000 4666 1419 | 0.000 % | c =============================================================================== c New solution: 2670194 c Elapsed CPU time: 80.8597 s Remaining CPU time: 99.1403 s c =============================================================================== c | 43754 | 1637 1555 102576 | 5000 4677 1419 | 0.000 % | c =============================================================================== c New solution: 2670055 c Elapsed CPU time: 80.9847 s Remaining CPU time: 99.0153 s c =============================================================================== c | 43804 | 1637 1556 104022 | 5000 4727 1419 | 0.000 % | c | 43905 | 1637 1556 104022 | 5500 4828 1419 | 0.000 % | c =============================================================================== c New solution: 2669969 c Elapsed CPU time: 81.3776 s Remaining CPU time: 98.6224 s c =============================================================================== c | 44019 | 1637 1557 105468 | 5000 4942 1419 | 0.000 % | c | 44120 | 1637 1557 105468 | 5500 5043 1419 | 0.000 % | c | 44270 | 1637 1557 105468 | 6050 5193 1419 | 0.000 % | c | 44496 | 1637 1557 105468 | 6655 5419 1419 | 0.000 % | c | 44833 | 1637 1557 105468 | 7320 5756 1419 | 0.000 % | c | 45340 | 1637 1557 105468 | 8052 6263 1419 | 0.000 % | c | 46100 | 1637 1557 105468 | 8857 7023 1419 | 0.000 % | c | 47240 | 1637 1557 105468 | 9743 8163 1418 | 0.000 % | c | 48948 | 1637 1557 105468 | 10717 9871 1418 | 0.000 % | c =============================================================================== c New solution: 2669902 c Elapsed CPU time: 92.6699 s Remaining CPU time: 87.3301 s c =============================================================================== c | 50816 | 1637 1558 106914 | 5000 11739 1418 | 0.000 % | c =============================================================================== c New solution: 2669162 c Elapsed CPU time: 92.8969 s Remaining CPU time: 87.1031 s c =============================================================================== c | 50816 | 1637 1559 108360 | 5000 2935 1417 | 0.000 % | c | 50916 | 1637 1559 108360 | 5500 3035 1417 | 0.000 % | c | 51067 | 1637 1559 108360 | 6050 3186 1417 | 0.000 % | c | 51292 | 1637 1559 108360 | 6655 3411 1417 | 0.000 % | c =============================================================================== c New solution: 2668963 c Elapsed CPU time: 94.0927 s Remaining CPU time: 85.9073 s c =============================================================================== c | 51309 | 1637 1560 109806 | 5000 3428 1417 | 0.000 % | c | 51410 | 1637 1560 109806 | 5500 3529 1417 | 0.000 % | c | 51560 | 1637 1560 109806 | 6050 3679 1416 | 0.000 % | c =============================================================================== c New solution: 2668845 c Elapsed CPU time: 94.7736 s Remaining CPU time: 85.2264 s c =============================================================================== c | 51579 | 1637 1561 111252 | 5000 3698 1416 | 0.000 % | c | 51679 | 1637 1561 111252 | 5500 3798 1416 | 0.000 % | c | 51830 | 1637 1561 111252 | 6050 3949 1416 | 0.000 % | c | 52055 | 1637 1561 111252 | 6655 4174 1416 | 0.000 % | c | 52392 | 1637 1561 111252 | 7320 4511 1416 | 0.000 % | c | 52899 | 1637 1561 111252 | 8052 5018 1416 | 0.000 % | c | 53658 | 1637 1561 111252 | 8857 5777 1417 | 0.000 % | c | 54797 | 1637 1561 111252 | 9743 6916 1417 | 0.000 % | c | 56506 | 1637 1561 111252 | 10717 8625 1417 | 0.000 % | c =============================================================================== c New solution: 2668820 c Elapsed CPU time: 110.646 s Remaining CPU time: 69.3538 s c =============================================================================== c | 58437 | 1637 1562 112698 | 5000 10556 1417 | 0.000 % | c | 58538 | 1637 1562 112698 | 5500 2740 1417 | 0.000 % | c | 58688 | 1637 1562 112698 | 6050 2890 1416 | 0.000 % | c | 58915 | 1637 1562 112698 | 6655 3117 1416 | 0.000 % | c =============================================================================== c New solution: 2668667 c Elapsed CPU time: 111.941 s Remaining CPU time: 68.059 s c =============================================================================== c | 59174 | 1637 1563 114144 | 5000 3376 1416 | 0.000 % | c | 59275 | 1637 1563 114144 | 5500 3477 1416 | 0.000 % | c | 59427 | 1637 1563 114144 | 6050 3629 1416 | 0.000 % | c | 59652 | 1637 1563 114144 | 6655 3854 1416 | 0.000 % | c | 59991 | 1637 1563 114144 | 7320 4193 1415 | 0.000 % | c | 60497 | 1637 1563 114144 | 8052 4699 1415 | 0.000 % | c | 61256 | 1637 1563 114144 | 8857 5458 1415 | 0.000 % | c | 62395 | 1637 1563 114144 | 9743 6597 1414 | 0.000 % | c =============================================================================== c New solution: 2668660 c Elapsed CPU time: 119.282 s Remaining CPU time: 60.7181 s c =============================================================================== c | 63371 | 1637 1564 115590 | 5000 7573 1414 | 0.000 % | c | 63472 | 1637 1564 115590 | 5500 3888 1412 | 0.000 % | c | 63622 | 1637 1564 115590 | 6050 4038 1412 | 0.000 % | c | 63847 | 1637 1564 115590 | 6655 4263 1412 | 0.000 % | c =============================================================================== c New solution: 2668510 c Elapsed CPU time: 120.767 s Remaining CPU time: 59.2334 s c =============================================================================== c | 63930 | 1637 1565 117036 | 5000 4346 1412 | 0.000 % | c | 64031 | 1637 1565 117036 | 5500 4447 1412 | 0.000 % | c | 64182 | 1637 1565 117036 | 6050 4598 1412 | 0.000 % | c | 64408 | 1637 1565 117036 | 6655 4824 1412 | 0.000 % | c | 64745 | 1637 1565 117036 | 7320 5161 1412 | 0.000 % | c =============================================================================== c New solution: 2668308 c Elapsed CPU time: 123.666 s Remaining CPU time: 56.3338 s c =============================================================================== c | 64939 | 1637 1566 118482 | 5000 5355 1412 | 0.000 % | c | 65039 | 1637 1566 118482 | 5500 2778 1413 | 0.000 % | c | 65190 | 1637 1566 118482 | 6050 2929 1413 | 0.000 % | c | 65415 | 1637 1566 118482 | 6655 3154 1413 | 0.000 % | c | 65752 | 1637 1566 118482 | 7320 3491 1413 | 0.000 % | c | 66259 | 1637 1566 118482 | 8052 3998 1413 | 0.000 % | c | 67019 | 1637 1566 118482 | 8857 4758 1413 | 0.000 % | c =============================================================================== c New solution: 2667982 c Elapsed CPU time: 130.629 s Remaining CPU time: 49.3709 s c =============================================================================== c | 67795 | 1637 1567 119928 | 5000 5534 1413 | 0.000 % | c | 67895 | 1637 1567 119928 | 5500 2867 1413 | 0.000 % |