c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 1500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1500 | c | Number Clauses: 1500 | 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 | 1485 1512 4318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7399 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1485 1513 5668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7397 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1485 1514 7018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7391 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1485 1515 8368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7389 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1485 1516 9718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7388 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1485 1517 11068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7386 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1485 1518 12418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7384 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1485 1519 13768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7381 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 1485 1520 15118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7379 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 1485 1521 16468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7377 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 1485 1522 17818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7375 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 1485 1523 19168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7374 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 1485 1524 20518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7369 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 1485 1525 21868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7368 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 1485 1526 23218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7367 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 1485 1527 24568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7366 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 0 | 1485 1528 25918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7365 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 1485 1529 27268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7364 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 1485 1530 28618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7363 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 1485 1531 29968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7362 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 1485 1532 31318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7361 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 0 | 1485 1533 32668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7360 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 0 | 1485 1534 34018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7359 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 1485 1535 35368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7358 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 1485 1536 36718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7357 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 0 | 1485 1537 38068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7356 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 1485 1538 39418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7355 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 1485 1539 40768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7353 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 1485 1540 42118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7352 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 0 | 1485 1541 43468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7351 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 0 | 1485 1542 44818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7349 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 0 | 1485 1543 46168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7347 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 0 | 1485 1544 47518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7346 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 0 | 1485 1545 48868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7343 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 0 | 1485 1546 50218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7341 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 0 | 1485 1547 51568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7338 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 0 | 1485 1548 52918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7337 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 0 | 1485 1549 54268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7336 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 0 | 1485 1550 55618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7335 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 0 | 1485 1551 56968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7333 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 0 | 1485 1552 58318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7332 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 0 | 1485 1553 59668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7329 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s c =============================================================================== c | 0 | 1485 1554 61018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7328 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 0 | 1485 1555 62368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7326 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 0 | 1485 1556 63718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7322 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 0 | 1485 1557 65068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7321 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 0 | 1485 1558 66418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7320 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 0 | 1485 1559 67768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7319 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 0 | 1485 1560 69118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7317 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 0 | 1485 1561 70468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7316 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 0 | 1485 1562 71818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7315 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 0 | 1485 1563 73168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7314 c Elapsed CPU time: 0.793879 s Remaining CPU time: 179.206 s c =============================================================================== c | 0 | 1485 1564 74518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7312 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 0 | 1485 1565 75868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7311 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 0 | 1485 1566 77218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7309 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 0 | 1485 1567 78568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7306 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 0 | 1485 1568 79918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7303 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 0 | 1485 1569 81268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7299 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s c =============================================================================== c | 0 | 1485 1570 82618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7295 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 0 | 1485 1571 83968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7293 c Elapsed CPU time: 1.02084 s Remaining CPU time: 178.979 s c =============================================================================== c | 0 | 1485 1572 85318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7291 c Elapsed CPU time: 1.04884 s Remaining CPU time: 178.951 s c =============================================================================== c | 0 | 1485 1573 86668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7290 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 0 | 1485 1574 88018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7289 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 0 | 1485 1575 89368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7285 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 0 | 1485 1576 90718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7284 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 0 | 1485 1577 92068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7282 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 0 | 1485 1578 93418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7279 c Elapsed CPU time: 1.24981 s Remaining CPU time: 178.75 s c =============================================================================== c | 0 | 1485 1579 94768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7278 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 0 | 1485 1580 96118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7277 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 0 | 1485 1581 97468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7276 c Elapsed CPU time: 1.35779 s Remaining CPU time: 178.642 s c =============================================================================== c | 0 | 1485 1582 98818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7273 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 0 | 1485 1583 100168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7272 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 0 | 1485 1584 101518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7271 c Elapsed CPU time: 1.47078 s Remaining CPU time: 178.529 s c =============================================================================== c | 0 | 1485 1585 102868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7267 c Elapsed CPU time: 1.50777 s Remaining CPU time: 178.492 s c =============================================================================== c | 0 | 1485 1586 104218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7264 c Elapsed CPU time: 1.54377 s Remaining CPU time: 178.456 s c =============================================================================== c | 0 | 1485 1587 105568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7260 c Elapsed CPU time: 1.58476 s Remaining CPU time: 178.415 s c =============================================================================== c | 0 | 1485 1588 106918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7257 c Elapsed CPU time: 1.62375 s Remaining CPU time: 178.376 s c =============================================================================== c | 0 | 1485 1589 108268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7252 c Elapsed CPU time: 1.66175 s Remaining CPU time: 178.338 s c =============================================================================== c | 0 | 1485 1590 109618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7251 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 0 | 1485 1591 110968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7250 c Elapsed CPU time: 1.74174 s Remaining CPU time: 178.258 s c =============================================================================== c | 0 | 1485 1592 112318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7249 c Elapsed CPU time: 1.78573 s Remaining CPU time: 178.214 s c =============================================================================== c | 0 | 1485 1593 113668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7247 c Elapsed CPU time: 1.82572 s Remaining CPU time: 178.174 s c =============================================================================== c | 0 | 1485 1594 115018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7244 c Elapsed CPU time: 1.86672 s Remaining CPU time: 178.133 s c =============================================================================== c | 0 | 1485 1595 116368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 1.91071 s Remaining CPU time: 178.089 s c =============================================================================== c | 0 | 1485 1596 117718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7241 c Elapsed CPU time: 1.9577 s Remaining CPU time: 178.042 s c =============================================================================== c | 0 | 1485 1597 119068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7239 c Elapsed CPU time: 2.00769 s Remaining CPU time: 177.992 s c =============================================================================== c | 0 | 1485 1598 120418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7238 c Elapsed CPU time: 2.05469 s Remaining CPU time: 177.945 s c =============================================================================== c | 0 | 1485 1599 121768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7237 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s c =============================================================================== c | 0 | 1485 1600 123118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7236 c Elapsed CPU time: 2.15267 s Remaining CPU time: 177.847 s c =============================================================================== c | 0 | 1485 1601 124468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7235 c Elapsed CPU time: 2.20366 s Remaining CPU time: 177.796 s c =============================================================================== c | 0 | 1485 1602 125818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7234 c Elapsed CPU time: 2.25466 s Remaining CPU time: 177.745 s c =============================================================================== c | 0 | 1485 1603 127168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7233 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 0 | 1485 1604 128518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7232 c Elapsed CPU time: 2.35564 s Remaining CPU time: 177.644 s c =============================================================================== c | 0 | 1485 1605 129868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7231 c Elapsed CPU time: 2.40963 s Remaining CPU time: 177.59 s c =============================================================================== c | 0 | 1485 1606 131218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7230 c Elapsed CPU time: 2.46762 s Remaining CPU time: 177.532 s c =============================================================================== c | 0 | 1485 1607 132568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7229 c Elapsed CPU time: 2.52462 s Remaining CPU time: 177.475 s c =============================================================================== c | 0 | 1485 1608 133918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7228 c Elapsed CPU time: 2.58061 s Remaining CPU time: 177.419 s c =============================================================================== c | 0 | 1485 1609 135268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7227 c Elapsed CPU time: 2.6346 s Remaining CPU time: 177.365 s c =============================================================================== c | 0 | 1485 1610 136618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7226 c Elapsed CPU time: 2.69059 s Remaining CPU time: 177.309 s c =============================================================================== c | 0 | 1485 1611 137968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7223 c Elapsed CPU time: 2.74558 s Remaining CPU time: 177.254 s c =============================================================================== c | 0 | 1485 1612 139318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7222 c Elapsed CPU time: 2.79857 s Remaining CPU time: 177.201 s c =============================================================================== c | 0 | 1485 1613 140668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7221 c Elapsed CPU time: 2.85656 s Remaining CPU time: 177.143 s c =============================================================================== c | 0 | 1485 1614 142018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7218 c Elapsed CPU time: 2.91456 s Remaining CPU time: 177.085 s c =============================================================================== c | 0 | 1485 1615 143368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7216 c Elapsed CPU time: 2.97555 s Remaining CPU time: 177.024 s c =============================================================================== c | 0 | 1485 1616 144718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 3.03154 s Remaining CPU time: 176.968 s c =============================================================================== c | 0 | 1485 1617 146068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7211 c Elapsed CPU time: 3.08753 s Remaining CPU time: 176.912 s c =============================================================================== c | 0 | 1485 1618 147418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7208 c Elapsed CPU time: 3.14652 s Remaining CPU time: 176.853 s c =============================================================================== c | 0 | 1485 1619 148768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7207 c Elapsed CPU time: 3.20651 s Remaining CPU time: 176.793 s c =============================================================================== c | 0 | 1485 1620 150118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7206 c Elapsed CPU time: 3.2665 s Remaining CPU time: 176.733 s c =============================================================================== c | 0 | 1485 1621 151468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7205 c Elapsed CPU time: 3.33049 s Remaining CPU time: 176.67 s c =============================================================================== c | 0 | 1485 1622 152818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7204 c Elapsed CPU time: 3.38848 s Remaining CPU time: 176.612 s c =============================================================================== c | 0 | 1485 1623 154168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7203 c Elapsed CPU time: 3.45047 s Remaining CPU time: 176.55 s c =============================================================================== c | 0 | 1485 1624 155518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7202 c Elapsed CPU time: 3.51147 s Remaining CPU time: 176.489 s c =============================================================================== c | 0 | 1485 1625 156868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7198 c Elapsed CPU time: 3.57346 s Remaining CPU time: 176.427 s c =============================================================================== c | 0 | 1485 1626 158218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7195 c Elapsed CPU time: 3.63545 s Remaining CPU time: 176.365 s c =============================================================================== c | 0 | 1485 1627 159568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7194 c Elapsed CPU time: 3.69844 s Remaining CPU time: 176.302 s c =============================================================================== c | 0 | 1485 1628 160918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7192 c Elapsed CPU time: 3.76343 s Remaining CPU time: 176.237 s c =============================================================================== c | 0 | 1485 1629 162268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7189 c Elapsed CPU time: 3.82542 s Remaining CPU time: 176.175 s c =============================================================================== c | 0 | 1485 1630 163618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7187 c Elapsed CPU time: 3.89741 s Remaining CPU time: 176.103 s c =============================================================================== c | 0 | 1485 1631 164968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7186 c Elapsed CPU time: 3.9704 s Remaining CPU time: 176.03 s c =============================================================================== c | 0 | 1485 1632 166318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7185 c Elapsed CPU time: 4.04538 s Remaining CPU time: 175.955 s c =============================================================================== c | 0 | 1485 1633 167668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7184 c Elapsed CPU time: 4.11937 s Remaining CPU time: 175.881 s c =============================================================================== c | 0 | 1485 1634 169018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7183 c Elapsed CPU time: 4.19236 s Remaining CPU time: 175.808 s c =============================================================================== c | 0 | 1485 1635 170368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7180 c Elapsed CPU time: 4.26435 s Remaining CPU time: 175.736 s c =============================================================================== c | 0 | 1485 1636 171718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7177 c Elapsed CPU time: 4.33934 s Remaining CPU time: 175.661 s c =============================================================================== c | 0 | 1485 1637 173068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7176 c Elapsed CPU time: 4.41333 s Remaining CPU time: 175.587 s c =============================================================================== c | 0 | 1485 1638 174418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7175 c Elapsed CPU time: 4.49132 s Remaining CPU time: 175.509 s c =============================================================================== c | 0 | 1485 1639 175768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7171 c Elapsed CPU time: 4.5663 s Remaining CPU time: 175.434 s c =============================================================================== c | 0 | 1485 1640 177118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 4.64329 s Remaining CPU time: 175.357 s c =============================================================================== c | 0 | 1485 1641 178468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7167 c Elapsed CPU time: 4.72228 s Remaining CPU time: 175.278 s c =============================================================================== c | 0 | 1485 1642 179818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7165 c Elapsed CPU time: 4.80627 s Remaining CPU time: 175.194 s c =============================================================================== c | 0 | 1485 1643 181168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7164 c Elapsed CPU time: 4.88526 s Remaining CPU time: 175.115 s c =============================================================================== c | 0 | 1485 1644 182518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7163 c Elapsed CPU time: 4.97024 s Remaining CPU time: 175.03 s c =============================================================================== c | 0 | 1485 1645 183868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7160 c Elapsed CPU time: 5.05523 s Remaining CPU time: 174.945 s c =============================================================================== c | 0 | 1485 1646 185218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7158 c Elapsed CPU time: 5.14322 s Remaining CPU time: 174.857 s c =============================================================================== c | 0 | 1485 1647 186568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7157 c Elapsed CPU time: 5.2312 s Remaining CPU time: 174.769 s c =============================================================================== c | 0 | 1485 1648 187918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7153 c Elapsed CPU time: 5.31619 s Remaining CPU time: 174.684 s c =============================================================================== c | 0 | 1485 1649 189268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7152 c Elapsed CPU time: 5.40518 s Remaining CPU time: 174.595 s c =============================================================================== c | 0 | 1485 1650 190618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7151 c Elapsed CPU time: 5.49616 s Remaining CPU time: 174.504 s c =============================================================================== c | 0 | 1485 1651 191968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7150 c Elapsed CPU time: 5.58415 s Remaining CPU time: 174.416 s c =============================================================================== c | 0 | 1485 1652 193318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7149 c Elapsed CPU time: 5.67714 s Remaining CPU time: 174.323 s c =============================================================================== c | 0 | 1485 1653 194668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7148 c Elapsed CPU time: 5.76612 s Remaining CPU time: 174.234 s c =============================================================================== c | 0 | 1485 1654 196018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7147 c Elapsed CPU time: 5.85811 s Remaining CPU time: 174.142 s c =============================================================================== c | 0 | 1485 1655 197368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7146 c Elapsed CPU time: 5.9501 s Remaining CPU time: 174.05 s c =============================================================================== c | 0 | 1485 1656 198718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7145 c Elapsed CPU time: 6.04508 s Remaining CPU time: 173.955 s c =============================================================================== c | 0 | 1485 1657 200068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 6.13907 s Remaining CPU time: 173.861 s c =============================================================================== c | 0 | 1485 1658 201418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7142 c Elapsed CPU time: 6.23205 s Remaining CPU time: 173.768 s c =============================================================================== c | 0 | 1485 1659 202768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7141 c Elapsed CPU time: 6.32404 s Remaining CPU time: 173.676 s c =============================================================================== c | 0 | 1485 1660 204118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7137 c Elapsed CPU time: 6.41602 s Remaining CPU time: 173.584 s c =============================================================================== c | 0 | 1485 1661 205468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7136 c Elapsed CPU time: 6.51301 s Remaining CPU time: 173.487 s c =============================================================================== c | 0 | 1485 1662 206818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7135 c Elapsed CPU time: 6.60999 s Remaining CPU time: 173.39 s c =============================================================================== c | 0 | 1485 1663 208168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7134 c Elapsed CPU time: 6.70498 s Remaining CPU time: 173.295 s c =============================================================================== c | 0 | 1485 1664 209518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7133 c Elapsed CPU time: 6.80097 s Remaining CPU time: 173.199 s c =============================================================================== c | 0 | 1485 1665 210868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7131 c Elapsed CPU time: 6.89795 s Remaining CPU time: 173.102 s c =============================================================================== c | 0 | 1485 1666 212218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7127 c Elapsed CPU time: 6.99594 s Remaining CPU time: 173.004 s c =============================================================================== c | 0 | 1485 1667 213568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7126 c Elapsed CPU time: 7.09292 s Remaining CPU time: 172.907 s c =============================================================================== c | 0 | 1485 1668 214918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7124 c Elapsed CPU time: 7.19391 s Remaining CPU time: 172.806 s c =============================================================================== c | 0 | 1485 1669 216268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7120 c Elapsed CPU time: 7.29489 s Remaining CPU time: 172.705 s c =============================================================================== c | 0 | 1485 1670 217618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7118 c Elapsed CPU time: 7.39487 s Remaining CPU time: 172.605 s c =============================================================================== c | 0 | 1485 1671 218968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7117 c Elapsed CPU time: 7.50086 s Remaining CPU time: 172.499 s c =============================================================================== c | 0 | 1485 1672 220318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7116 c Elapsed CPU time: 7.60384 s Remaining CPU time: 172.396 s c =============================================================================== c | 0 | 1485 1673 221668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7114 c Elapsed CPU time: 7.70483 s Remaining CPU time: 172.295 s c =============================================================================== c | 0 | 1485 1674 223018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7113 c Elapsed CPU time: 7.81281 s Remaining CPU time: 172.187 s c =============================================================================== c | 0 | 1485 1675 224368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7112 c Elapsed CPU time: 7.9148 s Remaining CPU time: 172.085 s c =============================================================================== c | 0 | 1485 1676 225718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7111 c Elapsed CPU time: 8.01778 s Remaining CPU time: 171.982 s c =============================================================================== c | 0 | 1485 1677 227068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7109 c Elapsed CPU time: 8.12576 s Remaining CPU time: 171.874 s c =============================================================================== c | 0 | 1485 1678 228418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7108 c Elapsed CPU time: 8.23175 s Remaining CPU time: 171.768 s c =============================================================================== c | 0 | 1485 1679 229768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7107 c Elapsed CPU time: 8.33673 s Remaining CPU time: 171.663 s c =============================================================================== c | 0 | 1485 1680 231118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7105 c Elapsed CPU time: 8.44072 s Remaining CPU time: 171.559 s c =============================================================================== c | 0 | 1485 1681 232468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7102 c Elapsed CPU time: 8.5437 s Remaining CPU time: 171.456 s c =============================================================================== c | 0 | 1485 1682 233818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7101 c Elapsed CPU time: 8.65068 s Remaining CPU time: 171.349 s c =============================================================================== c | 0 | 1485 1683 235168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7099 c Elapsed CPU time: 8.76367 s Remaining CPU time: 171.236 s c =============================================================================== c | 0 | 1485 1684 236518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 8.87165 s Remaining CPU time: 171.128 s c =============================================================================== c | 0 | 1485 1685 237868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7097 c Elapsed CPU time: 8.97963 s Remaining CPU time: 171.02 s c =============================================================================== c | 0 | 1485 1686 239218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7096 c Elapsed CPU time: 9.09262 s Remaining CPU time: 170.907 s c =============================================================================== c | 0 | 1485 1687 240568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7095 c Elapsed CPU time: 9.2076 s Remaining CPU time: 170.792 s c =============================================================================== c | 0 | 1485 1688 241918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7094 c Elapsed CPU time: 9.32158 s Remaining CPU time: 170.678 s c =============================================================================== c | 0 | 1485 1689 243268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7093 c Elapsed CPU time: 9.43356 s Remaining CPU time: 170.566 s c =============================================================================== c | 0 | 1485 1690 244618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7091 c Elapsed CPU time: 9.54455 s Remaining CPU time: 170.455 s c =============================================================================== c | 0 | 1485 1691 245968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7090 c Elapsed CPU time: 9.65553 s Remaining CPU time: 170.344 s c =============================================================================== c | 0 | 1485 1692 247318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 9.76851 s Remaining CPU time: 170.231 s c =============================================================================== c | 0 | 1485 1693 248668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7088 c Elapsed CPU time: 9.8775 s Remaining CPU time: 170.123 s c =============================================================================== c | 0 | 1485 1694 250018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7087 c Elapsed CPU time: 9.98948 s Remaining CPU time: 170.011 s c =============================================================================== c | 0 | 1485 1695 251368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7086 c Elapsed CPU time: 10.1005 s Remaining CPU time: 169.9 s c =============================================================================== c | 0 | 1485 1696 252718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7085 c Elapsed CPU time: 10.2124 s Remaining CPU time: 169.788 s c =============================================================================== c | 0 | 1485 1697 254068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7084 c Elapsed CPU time: 10.3244 s Remaining CPU time: 169.676 s c =============================================================================== c | 0 | 1485 1698 255418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7083 c Elapsed CPU time: 10.4384 s Remaining CPU time: 169.562 s c =============================================================================== c | 0 | 1485 1699 256768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7082 c Elapsed CPU time: 10.5554 s Remaining CPU time: 169.445 s c =============================================================================== c | 0 | 1485 1700 258118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7081 c Elapsed CPU time: 10.6714 s Remaining CPU time: 169.329 s c =============================================================================== c | 0 | 1485 1701 259468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7077 c Elapsed CPU time: 10.7874 s Remaining CPU time: 169.213 s c =============================================================================== c | 0 | 1485 1702 260818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7076 c Elapsed CPU time: 10.9113 s Remaining CPU time: 169.089 s c =============================================================================== c | 0 | 1485 1703 262168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7075 c Elapsed CPU time: 11.0323 s Remaining CPU time: 168.968 s c =============================================================================== c | 0 | 1485 1704 263518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7073 c Elapsed CPU time: 11.1533 s Remaining CPU time: 168.847 s c =============================================================================== c | 0 | 1485 1705 264868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7070 c Elapsed CPU time: 11.2683 s Remaining CPU time: 168.732 s c =============================================================================== c | 0 | 1485 1706 266218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7068 c Elapsed CPU time: 11.3893 s Remaining CPU time: 168.611 s c =============================================================================== c | 0 | 1485 1707 267568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7067 c Elapsed CPU time: 11.5102 s Remaining CPU time: 168.49 s c =============================================================================== c | 0 | 1485 1708 268918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7066 c Elapsed CPU time: 11.6312 s Remaining CPU time: 168.369 s c =============================================================================== c | 0 | 1485 1709 270268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7064 c Elapsed CPU time: 11.7532 s Remaining CPU time: 168.247 s c =============================================================================== c | 0 | 1485 1710 271618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7063 c Elapsed CPU time: 11.8752 s Remaining CPU time: 168.125 s c =============================================================================== c | 0 | 1485 1711 272968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7062 c Elapsed CPU time: 12.0052 s Remaining CPU time: 167.995 s c =============================================================================== c | 0 | 1485 1712 274318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7061 c Elapsed CPU time: 12.1382 s Remaining CPU time: 167.862 s c =============================================================================== c | 0 | 1485 1713 275668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7060 c Elapsed CPU time: 12.2651 s Remaining CPU time: 167.735 s c =============================================================================== c | 0 | 1485 1714 277018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7057 c Elapsed CPU time: 12.3881 s Remaining CPU time: 167.612 s c =============================================================================== c | 0 | 1485 1715 278368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7056 c Elapsed CPU time: 12.5161 s Remaining CPU time: 167.484 s c =============================================================================== c | 0 | 1485 1716 279718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7055 c Elapsed CPU time: 12.6421 s Remaining CPU time: 167.358 s c =============================================================================== c | 0 | 1485 1717 281068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7054 c Elapsed CPU time: 12.7691 s Remaining CPU time: 167.231 s c =============================================================================== c | 0 | 1485 1718 282418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7053 c Elapsed CPU time: 12.897 s Remaining CPU time: 167.103 s c =============================================================================== c | 0 | 1485 1719 283768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7052 c Elapsed CPU time: 13.023 s Remaining CPU time: 166.977 s c =============================================================================== c | 0 | 1485 1720 285118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7050 c Elapsed CPU time: 13.149 s Remaining CPU time: 166.851 s c =============================================================================== c | 0 | 1485 1721 286468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7048 c Elapsed CPU time: 13.276 s Remaining CPU time: 166.724 s c =============================================================================== c | 0 | 1485 1722 287818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7047 c Elapsed CPU time: 13.408 s Remaining CPU time: 166.592 s c =============================================================================== c | 0 | 1485 1723 289168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7045 c Elapsed CPU time: 13.5389 s Remaining CPU time: 166.461 s c =============================================================================== c | 0 | 1485 1724 290518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7044 c Elapsed CPU time: 13.6729 s Remaining CPU time: 166.327 s c =============================================================================== c | 0 | 1485 1725 291868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7041 c Elapsed CPU time: 13.8049 s Remaining CPU time: 166.195 s c =============================================================================== c | 0 | 1485 1726 293218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7037 c Elapsed CPU time: 13.9399 s Remaining CPU time: 166.06 s c =============================================================================== c | 0 | 1485 1727 294568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7035 c Elapsed CPU time: 14.0889 s Remaining CPU time: 165.911 s c =============================================================================== c | 0 | 1485 1728 295918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7034 c Elapsed CPU time: 14.2228 s Remaining CPU time: 165.777 s c =============================================================================== c | 1 | 1485 1729 297268 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7033 c Elapsed CPU time: 14.3648 s Remaining CPU time: 165.635 s c =============================================================================== c | 1 | 1485 1730 298618 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7030 c Elapsed CPU time: 14.5118 s Remaining CPU time: 165.488 s c =============================================================================== c | 1 | 1485 1731 299968 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7029 c Elapsed CPU time: 14.6618 s Remaining CPU time: 165.338 s c =============================================================================== c | 1 | 1485 1732 301318 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7028 c Elapsed CPU time: 14.8067 s Remaining CPU time: 165.193 s c =============================================================================== c | 1 | 1485 1733 302668 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7027 c Elapsed CPU time: 14.9577 s Remaining CPU time: 165.042 s c =============================================================================== c | 1 | 1485 1734 304018 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7026 c Elapsed CPU time: 15.1157 s Remaining CPU time: 164.884 s c =============================================================================== c | 1 | 1485 1735 305368 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7025 c Elapsed CPU time: 15.2607 s Remaining CPU time: 164.739 s c =============================================================================== c | 1 | 1485 1736 306718 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7024 c Elapsed CPU time: 15.4087 s Remaining CPU time: 164.591 s c =============================================================================== c | 1 | 1485 1737 308068 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7023 c Elapsed CPU time: 15.5546 s Remaining CPU time: 164.445 s c =============================================================================== c | 1 | 1485 1738 309418 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7022 c Elapsed CPU time: 15.7096 s Remaining CPU time: 164.29 s c =============================================================================== c | 1 | 1485 1739 310768 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7021 c Elapsed CPU time: 15.8536 s Remaining CPU time: 164.146 s c =============================================================================== c | 1 | 1485 1740 312118 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7020 c Elapsed CPU time: 16.0076 s Remaining CPU time: 163.992 s c =============================================================================== c | 1 | 1485 1741 313468 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7019 c Elapsed CPU time: 16.1525 s Remaining CPU time: 163.847 s c =============================================================================== c | 1 | 1485 1742 314818 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7018 c Elapsed CPU time: 16.3075 s Remaining CPU time: 163.692 s c =============================================================================== c | 1 | 1485 1743 316168 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7017 c Elapsed CPU time: 16.4735 s Remaining CPU time: 163.527 s c =============================================================================== c | 1 | 1485 1744 317518 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7016 c Elapsed CPU time: 16.6245 s Remaining CPU time: 163.376 s c =============================================================================== c | 1 | 1485 1745 318868 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7015 c Elapsed CPU time: 16.7774 s Remaining CPU time: 163.223 s c =============================================================================== c | 1 | 1485 1746 320218 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7014 c Elapsed CPU time: 16.9314 s Remaining CPU time: 163.069 s c =============================================================================== c | 1 | 1485 1747 321568 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7013 c Elapsed CPU time: 17.0904 s Remaining CPU time: 162.91 s c =============================================================================== c | 1 | 1485 1748 322918 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7011 c Elapsed CPU time: 17.2514 s Remaining CPU time: 162.749 s c =============================================================================== c | 1 | 1485 1749 324268 | 5000 1 1300 | 0.000 % | c =============================================================================== c New solution: 7010 c Elapsed CPU time: 17.4144 s Remaining CPU time: 162.586 s c =============================================================================== c | 3 | 1485 1750 325618 | 5000 3 1294 | 0.000 % | c =============================================================================== c New solution: 7009 c Elapsed CPU time: 17.5763 s Remaining CPU time: 162.424 s c =============================================================================== c | 3 | 1485 1751 326968 | 5000 3 1294 | 0.000 % | c =============================================================================== c New solution: 7008 c Elapsed CPU time: 17.7453 s Remaining CPU time: 162.255 s c =============================================================================== c | 4 | 1485 1752 328318 | 5000 4 1294 | 0.000 % | c =============================================================================== c New solution: 7007 c Elapsed CPU time: 17.9143 s Remaining CPU time: 162.086 s c =============================================================================== c | 4 | 1485 1753 329668 | 5000 4 1294 | 0.000 % | c =============================================================================== c New solution: 7006 c Elapsed CPU time: 18.0733 s Remaining CPU time: 161.927 s c =============================================================================== c | 4 | 1485 1754 331018 | 5000 4 1294 | 0.000 % | c =============================================================================== c New solution: 7005 c Elapsed CPU time: 18.2412 s Remaining CPU time: 161.759 s c =============================================================================== c | 4 | 1485 1755 332368 | 5000 4 1294 | 0.000 % | c =============================================================================== c New solution: 7004 c Elapsed CPU time: 18.4242 s Remaining CPU time: 161.576 s c =============================================================================== c | 18 | 1485 1756 333718 | 5000 18 1290 | 0.000 % | c =============================================================================== c New solution: 7003 c Elapsed CPU time: 18.5932 s Remaining CPU time: 161.407 s c =============================================================================== c | 18 | 1485 1757 335068 | 5000 18 1290 | 0.000 % | c =============================================================================== c New solution: 7002 c Elapsed CPU time: 18.7611 s Remaining CPU time: 161.239 s c =============================================================================== c | 18 | 1485 1758 336418 | 5000 18 1290 | 0.000 % | c =============================================================================== c New solution: 7001 c Elapsed CPU time: 18.9321 s Remaining CPU time: 161.068 s c =============================================================================== c | 18 | 1485 1759 337768 | 5000 18 1290 | 0.000 % | c =============================================================================== c New solution: 7000 c Elapsed CPU time: 19.1071 s Remaining CPU time: 160.893 s c =============================================================================== c | 18 | 1485 1760 339118 | 5000 18 1290 | 0.000 % | c =============================================================================== c New solution: 6999 c Elapsed CPU time: 19.2841 s Remaining CPU time: 160.716 s c =============================================================================== c | 18 | 1485 1761 340468 | 5000 18 1290 | 0.000 % | c =============================================================================== c New solution: 6998 c Elapsed CPU time: 19.497 s Remaining CPU time: 160.503 s c =============================================================================== c | 19 | 1485 1762 341818 | 5000 19 1290 | 0.000 % | c =============================================================================== c New solution: 6997 c Elapsed CPU time: 19.671 s Remaining CPU time: 160.329 s c =============================================================================== c | 28 | 1485 1763 343168 | 5000 28 1288 | 0.000 % | c =============================================================================== c New solution: 6996 c Elapsed CPU time: 19.839 s Remaining CPU time: 160.161 s c =============================================================================== c | 28 | 1485 1764 344518 | 5000 28 1288 | 0.000 % | c =============================================================================== c New solution: 6995 c Elapsed CPU time: 20.001 s Remaining CPU time: 159.999 s c =============================================================================== c | 31 | 1485 1765 345868 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6994 c Elapsed CPU time: 20.1679 s Remaining CPU time: 159.832 s c =============================================================================== c | 31 | 1485 1766 347218 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6993 c Elapsed CPU time: 20.3469 s Remaining CPU time: 159.653 s c =============================================================================== c | 31 | 1485 1767 348568 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6992 c Elapsed CPU time: 20.5279 s Remaining CPU time: 159.472 s c =============================================================================== c | 31 | 1485 1768 349918 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6991 c Elapsed CPU time: 20.7009 s Remaining CPU time: 159.299 s c =============================================================================== c | 31 | 1485 1769 351268 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6990 c Elapsed CPU time: 20.8688 s Remaining CPU time: 159.131 s c =============================================================================== c | 31 | 1485 1770 352618 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6989 c Elapsed CPU time: 21.0318 s Remaining CPU time: 158.968 s c =============================================================================== c | 31 | 1485 1771 353968 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6988 c Elapsed CPU time: 21.2018 s Remaining CPU time: 158.798 s c =============================================================================== c | 31 | 1485 1772 355318 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6987 c Elapsed CPU time: 21.3747 s Remaining CPU time: 158.625 s c =============================================================================== c | 31 | 1485 1773 356668 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6986 c Elapsed CPU time: 21.5487 s Remaining CPU time: 158.451 s c =============================================================================== c | 31 | 1485 1774 358018 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6985 c Elapsed CPU time: 21.7187 s Remaining CPU time: 158.281 s c =============================================================================== c | 31 | 1485 1775 359368 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6984 c Elapsed CPU time: 21.8857 s Remaining CPU time: 158.114 s c =============================================================================== c | 31 | 1485 1776 360718 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6983 c Elapsed CPU time: 22.0656 s Remaining CPU time: 157.934 s c =============================================================================== c | 31 | 1485 1777 362068 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6982 c Elapsed CPU time: 22.2476 s Remaining CPU time: 157.752 s c =============================================================================== c | 31 | 1485 1778 363418 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6981 c Elapsed CPU time: 22.4246 s Remaining CPU time: 157.575 s c =============================================================================== c | 31 | 1485 1779 364768 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6980 c Elapsed CPU time: 22.5986 s Remaining CPU time: 157.401 s c =============================================================================== c | 31 | 1485 1780 366118 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6979 c Elapsed CPU time: 22.7835 s Remaining CPU time: 157.216 s c =============================================================================== c | 31 | 1485 1781 367468 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6978 c Elapsed CPU time: 22.9615 s Remaining CPU time: 157.038 s c =============================================================================== c | 31 | 1485 1782 368818 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6977 c Elapsed CPU time: 23.1425 s Remaining CPU time: 156.858 s c =============================================================================== c | 31 | 1485 1783 370168 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6976 c Elapsed CPU time: 23.3385 s Remaining CPU time: 156.662 s c =============================================================================== c | 31 | 1485 1784 371518 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6975 c Elapsed CPU time: 23.5254 s Remaining CPU time: 156.475 s c =============================================================================== c | 31 | 1485 1785 372868 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6974 c Elapsed CPU time: 23.7174 s Remaining CPU time: 156.283 s c =============================================================================== c | 31 | 1485 1786 374218 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6973 c Elapsed CPU time: 23.9064 s Remaining CPU time: 156.094 s c =============================================================================== c | 31 | 1485 1787 375568 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6972 c Elapsed CPU time: 24.0853 s Remaining CPU time: 155.915 s c =============================================================================== c | 31 | 1485 1788 376918 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6971 c Elapsed CPU time: 24.2733 s Remaining CPU time: 155.727 s c =============================================================================== c | 31 | 1485 1789 378268 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6970 c Elapsed CPU time: 24.4763 s Remaining CPU time: 155.524 s c =============================================================================== c | 31 | 1485 1790 379618 | 5000 31 1287 | 0.000 % | c =============================================================================== c New solution: 6969 c Elapsed CPU time: 24.6663 s Remaining CPU time: 155.334 s c =============================================================================== c | 33 | 1485 1791 380968 | 5000 33 1287 | 0.000 % | c =============================================================================== c New solution: 6968 c Elapsed CPU time: 24.8502 s Remaining CPU time: 155.15 s c =============================================================================== c | 33 | 1485 1792 382318 | 5000 33 1287 | 0.000 % | c =============================================================================== c New solution: 6967 c Elapsed CPU time: 25.0362 s Remaining CPU time: 154.964 s c =============================================================================== c | 33 | 1485 1793 383668 | 5000 33 1287 | 0.000 % | c =============================================================================== c New solution: 6966 c Elapsed CPU time: 25.2212 s Remaining CPU time: 154.779 s c =============================================================================== c | 33 | 1485 1794 385018 | 5000 33 1287 | 0.000 % | c =============================================================================== c New solution: 6965 c Elapsed CPU time: 25.4131 s Remaining CPU time: 154.587 s c =============================================================================== c | 38 | 1485 1795 386368 | 5000 38 1286 | 0.000 % | c =============================================================================== c New solution: 6964 c Elapsed CPU time: 25.6051 s Remaining CPU time: 154.395 s c =============================================================================== c | 38 | 1485 1796 387718 | 5000 38 1286 | 0.000 % | c =============================================================================== c New solution: 6963 c Elapsed CPU time: 25.7841 s Remaining CPU time: 154.216 s c =============================================================================== c | 38 | 1485 1797 389068 | 5000 38 1286 | 0.000 % | c =============================================================================== c New solution: 6962 c Elapsed CPU time: 25.9721 s Remaining CPU time: 154.028 s c =============================================================================== c | 38 | 1485 1798 390418 | 5000 38 1286 | 0.000 % | c =============================================================================== c New solution: 6961 c Elapsed CPU time: 26.159 s Remaining CPU time: 153.841 s c =============================================================================== c | 42 | 1485 1799 391768 | 5000 42 1285 | 0.000 % | c =============================================================================== c New solution: 6960 c Elapsed CPU time: 26.367 s Remaining CPU time: 153.633 s c =============================================================================== c | 46 | 1485 1800 393118 | 5000 46 1284 | 0.000 % | c =============================================================================== c New solution: 6959 c Elapsed CPU time: 26.567 s Remaining CPU time: 153.433 s c =============================================================================== c | 46 | 1485 1801 394468 | 5000 46 1284 | 0.000 % | c =============================================================================== c New solution: 6958 c Elapsed CPU time: 26.7719 s Remaining CPU time: 153.228 s c =============================================================================== c | 46 | 1485 1802 395818 | 5000 46 1284 | 0.000 % | c =============================================================================== c New solution: 6957 c Elapsed CPU time: 26.9709 s Remaining CPU time: 153.029 s c =============================================================================== c | 46 | 1485 1803 397168 | 5000 46 1284 | 0.000 % | c =============================================================================== c New solution: 6956 c Elapsed CPU time: 27.1659 s Remaining CPU time: 152.834 s c =============================================================================== c | 46 | 1485 1804 398518 | 5000 46 1284 | 0.000 % | c =============================================================================== c New solution: 6955 c Elapsed CPU time: 27.3658 s Remaining CPU time: 152.634 s c =============================================================================== c | 46 | 1485 1805 399868 | 5000 46 1284 | 0.000 % | c =============================================================================== c New solution: 6954 c Elapsed CPU time: 27.5628 s Remaining CPU time: 152.437 s c =============================================================================== c | 46 | 1485 1806 401218 | 5000 46 1284 | 0.000 % | c =============================================================================== c New solution: 6953 c Elapsed CPU time: 27.7588 s Remaining CPU time: 152.241 s c =============================================================================== c | 46 | 1485 1807 402568 | 5000 46 1284 | 0.000 % | c =============================================================================== c New solution: 6952 c Elapsed CPU time: 27.9597 s Remaining CPU time: 152.04 s c =============================================================================== c | 47 | 1485 1808 403918 | 5000 47 1284 | 0.000 % | c =============================================================================== c New solution: 6951 c Elapsed CPU time: 28.1827 s Remaining CPU time: 151.817 s c =============================================================================== c | 47 | 1485 1809 405268 | 5000 47 1284 | 0.000 % | c =============================================================================== c New solution: 6950 c Elapsed CPU time: 28.3837 s Remaining CPU time: 151.616 s c =============================================================================== c | 49 | 1485 1810 406618 | 5000 49 1284 | 0.000 % | c =============================================================================== c New solution: 6949 c Elapsed CPU time: 28.5967 s Remaining CPU time: 151.403 s c =============================================================================== c | 49 | 1485 1811 407968 | 5000 49 1284 | 0.000 % | c =============================================================================== c New solution: 6948 c Elapsed CPU time: 28.8166 s Remaining CPU time: 151.183 s c =============================================================================== c | 50 | 1485 1812 409318 | 5000 50 1283 | 0.000 % | c =============================================================================== c New solution: 6947 c Elapsed CPU time: 29.0326 s Remaining CPU time: 150.967 s c =============================================================================== c | 56 | 1485 1813 410668 | 5000 56 1283 | 0.000 % | c =============================================================================== c New solution: 6946 c Elapsed CPU time: 29.2356 s Remaining CPU time: 150.764 s c =============================================================================== c | 56 | 1485 1814 412018 | 5000 56 1283 | 0.000 % | c =============================================================================== c New solution: 6945 c Elapsed CPU time: 29.4475 s Remaining CPU time: 150.552 s c =============================================================================== c | 59 | 1485 1815 413368 | 5000 59 1282 | 0.000 % | c =============================================================================== c New solution: 6944 c Elapsed CPU time: 29.6805 s Remaining CPU time: 150.32 s c =============================================================================== c | 69 | 1485 1816 414718 | 5000 69 1281 | 0.000 % | c =============================================================================== c New solution: 6943 c Elapsed CPU time: 29.9225 s Remaining CPU time: 150.078 s c =============================================================================== c | 73 | 1485 1817 416068 | 5000 73 1280 | 0.000 % | c =============================================================================== c New solution: 6942 c Elapsed CPU time: 30.1394 s Remaining CPU time: 149.861 s c =============================================================================== c | 73 | 1485 1818 417418 | 5000 73 1280 | 0.000 % | c =============================================================================== c New solution: 6941 c Elapsed CPU time: 30.3654 s Remaining CPU time: 149.635 s c =============================================================================== c | 74 | 1485 1819 418768 | 5000 74 1280 | 0.000 % | c =============================================================================== c New solution: 6940 c Elapsed CPU time: 30.6023 s Remaining CPU time: 149.398 s c =============================================================================== c | 77 | 1485 1820 420118 | 5000 77 1280 | 0.000 % | c =============================================================================== c New solution: 6939 c Elapsed CPU time: 30.8073 s Remaining CPU time: 149.193 s c =============================================================================== c | 77 | 1485 1821 421468 | 5000 77 1280 | 0.000 % | c =============================================================================== c New solution: 6938 c Elapsed CPU time: 31.0293 s Remaining CPU time: 148.971 s c =============================================================================== c | 79 | 1485 1822 422818 | 5000 79 1264 | 0.000 % | c =============================================================================== c New solution: 6937 c Elapsed CPU time: 31.2492 s Remaining CPU time: 148.751 s c =============================================================================== c | 79 | 1485 1823 424168 | 5000 79 1264 | 0.000 % | c =============================================================================== c New solution: 6936 c Elapsed CPU time: 31.4542 s Remaining CPU time: 148.546 s c =============================================================================== c | 79 | 1485 1824 425518 | 5000 79 1264 | 0.000 % | c =============================================================================== c New solution: 6935 c Elapsed CPU time: 31.6692 s Remaining CPU time: 148.331 s c =============================================================================== c | 79 | 1485 1825 426868 | 5000 79 1264 | 0.000 % | c =============================================================================== c New solution: 6934 c Elapsed CPU time: 31.8852 s Remaining CPU time: 148.115 s c =============================================================================== c | 79 | 1485 1826 428218 | 5000 79 1264 | 0.000 % | c =============================================================================== c New solution: 6933 c Elapsed CPU time: 32.1141 s Remaining CPU time: 147.886 s c =============================================================================== c | 79 | 1485 1827 429568 | 5000 79 1264 | 0.000 % | c =============================================================================== c New solution: 6932 c Elapsed CPU time: 32.3271 s Remaining CPU time: 147.673 s c =============================================================================== c | 79 | 1485 1828 430918 | 5000 79 1264 | 0.000 % | c =============================================================================== c New solution: 6931 c Elapsed CPU time: 32.566 s Remaining CPU time: 147.434 s c =============================================================================== c | 80 | 1485 1829 432268 | 5000 80 1264 | 0.000 % | c =============================================================================== c New solution: 6930 c Elapsed CPU time: 32.775 s Remaining CPU time: 147.225 s c =============================================================================== c | 80 | 1485 1830 433618 | 5000 80 1264 | 0.000 % | c =============================================================================== c New solution: 6929 c Elapsed CPU time: 33.001 s Remaining CPU time: 146.999 s c =============================================================================== c | 82 | 1485 1831 434968 | 5000 82 1264 | 0.000 % | c =============================================================================== c New solution: 6928 c Elapsed CPU time: 33.208 s Remaining CPU time: 146.792 s c =============================================================================== c | 89 | 1485 1832 436318 | 5000 89 1265 | 0.000 % | c =============================================================================== c New solution: 6927 c Elapsed CPU time: 33.4139 s Remaining CPU time: 146.586 s c =============================================================================== c | 89 | 1485 1833 437668 | 5000 89 1265 | 0.000 % | c =============================================================================== c New solution: 6926 c Elapsed CPU time: 33.6219 s Remaining CPU time: 146.378 s c =============================================================================== c | 89 | 1485 1834 439018 | 5000 89 1265 | 0.000 % | c =============================================================================== c New solution: 6925 c Elapsed CPU time: 33.8529 s Remaining CPU time: 146.147 s c =============================================================================== c | 89 | 1485 1835 440368 | 5000 89 1265 | 0.000 % | c =============================================================================== c New solution: 6924 c Elapsed CPU time: 34.0768 s Remaining CPU time: 145.923 s c =============================================================================== c | 89 | 1485 1836 441718 | 5000 89 1265 | 0.000 % | c =============================================================================== c New solution: 6923 c Elapsed CPU time: 34.3058 s Remaining CPU time: 145.694 s c =============================================================================== c | 89 | 1485 1837 443068 | 5000 89 1265 | 0.000 % | c =============================================================================== c New solution: 6922 c Elapsed CPU time: 34.5367 s Remaining CPU time: 145.463 s c =============================================================================== c | 90 | 1485 1838 444418 | 5000 90 1265 | 0.000 % | c =============================================================================== c New solution: 6921 c Elapsed CPU time: 34.7987 s Remaining CPU time: 145.201 s c =============================================================================== c | 90 | 1485 1839 445768 | 5000 90 1265 | 0.000 % | c =============================================================================== c New solution: 6920 c Elapsed CPU time: 35.0167 s Remaining CPU time: 144.983 s c =============================================================================== c | 91 | 1485 1840 447118 | 5000 91 1265 | 0.000 % | c =============================================================================== c New solution: 6919 c Elapsed CPU time: 35.2506 s Remaining CPU time: 144.749 s c =============================================================================== c | 91 | 1485 1841 448468 | 5000 91 1265 | 0.000 % | c =============================================================================== c New solution: 6918 c Elapsed CPU time: 35.4726 s Remaining CPU time: 144.527 s c =============================================================================== c | 91 | 1485 1842 449818 | 5000 91 1265 | 0.000 % | c =============================================================================== c New solution: 6917 c Elapsed CPU time: 35.7176 s Remaining CPU time: 144.282 s c =============================================================================== c | 99 | 1485 1843 451168 | 5000 99 1265 | 0.000 % | c =============================================================================== c New solution: 6916 c Elapsed CPU time: 35.9375 s Remaining CPU time: 144.062 s c =============================================================================== c | 99 | 1485 1844 452518 | 5000 99 1265 | 0.000 % | c =============================================================================== c New solution: 6915 c Elapsed CPU time: 36.1735 s Remaining CPU time: 143.827 s c =============================================================================== c | 99 | 1485 1845 453868 | 5000 99 1265 | 0.000 % | c =============================================================================== c New solution: 6914 c Elapsed CPU time: 36.4125 s Remaining CPU time: 143.588 s c =============================================================================== c | 99 | 1485 1846 455218 | 5000 99 1265 | 0.000 % | c =============================================================================== c New solution: 6913 c Elapsed CPU time: 36.6474 s Remaining CPU time: 143.353 s c =============================================================================== c | 102 | 1485 1847 456568 | 5000 102 1265 | 0.000 % | c =============================================================================== c New solution: 6912 c Elapsed CPU time: 36.8854 s Remaining CPU time: 143.115 s c =============================================================================== c | 103 | 1485 1848 457918 | 5000 103 1265 | 0.000 % | c =============================================================================== c New solution: 6911 c Elapsed CPU time: 37.1054 s Remaining CPU time: 142.895 s c =============================================================================== c | 105 | 1485 1849 459268 | 5000 105 1265 | 0.000 % | c =============================================================================== c New solution: 6910 c Elapsed CPU time: 37.3363 s Remaining CPU time: 142.664 s c =============================================================================== c | 105 | 1485 1850 460618 | 5000 105 1265 | 0.000 % | c =============================================================================== c New solution: 6909 c Elapsed CPU time: 37.5813 s Remaining CPU time: 142.419 s c =============================================================================== c | 105 | 1485 1851 461968 | 5000 105 1265 | 0.000 % | c =============================================================================== c New solution: 6908 c Elapsed CPU time: 37.8083 s Remaining CPU time: 142.192 s c =============================================================================== c | 105 | 1485 1852 463318 | 5000 105 1265 | 0.000 % | c =============================================================================== c New solution: 6907 c Elapsed CPU time: 38.0402 s Remaining CPU time: 141.96 s c =============================================================================== c | 105 | 1485 1853 464668 | 5000 105 1265 | 0.000 % | c =============================================================================== c New solution: 6906 c Elapsed CPU time: 38.2872 s Remaining CPU time: 141.713 s c =============================================================================== c | 108 | 1485 1854 466018 | 5000 108 1265 | 0.000 % | c =============================================================================== c New solution: 6905 c Elapsed CPU time: 38.5331 s Remaining CPU time: 141.467 s c =============================================================================== c | 109 | 1485 1855 467368 | 5000 109 1265 | 0.000 % | c =============================================================================== c New solution: 6904 c Elapsed CPU time: 38.7691 s Remaining CPU time: 141.231 s c =============================================================================== c | 109 | 1485 1856 468718 | 5000 109 1265 | 0.000 % | c =============================================================================== c New solution: 6903 c Elapsed CPU time: 39.0051 s Remaining CPU time: 140.995 s c =============================================================================== c | 109 | 1485 1857 470068 | 5000 109 1265 | 0.000 % | c =============================================================================== c New solution: 6902 c Elapsed CPU time: 39.25 s Remaining CPU time: 140.75 s c =============================================================================== c | 110 | 1485 1858 471418 | 5000 110 1265 | 0.000 % | c =============================================================================== c New solution: 6901 c Elapsed CPU time: 39.49 s Remaining CPU time: 140.51 s c =============================================================================== c | 110 | 1485 1859 472768 | 5000 110 1265 | 0.000 % | c =============================================================================== c New solution: 6900 c Elapsed CPU time: 39.734 s Remaining CPU time: 140.266 s c =============================================================================== c | 110 | 1485 1860 474118 | 5000 110 1265 | 0.000 % | c =============================================================================== c New solution: 6899 c Elapsed CPU time: 40.0039 s Remaining CPU time: 139.996 s c =============================================================================== c | 123 | 1485 1861 475468 | 5000 123 1265 | 0.000 % | c =============================================================================== c New solution: 6898 c Elapsed CPU time: 40.2419 s Remaining CPU time: 139.758 s c =============================================================================== c | 123 | 1485 1862 476818 | 5000 123 1265 | 0.000 % | c =============================================================================== c New solution: 6897 c Elapsed CPU time: 40.4798 s Remaining CPU time: 139.52 s c =============================================================================== c | 128 | 1485 1863 478168 | 5000 128 1265 | 0.000 % | c =============================================================================== c New solution: 6896 c Elapsed CPU time: 40.8238 s Remaining CPU time: 139.176 s c =============================================================================== c | 142 | 1485 1864 479518 | 5000 142 1256 | 0.000 % | c =============================================================================== c New solution: 6895 c Elapsed CPU time: 41.0828 s Remaining CPU time: 138.917 s c =============================================================================== c | 142 | 1485 1865 480868 | 5000 142 1256 | 0.000 % | c =============================================================================== c New solution: 6894 c Elapsed CPU time: 41.3377 s Remaining CPU time: 138.662 s c =============================================================================== c | 142 | 1485 1866 482218 | 5000 142 1256 | 0.000 % | c =============================================================================== c New solution: 6893 c Elapsed CPU time: 41.5947 s Remaining CPU time: 138.405 s c =============================================================================== c | 142 | 1485 1867 483568 | 5000 142 1256 | 0.000 % | c =============================================================================== c New solution: 6892 c Elapsed CPU time: 41.8436 s Remaining CPU time: 138.156 s c =============================================================================== c | 142 | 1485 1868 484918 | 5000 142 1256 | 0.000 % | c =============================================================================== c New solution: 6891 c Elapsed CPU time: 42.1066 s Remaining CPU time: 137.893 s c =============================================================================== c | 142 | 1485 1869 486268 | 5000 142 1256 | 0.000 % | c =============================================================================== c New solution: 6890 c Elapsed CPU time: 42.3766 s Remaining CPU time: 137.623 s c =============================================================================== c | 153 | 1485 1870 487618 | 5000 153 1257 | 0.000 % | c =============================================================================== c New solution: 6889 c Elapsed CPU time: 42.6325 s Remaining CPU time: 137.367 s c =============================================================================== c | 153 | 1485 1871 488968 | 5000 153 1257 | 0.000 % | c =============================================================================== c New solution: 6888 c Elapsed CPU time: 42.8945 s Remaining CPU time: 137.106 s c =============================================================================== c | 153 | 1485 1872 490318 | 5000 153 1257 | 0.000 % | c =============================================================================== c New solution: 6887 c Elapsed CPU time: 43.1324 s Remaining CPU time: 136.868 s c =============================================================================== c | 153 | 1485 1873 491668 | 5000 153 1257 | 0.000 % | c =============================================================================== c New solution: 6886 c Elapsed CPU time: 43.3734 s Remaining CPU time: 136.627 s c =============================================================================== c | 153 | 1485 1874 493018 | 5000 153 1257 | 0.000 % | c =============================================================================== c New solution: 6885 c Elapsed CPU time: 43.6124 s Remaining CPU time: 136.388 s c =============================================================================== c | 153 | 1485 1875 494368 | 5000 153 1257 | 0.000 % | c =============================================================================== c New solution: 6884 c Elapsed CPU time: 43.8953 s Remaining CPU time: 136.105 s c =============================================================================== c | 157 | 1485 1876 495718 | 5000 157 1257 | 0.000 % | c =============================================================================== c New solution: 6883 c Elapsed CPU time: 44.1653 s Remaining CPU time: 135.835 s c =============================================================================== c | 161 | 1485 1877 497068 | 5000 161 1257 | 0.000 % | c =============================================================================== c New solution: 6882 c Elapsed CPU time: 44.4132 s Remaining CPU time: 135.587 s c =============================================================================== c | 161 | 1485 1878 498418 | 5000 161 1257 | 0.000 % | c =============================================================================== c New solution: 6881 c Elapsed CPU time: 44.6572 s Remaining CPU time: 135.343 s c =============================================================================== c | 161 | 1485 1879 499768 | 5000 161 1257 | 0.000 % | c =============================================================================== c New solution: 6880 c Elapsed CPU time: 44.9162 s Remaining CPU time: 135.084 s c =============================================================================== c | 161 | 1485 1880 501118 | 5000 161 1257 | 0.000 % | c =============================================================================== c New solution: 6879 c Elapsed CPU time: 45.1871 s Remaining CPU time: 134.813 s c =============================================================================== c | 163 | 1485 1881 502468 | 5000 163 1257 | 0.000 % | c =============================================================================== c New solution: 6878 c Elapsed CPU time: 45.4381 s Remaining CPU time: 134.562 s c =============================================================================== c | 163 | 1485 1882 503818 | 5000 163 1257 | 0.000 % | c =============================================================================== c New solution: 6877 c Elapsed CPU time: 45.6891 s Remaining CPU time: 134.311 s c =============================================================================== c | 163 | 1485 1883 505168 | 5000 163 1257 | 0.000 % | c =============================================================================== c New solution: 6876 c Elapsed CPU time: 45.977 s Remaining CPU time: 134.023 s c =============================================================================== c | 176 | 1485 1884 506518 | 5000 176 1257 | 0.000 % | c =============================================================================== c New solution: 6875 c Elapsed CPU time: 46.24 s Remaining CPU time: 133.76 s c =============================================================================== c | 176 | 1485 1885 507868 | 5000 176 1257 | 0.000 % | c =============================================================================== c New solution: 6874 c Elapsed CPU time: 46.4889 s Remaining CPU time: 133.511 s c =============================================================================== c | 176 | 1485 1886 509218 | 5000 176 1257 | 0.000 % | c =============================================================================== c New solution: 6873 c Elapsed CPU time: 46.7329 s Remaining CPU time: 133.267 s c =============================================================================== c | 176 | 1485 1887 510568 | 5000 176 1257 | 0.000 % | c =============================================================================== c New solution: 6872 c Elapsed CPU time: 46.9769 s Remaining CPU time: 133.023 s c =============================================================================== c | 176 | 1485 1888 511918 | 5000 176 1257 | 0.000 % | c =============================================================================== c New solution: 6871 c Elapsed CPU time: 47.2318 s Remaining CPU time: 132.768 s c =============================================================================== c | 176 | 1485 1889 513268 | 5000 176 1257 | 0.000 % | c =============================================================================== c New solution: 6870 c Elapsed CPU time: 47.4868 s Remaining CPU time: 132.513 s c =============================================================================== c | 176 | 1485 1890 514618 | 5000 176 1257 | 0.000 % | c =============================================================================== c New solution: 6869 c Elapsed CPU time: 47.7477 s Remaining CPU time: 132.252 s c =============================================================================== c | 176 | 1485 1891 515968 | 5000 176 1257 | 0.000 % | c =============================================================================== c New solution: 6868 c Elapsed CPU time: 48.0287 s Remaining CPU time: 131.971 s c =============================================================================== c | 179 | 1485 1892 517318 | 5000 179 1257 | 0.000 % | c =============================================================================== c New solution: 6867 c Elapsed CPU time: 48.3087 s Remaining CPU time: 131.691 s c =============================================================================== c | 179 | 1485 1893 518668 | 5000 179 1257 | 0.000 % | c =============================================================================== c New solution: 6866 c Elapsed CPU time: 48.5706 s Remaining CPU time: 131.429 s c =============================================================================== c | 179 | 1485 1894 520018 | 5000 179 1257 | 0.000 % | c =============================================================================== c New solution: 6865 c Elapsed CPU time: 48.8316 s Remaining CPU time: 131.168 s c =============================================================================== c | 180 | 1485 1895 521368 | 5000 180 1257 | 0.000 % | c =============================================================================== c New solution: 6864 c Elapsed CPU time: 49.0985 s Remaining CPU time: 130.901 s c =============================================================================== c | 180 | 1485 1896 522718 | 5000 180 1257 | 0.000 % | c =============================================================================== c New solution: 6863 c Elapsed CPU time: 49.3615 s Remaining CPU time: 130.639 s c =============================================================================== c | 180 | 1485 1897 524068 | 5000 180 1257 | 0.000 % | c =============================================================================== c New solution: 6862 c Elapsed CPU time: 49.6415 s Remaining CPU time: 130.359 s c =============================================================================== c | 185 | 1485 1898 525418 | 5000 185 1257 | 0.000 % | c =============================================================================== c New solution: 6861 c Elapsed CPU time: 49.9044 s Remaining CPU time: 130.096 s c =============================================================================== c | 185 | 1485 1899 526768 | 5000 185 1257 | 0.000 % | c =============================================================================== c New solution: 6860 c Elapsed CPU time: 50.2284 s Remaining CPU time: 129.772 s c =============================================================================== c | 195 | 1485 1900 528118 | 5000 195 1257 | 0.000 % | c =============================================================================== c New solution: 6859 c Elapsed CPU time: 50.5123 s Remaining CPU time: 129.488 s c =============================================================================== c | 195 | 1485 1901 529468 | 5000 195 1257 | 0.000 % | c =============================================================================== c New solution: 6858 c Elapsed CPU time: 50.7963 s Remaining CPU time: 129.204 s c =============================================================================== c | 195 | 1485 1902 530818 | 5000 195 1257 | 0.000 % | c =============================================================================== c New solution: 6857 c Elapsed CPU time: 51.0762 s Remaining CPU time: 128.924 s c =============================================================================== c | 195 | 1485 1903 532168 | 5000 195 1257 | 0.000 % | c =============================================================================== c New solution: 6856 c Elapsed CPU time: 51.3442 s Remaining CPU time: 128.656 s c =============================================================================== c | 202 | 1485 1904 533518 | 5000 202 1257 | 0.000 % | c =============================================================================== c New solution: 6855 c Elapsed CPU time: 51.6072 s Remaining CPU time: 128.393 s c =============================================================================== c | 202 | 1485 1905 534868 | 5000 202 1257 | 0.000 % | c =============================================================================== c New solution: 6854 c Elapsed CPU time: 51.8881 s Remaining CPU time: 128.112 s c =============================================================================== c | 202 | 1485 1906 536218 | 5000 202 1257 | 0.000 % | c =============================================================================== c New solution: 6853 c Elapsed CPU time: 52.1541 s Remaining CPU time: 127.846 s c =============================================================================== c | 202 | 1485 1907 537568 | 5000 202 1257 | 0.000 % | c =============================================================================== c New solution: 6852 c Elapsed CPU time: 52.433 s Remaining CPU time: 127.567 s c =============================================================================== c | 202 | 1485 1908 538918 | 5000 202 1257 | 0.000 % | c =============================================================================== c New solution: 6851 c Elapsed CPU time: 52.71 s Remaining CPU time: 127.29 s c =============================================================================== c | 203 | 1485 1909 540268 | 5000 203 1257 | 0.000 % | c =============================================================================== c New solution: 6850 c Elapsed CPU time: 52.9799 s Remaining CPU time: 127.02 s c =============================================================================== c | 203 | 1485 1910 541618 | 5000 203 1257 | 0.000 % | c =============================================================================== c New solution: 6849 c Elapsed CPU time: 53.2459 s Remaining CPU time: 126.754 s c =============================================================================== c | 203 | 1485 1911 542968 | 5000 203 1257 | 0.000 % | c =============================================================================== c New solution: 6848 c Elapsed CPU time: 53.5149 s Remaining CPU time: 126.485 s c =============================================================================== c | 203 | 1485 1912 544318 | 5000 203 1257 | 0.000 % | c =============================================================================== c New solution: 6847 c Elapsed CPU time: 53.7908 s Remaining CPU time: 126.209 s c =============================================================================== c | 203 | 1485 1913 545668 | 5000 203 1257 | 0.000 % | c =============================================================================== c New solution: 6846 c Elapsed CPU time: 54.0848 s Remaining CPU time: 125.915 s c =============================================================================== c | 204 | 1485 1914 547018 | 5000 204 1257 | 0.000 % | c =============================================================================== c New solution: 6845 c Elapsed CPU time: 54.3717 s Remaining CPU time: 125.628 s c =============================================================================== c | 204 | 1485 1915 548368 | 5000 204 1257 | 0.000 % | c =============================================================================== c New solution: 6844 c Elapsed CPU time: 54.6437 s Remaining CPU time: 125.356 s c =============================================================================== c | 204 | 1485 1916 549718 | 5000 204 1257 | 0.000 % | c =============================================================================== c New solution: 6843 c Elapsed CPU time: 54.9256 s Remaining CPU time: 125.074 s c =============================================================================== c | 204 | 1485 1917 551068 | 5000 204 1257 | 0.000 % | c =============================================================================== c New solution: 6842 c Elapsed CPU time: 55.1966 s Remaining CPU time: 124.803 s c =============================================================================== c | 204 | 1485 1918 552418 | 5000 204 1257 | 0.000 % | c =============================================================================== c New solution: 6841 c Elapsed CPU time: 55.4796 s Remaining CPU time: 124.52 s c =============================================================================== c | 204 | 1485 1919 553768 | 5000 204 1257 | 0.000 % | c =============================================================================== c New solution: 6840 c Elapsed CPU time: 55.7675 s Remaining CPU time: 124.232 s c =============================================================================== c | 205 | 1485 1920 555118 | 5000 205 1251 | 0.000 % | c =============================================================================== c New solution: 6839 c Elapsed CPU time: 56.0515 s Remaining CPU time: 123.949 s c =============================================================================== c | 206 | 1485 1921 556468 | 5000 206 1251 | 0.000 % | c =============================================================================== c New solution: 6838 c Elapsed CPU time: 56.3444 s Remaining CPU time: 123.656 s c =============================================================================== c | 208 | 1485 1922 557818 | 5000 208 1251 | 0.000 % | c =============================================================================== c New solution: 6837 c Elapsed CPU time: 56.6134 s Remaining CPU time: 123.387 s c =============================================================================== c | 208 | 1485 1923 559168 | 5000 208 1251 | 0.000 % | c =============================================================================== c New solution: 6836 c Elapsed CPU time: 56.8963 s Remaining CPU time: 123.104 s c =============================================================================== c | 208 | 1485 1924 560518 | 5000 208 1251 | 0.000 % | c =============================================================================== c New solution: 6835 c Elapsed CPU time: 57.1913 s Remaining CPU time: 122.809 s c =============================================================================== c | 212 | 1485 1925 561868 | 5000 212 1251 | 0.000 % | c =============================================================================== c New solution: 6834 c Elapsed CPU time: 57.4693 s Remaining CPU time: 122.531 s c =============================================================================== c | 212 | 1485 1926 563218 | 5000 212 1251 | 0.000 % | c =============================================================================== c New solution: 6833 c Elapsed CPU time: 57.7412 s Remaining CPU time: 122.259 s c =============================================================================== c | 212 | 1485 1927 564568 | 5000 212 1251 | 0.000 % | c =============================================================================== c New solution: 6832 c Elapsed CPU time: 58.0172 s Remaining CPU time: 121.983 s c =============================================================================== c | 212 | 1485 1928 565918 | 5000 212 1251 | 0.000 % | c =============================================================================== c New solution: 6831 c Elapsed CPU time: 58.2991 s Remaining CPU time: 121.701 s c =============================================================================== c | 212 | 1485 1929 567268 | 5000 212 1251 | 0.000 % | c =============================================================================== c New solution: 6830 c Elapsed CPU time: 58.5961 s Remaining CPU time: 121.404 s c =============================================================================== c | 212 | 1485 1930 568618 | 5000 212 1251 | 0.000 % | c =============================================================================== c New solution: 6829 c Elapsed CPU time: 58.891 s Remaining CPU time: 121.109 s c =============================================================================== c | 212 | 1485 1931 569968 | 5000 212 1251 | 0.000 % | c =============================================================================== c New solution: 6828 c Elapsed CPU time: 59.213 s Remaining CPU time: 120.787 s c =============================================================================== c | 213 | 1485 1932 571318 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6827 c Elapsed CPU time: 59.518 s Remaining CPU time: 120.482 s c =============================================================================== c | 213 | 1485 1933 572668 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6826 c Elapsed CPU time: 59.8119 s Remaining CPU time: 120.188 s c =============================================================================== c | 213 | 1485 1934 574018 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6825 c Elapsed CPU time: 60.0929 s Remaining CPU time: 119.907 s c =============================================================================== c | 213 | 1485 1935 575368 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6824 c Elapsed CPU time: 60.3908 s Remaining CPU time: 119.609 s c =============================================================================== c | 213 | 1485 1936 576718 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6823 c Elapsed CPU time: 60.6758 s Remaining CPU time: 119.324 s c =============================================================================== c | 213 | 1485 1937 578068 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6822 c Elapsed CPU time: 60.9717 s Remaining CPU time: 119.028 s c =============================================================================== c | 213 | 1485 1938 579418 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6821 c Elapsed CPU time: 61.2897 s Remaining CPU time: 118.71 s c =============================================================================== c | 213 | 1485 1939 580768 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6820 c Elapsed CPU time: 61.6046 s Remaining CPU time: 118.395 s c =============================================================================== c | 213 | 1485 1940 582118 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6819 c Elapsed CPU time: 61.9286 s Remaining CPU time: 118.071 s c =============================================================================== c | 213 | 1485 1941 583468 | 5000 213 1251 | 0.000 % | c =============================================================================== c New solution: 6818 c Elapsed CPU time: 62.2435 s Remaining CPU time: 117.756 s c =============================================================================== c | 221 | 1485 1942 584818 | 5000 221 1251 | 0.000 % | c =============================================================================== c New solution: 6817 c Elapsed CPU time: 62.5475 s Remaining CPU time: 117.453 s c =============================================================================== c | 221 | 1485 1943 586168 | 5000 221 1251 | 0.000 % | c =============================================================================== c New solution: 6816 c Elapsed CPU time: 62.8514 s Remaining CPU time: 117.149 s c =============================================================================== c | 221 | 1485 1944 587518 | 5000 221 1251 | 0.000 % | c =============================================================================== c New solution: 6815 c Elapsed CPU time: 63.1544 s Remaining CPU time: 116.846 s c =============================================================================== c | 221 | 1485 1945 588868 | 5000 221 1251 | 0.000 % | c =============================================================================== c New solution: 6814 c Elapsed CPU time: 63.4564 s Remaining CPU time: 116.544 s c =============================================================================== c | 221 | 1485 1946 590218 | 5000 221 1251 | 0.000 % | c =============================================================================== c New solution: 6813 c Elapsed CPU time: 63.7743 s Remaining CPU time: 116.226 s c =============================================================================== c | 225 | 1485 1947 591568 | 5000 225 1251 | 0.000 % | c =============================================================================== c New solution: 6812 c Elapsed CPU time: 64.0933 s Remaining CPU time: 115.907 s c =============================================================================== c | 225 | 1485 1948 592918 | 5000 225 1251 | 0.000 % | c =============================================================================== c New solution: 6811 c Elapsed CPU time: 64.3922 s Remaining CPU time: 115.608 s c =============================================================================== c | 225 | 1485 1949 594268 | 5000 225 1251 | 0.000 % | c =============================================================================== c New solution: 6810 c Elapsed CPU time: 64.6872 s Remaining CPU time: 115.313 s c =============================================================================== c | 227 | 1485 1950 595618 | 5000 227 1251 | 0.000 % | c =============================================================================== c New solution: 6809 c Elapsed CPU time: 64.9861 s Remaining CPU time: 115.014 s c =============================================================================== c | 228 | 1485 1951 596968 | 5000 228 1251 | 0.000 % | c =============================================================================== c New solution: 6808 c Elapsed CPU time: 65.2871 s Remaining CPU time: 114.713 s c =============================================================================== c | 228 | 1485 1952 598318 | 5000 228 1251 | 0.000 % | c =============================================================================== c New solution: 6807 c Elapsed CPU time: 65.585 s Remaining CPU time: 114.415 s c =============================================================================== c | 228 | 1485 1953 599668 | 5000 228 1251 | 0.000 % | c =============================================================================== c New solution: 6806 c Elapsed CPU time: 65.87 s Remaining CPU time: 114.13 s c =============================================================================== c | 228 | 1485 1954 601018 | 5000 228 1251 | 0.000 % | c =============================================================================== c New solution: 6805 c Elapsed CPU time: 66.1639 s Remaining CPU time: 113.836 s c =============================================================================== c | 228 | 1485 1955 602368 | 5000 228 1251 | 0.000 % | c =============================================================================== c New solution: 6804 c Elapsed CPU time: 66.4719 s Remaining CPU time: 113.528 s c =============================================================================== c | 228 | 1485 1956 603718 | 5000 228 1251 | 0.000 % | c =============================================================================== c New solution: 6803 c Elapsed CPU time: 66.7758 s Remaining CPU time: 113.224 s c =============================================================================== c | 236 | 1485 1957 605068 | 5000 236 1251 | 0.000 % | c =============================================================================== c New solution: 6802 c Elapsed CPU time: 67.0908 s Remaining CPU time: 112.909 s c =============================================================================== c | 237 | 1485 1958 606418 | 5000 237 1251 | 0.000 % | c =============================================================================== c New solution: 6801 c Elapsed CPU time: 67.3968 s Remaining CPU time: 112.603 s c =============================================================================== c | 238 | 1485 1959 607768 | 5000 238 1251 | 0.000 % | c =============================================================================== c New solution: 6800 c Elapsed CPU time: 67.7507 s Remaining CPU time: 112.249 s c =============================================================================== c | 247 | 1485 1960 609118 | 5000 247 1251 | 0.000 % | c =============================================================================== c New solution: 6799 c Elapsed CPU time: 68.0577 s Remaining CPU time: 111.942 s c =============================================================================== c | 256 | 1485 1961 610468 | 5000 256 1251 | 0.000 % | c =============================================================================== c New solution: 6798 c Elapsed CPU time: 68.3726 s Remaining CPU time: 111.627 s c =============================================================================== c | 264 | 1485 1962 611818 | 5000 264 1251 | 0.000 % | c =============================================================================== c New solution: 6797 c Elapsed CPU time: 68.6836 s Remaining CPU time: 111.316 s c =============================================================================== c | 268 | 1485 1963 613168 | 5000 268 1251 | 0.000 % | c =============================================================================== c New solution: 6796 c Elapsed CPU time: 68.9855 s Remaining CPU time: 111.014 s c =============================================================================== c | 268 | 1485 1964 614518 | 5000 268 1251 | 0.000 % | c =============================================================================== c New solution: 6795 c Elapsed CPU time: 69.2895 s Remaining CPU time: 110.711 s c =============================================================================== c | 268 | 1485 1965 615868 | 5000 268 1251 | 0.000 % | c =============================================================================== c New solution: 6794 c Elapsed CPU time: 69.6094 s Remaining CPU time: 110.391 s c =============================================================================== c | 268 | 1485 1966 617218 | 5000 268 1251 | 0.000 % | c =============================================================================== c New solution: 6793 c Elapsed CPU time: 69.9194 s Remaining CPU time: 110.081 s c =============================================================================== c | 268 | 1485 1967 618568 | 5000 268 1251 | 0.000 % | c =============================================================================== c New solution: 6792 c Elapsed CPU time: 70.2153 s Remaining CPU time: 109.785 s c =============================================================================== c | 268 | 1485 1968 619918 | 5000 268 1251 | 0.000 % | c =============================================================================== c New solution: 6791 c Elapsed CPU time: 70.5303 s Remaining CPU time: 109.47 s c =============================================================================== c | 269 | 1485 1969 621268 | 5000 269 1251 | 0.000 % | c =============================================================================== c New solution: 6790 c Elapsed CPU time: 70.8562 s Remaining CPU time: 109.144 s c =============================================================================== c | 270 | 1485 1970 622618 | 5000 270 1251 | 0.000 % | c =============================================================================== c New solution: 6789 c Elapsed CPU time: 71.1792 s Remaining CPU time: 108.821 s c =============================================================================== c | 270 | 1485 1971 623968 | 5000 270 1251 | 0.000 % | c =============================================================================== c New solution: 6788 c Elapsed CPU time: 71.5111 s Remaining CPU time: 108.489 s c =============================================================================== c | 270 | 1485 1972 625318 | 5000 270 1251 | 0.000 % | c =============================================================================== c New solution: 6787 c Elapsed CPU time: 71.8371 s Remaining CPU time: 108.163 s c =============================================================================== c | 271 | 1485 1973 626668 | 5000 271 1251 | 0.000 % | c =============================================================================== c New solution: 6786 c Elapsed CPU time: 72.163 s Remaining CPU time: 107.837 s c =============================================================================== c | 272 | 1485 1974 628018 | 5000 272 1251 | 0.000 % | c =============================================================================== c New solution: 6785 c Elapsed CPU time: 72.522 s Remaining CPU time: 107.478 s c =============================================================================== c | 276 | 1485 1975 629368 | 5000 276 1251 | 0.000 % | c =============================================================================== c New solution: 6784 c Elapsed CPU time: 72.8359 s Remaining CPU time: 107.164 s c =============================================================================== c | 276 | 1485 1976 630718 | 5000 276 1251 | 0.000 % | c =============================================================================== c New solution: 6783 c Elapsed CPU time: 73.1619 s Remaining CPU time: 106.838 s c =============================================================================== c | 278 | 1485 1977 632068 | 5000 278 1251 | 0.000 % | c =============================================================================== c New solution: 6782 c Elapsed CPU time: 73.4718 s Remaining CPU time: 106.528 s c =============================================================================== c | 279 | 1485 1978 633418 | 5000 279 1251 | 0.000 % | c =============================================================================== c New solution: 6781 c Elapsed CPU time: 73.7918 s Remaining CPU time: 106.208 s c =============================================================================== c | 281 | 1485 1979 634768 | 5000 281 1251 | 0.000 % | c =============================================================================== c New solution: 6780 c Elapsed CPU time: 74.0977 s Remaining CPU time: 105.902 s c =============================================================================== c | 281 | 1485 1980 636118 | 5000 281 1251 | 0.000 % | c =============================================================================== c New solution: 6779 c Elapsed CPU time: 74.4417 s Remaining CPU time: 105.558 s c =============================================================================== c | 284 | 1485 1981 637468 | 5000 284 1251 | 0.000 % | c =============================================================================== c New solution: 6778 c Elapsed CPU time: 74.7746 s Remaining CPU time: 105.225 s c =============================================================================== c | 286 | 1485 1982 638818 | 5000 286 1251 | 0.000 % | c =============================================================================== c New solution: 6777 c Elapsed CPU time: 75.1206 s Remaining CPU time: 104.879 s c =============================================================================== c | 287 | 1485 1983 640168 | 5000 287 1251 | 0.000 % | c =============================================================================== c New solution: 6776 c Elapsed CPU time: 75.4905 s Remaining CPU time: 104.509 s c =============================================================================== c | 290 | 1485 1984 641518 | 5000 290 1251 | 0.000 % | c =============================================================================== c New solution: 6775 c Elapsed CPU time: 75.8125 s Remaining CPU time: 104.188 s c =============================================================================== c | 290 | 1485 1985 642868 | 5000 290 1251 | 0.000 % | c =============================================================================== c New solution: 6774 c Elapsed CPU time: 76.1384 s Remaining CPU time: 103.862 s c =============================================================================== c | 291 | 1485 1986 644218 | 5000 291 1251 | 0.000 % | c =============================================================================== c New solution: 6773 c Elapsed CPU time: 76.4894 s Remaining CPU time: 103.511 s c =============================================================================== c | 292 | 1485 1987 645568 | 5000 292 1251 | 0.000 % | c =============================================================================== c New solution: 6772 c Elapsed CPU time: 76.8223 s Remaining CPU time: 103.178 s c =============================================================================== c | 305 | 1485 1988 646918 | 5000 305 1250 | 0.000 % | c =============================================================================== c New solution: 6771 c Elapsed CPU time: 77.1553 s Remaining CPU time: 102.845 s c =============================================================================== c | 306 | 1485 1989 648268 | 5000 306 1250 | 0.000 % | c =============================================================================== c New solution: 6770 c Elapsed CPU time: 77.4992 s Remaining CPU time: 102.501 s c =============================================================================== c | 316 | 1485 1990 649618 | 5000 316 1250 | 0.000 % | c =============================================================================== c New solution: 6769 c Elapsed CPU time: 77.8342 s Remaining CPU time: 102.166 s c =============================================================================== c | 317 | 1485 1991 650968 | 5000 317 1250 | 0.000 % | c =============================================================================== c New solution: 6768 c Elapsed CPU time: 78.1531 s Remaining CPU time: 101.847 s c =============================================================================== c | 317 | 1485 1992 652318 | 5000 317 1250 | 0.000 % | c =============================================================================== c New solution: 6767 c Elapsed CPU time: 78.4911 s Remaining CPU time: 101.509 s c =============================================================================== c | 319 | 1485 1993 653668 | 5000 319 1250 | 0.000 % | c =============================================================================== c New solution: 6766 c Elapsed CPU time: 78.819 s Remaining CPU time: 101.181 s c =============================================================================== c | 319 | 1485 1994 655018 | 5000 319 1250 | 0.000 % | c =============================================================================== c New solution: 6765 c Elapsed CPU time: 79.162 s Remaining CPU time: 100.838 s c =============================================================================== c | 319 | 1485 1995 656368 | 5000 319 1250 | 0.000 % | c =============================================================================== c New solution: 6764 c Elapsed CPU time: 79.4859 s Remaining CPU time: 100.514 s c =============================================================================== c | 322 | 1485 1996 657718 | 5000 322 1250 | 0.000 % | c =============================================================================== c New solution: 6763 c Elapsed CPU time: 79.8239 s Remaining CPU time: 100.176 s c =============================================================================== c | 323 | 1485 1997 659068 | 5000 323 1250 | 0.000 % | c =============================================================================== c New solution: 6762 c Elapsed CPU time: 80.1598 s Remaining CPU time: 99.8402 s c =============================================================================== c | 324 | 1485 1998 660418 | 5000 324 1250 | 0.000 % | c =============================================================================== c New solution: 6761 c Elapsed CPU time: 80.4898 s Remaining CPU time: 99.5102 s c =============================================================================== c | 324 | 1485 1999 661768 | 5000 324 1250 | 0.000 % | c =============================================================================== c New solution: 6760 c Elapsed CPU time: 80.9017 s Remaining CPU time: 99.0983 s c =============================================================================== c | 330 | 1485 2000 663118 | 5000 330 1250 | 0.000 % | c =============================================================================== c New solution: 6759 c Elapsed CPU time: 81.2386 s Remaining CPU time: 98.7614 s c =============================================================================== c | 330 | 1485 2001 664468 | 5000 330 1250 | 0.000 % | c =============================================================================== c New solution: 6758 c Elapsed CPU time: 81.5986 s Remaining CPU time: 98.4014 s c =============================================================================== c | 333 | 1485 2002 665818 | 5000 333 1250 | 0.000 % | c =============================================================================== c New solution: 6757 c Elapsed CPU time: 82.0845 s Remaining CPU time: 97.9155 s c =============================================================================== c | 365 | 1485 2003 667168 | 5000 365 1249 | 0.000 % | c =============================================================================== c New solution: 6756 c Elapsed CPU time: 82.5594 s Remaining CPU time: 97.4406 s c =============================================================================== c | 379 | 1485 2004 668518 | 5000 379 1248 | 0.000 % | c =============================================================================== c New solution: 6755 c Elapsed CPU time: 82.9614 s Remaining CPU time: 97.0386 s c =============================================================================== c | 383 | 1485 2005 669868 | 5000 383 1248 | 0.000 % | c =============================================================================== c New solution: 6754 c Elapsed CPU time: 83.3213 s Remaining CPU time: 96.6787 s c =============================================================================== c | 388 | 1485 2006 671218 | 5000 388 1248 | 0.000 % | c =============================================================================== c New solution: 6753 c Elapsed CPU time: 83.7413 s Remaining CPU time: 96.2587 s c =============================================================================== c | 394 | 1485 2007 672568 | 5000 394 1248 | 0.000 % | c =============================================================================== c New solution: 6752 c Elapsed CPU time: 84.1722 s Remaining CPU time: 95.8278 s c =============================================================================== c | 403 | 1485 2008 673918 | 5000 403 1248 | 0.000 % | c =============================================================================== c New solution: 6751 c Elapsed CPU time: 84.5621 s Remaining CPU time: 95.4379 s c =============================================================================== c | 410 | 1485 2009 675268 | 5000 410 1247 | 0.000 % | c =============================================================================== c New solution: 6750 c Elapsed CPU time: 84.9081 s Remaining CPU time: 95.0919 s c =============================================================================== c | 410 | 1485 2010 676618 | 5000 410 1247 | 0.000 % | c =============================================================================== c New solution: 6749 c Elapsed CPU time: 85.312 s Remaining CPU time: 94.688 s c =============================================================================== c | 417 | 1485 2011 677968 | 5000 417 1244 | 0.000 % | c =============================================================================== c New solution: 6748 c Elapsed CPU time: 85.655 s Remaining CPU time: 94.345 s c =============================================================================== c | 417 | 1485 2012 679318 | 5000 417 1244 | 0.000 % | c =============================================================================== c New solution: 6747 c Elapsed CPU time: 85.9929 s Remaining CPU time: 94.0071 s c =============================================================================== c | 423 | 1485 2013 680668 | 5000 423 1244 | 0.000 % | c =============================================================================== c New solution: 6746 c Elapsed CPU time: 86.3399 s Remaining CPU time: 93.6601 s c =============================================================================== c | 424 | 1485 2014 682018 | 5000 424 1244 | 0.000 % | c =============================================================================== c New solution: 6745 c Elapsed CPU time: 86.7268 s Remaining CPU time: 93.2732 s c =============================================================================== c | 427 | 1485 2015 683368 | 5000 427 1244 | 0.000 % | c =============================================================================== c New solution: 6744 c Elapsed CPU time: 87.0948 s Remaining CPU time: 92.9052 s c =============================================================================== c | 427 | 1485 2016 684718 | 5000 427 1244 | 0.000 % | c =============================================================================== c New solution: 6743 c Elapsed CPU time: 87.4547 s Remaining CPU time: 92.5453 s c =============================================================================== c | 429 | 1485 2017 686068 | 5000 429 1244 | 0.000 % | c =============================================================================== c New solution: 6742 c Elapsed CPU time: 87.8346 s Remaining CPU time: 92.1654 s c =============================================================================== c | 440 | 1485 2018 687418 | 5000 440 1244 | 0.000 % | c =============================================================================== c New solution: 6741 c Elapsed CPU time: 88.2046 s Remaining CPU time: 91.7954 s c =============================================================================== c | 443 | 1485 2019 688768 | 5000 443 1244 | 0.000 % | c =============================================================================== c New solution: 6740 c Elapsed CPU time: 88.6305 s Remaining CPU time: 91.3695 s c =============================================================================== c | 450 | 1485 2020 690118 | 5000 450 1244 | 0.000 % | c =============================================================================== c New solution: 6739 c Elapsed CPU time: 89.0305 s Remaining CPU time: 90.9695 s c =============================================================================== c | 452 | 1485 2021 691468 | 5000 452 1244 | 0.000 % | c =============================================================================== c New solution: 6738 c Elapsed CPU time: 89.4114 s Remaining CPU time: 90.5886 s c =============================================================================== c | 454 | 1485 2022 692818 | 5000 454 1243 | 0.000 % | c =============================================================================== c New solution: 6737 c Elapsed CPU time: 89.7794 s Remaining CPU time: 90.2206 s c =============================================================================== c | 455 | 1485 2023 694168 | 5000 455 1243 | 0.000 % | c =============================================================================== c New solution: 6736 c Elapsed CPU time: 90.1753 s Remaining CPU time: 89.8247 s c =============================================================================== c | 456 | 1485 2024 695518 | 5000 456 1243 | 0.000 % | c =============================================================================== c New solution: 6735 c Elapsed CPU time: 90.5422 s Remaining CPU time: 89.4578 s c =============================================================================== c | 457 | 1485 2025 696868 | 5000 457 1243 | 0.000 % | c =============================================================================== c New solution: 6734 c Elapsed CPU time: 90.9442 s Remaining CPU time: 89.0558 s c =============================================================================== c | 459 | 1485 2026 698218 | 5000 459 1243 | 0.000 % | c =============================================================================== c New solution: 6733 c Elapsed CPU time: 91.2941 s Remaining CPU time: 88.7059 s c =============================================================================== c | 461 | 1485 2027 699568 | 5000 461 1243 | 0.000 % | c =============================================================================== c New solution: 6732 c Elapsed CPU time: 91.7361 s Remaining CPU time: 88.2639 s c =============================================================================== c | 473 | 1485 2028 700918 | 5000 473 1243 | 0.000 % | c =============================================================================== c New solution: 6731 c Elapsed CPU time: 92.15 s Remaining CPU time: 87.85 s c =============================================================================== c | 475 | 1485 2029 702268 | 5000 475 1243 | 0.000 % | c =============================================================================== c New solution: 6730 c Elapsed CPU time: 92.5639 s Remaining CPU time: 87.4361 s c =============================================================================== c | 489 | 1485 2030 703618 | 5000 489 1243 | 0.000 % | c =============================================================================== c New solution: 6729 c Elapsed CPU time: 93.0159 s Remaining CPU time: 86.9841 s c =============================================================================== c | 502 | 1485 2031 704968 | 5000 502 1243 | 0.000 % | c =============================================================================== c New solution: 6728 c Elapsed CPU time: 93.4158 s Remaining CPU time: 86.5842 s c =============================================================================== c | 505 | 1485 2032 706318 | 5000 505 1243 | 0.000 % | c =============================================================================== c New solution: 6727 c Elapsed CPU time: 93.8207 s Remaining CPU time: 86.1793 s c =============================================================================== c | 513 | 1485 2033 707668 | 5000 513 1242 | 0.000 % | c =============================================================================== c New solution: 6726 c Elapsed CPU time: 94.2067 s Remaining CPU time: 85.7933 s c =============================================================================== c | 514 | 1485 2034 709018 | 5000 514 1242 | 0.000 % | c =============================================================================== c New solution: 6725 c Elapsed CPU time: 94.6086 s Remaining CPU time: 85.3914 s c =============================================================================== c | 517 | 1485 2035 710368 | 5000 517 1242 | 0.000 % | c =============================================================================== c New solution: 6724 c Elapsed CPU time: 95.0086 s Remaining CPU time: 84.9914 s c =============================================================================== c | 523 | 1485 2036 711718 | 5000 523 1242 | 0.000 % | c =============================================================================== c New solution: 6723 c Elapsed CPU time: 95.7634 s Remaining CPU time: 84.2366 s c =============================================================================== c | 554 | 1485 2037 713068 | 5000 554 1242 | 0.000 % | c =============================================================================== c New solution: 6722 c Elapsed CPU time: 96.2604 s Remaining CPU time: 83.7396 s c =============================================================================== c | 565 | 1485 2038 714418 | 5000 565 1242 | 0.000 % | c =============================================================================== c New solution: 6721 c Elapsed CPU time: 96.7113 s Remaining CPU time: 83.2887 s c =============================================================================== c | 571 | 1485 2039 715768 | 5000 571 1242 | 0.000 % | c =============================================================================== c New solution: 6720 c Elapsed CPU time: 97.0842 s Remaining CPU time: 82.9158 s c =============================================================================== c | 571 | 1485 2040 717118 | 5000 571 1242 | 0.000 % | c =============================================================================== c New solution: 6719 c Elapsed CPU time: 97.4642 s Remaining CPU time: 82.5358 s c =============================================================================== c | 572 | 1485 2041 718468 | 5000 572 1242 | 0.000 % | c =============================================================================== c New solution: 6718 c Elapsed CPU time: 97.8741 s Remaining CPU time: 82.1259 s c =============================================================================== c | 578 | 1485 2042 719818 | 5000 578 1241 | 0.000 % | c =============================================================================== c New solution: 6717 c Elapsed CPU time: 98.2931 s Remaining CPU time: 81.7069 s c =============================================================================== c | 581 | 1485 2043 721168 | 5000 581 1241 | 0.000 % | c =============================================================================== c New solution: 6716 c Elapsed CPU time: 98.66 s Remaining CPU time: 81.34 s c =============================================================================== c | 583 | 1485 2044 722518 | 5000 583 1241 | 0.000 % | c =============================================================================== c New solution: 6715 c Elapsed CPU time: 99.1069 s Remaining CPU time: 80.8931 s c =============================================================================== c | 592 | 1485 2045 723868 | 5000 592 1241 | 0.000 % | c =============================================================================== c New solution: 6714 c Elapsed CPU time: 99.4999 s Remaining CPU time: 80.5001 s c =============================================================================== c | 597 | 1485 2046 725218 | 5000 597 1239 | 0.000 % | c =============================================================================== c New solution: 6713 c Elapsed CPU time: 99.8928 s Remaining CPU time: 80.1072 s c =============================================================================== c | 600 | 1485 2047 726568 | 5000 600 1239 | 0.000 % | c =============================================================================== c New solution: 6712 c Elapsed CPU time: 100.272 s Remaining CPU time: 79.7282 s c =============================================================================== c | 600 | 1485 2048 727918 | 5000 600 1239 | 0.000 % | c =============================================================================== c New solution: 6711 c Elapsed CPU time: 100.642 s Remaining CPU time: 79.3583 s c =============================================================================== c | 600 | 1485 2049 729268 | 5000 600 1239 | 0.000 % | c =============================================================================== c New solution: 6710 c Elapsed CPU time: 101.04 s Remaining CPU time: 78.9604 s c =============================================================================== c | 612 | 1485 2050 730618 | 5000 612 1239 | 0.000 % | c =============================================================================== c New solution: 6709 c Elapsed CPU time: 101.45 s Remaining CPU time: 78.5504 s c =============================================================================== c | 618 | 1485 2051 731968 | 5000 618 1239 | 0.000 % | c =============================================================================== c New solution: 6708 c Elapsed CPU time: 101.807 s Remaining CPU time: 78.1935 s c =============================================================================== c | 618 | 1485 2052 733318 | 5000 618 1239 | 0.000 % | c =============================================================================== c New solution: 6707 c Elapsed CPU time: 102.226 s Remaining CPU time: 77.7735 s c =============================================================================== c | 624 | 1485 2053 734668 | 5000 624 1239 | 0.000 % | c =============================================================================== c New solution: 6706 c Elapsed CPU time: 102.612 s Remaining CPU time: 77.3876 s c =============================================================================== c | 625 | 1485 2054 736018 | 5000 625 1239 | 0.000 % | c =============================================================================== c New solution: 6705 c Elapsed CPU time: 103.173 s Remaining CPU time: 76.8267 s c =============================================================================== c | 662 | 1485 2055 737368 | 5000 662 1238 | 0.000 % | c =============================================================================== c New solution: 6704 c Elapsed CPU time: 103.676 s Remaining CPU time: 76.3238 s c =============================================================================== c | 671 | 1485 2056 738718 | 5000 671 1238 | 0.000 % | c =============================================================================== c New solution: 6703 c Elapsed CPU time: 104.119 s Remaining CPU time: 75.8808 s c =============================================================================== c | 674 | 1485 2057 740068 | 5000 674 1238 | 0.000 % | c =============================================================================== c New solution: 6702 c Elapsed CPU time: 104.665 s Remaining CPU time: 75.3349 s c =============================================================================== c | 688 | 1485 2058 741418 | 5000 688 1238 | 0.000 % | c =============================================================================== c New solution: 6701 c Elapsed CPU time: 105.107 s Remaining CPU time: 74.893 s c =============================================================================== c | 696 | 1485 2059 742768 | 5000 696 1238 | 0.000 % | c =============================================================================== c New solution: 6700 c Elapsed CPU time: 105.502 s Remaining CPU time: 74.498 s c =============================================================================== c | 706 | 1485 2060 744118 | 5000 706 1238 | 0.000 % | c =============================================================================== c New solution: 6699 c Elapsed CPU time: 105.901 s Remaining CPU time: 74.0991 s c =============================================================================== c | 713 | 1485 2061 745468 | 5000 713 1238 | 0.000 % | c =============================================================================== c New solution: 6698 c Elapsed CPU time: 106.327 s Remaining CPU time: 73.6732 s c =============================================================================== c | 715 | 1485 2062 746818 | 5000 715 1238 | 0.000 % | c =============================================================================== c New solution: 6697 c Elapsed CPU time: 106.783 s Remaining CPU time: 73.2172 s c =============================================================================== c | 728 | 1485 2063 748168 | 5000 728 1237 | 0.000 % | c =============================================================================== c New solution: 6696 c Elapsed CPU time: 107.245 s Remaining CPU time: 72.7553 s c =============================================================================== c | 739 | 1485 2064 749518 | 5000 739 1237 | 0.000 % | c =============================================================================== c New solution: 6695 c Elapsed CPU time: 107.664 s Remaining CPU time: 72.3364 s c =============================================================================== c | 746 | 1485 2065 750868 | 5000 746 1237 | 0.000 % | c =============================================================================== c New solution: 6694 c Elapsed CPU time: 108.202 s Remaining CPU time: 71.7985 s c =============================================================================== c | 767 | 1485 2066 752218 | 5000 767 1237 | 0.000 % | c =============================================================================== c New solution: 6693 c Elapsed CPU time: 108.626 s Remaining CPU time: 71.3735 s c =============================================================================== c | 780 | 1485 2067 753568 | 5000 780 1237 | 0.000 % | c =============================================================================== c New solution: 6692 c Elapsed CPU time: 109.174 s Remaining CPU time: 70.8256 s c =============================================================================== c | 796 | 1485 2068 754918 | 5000 796 1237 | 0.000 % | c =============================================================================== c New solution: 6691 c Elapsed CPU time: 109.851 s Remaining CPU time: 70.1487 s c =============================================================================== c | 817 | 1485 2069 756268 | 5000 817 1237 | 0.000 % | c =============================================================================== c New solution: 6690 c Elapsed CPU time: 110.344 s Remaining CPU time: 69.6558 s c =============================================================================== c | 822 | 1485 2070 757618 | 5000 822 1236 | 0.000 % | c =============================================================================== c New solution: 6689 c Elapsed CPU time: 110.745 s Remaining CPU time: 69.2548 s c =============================================================================== c | 822 | 1485 2071 758968 | 5000 822 1236 | 0.000 % | c =============================================================================== c New solution: 6688 c Elapsed CPU time: 111.243 s Remaining CPU time: 68.7569 s c =============================================================================== c | 837 | 1485 2072 760318 | 5000 837 1236 | 0.000 % | c =============================================================================== c New solution: 6687 c Elapsed CPU time: 111.697 s Remaining CPU time: 68.303 s c =============================================================================== c | 850 | 1485 2073 761668 | 5000 850 1236 | 0.000 % | c =============================================================================== c New solution: 6686 c Elapsed CPU time: 112.112 s Remaining CPU time: 67.888 s c =============================================================================== c | 850 | 1485 2074 763018 | 5000 850 1236 | 0.000 % | c =============================================================================== c New solution: 6685 c Elapsed CPU time: 112.848 s Remaining CPU time: 67.1522 s c =============================================================================== c | 865 | 1485 2075 764368 | 5000 865 1236 | 0.000 % | c =============================================================================== c New solution: 6684 c Elapsed CPU time: 113.295 s Remaining CPU time: 66.7052 s c =============================================================================== c | 869 | 1485 2076 765718 | 5000 869 1236 | 0.000 % | c =============================================================================== c New solution: 6683 c Elapsed CPU time: 113.888 s Remaining CPU time: 66.1123 s c =============================================================================== c | 879 | 1485 2077 767068 | 5000 879 1236 | 0.000 % | c =============================================================================== c New solution: 6682 c Elapsed CPU time: 114.307 s Remaining CPU time: 65.6934 s c =============================================================================== c | 880 | 1485 2078 768418 | 5000 880 1236 | 0.000 % | c =============================================================================== c New solution: 6681 c Elapsed CPU time: 114.834 s Remaining CPU time: 65.1665 s c =============================================================================== c | 901 | 1485 2079 769768 | 5000 901 1236 | 0.000 % | c =============================================================================== c New solution: 6680 c Elapsed CPU time: 115.291 s Remaining CPU time: 64.7085 s c =============================================================================== c | 906 | 1485 2080 771118 | 5000 906 1236 | 0.000 % | c =============================================================================== c New solution: 6679 c Elapsed CPU time: 115.714 s Remaining CPU time: 64.2856 s c =============================================================================== c | 908 | 1485 2081 772468 | 5000 908 1236 | 0.000 % | c =============================================================================== c New solution: 6678 c Elapsed CPU time: 116.134 s Remaining CPU time: 63.8657 s c =============================================================================== c | 909 | 1485 2082 773818 | 5000 909 1236 | 0.000 % | c =============================================================================== c New solution: 6677 c Elapsed CPU time: 116.53 s Remaining CPU time: 63.4697 s c =============================================================================== c | 909 | 1485 2083 775168 | 5000 909 1236 | 0.000 % | c =============================================================================== c New solution: 6676 c Elapsed CPU time: 116.948 s Remaining CPU time: 63.0518 s c =============================================================================== c | 910 | 1485 2084 776518 | 5000 910 1236 | 0.000 % | c =============================================================================== c New solution: 6675 c Elapsed CPU time: 117.344 s Remaining CPU time: 62.6558 s c =============================================================================== c | 911 | 1485 2085 777868 | 5000 911 1236 | 0.000 % | c =============================================================================== c New solution: 6674 c Elapsed CPU time: 117.747 s Remaining CPU time: 62.2529 s c =============================================================================== c | 912 | 1485 2086 779218 | 5000 912 1236 | 0.000 % | c =============================================================================== c New solution: 6673 c Elapsed CPU time: 118.153 s Remaining CPU time: 61.847 s c =============================================================================== c | 912 | 1485 2087 780568 | 5000 912 1236 | 0.000 % | c =============================================================================== c New solution: 6672 c Elapsed CPU time: 119.116 s Remaining CPU time: 60.8841 s c =============================================================================== c | 977 | 1485 2088 781918 | 5000 977 1235 | 0.000 % | c =============================================================================== c New solution: 6671 c Elapsed CPU time: 119.655 s Remaining CPU time: 60.3452 s c =============================================================================== c | 984 | 1485 2089 783268 | 5000 984 1235 | 0.000 % | c =============================================================================== c New solution: 6670 c Elapsed CPU time: 120.485 s Remaining CPU time: 59.5153 s c =============================================================================== c | 1025 | 1485 2090 784618 | 5000 1025 1234 | 0.000 % | c =============================================================================== c New solution: 6669 c Elapsed CPU time: 121.062 s Remaining CPU time: 58.9384 s c =============================================================================== c | 1056 | 1485 2091 785968 | 5000 1056 1234 | 0.000 % | c =============================================================================== c New solution: 6668 c Elapsed CPU time: 121.606 s Remaining CPU time: 58.3945 s c =============================================================================== c | 1064 | 1485 2092 787318 | 5000 1064 1234 | 0.000 % | c =============================================================================== c New solution: 6667 c Elapsed CPU time: 122.092 s Remaining CPU time: 57.9076 s c =============================================================================== c | 1069 | 1485 2093 788668 | 5000 1069 1234 | 0.000 % | c =============================================================================== c New solution: 6666 c Elapsed CPU time: 122.647 s Remaining CPU time: 57.3526 s c =============================================================================== c | 1100 | 1485 2094 790018 | 5000 1100 1234 | 0.000 % | c =============================================================================== c New solution: 6665 c Elapsed CPU time: 123.266 s Remaining CPU time: 56.7337 s c =============================================================================== c | 1124 | 1485 2095 791368 | 5000 1124 1233 | 0.000 % | c =============================================================================== c New solution: 6664 c Elapsed CPU time: 123.696 s Remaining CPU time: 56.3038 s c =============================================================================== c | 1126 | 1485 2096 792718 | 5000 1126 1233 | 0.000 % | c =============================================================================== c New solution: 6663 c Elapsed CPU time: 124.163 s Remaining CPU time: 55.8369 s c =============================================================================== c | 1131 | 1485 2097 794068 | 5000 1131 1233 | 0.000 % | c =============================================================================== c New solution: 6662 c Elapsed CPU time: 124.652 s Remaining CPU time: 55.3479 s c =============================================================================== c | 1156 | 1485 2098 795418 | 5000 1156 1232 | 0.000 % | c =============================================================================== c New solution: 6661 c Elapsed CPU time: 125.146 s Remaining CPU time: 54.854 s c =============================================================================== c | 1187 | 1485 2099 796768 | 5000 1187 1232 | 0.000 % | c =============================================================================== c New solution: 6660 c Elapsed CPU time: 125.66 s Remaining CPU time: 54.3401 s c =============================================================================== c | 1198 | 1485 2100 798118 | 5000 1198 1232 | 0.000 % | c =============================================================================== c New solution: 6659 c Elapsed CPU time: 126.12 s Remaining CPU time: 53.8802 s c =============================================================================== c | 1201 | 1485 2101 799468 | 5000 1201 1232 | 0.000 % | c =============================================================================== c New solution: 6658 c Elapsed CPU time: 126.548 s Remaining CPU time: 53.4522 s c =============================================================================== c | 1202 | 1485 2102 800818 | 5000 1202 1232 | 0.000 % | c =============================================================================== c New solution: 6657 c Elapsed CPU time: 126.977 s Remaining CPU time: 53.0233 s c =============================================================================== c | 1202 | 1485 2103 802168 | 5000 1202 1232 | 0.000 % | c =============================================================================== c New solution: 6656 c Elapsed CPU time: 127.661 s Remaining CPU time: 52.3394 s c =============================================================================== c | 1245 | 1485 2104 803518 | 5000 1245 1231 | 0.000 % | c =============================================================================== c New solution: 6655 c Elapsed CPU time: 128.187 s Remaining CPU time: 51.8135 s c =============================================================================== c | 1280 | 1485 2105 804868 | 5000 1280 1231 | 0.000 % | c =============================================================================== c New solution: 6654 c Elapsed CPU time: 128.862 s Remaining CPU time: 51.1376 s c =============================================================================== c | 1317 | 1485 2106 806218 | 5000 1317 1231 | 0.000 % | c =============================================================================== c New solution: 6653 c Elapsed CPU time: 129.385 s Remaining CPU time: 50.6147 s c =============================================================================== c | 1326 | 1485 2107 807568 | 5000 1326 1231 | 0.000 % | c =============================================================================== c New solution: 6652 c Elapsed CPU time: 129.882 s Remaining CPU time: 50.1177 s c =============================================================================== c | 1345 | 1485 2108 808918 | 5000 1345 1231 | 0.000 % | c =============================================================================== c New solution: 6651 c Elapsed CPU time: 130.56 s Remaining CPU time: 49.4398 s c =============================================================================== c | 1370 | 1485 2109 810268 | 5000 1370 1230 | 0.000 % | c =============================================================================== c New solution: 6650 c Elapsed CPU time: 131.113 s Remaining CPU time: 48.8869 s c =============================================================================== c | 1385 | 1485 2110 811618 | 5000 1385 1230 | 0.000 % | c =============================================================================== c New solution: 6649 c Elapsed CPU time: 131.701 s Remaining CPU time: 48.299 s c =============================================================================== c | 1395 | 1485 2111 812968 | 5000 1395 1230 | 0.000 % | c =============================================================================== c New solution: 6648 c Elapsed CPU time: 132.274 s Remaining CPU time: 47.7261 s c =============================================================================== c | 1410 | 1485 2112 814318 | 5000 1410 1230 | 0.000 % | c =============================================================================== c New solution: 6647 c Elapsed CPU time: 132.79 s Remaining CPU time: 47.2102 s c =============================================================================== c | 1415 | 1485 2113 815668 | 5000 1415 1230 | 0.000 % | c =============================================================================== c New solution: 6646 c Elapsed CPU time: 133.505 s Remaining CPU time: 46.4953 s c =============================================================================== c | 1448 | 1485 2114 817018 | 5000 1448 1230 | 0.000 % | c =============================================================================== c New solution: 6645 c Elapsed CPU time: 134.64 s Remaining CPU time: 45.3605 s c =============================================================================== c | 1490 | 1485 2115 818368 | 5000 1490 1230 | 0.000 % | c =============================================================================== c New solution: 6644 c Elapsed CPU time: 135.136 s Remaining CPU time: 44.8635 s c =============================================================================== c | 1494 | 1485 2116 819718 | 5000 1494 1230 | 0.000 % | c =============================================================================== c New solution: 6643 c Elapsed CPU time: 135.638 s Remaining CPU time: 44.3616 s c =============================================================================== c | 1495 | 1485 2117 821068 | 5000 1495 1230 | 0.000 % | c =============================================================================== c New solution: 6642 c Elapsed CPU time: 136.321 s Remaining CPU time: 43.6787 s c =============================================================================== c | 1546 | 1485 2118 822418 | 5000 1546 1229 | 0.000 % | c =============================================================================== c New solution: 6641 c Elapsed CPU time: 137.275 s Remaining CPU time: 42.7249 s c =============================================================================== c | 1587 | 1485 2119 823768 | 5000 1587 1229 | 0.000 % | c =============================================================================== c New solution: 6640 c Elapsed CPU time: 137.926 s Remaining CPU time: 42.074 s c =============================================================================== c | 1605 | 1485 2120 825118 | 5000 1605 1229 | 0.000 % | c =============================================================================== c New solution: 6639 c Elapsed CPU time: 138.349 s Remaining CPU time: 41.651 s c =============================================================================== c | 1606 | 1485 2121 826468 | 5000 1606 1229 | 0.000 % | c =============================================================================== c New solution: 6638 c Elapsed CPU time: 138.776 s Remaining CPU time: 41.2241 s c =============================================================================== c | 1607 | 1485 2122 827818 | 5000 1607 1229 | 0.000 % | c =============================================================================== c New solution: 6637 c Elapsed CPU time: 139.29 s Remaining CPU time: 40.7102 s c =============================================================================== c | 1612 | 1485 2123 829168 | 5000 1612 1229 | 0.000 % | c =============================================================================== c New solution: 6636 c Elapsed CPU time: 140.366 s Remaining CPU time: 39.6343 s c =============================================================================== c | 1682 | 1485 2124 830518 | 5000 1682 1228 | 0.000 % | c =============================================================================== c New solution: 6635 c Elapsed CPU time: 141.375 s Remaining CPU time: 38.6255 s c =============================================================================== c | 1730 | 1485 2125 831868 | 5000 1730 1228 | 0.000 % | c =============================================================================== c New solution: 6634 c Elapsed CPU time: 142.496 s Remaining CPU time: 37.5037 s c =============================================================================== c | 1781 | 1485 2126 833218 | 5000 1781 1228 | 0.000 % | c =============================================================================== c New solution: 6633 c Elapsed CPU time: 143.241 s Remaining CPU time: 36.7588 s c =============================================================================== c | 1829 | 1485 2127 834568 | 5000 1829 1227 | 0.000 % | c =============================================================================== c New solution: 6632 c Elapsed CPU time: 144.077 s Remaining CPU time: 35.9229 s c =============================================================================== c | 1856 | 1485 2128 835918 | 5000 1856 1227 | 0.000 % | c =============================================================================== c New solution: 6631 c Elapsed CPU time: 144.678 s Remaining CPU time: 35.322 s c =============================================================================== c | 1871 | 1485 2129 837268 | 5000 1871 1227 | 0.000 % | c =============================================================================== c New solution: 6630 c Elapsed CPU time: 145.191 s Remaining CPU time: 34.8091 s c =============================================================================== c | 1877 | 1485 2130 838618 | 5000 1877 1227 | 0.000 % | c =============================================================================== c New solution: 6629 c Elapsed CPU time: 145.688 s Remaining CPU time: 34.3121 s c =============================================================================== c | 1883 | 1485 2131 839968 | 5000 1883 1227 | 0.000 % | c =============================================================================== c New solution: 6628 c Elapsed CPU time: 146.207 s Remaining CPU time: 33.7932 s c =============================================================================== c | 1889 | 1485 2132 841318 | 5000 1889 1227 | 0.000 % | c =============================================================================== c New solution: 6627 c Elapsed CPU time: 146.792 s Remaining CPU time: 33.2083 s c =============================================================================== c | 1904 | 1485 2133 842668 | 5000 1904 1227 | 0.000 % | c =============================================================================== c New solution: 6626 c Elapsed CPU time: 147.314 s Remaining CPU time: 32.6864 s c =============================================================================== c | 1915 | 1485 2134 844018 | 5000 1915 1227 | 0.000 % | c =============================================================================== c New solution: 6625 c Elapsed CPU time: 147.781 s Remaining CPU time: 32.2195 s c =============================================================================== c | 1920 | 1485 2135 845368 | 5000 1920 1227 | 0.000 % | c =============================================================================== c New solution: 6624 c Elapsed CPU time: 148.274 s Remaining CPU time: 31.7255 s c =============================================================================== c | 1924 | 1485 2136 846718 | 5000 1924 1227 | 0.000 % | c =============================================================================== c New solution: 6623 c Elapsed CPU time: 148.705 s Remaining CPU time: 31.2946 s c =============================================================================== c | 1926 | 1485 2137 848068 | 5000 1926 1227 | 0.000 % | c =============================================================================== c New solution: 6622 c Elapsed CPU time: 149.159 s Remaining CPU time: 30.8407 s c =============================================================================== c | 1927 | 1485 2138 849418 | 5000 1927 1227 | 0.000 % | c =============================================================================== c New solution: 6621 c Elapsed CPU time: 149.598 s Remaining CPU time: 30.4017 s c =============================================================================== c | 1929 | 1485 2139 850768 | 5000 1929 1227 | 0.000 % | c =============================================================================== c New solution: 6620 c Elapsed CPU time: 150.062 s Remaining CPU time: 29.9378 s c =============================================================================== c | 1933 | 1485 2140 852118 | 5000 1933 1227 | 0.000 % | c =============================================================================== c New solution: 6619 c Elapsed CPU time: 150.688 s Remaining CPU time: 29.3119 s c =============================================================================== c | 1943 | 1485 2141 853468 | 5000 1943 1227 | 0.000 % | c =============================================================================== c New solution: 6618 c Elapsed CPU time: 151.301 s Remaining CPU time: 28.699 s c =============================================================================== c | 1965 | 1485 2142 854818 | 5000 1965 1227 | 0.000 % | c =============================================================================== c New solution: 6617 c Elapsed CPU time: 152.082 s Remaining CPU time: 27.9181 s c =============================================================================== c | 1986 | 1485 2143 856168 | 5000 1986 1226 | 0.000 % | c =============================================================================== c New solution: 6616 c Elapsed CPU time: 152.588 s Remaining CPU time: 27.4122 s c =============================================================================== c | 1996 | 1485 2144 857518 | 5000 1996 1226 | 0.000 % | c =============================================================================== c New solution: 6615 c Elapsed CPU time: 153.16 s Remaining CPU time: 26.8403 s c =============================================================================== c | 2003 | 1485 2145 858868 | 5000 2003 1226 | 0.000 % | c =============================================================================== c New solution: 6614 c Elapsed CPU time: 153.727 s Remaining CPU time: 26.2734 s c =============================================================================== c | 2022 | 1485 2146 860218 | 5000 2022 1226 | 0.000 % | c =============================================================================== c New solution: 6613 c Elapsed CPU time: 154.182 s Remaining CPU time: 25.8184 s c =============================================================================== c | 2023 | 1485 2147 861568 | 5000 2023 1226 | 0.000 % | c =============================================================================== c New solution: 6612 c Elapsed CPU time: 154.975 s Remaining CPU time: 25.0246 s c =============================================================================== c | 2050 | 1485 2148 862918 | 5000 2050 1226 | 0.000 % | c =============================================================================== c New solution: 6611 c Elapsed CPU time: 155.5 s Remaining CPU time: 24.4996 s c =============================================================================== c | 2056 | 1485 2149 864268 | 5000 2056 1226 | 0.000 % | c =============================================================================== c New solution: 6610 c Elapsed CPU time: 156.126 s Remaining CPU time: 23.8737 s c =============================================================================== c | 2064 | 1485 2150 865618 | 5000 2064 1226 | 0.000 % | c =============================================================================== c New solution: 6609 c Elapsed CPU time: 156.559 s Remaining CPU time: 23.4408 s c =============================================================================== c | 2064 | 1485 2151 866968 | 5000 2064 1226 | 0.000 % | c =============================================================================== c New solution: 6608 c Elapsed CPU time: 157.016 s Remaining CPU time: 22.9839 s c =============================================================================== c | 2066 | 1485 2152 868318 | 5000 2066 1226 | 0.000 % | c =============================================================================== c New solution: 6607 c Elapsed CPU time: 157.477 s Remaining CPU time: 22.5229 s c =============================================================================== c | 2070 | 1485 2153 869668 | 5000 2070 1226 | 0.000 % | c =============================================================================== c New solution: 6606 c Elapsed CPU time: 158.054 s Remaining CPU time: 21.946 s c =============================================================================== c | 2078 | 1485 2154 871018 | 5000 2078 1226 | 0.000 % | c =============================================================================== c New solution: 6605 c Elapsed CPU time: 158.564 s Remaining CPU time: 21.4361 s c =============================================================================== c | 2081 | 1485 2155 872368 | 5000 2081 1226 | 0.000 % | c =============================================================================== c New solution: 6604 c Elapsed CPU time: 159.064 s Remaining CPU time: 20.9362 s c =============================================================================== c | 2084 | 1485 2156 873718 | 5000 2084 1226 | 0.000 % | c =============================================================================== c New solution: 6603 c Elapsed CPU time: 159.652 s Remaining CPU time: 20.3483 s c =============================================================================== c | 2097 | 1485 2157 875068 | 5000 2097 1226 | 0.000 % | c =============================================================================== c New solution: 6602 c Elapsed CPU time: 160.107 s Remaining CPU time: 19.8933 s c =============================================================================== c | 2098 | 1485 2158 876418 | 5000 2098 1226 | 0.000 % | c =============================================================================== c New solution: 6601 c Elapsed CPU time: 160.599 s Remaining CPU time: 19.4014 s c =============================================================================== c | 2101 | 1485 2159 877768 | 5000 2101 1226 | 0.000 % | c =============================================================================== c New solution: 6600 c Elapsed CPU time: 161.086 s Remaining CPU time: 18.9145 s c =============================================================================== c | 2102 | 1485 2160 879118 | 5000 2102 1226 | 0.000 % | c =============================================================================== c New solution: 6599 c Elapsed CPU time: 161.594 s Remaining CPU time: 18.4056 s c =============================================================================== c | 2104 | 1485 2161 880468 | 5000 2104 1226 | 0.000 % | c | 2206 | 1485 2161 880468 | 5500 2206 1224 | 1.000 % | c =============================================================================== c New solution: 6598 c Elapsed CPU time: 163.186 s Remaining CPU time: 16.8138 s c =============================================================================== c | 2221 | 1485 2162 881818 | 5000 2221 1224 | 1.000 % | c =============================================================================== c New solution: 6597 c Elapsed CPU time: 163.654 s Remaining CPU time: 16.3459 s c =============================================================================== c | 2223 | 1485 2163 883168 | 5000 2223 1224 | 1.000 % | c =============================================================================== c New solution: 6596 c Elapsed CPU time: 164.189 s Remaining CPU time: 15.811 s c =============================================================================== c | 2229 | 1485 2164 884518 | 5000 2229 1224 | 1.000 % | c =============================================================================== c New solution: 6595 c Elapsed CPU time: 164.888 s Remaining CPU time: 15.1121 s c =============================================================================== c | 2284 | 1485 2165 885868 | 5000 2284 1224 | 1.000 % | c =============================================================================== c New solution: 6594 c Elapsed CPU time: 165.51 s Remaining CPU time: 14.4902 s c =============================================================================== c | 2325 | 1485 2166 887218 | 5000 2325 1224 | 1.000 % | c =============================================================================== c New solution: 6593 c Elapsed CPU time: 165.96 s Remaining CPU time: 14.0402 s c =============================================================================== c | 2335 | 1485 2167 888568 | 5000 2335 1224 | 1.000 % | c =============================================================================== c New solution: 6592 c Elapsed CPU time: 166.596 s Remaining CPU time: 13.4043 s c =============================================================================== c | 2366 | 1485 2168 889918 | 5000 2366 1223 | 1.000 % | c =============================================================================== c New solution: 6591 c Elapsed CPU time: 167.19 s Remaining CPU time: 12.8104 s c =============================================================================== c | 2399 | 1485 2169 891268 | 5000 2399 1223 | 1.000 % | c =============================================================================== c New solution: 6590 c Elapsed CPU time: 168.05 s Remaining CPU time: 11.9495 s c =============================================================================== c | 2440 | 1485 2170 892618 | 5000 2440 1223 | 1.000 % | c =============================================================================== c New solution: 6589 c Elapsed CPU time: 168.51 s Remaining CPU time: 11.4896 s c =============================================================================== c | 2444 | 1485 2171 893968 | 5000 2444 1223 | 1.000 % | c =============================================================================== c New solution: 6588 c Elapsed CPU time: 169.07 s Remaining CPU time: 10.9297 s c =============================================================================== c | 2455 | 1485 2172 895318 | 5000 2455 1223 | 1.000 % | c =============================================================================== c New solution: 6587 c Elapsed CPU time: 169.581 s Remaining CPU time: 10.4188 s c =============================================================================== c | 2464 | 1485 2173 896668 | 5000 2464 1222 | 1.000 % | c =============================================================================== c New solution: 6586 c Elapsed CPU time: 170.38 s Remaining CPU time: 9.6199 s c =============================================================================== c | 2487 | 1485 2174 898018 | 5000 2487 1222 | 1.000 % | c =============================================================================== c New solution: 6585 c Elapsed CPU time: 171.558 s Remaining CPU time: 8.44208 s c =============================================================================== c | 2553 | 1485 2175 899368 | 5000 2553 1222 | 1.000 % | c =============================================================================== c New solution: 6584 c Elapsed CPU time: 172.029 s Remaining CPU time: 7.97115 s c =============================================================================== c | 2554 | 1485 2176 900718 | 5000 2554 1222 | 1.000 % | c =============================================================================== c New solution: 6583 c Elapsed CPU time: 172.993 s Remaining CPU time: 7.0073 s c =============================================================================== c | 2609 | 1485 2177 902068 | 5000 2609 1222 | 1.000 % | c =============================================================================== c New solution: 6582 c Elapsed CPU time: 173.571 s Remaining CPU time: 6.42939 s c =============================================================================== c | 2633 | 1485 2178 903418 | 5000 2633 1221 | 1.000 % | c =============================================================================== c New solution: 6581 c Elapsed CPU time: 174.067 s Remaining CPU time: 5.93346 s c =============================================================================== c | 2635 | 1485 2179 904768 | 5000 2635 1221 | 1.000 % | c =============================================================================== c New solution: 6580 c Elapsed CPU time: 174.584 s Remaining CPU time: 5.41554 s c =============================================================================== c | 2651 | 1485 2180 906118 | 5000 2651 1221 | 1.000 % | c =============================================================================== c New solution: 6579 c Elapsed CPU time: 175.591 s Remaining CPU time: 4.40869 s c =============================================================================== c | 2713 | 1485 2181 907468 | 5000 2713 1221 | 1.000 % | c =============================================================================== c New solution: 6578 c Elapsed CPU time: 176.484 s Remaining CPU time: 3.51583 s c =============================================================================== c | 2744 | 1485 2182 908818 | 5000 2744 1221 | 1.000 % | c =============================================================================== c New solution: 6577 c Elapsed CPU time: 176.981 s Remaining CPU time: 3.01891 s c =============================================================================== c | 2762 | 1485 2183 910168 | 5000 2762 1221 | 1.000 % | c =============================================================================== c New solution: 6576 c Elapsed CPU time: 177.784 s Remaining CPU time: 2.21603 s c =============================================================================== c | 2804 | 1485 2184 911518 | 5000 2804 1221 | 1.000 % | c =============================================================================== c New solution: 6575 c Elapsed CPU time: 178.309 s Remaining CPU time: 1.69111 s c =============================================================================== c | 2823 | 1485 2185 912868 | 5000 2823 1220 | 1.000 % | c =============================================================================== c New solution: 6574 c Elapsed CPU time: 179.31 s Remaining CPU time: 0.69026 s c =============================================================================== c | 2841 | 1485 2186 914218 | 5000 2841 1220 | 1.000 % | c =============================================================================== c New solution: 6573 c Elapsed CPU time: 179.927 s Remaining CPU time: 0.073354 s c =============================================================================== c | 2873 | 1485 2187 915568 | 5000 2873 1220 | 1.000 % | c There are 15 assigned variables. 0 in cost function.