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 | 1493 1506 4332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7342 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1493 1507 5682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7338 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1493 1508 7032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7334 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1493 1509 8382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7332 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1493 1510 9732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7328 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1493 1511 11082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7326 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1493 1512 12432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7324 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1493 1513 13782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7320 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1493 1514 15132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7319 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 1493 1515 16482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7317 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 1493 1516 17832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7313 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 1493 1517 19182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7311 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 1493 1518 20532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7309 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 1493 1519 21882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7307 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 1493 1520 23232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7305 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 1493 1521 24582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7304 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 0 | 1493 1522 25932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7303 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 1493 1523 27282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7302 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 1493 1524 28632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7299 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 1493 1525 29982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7298 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 0 | 1493 1526 31332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7297 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 1493 1527 32682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7296 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 1493 1528 34032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7295 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 1493 1529 35382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7293 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 1493 1530 36732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7292 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 1493 1531 38082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7290 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 0 | 1493 1532 39432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7289 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 1493 1533 40782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7288 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 0 | 1493 1534 42132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7287 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 0 | 1493 1535 43482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7285 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 0 | 1493 1536 44832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7284 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 0 | 1493 1537 46182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7283 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 1493 1538 47532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7282 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 0 | 1493 1539 48882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7281 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 0 | 1493 1540 50232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7280 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 0 | 1493 1541 51582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7277 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 0 | 1493 1542 52932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7275 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 0 | 1493 1543 54282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7274 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 0 | 1493 1544 55632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7270 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 1493 1545 56982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7266 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s c =============================================================================== c | 0 | 1493 1546 58332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7264 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 0 | 1493 1547 59682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7263 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 0 | 1493 1548 61032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7262 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 0 | 1493 1549 62382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7261 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s c =============================================================================== c | 0 | 1493 1550 63732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7259 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 0 | 1493 1551 65082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7258 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 0 | 1493 1552 66432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7257 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 0 | 1493 1553 67782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7256 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 0 | 1493 1554 69132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7255 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 0 | 1493 1555 70482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7254 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 0 | 1493 1556 71832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7251 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 1493 1557 73182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7248 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 0 | 1493 1558 74532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7247 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 0 | 1493 1559 75882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7245 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 0 | 1493 1560 77232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7243 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 0 | 1493 1561 78582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 0.973851 s Remaining CPU time: 179.026 s c =============================================================================== c | 0 | 1493 1562 79932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7240 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 0 | 1493 1563 81282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7235 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 0 | 1493 1564 82632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7232 c Elapsed CPU time: 1.07084 s Remaining CPU time: 178.929 s c =============================================================================== c | 0 | 1493 1565 83982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7231 c Elapsed CPU time: 1.10383 s Remaining CPU time: 178.896 s c =============================================================================== c | 0 | 1493 1566 85332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7229 c Elapsed CPU time: 1.13883 s Remaining CPU time: 178.861 s c =============================================================================== c | 0 | 1493 1567 86682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7228 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 0 | 1493 1568 88032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7226 c Elapsed CPU time: 1.21281 s Remaining CPU time: 178.787 s c =============================================================================== c | 0 | 1493 1569 89382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7223 c Elapsed CPU time: 1.24881 s Remaining CPU time: 178.751 s c =============================================================================== c | 0 | 1493 1570 90732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7220 c Elapsed CPU time: 1.2868 s Remaining CPU time: 178.713 s c =============================================================================== c | 0 | 1493 1571 92082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7217 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 0 | 1493 1572 93432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7216 c Elapsed CPU time: 1.36279 s Remaining CPU time: 178.637 s c =============================================================================== c | 0 | 1493 1573 94782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 1.40279 s Remaining CPU time: 178.597 s c =============================================================================== c | 0 | 1493 1574 96132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7211 c Elapsed CPU time: 1.44178 s Remaining CPU time: 178.558 s c =============================================================================== c | 0 | 1493 1575 97482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7208 c Elapsed CPU time: 1.48477 s Remaining CPU time: 178.515 s c =============================================================================== c | 0 | 1493 1576 98832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7207 c Elapsed CPU time: 1.52677 s Remaining CPU time: 178.473 s c =============================================================================== c | 0 | 1493 1577 100182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7204 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 0 | 1493 1578 101532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7203 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 0 | 1493 1579 102882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7201 c Elapsed CPU time: 1.65675 s Remaining CPU time: 178.343 s c =============================================================================== c | 0 | 1493 1580 104232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7199 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 0 | 1493 1581 105582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7198 c Elapsed CPU time: 1.74673 s Remaining CPU time: 178.253 s c =============================================================================== c | 0 | 1493 1582 106932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7197 c Elapsed CPU time: 1.79473 s Remaining CPU time: 178.205 s c =============================================================================== c | 0 | 1493 1583 108282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7196 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s c =============================================================================== c | 0 | 1493 1584 109632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7195 c Elapsed CPU time: 1.89071 s Remaining CPU time: 178.109 s c =============================================================================== c | 0 | 1493 1585 110982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7194 c Elapsed CPU time: 1.9417 s Remaining CPU time: 178.058 s c =============================================================================== c | 0 | 1493 1586 112332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7193 c Elapsed CPU time: 1.9927 s Remaining CPU time: 178.007 s c =============================================================================== c | 0 | 1493 1587 113682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7192 c Elapsed CPU time: 2.04469 s Remaining CPU time: 177.955 s c =============================================================================== c | 0 | 1493 1588 115032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7191 c Elapsed CPU time: 2.09568 s Remaining CPU time: 177.904 s c =============================================================================== c | 0 | 1493 1589 116382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7190 c Elapsed CPU time: 2.14867 s Remaining CPU time: 177.851 s c =============================================================================== c | 0 | 1493 1590 117732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7189 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s c =============================================================================== c | 0 | 1493 1591 119082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7188 c Elapsed CPU time: 2.25466 s Remaining CPU time: 177.745 s c =============================================================================== c | 0 | 1493 1592 120432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7186 c Elapsed CPU time: 2.30965 s Remaining CPU time: 177.69 s c =============================================================================== c | 0 | 1493 1593 121782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7184 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 0 | 1493 1594 123132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7183 c Elapsed CPU time: 2.42463 s Remaining CPU time: 177.575 s c =============================================================================== c | 0 | 1493 1595 124482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7182 c Elapsed CPU time: 2.48362 s Remaining CPU time: 177.516 s c =============================================================================== c | 0 | 1493 1596 125832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7181 c Elapsed CPU time: 2.54261 s Remaining CPU time: 177.457 s c =============================================================================== c | 0 | 1493 1597 127182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7179 c Elapsed CPU time: 2.6036 s Remaining CPU time: 177.396 s c =============================================================================== c | 0 | 1493 1598 128532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7177 c Elapsed CPU time: 2.6626 s Remaining CPU time: 177.337 s c =============================================================================== c | 0 | 1493 1599 129882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7176 c Elapsed CPU time: 2.72259 s Remaining CPU time: 177.277 s c =============================================================================== c | 0 | 1493 1600 131232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7175 c Elapsed CPU time: 2.78558 s Remaining CPU time: 177.214 s c =============================================================================== c | 0 | 1493 1601 132582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7172 c Elapsed CPU time: 2.84857 s Remaining CPU time: 177.151 s c =============================================================================== c | 0 | 1493 1602 133932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7171 c Elapsed CPU time: 2.91156 s Remaining CPU time: 177.088 s c =============================================================================== c | 0 | 1493 1603 135282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7170 c Elapsed CPU time: 2.97555 s Remaining CPU time: 177.024 s c =============================================================================== c | 0 | 1493 1604 136632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 3.03854 s Remaining CPU time: 176.961 s c =============================================================================== c | 0 | 1493 1605 137982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7167 c Elapsed CPU time: 3.10553 s Remaining CPU time: 176.894 s c =============================================================================== c | 0 | 1493 1606 139332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7164 c Elapsed CPU time: 3.17152 s Remaining CPU time: 176.828 s c =============================================================================== c | 0 | 1493 1607 140682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7163 c Elapsed CPU time: 3.23651 s Remaining CPU time: 176.763 s c =============================================================================== c | 0 | 1493 1608 142032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7162 c Elapsed CPU time: 3.3055 s Remaining CPU time: 176.695 s c =============================================================================== c | 0 | 1493 1609 143382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7161 c Elapsed CPU time: 3.37349 s Remaining CPU time: 176.627 s c =============================================================================== c | 0 | 1493 1610 144732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7160 c Elapsed CPU time: 3.44348 s Remaining CPU time: 176.557 s c =============================================================================== c | 0 | 1493 1611 146082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7158 c Elapsed CPU time: 3.52046 s Remaining CPU time: 176.48 s c =============================================================================== c | 0 | 1493 1612 147432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7156 c Elapsed CPU time: 3.59145 s Remaining CPU time: 176.409 s c =============================================================================== c | 0 | 1493 1613 148782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7155 c Elapsed CPU time: 3.66544 s Remaining CPU time: 176.335 s c =============================================================================== c | 0 | 1493 1614 150132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7152 c Elapsed CPU time: 3.74043 s Remaining CPU time: 176.26 s c =============================================================================== c | 0 | 1493 1615 151482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7151 c Elapsed CPU time: 3.81842 s Remaining CPU time: 176.182 s c =============================================================================== c | 0 | 1493 1616 152832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7149 c Elapsed CPU time: 3.89441 s Remaining CPU time: 176.106 s c =============================================================================== c | 0 | 1493 1617 154182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 3.9724 s Remaining CPU time: 176.028 s c =============================================================================== c | 0 | 1493 1618 155532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7141 c Elapsed CPU time: 4.04838 s Remaining CPU time: 175.952 s c =============================================================================== c | 0 | 1493 1619 156882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7139 c Elapsed CPU time: 4.12737 s Remaining CPU time: 175.873 s c =============================================================================== c | 0 | 1493 1620 158232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7138 c Elapsed CPU time: 4.20536 s Remaining CPU time: 175.795 s c =============================================================================== c | 0 | 1493 1621 159582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7132 c Elapsed CPU time: 4.28335 s Remaining CPU time: 175.717 s c =============================================================================== c | 0 | 1493 1622 160932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7129 c Elapsed CPU time: 4.36634 s Remaining CPU time: 175.634 s c =============================================================================== c | 0 | 1493 1623 162282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7124 c Elapsed CPU time: 4.44632 s Remaining CPU time: 175.554 s c =============================================================================== c | 0 | 1493 1624 163632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7123 c Elapsed CPU time: 4.53131 s Remaining CPU time: 175.469 s c =============================================================================== c | 0 | 1493 1625 164982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7121 c Elapsed CPU time: 4.6143 s Remaining CPU time: 175.386 s c =============================================================================== c | 0 | 1493 1626 166332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7118 c Elapsed CPU time: 4.69829 s Remaining CPU time: 175.302 s c =============================================================================== c | 0 | 1493 1627 167682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7114 c Elapsed CPU time: 4.78127 s Remaining CPU time: 175.219 s c =============================================================================== c | 0 | 1493 1628 169032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7113 c Elapsed CPU time: 4.86826 s Remaining CPU time: 175.132 s c =============================================================================== c | 0 | 1493 1629 170382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7112 c Elapsed CPU time: 4.95725 s Remaining CPU time: 175.043 s c =============================================================================== c | 0 | 1493 1630 171732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7111 c Elapsed CPU time: 5.04723 s Remaining CPU time: 174.953 s c =============================================================================== c | 0 | 1493 1631 173082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7108 c Elapsed CPU time: 5.13422 s Remaining CPU time: 174.866 s c =============================================================================== c | 0 | 1493 1632 174432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7105 c Elapsed CPU time: 5.22021 s Remaining CPU time: 174.78 s c =============================================================================== c | 0 | 1493 1633 175782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7101 c Elapsed CPU time: 5.30919 s Remaining CPU time: 174.691 s c =============================================================================== c | 0 | 1493 1634 177132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7099 c Elapsed CPU time: 5.39818 s Remaining CPU time: 174.602 s c =============================================================================== c | 0 | 1493 1635 178482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 5.49116 s Remaining CPU time: 174.509 s c =============================================================================== c | 0 | 1493 1636 179832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7096 c Elapsed CPU time: 5.58515 s Remaining CPU time: 174.415 s c =============================================================================== c | 0 | 1493 1637 181182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7095 c Elapsed CPU time: 5.67614 s Remaining CPU time: 174.324 s c =============================================================================== c | 0 | 1493 1638 182532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7094 c Elapsed CPU time: 5.77112 s Remaining CPU time: 174.229 s c =============================================================================== c | 0 | 1493 1639 183882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7093 c Elapsed CPU time: 5.86811 s Remaining CPU time: 174.132 s c =============================================================================== c | 0 | 1493 1640 185232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7092 c Elapsed CPU time: 5.96609 s Remaining CPU time: 174.034 s c =============================================================================== c | 0 | 1493 1641 186582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7090 c Elapsed CPU time: 6.06108 s Remaining CPU time: 173.939 s c =============================================================================== c | 0 | 1493 1642 187932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 6.15806 s Remaining CPU time: 173.842 s c =============================================================================== c | 0 | 1493 1643 189282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7084 c Elapsed CPU time: 6.25605 s Remaining CPU time: 173.744 s c =============================================================================== c | 0 | 1493 1644 190632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7080 c Elapsed CPU time: 6.35203 s Remaining CPU time: 173.648 s c =============================================================================== c | 0 | 1493 1645 191982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7079 c Elapsed CPU time: 6.44902 s Remaining CPU time: 173.551 s c =============================================================================== c | 0 | 1493 1646 193332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7075 c Elapsed CPU time: 6.55 s Remaining CPU time: 173.45 s c =============================================================================== c | 0 | 1493 1647 194682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7074 c Elapsed CPU time: 6.65599 s Remaining CPU time: 173.344 s c =============================================================================== c | 0 | 1493 1648 196032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7073 c Elapsed CPU time: 6.75897 s Remaining CPU time: 173.241 s c =============================================================================== c | 0 | 1493 1649 197382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7072 c Elapsed CPU time: 6.86396 s Remaining CPU time: 173.136 s c =============================================================================== c | 0 | 1493 1650 198732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7071 c Elapsed CPU time: 6.96994 s Remaining CPU time: 173.03 s c =============================================================================== c | 0 | 1493 1651 200082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7070 c Elapsed CPU time: 7.07992 s Remaining CPU time: 172.92 s c =============================================================================== c | 0 | 1493 1652 201432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7068 c Elapsed CPU time: 7.18791 s Remaining CPU time: 172.812 s c =============================================================================== c | 0 | 1493 1653 202782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7067 c Elapsed CPU time: 7.29689 s Remaining CPU time: 172.703 s c =============================================================================== c | 0 | 1493 1654 204132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7065 c Elapsed CPU time: 7.40187 s Remaining CPU time: 172.598 s c =============================================================================== c | 0 | 1493 1655 205482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7064 c Elapsed CPU time: 7.51086 s Remaining CPU time: 172.489 s c =============================================================================== c | 0 | 1493 1656 206832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7063 c Elapsed CPU time: 7.62184 s Remaining CPU time: 172.378 s c =============================================================================== c | 0 | 1493 1657 208182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7062 c Elapsed CPU time: 7.73682 s Remaining CPU time: 172.263 s c =============================================================================== c | 0 | 1493 1658 209532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7060 c Elapsed CPU time: 7.84781 s Remaining CPU time: 172.152 s c =============================================================================== c | 0 | 1493 1659 210882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7059 c Elapsed CPU time: 7.96479 s Remaining CPU time: 172.035 s c =============================================================================== c | 0 | 1493 1660 212232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7058 c Elapsed CPU time: 8.08377 s Remaining CPU time: 171.916 s c =============================================================================== c | 0 | 1493 1661 213582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7057 c Elapsed CPU time: 8.20175 s Remaining CPU time: 171.798 s c =============================================================================== c | 0 | 1493 1662 214932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7055 c Elapsed CPU time: 8.31973 s Remaining CPU time: 171.68 s c =============================================================================== c | 0 | 1493 1663 216282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7054 c Elapsed CPU time: 8.43972 s Remaining CPU time: 171.56 s c =============================================================================== c | 0 | 1493 1664 217632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7051 c Elapsed CPU time: 8.5557 s Remaining CPU time: 171.444 s c =============================================================================== c | 0 | 1493 1665 218982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7050 c Elapsed CPU time: 8.67968 s Remaining CPU time: 171.32 s c =============================================================================== c | 0 | 1493 1666 220332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7049 c Elapsed CPU time: 8.79966 s Remaining CPU time: 171.2 s c =============================================================================== c | 0 | 1493 1667 221682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7048 c Elapsed CPU time: 8.92064 s Remaining CPU time: 171.079 s c =============================================================================== c | 0 | 1493 1668 223032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7047 c Elapsed CPU time: 9.04662 s Remaining CPU time: 170.953 s c =============================================================================== c | 0 | 1493 1669 224382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7046 c Elapsed CPU time: 9.17361 s Remaining CPU time: 170.826 s c =============================================================================== c | 0 | 1493 1670 225732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7045 c Elapsed CPU time: 9.29359 s Remaining CPU time: 170.706 s c =============================================================================== c | 0 | 1493 1671 227082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7044 c Elapsed CPU time: 9.42257 s Remaining CPU time: 170.577 s c =============================================================================== c | 0 | 1493 1672 228432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7043 c Elapsed CPU time: 9.55255 s Remaining CPU time: 170.447 s c =============================================================================== c | 0 | 1493 1673 229782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7042 c Elapsed CPU time: 9.68253 s Remaining CPU time: 170.317 s c =============================================================================== c | 0 | 1493 1674 231132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7040 c Elapsed CPU time: 9.80751 s Remaining CPU time: 170.192 s c =============================================================================== c | 0 | 1493 1675 232482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7036 c Elapsed CPU time: 9.93449 s Remaining CPU time: 170.066 s c =============================================================================== c | 0 | 1493 1676 233832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7035 c Elapsed CPU time: 10.0665 s Remaining CPU time: 169.934 s c =============================================================================== c | 0 | 1493 1677 235182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7034 c Elapsed CPU time: 10.1984 s Remaining CPU time: 169.802 s c =============================================================================== c | 0 | 1493 1678 236532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7033 c Elapsed CPU time: 10.3294 s Remaining CPU time: 169.671 s c =============================================================================== c | 0 | 1493 1679 237882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7032 c Elapsed CPU time: 10.4624 s Remaining CPU time: 169.538 s c =============================================================================== c | 0 | 1493 1680 239232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7030 c Elapsed CPU time: 10.5954 s Remaining CPU time: 169.405 s c =============================================================================== c | 0 | 1493 1681 240582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7029 c Elapsed CPU time: 10.7284 s Remaining CPU time: 169.272 s c =============================================================================== c | 0 | 1493 1682 241932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7027 c Elapsed CPU time: 10.8643 s Remaining CPU time: 169.136 s c =============================================================================== c | 0 | 1493 1683 243282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7026 c Elapsed CPU time: 11.0033 s Remaining CPU time: 168.997 s c =============================================================================== c | 0 | 1493 1684 244632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7022 c Elapsed CPU time: 11.1423 s Remaining CPU time: 168.858 s c =============================================================================== c | 0 | 1493 1685 245982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7021 c Elapsed CPU time: 11.2913 s Remaining CPU time: 168.709 s c =============================================================================== c | 0 | 1493 1686 247332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7019 c Elapsed CPU time: 11.4413 s Remaining CPU time: 168.559 s c =============================================================================== c | 0 | 1493 1687 248682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7018 c Elapsed CPU time: 11.5912 s Remaining CPU time: 168.409 s c =============================================================================== c | 0 | 1493 1688 250032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7017 c Elapsed CPU time: 11.7412 s Remaining CPU time: 168.259 s c =============================================================================== c | 0 | 1493 1689 251382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7016 c Elapsed CPU time: 11.8902 s Remaining CPU time: 168.11 s c =============================================================================== c | 0 | 1493 1690 252732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7014 c Elapsed CPU time: 12.0412 s Remaining CPU time: 167.959 s c =============================================================================== c | 0 | 1493 1691 254082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7009 c Elapsed CPU time: 12.1921 s Remaining CPU time: 167.808 s c =============================================================================== c | 0 | 1493 1692 255432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7008 c Elapsed CPU time: 12.3501 s Remaining CPU time: 167.65 s c =============================================================================== c | 0 | 1493 1693 256782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7007 c Elapsed CPU time: 12.5091 s Remaining CPU time: 167.491 s c =============================================================================== c | 0 | 1493 1694 258132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7005 c Elapsed CPU time: 12.6681 s Remaining CPU time: 167.332 s c =============================================================================== c | 0 | 1493 1695 259482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7004 c Elapsed CPU time: 12.828 s Remaining CPU time: 167.172 s c =============================================================================== c | 0 | 1493 1696 260832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7002 c Elapsed CPU time: 12.985 s Remaining CPU time: 167.015 s c =============================================================================== c | 0 | 1493 1697 262182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7001 c Elapsed CPU time: 13.149 s Remaining CPU time: 166.851 s c =============================================================================== c | 0 | 1493 1698 263532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6997 c Elapsed CPU time: 13.308 s Remaining CPU time: 166.692 s c =============================================================================== c | 0 | 1493 1699 264882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6996 c Elapsed CPU time: 13.471 s Remaining CPU time: 166.529 s c =============================================================================== c | 0 | 1493 1700 266232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6995 c Elapsed CPU time: 13.6319 s Remaining CPU time: 166.368 s c =============================================================================== c | 0 | 1493 1701 267582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6994 c Elapsed CPU time: 13.7929 s Remaining CPU time: 166.207 s c =============================================================================== c | 0 | 1493 1702 268932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6993 c Elapsed CPU time: 13.9549 s Remaining CPU time: 166.045 s c =============================================================================== c | 0 | 1493 1703 270282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6992 c Elapsed CPU time: 14.1249 s Remaining CPU time: 165.875 s c =============================================================================== c | 0 | 1493 1704 271632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6991 c Elapsed CPU time: 14.2958 s Remaining CPU time: 165.704 s c =============================================================================== c | 0 | 1493 1705 272982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6988 c Elapsed CPU time: 14.4638 s Remaining CPU time: 165.536 s c =============================================================================== c | 0 | 1493 1706 274332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6987 c Elapsed CPU time: 14.6338 s Remaining CPU time: 165.366 s c =============================================================================== c | 0 | 1493 1707 275682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6986 c Elapsed CPU time: 14.8037 s Remaining CPU time: 165.196 s c =============================================================================== c | 0 | 1493 1708 277032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6983 c Elapsed CPU time: 14.9697 s Remaining CPU time: 165.03 s c =============================================================================== c | 0 | 1493 1709 278382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6981 c Elapsed CPU time: 15.1347 s Remaining CPU time: 164.865 s c =============================================================================== c | 0 | 1493 1710 279732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6977 c Elapsed CPU time: 15.2977 s Remaining CPU time: 164.702 s c =============================================================================== c | 0 | 1493 1711 281082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6973 c Elapsed CPU time: 15.4626 s Remaining CPU time: 164.537 s c =============================================================================== c | 0 | 1493 1712 282432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6972 c Elapsed CPU time: 15.6306 s Remaining CPU time: 164.369 s c =============================================================================== c | 0 | 1493 1713 283782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6971 c Elapsed CPU time: 15.7946 s Remaining CPU time: 164.205 s c =============================================================================== c | 0 | 1493 1714 285132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6970 c Elapsed CPU time: 15.9626 s Remaining CPU time: 164.037 s c =============================================================================== c | 0 | 1493 1715 286482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6968 c Elapsed CPU time: 16.1325 s Remaining CPU time: 163.867 s c =============================================================================== c | 0 | 1493 1716 287832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6967 c Elapsed CPU time: 16.3095 s Remaining CPU time: 163.69 s c =============================================================================== c | 0 | 1493 1717 289182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6966 c Elapsed CPU time: 16.4805 s Remaining CPU time: 163.52 s c =============================================================================== c | 0 | 1493 1718 290532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6965 c Elapsed CPU time: 16.6495 s Remaining CPU time: 163.351 s c =============================================================================== c | 0 | 1493 1719 291882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6962 c Elapsed CPU time: 16.8204 s Remaining CPU time: 163.18 s c =============================================================================== c | 0 | 1493 1720 293232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6961 c Elapsed CPU time: 16.9944 s Remaining CPU time: 163.006 s c =============================================================================== c | 0 | 1493 1721 294582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6960 c Elapsed CPU time: 17.1644 s Remaining CPU time: 162.836 s c =============================================================================== c | 0 | 1493 1722 295932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6959 c Elapsed CPU time: 17.3344 s Remaining CPU time: 162.666 s c =============================================================================== c | 0 | 1493 1723 297282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6958 c Elapsed CPU time: 17.5143 s Remaining CPU time: 162.486 s c =============================================================================== c | 0 | 1493 1724 298632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6956 c Elapsed CPU time: 17.6883 s Remaining CPU time: 162.312 s c =============================================================================== c | 0 | 1493 1725 299982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6954 c Elapsed CPU time: 17.8613 s Remaining CPU time: 162.139 s c =============================================================================== c | 0 | 1493 1726 301332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6953 c Elapsed CPU time: 18.0343 s Remaining CPU time: 161.966 s c =============================================================================== c | 0 | 1493 1727 302682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6950 c Elapsed CPU time: 18.2042 s Remaining CPU time: 161.796 s c =============================================================================== c | 0 | 1493 1728 304032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6948 c Elapsed CPU time: 18.3812 s Remaining CPU time: 161.619 s c =============================================================================== c | 0 | 1493 1729 305382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6947 c Elapsed CPU time: 18.5612 s Remaining CPU time: 161.439 s c =============================================================================== c | 0 | 1493 1730 306732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6945 c Elapsed CPU time: 18.7362 s Remaining CPU time: 161.264 s c =============================================================================== c | 0 | 1493 1731 308082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6943 c Elapsed CPU time: 18.9151 s Remaining CPU time: 161.085 s c =============================================================================== c | 0 | 1493 1732 309432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6942 c Elapsed CPU time: 19.0971 s Remaining CPU time: 160.903 s c =============================================================================== c | 0 | 1493 1733 310782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6941 c Elapsed CPU time: 19.2791 s Remaining CPU time: 160.721 s c =============================================================================== c | 0 | 1493 1734 312132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6940 c Elapsed CPU time: 19.46 s Remaining CPU time: 160.54 s c =============================================================================== c | 0 | 1493 1735 313482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6939 c Elapsed CPU time: 19.643 s Remaining CPU time: 160.357 s c =============================================================================== c | 0 | 1493 1736 314832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6938 c Elapsed CPU time: 19.831 s Remaining CPU time: 160.169 s c =============================================================================== c | 0 | 1493 1737 316182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6937 c Elapsed CPU time: 20.024 s Remaining CPU time: 159.976 s c =============================================================================== c | 0 | 1493 1738 317532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6936 c Elapsed CPU time: 20.2089 s Remaining CPU time: 159.791 s c =============================================================================== c | 0 | 1493 1739 318882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6935 c Elapsed CPU time: 20.3989 s Remaining CPU time: 159.601 s c =============================================================================== c | 0 | 1493 1740 320232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6932 c Elapsed CPU time: 20.5799 s Remaining CPU time: 159.42 s c =============================================================================== c | 0 | 1493 1741 321582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6929 c Elapsed CPU time: 20.7678 s Remaining CPU time: 159.232 s c =============================================================================== c | 0 | 1493 1742 322932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6927 c Elapsed CPU time: 20.9578 s Remaining CPU time: 159.042 s c =============================================================================== c | 0 | 1493 1743 324282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6925 c Elapsed CPU time: 21.1478 s Remaining CPU time: 158.852 s c =============================================================================== c | 0 | 1493 1744 325632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6924 c Elapsed CPU time: 21.3368 s Remaining CPU time: 158.663 s c =============================================================================== c | 0 | 1493 1745 326982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6923 c Elapsed CPU time: 21.5297 s Remaining CPU time: 158.47 s c =============================================================================== c | 0 | 1493 1746 328332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6922 c Elapsed CPU time: 21.7377 s Remaining CPU time: 158.262 s c =============================================================================== c | 0 | 1493 1747 329682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6921 c Elapsed CPU time: 21.9257 s Remaining CPU time: 158.074 s c =============================================================================== c | 0 | 1493 1748 331032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6920 c Elapsed CPU time: 22.1176 s Remaining CPU time: 157.882 s c =============================================================================== c | 0 | 1493 1749 332382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6919 c Elapsed CPU time: 22.3136 s Remaining CPU time: 157.686 s c =============================================================================== c | 0 | 1493 1750 333732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6917 c Elapsed CPU time: 22.5166 s Remaining CPU time: 157.483 s c =============================================================================== c | 1 | 1493 1751 335082 | 5000 1 1286 | 0.000 % | c =============================================================================== c New solution: 6916 c Elapsed CPU time: 22.7325 s Remaining CPU time: 157.267 s c =============================================================================== c | 1 | 1493 1752 336432 | 5000 1 1286 | 0.000 % | c =============================================================================== c New solution: 6915 c Elapsed CPU time: 22.9415 s Remaining CPU time: 157.058 s c =============================================================================== c | 1 | 1493 1753 337782 | 5000 1 1286 | 0.000 % | c =============================================================================== c New solution: 6914 c Elapsed CPU time: 23.1595 s Remaining CPU time: 156.841 s c =============================================================================== c | 1 | 1493 1754 339132 | 5000 1 1286 | 0.000 % | c =============================================================================== c New solution: 6913 c Elapsed CPU time: 23.3744 s Remaining CPU time: 156.626 s c =============================================================================== c | 1 | 1493 1755 340482 | 5000 1 1286 | 0.000 % | c =============================================================================== c New solution: 6912 c Elapsed CPU time: 23.5874 s Remaining CPU time: 156.413 s c =============================================================================== c | 1 | 1493 1756 341832 | 5000 1 1286 | 0.000 % | c =============================================================================== c New solution: 6911 c Elapsed CPU time: 23.8094 s Remaining CPU time: 156.191 s c =============================================================================== c | 2 | 1493 1757 343182 | 5000 2 1286 | 0.000 % | c =============================================================================== c New solution: 6910 c Elapsed CPU time: 24.0243 s Remaining CPU time: 155.976 s c =============================================================================== c | 2 | 1493 1758 344532 | 5000 2 1286 | 0.000 % | c =============================================================================== c New solution: 6909 c Elapsed CPU time: 24.2473 s Remaining CPU time: 155.753 s c =============================================================================== c | 7 | 1493 1759 345882 | 5000 7 1285 | 0.000 % | c =============================================================================== c New solution: 6908 c Elapsed CPU time: 24.4503 s Remaining CPU time: 155.55 s c =============================================================================== c | 7 | 1493 1760 347232 | 5000 7 1285 | 0.000 % | c =============================================================================== c New solution: 6907 c Elapsed CPU time: 24.6772 s Remaining CPU time: 155.323 s c =============================================================================== c | 8 | 1493 1761 348582 | 5000 8 1285 | 0.000 % | c =============================================================================== c New solution: 6906 c Elapsed CPU time: 24.9032 s Remaining CPU time: 155.097 s c =============================================================================== c | 8 | 1493 1762 349932 | 5000 8 1285 | 0.000 % | c =============================================================================== c New solution: 6905 c Elapsed CPU time: 25.1202 s Remaining CPU time: 154.88 s c =============================================================================== c | 8 | 1493 1763 351282 | 5000 8 1285 | 0.000 % | c =============================================================================== c New solution: 6904 c Elapsed CPU time: 25.3441 s Remaining CPU time: 154.656 s c =============================================================================== c | 9 | 1493 1764 352632 | 5000 9 1143 | 0.000 % | c =============================================================================== c New solution: 6903 c Elapsed CPU time: 25.5671 s Remaining CPU time: 154.433 s c =============================================================================== c | 11 | 1493 1765 353982 | 5000 11 1168 | 0.000 % | c =============================================================================== c New solution: 6902 c Elapsed CPU time: 25.7821 s Remaining CPU time: 154.218 s c =============================================================================== c | 11 | 1493 1766 355332 | 5000 11 1168 | 0.000 % | c =============================================================================== c New solution: 6901 c Elapsed CPU time: 25.999 s Remaining CPU time: 154.001 s c =============================================================================== c | 12 | 1493 1767 356682 | 5000 12 1071 | 0.000 % | c =============================================================================== c New solution: 6900 c Elapsed CPU time: 26.21 s Remaining CPU time: 153.79 s c =============================================================================== c | 12 | 1493 1768 358032 | 5000 12 1071 | 0.000 % | c =============================================================================== c New solution: 6899 c Elapsed CPU time: 26.441 s Remaining CPU time: 153.559 s c =============================================================================== c | 12 | 1493 1769 359382 | 5000 12 1071 | 0.000 % | c =============================================================================== c New solution: 6898 c Elapsed CPU time: 26.6669 s Remaining CPU time: 153.333 s c =============================================================================== c | 14 | 1493 1770 360732 | 5000 14 1101 | 0.000 % | c =============================================================================== c New solution: 6897 c Elapsed CPU time: 26.8969 s Remaining CPU time: 153.103 s c =============================================================================== c | 15 | 1493 1771 362082 | 5000 15 1113 | 0.000 % | c =============================================================================== c New solution: 6896 c Elapsed CPU time: 27.1339 s Remaining CPU time: 152.866 s c =============================================================================== c | 17 | 1493 1772 363432 | 5000 17 1133 | 0.000 % | c =============================================================================== c New solution: 6895 c Elapsed CPU time: 27.3728 s Remaining CPU time: 152.627 s c =============================================================================== c | 17 | 1493 1773 364782 | 5000 17 1133 | 0.000 % | c =============================================================================== c New solution: 6894 c Elapsed CPU time: 27.6038 s Remaining CPU time: 152.396 s c =============================================================================== c | 18 | 1493 1774 366132 | 5000 18 1141 | 0.000 % | c =============================================================================== c New solution: 6893 c Elapsed CPU time: 27.8428 s Remaining CPU time: 152.157 s c =============================================================================== c | 23 | 1493 1775 367482 | 5000 23 1171 | 0.000 % | c =============================================================================== c New solution: 6892 c Elapsed CPU time: 28.0717 s Remaining CPU time: 151.928 s c =============================================================================== c | 23 | 1493 1776 368832 | 5000 23 1171 | 0.000 % | c =============================================================================== c New solution: 6891 c Elapsed CPU time: 28.3067 s Remaining CPU time: 151.693 s c =============================================================================== c | 23 | 1493 1777 370182 | 5000 23 1171 | 0.000 % | c =============================================================================== c New solution: 6890 c Elapsed CPU time: 28.5447 s Remaining CPU time: 151.455 s c =============================================================================== c | 23 | 1493 1778 371532 | 5000 23 1171 | 0.000 % | c =============================================================================== c New solution: 6889 c Elapsed CPU time: 28.8106 s Remaining CPU time: 151.189 s c =============================================================================== c | 23 | 1493 1779 372882 | 5000 23 1171 | 0.000 % | c =============================================================================== c New solution: 6888 c Elapsed CPU time: 29.0866 s Remaining CPU time: 150.913 s c =============================================================================== c | 24 | 1493 1780 374232 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6887 c Elapsed CPU time: 29.3425 s Remaining CPU time: 150.657 s c =============================================================================== c | 24 | 1493 1781 375582 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6886 c Elapsed CPU time: 29.5885 s Remaining CPU time: 150.411 s c =============================================================================== c | 24 | 1493 1782 376932 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6885 c Elapsed CPU time: 29.8315 s Remaining CPU time: 150.169 s c =============================================================================== c | 24 | 1493 1783 378282 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6884 c Elapsed CPU time: 30.0724 s Remaining CPU time: 149.928 s c =============================================================================== c | 24 | 1493 1784 379632 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6883 c Elapsed CPU time: 30.3214 s Remaining CPU time: 149.679 s c =============================================================================== c | 24 | 1493 1785 380982 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6882 c Elapsed CPU time: 30.5604 s Remaining CPU time: 149.44 s c =============================================================================== c | 24 | 1493 1786 382332 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6881 c Elapsed CPU time: 30.7913 s Remaining CPU time: 149.209 s c =============================================================================== c | 24 | 1493 1787 383682 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6880 c Elapsed CPU time: 31.0183 s Remaining CPU time: 148.982 s c =============================================================================== c | 24 | 1493 1788 385032 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6879 c Elapsed CPU time: 31.3032 s Remaining CPU time: 148.697 s c =============================================================================== c | 24 | 1493 1789 386382 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6878 c Elapsed CPU time: 31.5562 s Remaining CPU time: 148.444 s c =============================================================================== c | 24 | 1493 1790 387732 | 5000 24 1176 | 0.000 % | c =============================================================================== c New solution: 6877 c Elapsed CPU time: 31.8002 s Remaining CPU time: 148.2 s c =============================================================================== c | 27 | 1493 1791 389082 | 5000 27 1187 | 0.000 % | c =============================================================================== c New solution: 6876 c Elapsed CPU time: 32.0631 s Remaining CPU time: 147.937 s c =============================================================================== c | 27 | 1493 1792 390432 | 5000 27 1187 | 0.000 % | c =============================================================================== c New solution: 6875 c Elapsed CPU time: 32.3421 s Remaining CPU time: 147.658 s c =============================================================================== c | 27 | 1493 1793 391782 | 5000 27 1187 | 0.000 % | c =============================================================================== c New solution: 6874 c Elapsed CPU time: 32.598 s Remaining CPU time: 147.402 s c =============================================================================== c | 27 | 1493 1794 393132 | 5000 27 1187 | 0.000 % | c =============================================================================== c New solution: 6873 c Elapsed CPU time: 32.853 s Remaining CPU time: 147.147 s c =============================================================================== c | 28 | 1493 1795 394482 | 5000 28 1191 | 0.000 % | c =============================================================================== c New solution: 6872 c Elapsed CPU time: 33.107 s Remaining CPU time: 146.893 s c =============================================================================== c | 28 | 1493 1796 395832 | 5000 28 1191 | 0.000 % | c =============================================================================== c New solution: 6871 c Elapsed CPU time: 33.3659 s Remaining CPU time: 146.634 s c =============================================================================== c | 28 | 1493 1797 397182 | 5000 28 1191 | 0.000 % | c =============================================================================== c New solution: 6870 c Elapsed CPU time: 33.6349 s Remaining CPU time: 146.365 s c =============================================================================== c | 28 | 1493 1798 398532 | 5000 28 1191 | 0.000 % | c =============================================================================== c New solution: 6869 c Elapsed CPU time: 33.8928 s Remaining CPU time: 146.107 s c =============================================================================== c | 29 | 1493 1799 399882 | 5000 29 1194 | 0.000 % | c =============================================================================== c New solution: 6868 c Elapsed CPU time: 34.1408 s Remaining CPU time: 145.859 s c =============================================================================== c | 38 | 1493 1800 401232 | 5000 38 1214 | 0.000 % | c =============================================================================== c New solution: 6867 c Elapsed CPU time: 34.4038 s Remaining CPU time: 145.596 s c =============================================================================== c | 40 | 1493 1801 402582 | 5000 40 1217 | 0.000 % | c =============================================================================== c New solution: 6866 c Elapsed CPU time: 34.6657 s Remaining CPU time: 145.334 s c =============================================================================== c | 40 | 1493 1802 403932 | 5000 40 1217 | 0.000 % | c =============================================================================== c New solution: 6865 c Elapsed CPU time: 34.9277 s Remaining CPU time: 145.072 s c =============================================================================== c | 40 | 1493 1803 405282 | 5000 40 1217 | 0.000 % | c =============================================================================== c New solution: 6864 c Elapsed CPU time: 35.1817 s Remaining CPU time: 144.818 s c =============================================================================== c | 40 | 1493 1804 406632 | 5000 40 1217 | 0.000 % | c =============================================================================== c New solution: 6863 c Elapsed CPU time: 35.4426 s Remaining CPU time: 144.557 s c =============================================================================== c | 40 | 1493 1805 407982 | 5000 40 1217 | 0.000 % | c =============================================================================== c New solution: 6862 c Elapsed CPU time: 35.7316 s Remaining CPU time: 144.268 s c =============================================================================== c | 42 | 1493 1806 409332 | 5000 42 1219 | 0.000 % | c =============================================================================== c New solution: 6861 c Elapsed CPU time: 36.0005 s Remaining CPU time: 143.999 s c =============================================================================== c | 42 | 1493 1807 410682 | 5000 42 1219 | 0.000 % | c =============================================================================== c New solution: 6860 c Elapsed CPU time: 36.2745 s Remaining CPU time: 143.726 s c =============================================================================== c | 42 | 1493 1808 412032 | 5000 42 1219 | 0.000 % | c =============================================================================== c New solution: 6859 c Elapsed CPU time: 36.5664 s Remaining CPU time: 143.434 s c =============================================================================== c | 50 | 1493 1809 413382 | 5000 50 1228 | 0.000 % | c =============================================================================== c New solution: 6858 c Elapsed CPU time: 36.8204 s Remaining CPU time: 143.18 s c =============================================================================== c | 50 | 1493 1810 414732 | 5000 50 1228 | 0.000 % | c =============================================================================== c New solution: 6857 c Elapsed CPU time: 37.0844 s Remaining CPU time: 142.916 s c =============================================================================== c | 50 | 1493 1811 416082 | 5000 50 1228 | 0.000 % | c =============================================================================== c New solution: 6856 c Elapsed CPU time: 37.3613 s Remaining CPU time: 142.639 s c =============================================================================== c | 50 | 1493 1812 417432 | 5000 50 1228 | 0.000 % | c =============================================================================== c New solution: 6855 c Elapsed CPU time: 37.6553 s Remaining CPU time: 142.345 s c =============================================================================== c | 52 | 1493 1813 418782 | 5000 52 1230 | 0.000 % | c =============================================================================== c New solution: 6854 c Elapsed CPU time: 37.9472 s Remaining CPU time: 142.053 s c =============================================================================== c | 52 | 1493 1814 420132 | 5000 52 1230 | 0.000 % | c =============================================================================== c New solution: 6853 c Elapsed CPU time: 38.2602 s Remaining CPU time: 141.74 s c =============================================================================== c | 58 | 1493 1815 421482 | 5000 58 1235 | 0.000 % | c =============================================================================== c New solution: 6852 c Elapsed CPU time: 38.5281 s Remaining CPU time: 141.472 s c =============================================================================== c | 58 | 1493 1816 422832 | 5000 58 1235 | 0.000 % | c =============================================================================== c New solution: 6851 c Elapsed CPU time: 38.7901 s Remaining CPU time: 141.21 s c =============================================================================== c | 59 | 1493 1817 424182 | 5000 59 1235 | 0.000 % | c =============================================================================== c New solution: 6850 c Elapsed CPU time: 39.0481 s Remaining CPU time: 140.952 s c =============================================================================== c | 59 | 1493 1818 425532 | 5000 59 1235 | 0.000 % | c =============================================================================== c New solution: 6849 c Elapsed CPU time: 39.31 s Remaining CPU time: 140.69 s c =============================================================================== c | 59 | 1493 1819 426882 | 5000 59 1235 | 0.000 % | c =============================================================================== c New solution: 6848 c Elapsed CPU time: 39.589 s Remaining CPU time: 140.411 s c =============================================================================== c | 59 | 1493 1820 428232 | 5000 59 1235 | 0.000 % | c =============================================================================== c New solution: 6847 c Elapsed CPU time: 39.8549 s Remaining CPU time: 140.145 s c =============================================================================== c | 59 | 1493 1821 429582 | 5000 59 1235 | 0.000 % | c =============================================================================== c New solution: 6846 c Elapsed CPU time: 40.1489 s Remaining CPU time: 139.851 s c =============================================================================== c | 66 | 1493 1822 430932 | 5000 66 1240 | 0.000 % | c =============================================================================== c New solution: 6845 c Elapsed CPU time: 40.4239 s Remaining CPU time: 139.576 s c =============================================================================== c | 66 | 1493 1823 432282 | 5000 66 1240 | 0.000 % | c =============================================================================== c New solution: 6844 c Elapsed CPU time: 40.6858 s Remaining CPU time: 139.314 s c =============================================================================== c | 70 | 1493 1824 433632 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6843 c Elapsed CPU time: 40.9778 s Remaining CPU time: 139.022 s c =============================================================================== c | 70 | 1493 1825 434982 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6842 c Elapsed CPU time: 41.2767 s Remaining CPU time: 138.723 s c =============================================================================== c | 70 | 1493 1826 436332 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6841 c Elapsed CPU time: 41.5587 s Remaining CPU time: 138.441 s c =============================================================================== c | 70 | 1493 1827 437682 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6840 c Elapsed CPU time: 41.8396 s Remaining CPU time: 138.16 s c =============================================================================== c | 70 | 1493 1828 439032 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6839 c Elapsed CPU time: 42.1226 s Remaining CPU time: 137.877 s c =============================================================================== c | 70 | 1493 1829 440382 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6838 c Elapsed CPU time: 42.4335 s Remaining CPU time: 137.566 s c =============================================================================== c | 70 | 1493 1830 441732 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6837 c Elapsed CPU time: 42.7265 s Remaining CPU time: 137.273 s c =============================================================================== c | 70 | 1493 1831 443082 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6836 c Elapsed CPU time: 43.0205 s Remaining CPU time: 136.98 s c =============================================================================== c | 70 | 1493 1832 444432 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6835 c Elapsed CPU time: 43.3284 s Remaining CPU time: 136.672 s c =============================================================================== c | 70 | 1493 1833 445782 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6834 c Elapsed CPU time: 43.6284 s Remaining CPU time: 136.372 s c =============================================================================== c | 70 | 1493 1834 447132 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6833 c Elapsed CPU time: 43.9253 s Remaining CPU time: 136.075 s c =============================================================================== c | 70 | 1493 1835 448482 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6832 c Elapsed CPU time: 44.2143 s Remaining CPU time: 135.786 s c =============================================================================== c | 70 | 1493 1836 449832 | 5000 70 1241 | 0.000 % | c =============================================================================== c New solution: 6831 c Elapsed CPU time: 44.5142 s Remaining CPU time: 135.486 s c =============================================================================== c | 77 | 1493 1837 451182 | 5000 77 1244 | 0.000 % | c =============================================================================== c New solution: 6830 c Elapsed CPU time: 44.8312 s Remaining CPU time: 135.169 s c =============================================================================== c | 81 | 1493 1838 452532 | 5000 81 1245 | 0.000 % | c =============================================================================== c New solution: 6829 c Elapsed CPU time: 45.1291 s Remaining CPU time: 134.871 s c =============================================================================== c | 81 | 1493 1839 453882 | 5000 81 1245 | 0.000 % | c =============================================================================== c New solution: 6828 c Elapsed CPU time: 45.4211 s Remaining CPU time: 134.579 s c =============================================================================== c | 81 | 1493 1840 455232 | 5000 81 1245 | 0.000 % | c =============================================================================== c New solution: 6827 c Elapsed CPU time: 45.729 s Remaining CPU time: 134.271 s c =============================================================================== c | 81 | 1493 1841 456582 | 5000 81 1245 | 0.000 % | c =============================================================================== c New solution: 6826 c Elapsed CPU time: 46.046 s Remaining CPU time: 133.954 s c =============================================================================== c | 81 | 1493 1842 457932 | 5000 81 1245 | 0.000 % | c =============================================================================== c New solution: 6825 c Elapsed CPU time: 46.3719 s Remaining CPU time: 133.628 s c =============================================================================== c | 82 | 1493 1843 459282 | 5000 82 1246 | 0.000 % | c =============================================================================== c New solution: 6824 c Elapsed CPU time: 46.6739 s Remaining CPU time: 133.326 s c =============================================================================== c | 82 | 1493 1844 460632 | 5000 82 1246 | 0.000 % | c =============================================================================== c New solution: 6823 c Elapsed CPU time: 46.9619 s Remaining CPU time: 133.038 s c =============================================================================== c | 82 | 1493 1845 461982 | 5000 82 1246 | 0.000 % | c =============================================================================== c New solution: 6822 c Elapsed CPU time: 47.2698 s Remaining CPU time: 132.73 s c =============================================================================== c | 85 | 1493 1846 463332 | 5000 85 1246 | 0.000 % | c =============================================================================== c New solution: 6821 c Elapsed CPU time: 47.5668 s Remaining CPU time: 132.433 s c =============================================================================== c | 85 | 1493 1847 464682 | 5000 85 1246 | 0.000 % | c =============================================================================== c New solution: 6820 c Elapsed CPU time: 47.8577 s Remaining CPU time: 132.142 s c =============================================================================== c | 88 | 1493 1848 466032 | 5000 88 1247 | 0.000 % | c =============================================================================== c New solution: 6819 c Elapsed CPU time: 48.1437 s Remaining CPU time: 131.856 s c =============================================================================== c | 88 | 1493 1849 467382 | 5000 88 1247 | 0.000 % | c =============================================================================== c New solution: 6818 c Elapsed CPU time: 48.4406 s Remaining CPU time: 131.559 s c =============================================================================== c | 88 | 1493 1850 468732 | 5000 88 1247 | 0.000 % | c =============================================================================== c New solution: 6817 c Elapsed CPU time: 48.7406 s Remaining CPU time: 131.259 s c =============================================================================== c | 88 | 1493 1851 470082 | 5000 88 1247 | 0.000 % | c =============================================================================== c New solution: 6816 c Elapsed CPU time: 49.0255 s Remaining CPU time: 130.974 s c =============================================================================== c | 91 | 1493 1852 471432 | 5000 91 1248 | 0.000 % | c =============================================================================== c New solution: 6815 c Elapsed CPU time: 49.3175 s Remaining CPU time: 130.682 s c =============================================================================== c | 92 | 1493 1853 472782 | 5000 92 1248 | 0.000 % | c =============================================================================== c New solution: 6814 c Elapsed CPU time: 49.6045 s Remaining CPU time: 130.396 s c =============================================================================== c | 94 | 1493 1854 474132 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6813 c Elapsed CPU time: 49.9264 s Remaining CPU time: 130.074 s c =============================================================================== c | 94 | 1493 1855 475482 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6812 c Elapsed CPU time: 50.2454 s Remaining CPU time: 129.755 s c =============================================================================== c | 94 | 1493 1856 476832 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6811 c Elapsed CPU time: 50.5903 s Remaining CPU time: 129.41 s c =============================================================================== c | 94 | 1493 1857 478182 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6810 c Elapsed CPU time: 50.9053 s Remaining CPU time: 129.095 s c =============================================================================== c | 94 | 1493 1858 479532 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6809 c Elapsed CPU time: 51.2372 s Remaining CPU time: 128.763 s c =============================================================================== c | 94 | 1493 1859 480882 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6808 c Elapsed CPU time: 51.5572 s Remaining CPU time: 128.443 s c =============================================================================== c | 94 | 1493 1860 482232 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6807 c Elapsed CPU time: 51.9331 s Remaining CPU time: 128.067 s c =============================================================================== c | 94 | 1493 1861 483582 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6806 c Elapsed CPU time: 52.2671 s Remaining CPU time: 127.733 s c =============================================================================== c | 94 | 1493 1862 484932 | 5000 94 1248 | 0.000 % | c =============================================================================== c New solution: 6805 c Elapsed CPU time: 52.568 s Remaining CPU time: 127.432 s c =============================================================================== c | 95 | 1493 1863 486282 | 5000 95 1249 | 0.000 % | c =============================================================================== c New solution: 6804 c Elapsed CPU time: 52.902 s Remaining CPU time: 127.098 s c =============================================================================== c | 95 | 1493 1864 487632 | 5000 95 1249 | 0.000 % | c =============================================================================== c New solution: 6803 c Elapsed CPU time: 53.2269 s Remaining CPU time: 126.773 s c =============================================================================== c | 96 | 1493 1865 488982 | 5000 96 1249 | 0.000 % | c =============================================================================== c New solution: 6802 c Elapsed CPU time: 53.5519 s Remaining CPU time: 126.448 s c =============================================================================== c | 98 | 1493 1866 490332 | 5000 98 1249 | 0.000 % | c =============================================================================== c New solution: 6801 c Elapsed CPU time: 53.8618 s Remaining CPU time: 126.138 s c =============================================================================== c | 99 | 1493 1867 491682 | 5000 99 1249 | 0.000 % | c =============================================================================== c New solution: 6800 c Elapsed CPU time: 54.1768 s Remaining CPU time: 125.823 s c =============================================================================== c | 103 | 1493 1868 493032 | 5000 103 1250 | 0.000 % | c =============================================================================== c New solution: 6799 c Elapsed CPU time: 54.5137 s Remaining CPU time: 125.486 s c =============================================================================== c | 103 | 1493 1869 494382 | 5000 103 1250 | 0.000 % | c =============================================================================== c New solution: 6798 c Elapsed CPU time: 54.8537 s Remaining CPU time: 125.146 s c =============================================================================== c | 103 | 1493 1870 495732 | 5000 103 1250 | 0.000 % | c =============================================================================== c New solution: 6797 c Elapsed CPU time: 55.1676 s Remaining CPU time: 124.832 s c =============================================================================== c | 103 | 1493 1871 497082 | 5000 103 1250 | 0.000 % | c =============================================================================== c New solution: 6796 c Elapsed CPU time: 55.4666 s Remaining CPU time: 124.533 s c =============================================================================== c | 103 | 1493 1872 498432 | 5000 103 1250 | 0.000 % | c =============================================================================== c New solution: 6795 c Elapsed CPU time: 55.7795 s Remaining CPU time: 124.22 s c =============================================================================== c | 103 | 1493 1873 499782 | 5000 103 1250 | 0.000 % | c =============================================================================== c New solution: 6794 c Elapsed CPU time: 56.1125 s Remaining CPU time: 123.888 s c =============================================================================== c | 105 | 1493 1874 501132 | 5000 105 1250 | 0.000 % | c =============================================================================== c New solution: 6793 c Elapsed CPU time: 56.4614 s Remaining CPU time: 123.539 s c =============================================================================== c | 112 | 1493 1875 502482 | 5000 112 1251 | 0.000 % | c =============================================================================== c New solution: 6792 c Elapsed CPU time: 56.8174 s Remaining CPU time: 123.183 s c =============================================================================== c | 112 | 1493 1876 503832 | 5000 112 1251 | 0.000 % | c =============================================================================== c New solution: 6791 c Elapsed CPU time: 57.1603 s Remaining CPU time: 122.84 s c =============================================================================== c | 112 | 1493 1877 505182 | 5000 112 1251 | 0.000 % | c =============================================================================== c New solution: 6790 c Elapsed CPU time: 57.4813 s Remaining CPU time: 122.519 s c =============================================================================== c | 112 | 1493 1878 506532 | 5000 112 1251 | 0.000 % | c =============================================================================== c New solution: 6789 c Elapsed CPU time: 57.8142 s Remaining CPU time: 122.186 s c =============================================================================== c | 112 | 1493 1879 507882 | 5000 112 1251 | 0.000 % | c =============================================================================== c New solution: 6788 c Elapsed CPU time: 58.1352 s Remaining CPU time: 121.865 s c =============================================================================== c | 113 | 1493 1880 509232 | 5000 113 1251 | 0.000 % | c =============================================================================== c New solution: 6787 c Elapsed CPU time: 58.4721 s Remaining CPU time: 121.528 s c =============================================================================== c | 113 | 1493 1881 510582 | 5000 113 1251 | 0.000 % | c =============================================================================== c New solution: 6786 c Elapsed CPU time: 58.8141 s Remaining CPU time: 121.186 s c =============================================================================== c | 113 | 1493 1882 511932 | 5000 113 1251 | 0.000 % | c =============================================================================== c New solution: 6785 c Elapsed CPU time: 59.159 s Remaining CPU time: 120.841 s c =============================================================================== c | 113 | 1493 1883 513282 | 5000 113 1251 | 0.000 % | c =============================================================================== c New solution: 6784 c Elapsed CPU time: 59.514 s Remaining CPU time: 120.486 s c =============================================================================== c | 115 | 1493 1884 514632 | 5000 115 1251 | 0.000 % | c =============================================================================== c New solution: 6783 c Elapsed CPU time: 59.8679 s Remaining CPU time: 120.132 s c =============================================================================== c | 115 | 1493 1885 515982 | 5000 115 1251 | 0.000 % | c =============================================================================== c New solution: 6782 c Elapsed CPU time: 60.2068 s Remaining CPU time: 119.793 s c =============================================================================== c | 115 | 1493 1886 517332 | 5000 115 1251 | 0.000 % | c =============================================================================== c New solution: 6781 c Elapsed CPU time: 60.5528 s Remaining CPU time: 119.447 s c =============================================================================== c | 115 | 1493 1887 518682 | 5000 115 1251 | 0.000 % | c =============================================================================== c New solution: 6780 c Elapsed CPU time: 60.8967 s Remaining CPU time: 119.103 s c =============================================================================== c | 115 | 1493 1888 520032 | 5000 115 1251 | 0.000 % | c =============================================================================== c New solution: 6779 c Elapsed CPU time: 61.2387 s Remaining CPU time: 118.761 s c =============================================================================== c | 117 | 1493 1889 521382 | 5000 117 1251 | 0.000 % | c =============================================================================== c New solution: 6778 c Elapsed CPU time: 61.6076 s Remaining CPU time: 118.392 s c =============================================================================== c | 117 | 1493 1890 522732 | 5000 117 1251 | 0.000 % | c =============================================================================== c New solution: 6777 c Elapsed CPU time: 61.9576 s Remaining CPU time: 118.042 s c =============================================================================== c | 117 | 1493 1891 524082 | 5000 117 1251 | 0.000 % | c =============================================================================== c New solution: 6776 c Elapsed CPU time: 62.3435 s Remaining CPU time: 117.656 s c =============================================================================== c | 118 | 1493 1892 525432 | 5000 118 1251 | 0.000 % | c =============================================================================== c New solution: 6775 c Elapsed CPU time: 62.6835 s Remaining CPU time: 117.317 s c =============================================================================== c | 119 | 1493 1893 526782 | 5000 119 1251 | 0.000 % | c =============================================================================== c New solution: 6774 c Elapsed CPU time: 63.0164 s Remaining CPU time: 116.984 s c =============================================================================== c | 119 | 1493 1894 528132 | 5000 119 1251 | 0.000 % | c =============================================================================== c New solution: 6773 c Elapsed CPU time: 63.3454 s Remaining CPU time: 116.655 s c =============================================================================== c | 119 | 1493 1895 529482 | 5000 119 1251 | 0.000 % | c =============================================================================== c New solution: 6772 c Elapsed CPU time: 63.6993 s Remaining CPU time: 116.301 s c =============================================================================== c | 130 | 1493 1896 530832 | 5000 130 1252 | 0.000 % | c =============================================================================== c New solution: 6771 c Elapsed CPU time: 64.0623 s Remaining CPU time: 115.938 s c =============================================================================== c | 130 | 1493 1897 532182 | 5000 130 1252 | 0.000 % | c =============================================================================== c New solution: 6770 c Elapsed CPU time: 64.4282 s Remaining CPU time: 115.572 s c =============================================================================== c | 130 | 1493 1898 533532 | 5000 130 1252 | 0.000 % | c =============================================================================== c New solution: 6769 c Elapsed CPU time: 64.7941 s Remaining CPU time: 115.206 s c =============================================================================== c | 132 | 1493 1899 534882 | 5000 132 1252 | 0.000 % | c =============================================================================== c New solution: 6768 c Elapsed CPU time: 65.1271 s Remaining CPU time: 114.873 s c =============================================================================== c | 132 | 1493 1900 536232 | 5000 132 1252 | 0.000 % | c =============================================================================== c New solution: 6767 c Elapsed CPU time: 65.495 s Remaining CPU time: 114.505 s c =============================================================================== c | 132 | 1493 1901 537582 | 5000 132 1252 | 0.000 % | c =============================================================================== c New solution: 6766 c Elapsed CPU time: 65.865 s Remaining CPU time: 114.135 s c =============================================================================== c | 132 | 1493 1902 538932 | 5000 132 1252 | 0.000 % | c =============================================================================== c New solution: 6765 c Elapsed CPU time: 66.2279 s Remaining CPU time: 113.772 s c =============================================================================== c | 133 | 1493 1903 540282 | 5000 133 1252 | 0.000 % | c =============================================================================== c New solution: 6764 c Elapsed CPU time: 66.5989 s Remaining CPU time: 113.401 s c =============================================================================== c | 133 | 1493 1904 541632 | 5000 133 1252 | 0.000 % | c =============================================================================== c New solution: 6763 c Elapsed CPU time: 66.9358 s Remaining CPU time: 113.064 s c =============================================================================== c | 134 | 1493 1905 542982 | 5000 134 1243 | 0.000 % | c =============================================================================== c New solution: 6762 c Elapsed CPU time: 67.2808 s Remaining CPU time: 112.719 s c =============================================================================== c | 134 | 1493 1906 544332 | 5000 134 1243 | 0.000 % | c =============================================================================== c New solution: 6761 c Elapsed CPU time: 67.6587 s Remaining CPU time: 112.341 s c =============================================================================== c | 141 | 1493 1907 545682 | 5000 141 1243 | 0.000 % | c =============================================================================== c New solution: 6760 c Elapsed CPU time: 68.0007 s Remaining CPU time: 111.999 s c =============================================================================== c | 141 | 1493 1908 547032 | 5000 141 1243 | 0.000 % | c =============================================================================== c New solution: 6759 c Elapsed CPU time: 68.3356 s Remaining CPU time: 111.664 s c =============================================================================== c | 142 | 1493 1909 548382 | 5000 142 1243 | 0.000 % | c =============================================================================== c New solution: 6758 c Elapsed CPU time: 68.6966 s Remaining CPU time: 111.303 s c =============================================================================== c | 142 | 1493 1910 549732 | 5000 142 1243 | 0.000 % | c =============================================================================== c New solution: 6757 c Elapsed CPU time: 69.0435 s Remaining CPU time: 110.956 s c =============================================================================== c | 142 | 1493 1911 551082 | 5000 142 1243 | 0.000 % | c =============================================================================== c New solution: 6756 c Elapsed CPU time: 69.4224 s Remaining CPU time: 110.578 s c =============================================================================== c | 142 | 1493 1912 552432 | 5000 142 1243 | 0.000 % | c =============================================================================== c New solution: 6755 c Elapsed CPU time: 69.8064 s Remaining CPU time: 110.194 s c =============================================================================== c | 142 | 1493 1913 553782 | 5000 142 1243 | 0.000 % | c =============================================================================== c New solution: 6754 c Elapsed CPU time: 70.1993 s Remaining CPU time: 109.801 s c =============================================================================== c | 142 | 1493 1914 555132 | 5000 142 1243 | 0.000 % | c =============================================================================== c New solution: 6753 c Elapsed CPU time: 70.5663 s Remaining CPU time: 109.434 s c =============================================================================== c | 143 | 1493 1915 556482 | 5000 143 1243 | 0.000 % | c =============================================================================== c New solution: 6752 c Elapsed CPU time: 70.9572 s Remaining CPU time: 109.043 s c =============================================================================== c | 144 | 1493 1916 557832 | 5000 144 1243 | 0.000 % | c =============================================================================== c New solution: 6751 c Elapsed CPU time: 71.3382 s Remaining CPU time: 108.662 s c =============================================================================== c | 144 | 1493 1917 559182 | 5000 144 1243 | 0.000 % | c =============================================================================== c New solution: 6750 c Elapsed CPU time: 71.7031 s Remaining CPU time: 108.297 s c =============================================================================== c | 147 | 1493 1918 560532 | 5000 147 1244 | 0.000 % | c =============================================================================== c New solution: 6749 c Elapsed CPU time: 72.071 s Remaining CPU time: 107.929 s c =============================================================================== c | 148 | 1493 1919 561882 | 5000 148 1244 | 0.000 % | c =============================================================================== c New solution: 6748 c Elapsed CPU time: 72.452 s Remaining CPU time: 107.548 s c =============================================================================== c | 148 | 1493 1920 563232 | 5000 148 1244 | 0.000 % | c =============================================================================== c New solution: 6747 c Elapsed CPU time: 72.8519 s Remaining CPU time: 107.148 s c =============================================================================== c | 148 | 1493 1921 564582 | 5000 148 1244 | 0.000 % | c =============================================================================== c New solution: 6746 c Elapsed CPU time: 73.2349 s Remaining CPU time: 106.765 s c =============================================================================== c | 148 | 1493 1922 565932 | 5000 148 1244 | 0.000 % | c =============================================================================== c New solution: 6745 c Elapsed CPU time: 73.6008 s Remaining CPU time: 106.399 s c =============================================================================== c | 148 | 1493 1923 567282 | 5000 148 1244 | 0.000 % | c =============================================================================== c New solution: 6744 c Elapsed CPU time: 74.0018 s Remaining CPU time: 105.998 s c =============================================================================== c | 150 | 1493 1924 568632 | 5000 150 1244 | 0.000 % | c =============================================================================== c New solution: 6743 c Elapsed CPU time: 74.3797 s Remaining CPU time: 105.62 s c =============================================================================== c | 156 | 1493 1925 569982 | 5000 156 1236 | 0.000 % | c =============================================================================== c New solution: 6742 c Elapsed CPU time: 74.7716 s Remaining CPU time: 105.228 s c =============================================================================== c | 160 | 1493 1926 571332 | 5000 160 1236 | 0.000 % | c =============================================================================== c New solution: 6741 c Elapsed CPU time: 75.1516 s Remaining CPU time: 104.848 s c =============================================================================== c | 171 | 1493 1927 572682 | 5000 171 1237 | 0.000 % | c =============================================================================== c New solution: 6740 c Elapsed CPU time: 75.5365 s Remaining CPU time: 104.463 s c =============================================================================== c | 171 | 1493 1928 574032 | 5000 171 1237 | 0.000 % | c =============================================================================== c New solution: 6739 c Elapsed CPU time: 76.0304 s Remaining CPU time: 103.97 s c =============================================================================== c | 185 | 1493 1929 575382 | 5000 185 1238 | 0.000 % | c =============================================================================== c New solution: 6738 c Elapsed CPU time: 76.4334 s Remaining CPU time: 103.567 s c =============================================================================== c | 203 | 1493 1930 576732 | 5000 203 1239 | 0.000 % | c =============================================================================== c New solution: 6737 c Elapsed CPU time: 76.8213 s Remaining CPU time: 103.179 s c =============================================================================== c | 203 | 1493 1931 578082 | 5000 203 1239 | 0.000 % | c =============================================================================== c New solution: 6736 c Elapsed CPU time: 77.1973 s Remaining CPU time: 102.803 s c =============================================================================== c | 203 | 1493 1932 579432 | 5000 203 1239 | 0.000 % | c =============================================================================== c New solution: 6735 c Elapsed CPU time: 77.6102 s Remaining CPU time: 102.39 s c =============================================================================== c | 203 | 1493 1933 580782 | 5000 203 1239 | 0.000 % | c =============================================================================== c New solution: 6734 c Elapsed CPU time: 78.0121 s Remaining CPU time: 101.988 s c =============================================================================== c | 203 | 1493 1934 582132 | 5000 203 1239 | 0.000 % | c =============================================================================== c New solution: 6733 c Elapsed CPU time: 78.4011 s Remaining CPU time: 101.599 s c =============================================================================== c | 203 | 1493 1935 583482 | 5000 203 1239 | 0.000 % | c =============================================================================== c New solution: 6732 c Elapsed CPU time: 78.791 s Remaining CPU time: 101.209 s c =============================================================================== c | 203 | 1493 1936 584832 | 5000 203 1239 | 0.000 % | c =============================================================================== c New solution: 6731 c Elapsed CPU time: 79.161 s Remaining CPU time: 100.839 s c =============================================================================== c | 203 | 1493 1937 586182 | 5000 203 1239 | 0.000 % | c =============================================================================== c New solution: 6730 c Elapsed CPU time: 79.5919 s Remaining CPU time: 100.408 s c =============================================================================== c | 222 | 1493 1938 587532 | 5000 222 1240 | 0.000 % | c =============================================================================== c New solution: 6729 c Elapsed CPU time: 80.0248 s Remaining CPU time: 99.9752 s c =============================================================================== c | 232 | 1493 1939 588882 | 5000 232 1240 | 0.000 % | c =============================================================================== c New solution: 6728 c Elapsed CPU time: 80.4178 s Remaining CPU time: 99.5822 s c =============================================================================== c | 252 | 1493 1940 590232 | 5000 252 1235 | 0.000 % | c =============================================================================== c New solution: 6727 c Elapsed CPU time: 80.7857 s Remaining CPU time: 99.2143 s c =============================================================================== c | 255 | 1493 1941 591582 | 5000 255 1236 | 0.000 % | c =============================================================================== c New solution: 6726 c Elapsed CPU time: 81.2157 s Remaining CPU time: 98.7843 s c =============================================================================== c | 260 | 1493 1942 592932 | 5000 260 1236 | 0.000 % | c =============================================================================== c New solution: 6725 c Elapsed CPU time: 81.5926 s Remaining CPU time: 98.4074 s c =============================================================================== c | 260 | 1493 1943 594282 | 5000 260 1236 | 0.000 % | c =============================================================================== c New solution: 6724 c Elapsed CPU time: 81.9895 s Remaining CPU time: 98.0105 s c =============================================================================== c | 268 | 1493 1944 595632 | 5000 268 1236 | 0.000 % | c =============================================================================== c New solution: 6723 c Elapsed CPU time: 82.4115 s Remaining CPU time: 97.5885 s c =============================================================================== c | 269 | 1493 1945 596982 | 5000 269 1236 | 0.000 % | c =============================================================================== c New solution: 6722 c Elapsed CPU time: 82.8494 s Remaining CPU time: 97.1506 s c =============================================================================== c | 270 | 1493 1946 598332 | 5000 270 1236 | 0.000 % | c =============================================================================== c New solution: 6721 c Elapsed CPU time: 83.2743 s Remaining CPU time: 96.7257 s c =============================================================================== c | 288 | 1493 1947 599682 | 5000 288 1232 | 0.000 % | c =============================================================================== c New solution: 6720 c Elapsed CPU time: 83.6603 s Remaining CPU time: 96.3397 s c =============================================================================== c | 290 | 1493 1948 601032 | 5000 290 1232 | 0.000 % | c =============================================================================== c New solution: 6719 c Elapsed CPU time: 84.1302 s Remaining CPU time: 95.8698 s c =============================================================================== c | 324 | 1493 1949 602382 | 5000 324 1233 | 0.000 % | c =============================================================================== c New solution: 6718 c Elapsed CPU time: 84.5521 s Remaining CPU time: 95.4479 s c =============================================================================== c | 329 | 1493 1950 603732 | 5000 329 1234 | 0.000 % | c =============================================================================== c New solution: 6717 c Elapsed CPU time: 84.9511 s Remaining CPU time: 95.0489 s c =============================================================================== c | 339 | 1493 1951 605082 | 5000 339 1234 | 0.000 % | c =============================================================================== c New solution: 6716 c Elapsed CPU time: 85.329 s Remaining CPU time: 94.671 s c =============================================================================== c | 340 | 1493 1952 606432 | 5000 340 1234 | 0.000 % | c =============================================================================== c New solution: 6715 c Elapsed CPU time: 85.713 s Remaining CPU time: 94.287 s c =============================================================================== c | 341 | 1493 1953 607782 | 5000 341 1234 | 0.000 % | c =============================================================================== c New solution: 6714 c Elapsed CPU time: 86.1079 s Remaining CPU time: 93.8921 s c =============================================================================== c | 343 | 1493 1954 609132 | 5000 343 1234 | 0.000 % | c =============================================================================== c New solution: 6713 c Elapsed CPU time: 86.5198 s Remaining CPU time: 93.4802 s c =============================================================================== c | 348 | 1493 1955 610482 | 5000 348 1234 | 0.000 % | c =============================================================================== c New solution: 6712 c Elapsed CPU time: 86.9058 s Remaining CPU time: 93.0942 s c =============================================================================== c | 348 | 1493 1956 611832 | 5000 348 1234 | 0.000 % | c =============================================================================== c New solution: 6711 c Elapsed CPU time: 87.2647 s Remaining CPU time: 92.7353 s c =============================================================================== c | 348 | 1493 1957 613182 | 5000 348 1234 | 0.000 % | c =============================================================================== c New solution: 6710 c Elapsed CPU time: 87.6607 s Remaining CPU time: 92.3393 s c =============================================================================== c | 349 | 1493 1958 614532 | 5000 349 1234 | 0.000 % | c =============================================================================== c New solution: 6709 c Elapsed CPU time: 88.0306 s Remaining CPU time: 91.9694 s c =============================================================================== c | 350 | 1493 1959 615882 | 5000 350 1231 | 0.000 % | c =============================================================================== c New solution: 6708 c Elapsed CPU time: 88.4656 s Remaining CPU time: 91.5344 s c =============================================================================== c | 353 | 1493 1960 617232 | 5000 353 1231 | 0.000 % | c =============================================================================== c New solution: 6707 c Elapsed CPU time: 88.8285 s Remaining CPU time: 91.1715 s c =============================================================================== c | 353 | 1493 1961 618582 | 5000 353 1231 | 0.000 % | c =============================================================================== c New solution: 6706 c Elapsed CPU time: 89.2374 s Remaining CPU time: 90.7626 s c =============================================================================== c | 356 | 1493 1962 619932 | 5000 356 1231 | 0.000 % | c =============================================================================== c New solution: 6705 c Elapsed CPU time: 89.6194 s Remaining CPU time: 90.3806 s c =============================================================================== c | 357 | 1493 1963 621282 | 5000 357 1231 | 0.000 % | c =============================================================================== c New solution: 6704 c Elapsed CPU time: 90.0143 s Remaining CPU time: 89.9857 s c =============================================================================== c | 358 | 1493 1964 622632 | 5000 358 1231 | 0.000 % | c =============================================================================== c New solution: 6703 c Elapsed CPU time: 90.4073 s Remaining CPU time: 89.5927 s c =============================================================================== c | 361 | 1493 1965 623982 | 5000 361 1231 | 0.000 % | c =============================================================================== c New solution: 6702 c Elapsed CPU time: 90.7942 s Remaining CPU time: 89.2058 s c =============================================================================== c | 361 | 1493 1966 625332 | 5000 361 1231 | 0.000 % | c =============================================================================== c New solution: 6701 c Elapsed CPU time: 91.1831 s Remaining CPU time: 88.8169 s c =============================================================================== c | 361 | 1493 1967 626682 | 5000 361 1231 | 0.000 % | c =============================================================================== c New solution: 6700 c Elapsed CPU time: 91.5861 s Remaining CPU time: 88.4139 s c =============================================================================== c | 362 | 1493 1968 628032 | 5000 362 1231 | 0.000 % | c =============================================================================== c New solution: 6699 c Elapsed CPU time: 91.967 s Remaining CPU time: 88.033 s c =============================================================================== c | 362 | 1493 1969 629382 | 5000 362 1231 | 0.000 % | c =============================================================================== c New solution: 6698 c Elapsed CPU time: 92.363 s Remaining CPU time: 87.637 s c =============================================================================== c | 368 | 1493 1970 630732 | 5000 368 1231 | 0.000 % | c =============================================================================== c New solution: 6697 c Elapsed CPU time: 92.7689 s Remaining CPU time: 87.2311 s c =============================================================================== c | 369 | 1493 1971 632082 | 5000 369 1231 | 0.000 % | c =============================================================================== c New solution: 6696 c Elapsed CPU time: 93.1578 s Remaining CPU time: 86.8422 s c =============================================================================== c | 369 | 1493 1972 633432 | 5000 369 1231 | 0.000 % | c =============================================================================== c New solution: 6695 c Elapsed CPU time: 93.5808 s Remaining CPU time: 86.4192 s c =============================================================================== c | 372 | 1493 1973 634782 | 5000 372 1231 | 0.000 % | c =============================================================================== c New solution: 6694 c Elapsed CPU time: 93.9817 s Remaining CPU time: 86.0183 s c =============================================================================== c | 372 | 1493 1974 636132 | 5000 372 1231 | 0.000 % | c =============================================================================== c New solution: 6693 c Elapsed CPU time: 94.3927 s Remaining CPU time: 85.6073 s c =============================================================================== c | 375 | 1493 1975 637482 | 5000 375 1232 | 0.000 % | c =============================================================================== c New solution: 6692 c Elapsed CPU time: 94.8116 s Remaining CPU time: 85.1884 s c =============================================================================== c | 389 | 1493 1976 638832 | 5000 389 1232 | 0.000 % | c =============================================================================== c New solution: 6691 c Elapsed CPU time: 95.1865 s Remaining CPU time: 84.8135 s c =============================================================================== c | 389 | 1493 1977 640182 | 5000 389 1232 | 0.000 % | c =============================================================================== c New solution: 6690 c Elapsed CPU time: 95.5895 s Remaining CPU time: 84.4105 s c =============================================================================== c | 391 | 1493 1978 641532 | 5000 391 1232 | 0.000 % | c =============================================================================== c New solution: 6689 c Elapsed CPU time: 95.9934 s Remaining CPU time: 84.0066 s c =============================================================================== c | 393 | 1493 1979 642882 | 5000 393 1229 | 0.000 % | c =============================================================================== c New solution: 6688 c Elapsed CPU time: 96.3753 s Remaining CPU time: 83.6247 s c =============================================================================== c | 393 | 1493 1980 644232 | 5000 393 1229 | 0.000 % | c =============================================================================== c New solution: 6687 c Elapsed CPU time: 96.7863 s Remaining CPU time: 83.2137 s c =============================================================================== c | 394 | 1493 1981 645582 | 5000 394 1229 | 0.000 % | c =============================================================================== c New solution: 6686 c Elapsed CPU time: 97.2202 s Remaining CPU time: 82.7798 s c =============================================================================== c | 397 | 1493 1982 646932 | 5000 397 1229 | 0.000 % | c =============================================================================== c New solution: 6685 c Elapsed CPU time: 97.6242 s Remaining CPU time: 82.3758 s c =============================================================================== c | 398 | 1493 1983 648282 | 5000 398 1229 | 0.000 % | c =============================================================================== c New solution: 6684 c Elapsed CPU time: 98.0311 s Remaining CPU time: 81.9689 s c =============================================================================== c | 400 | 1493 1984 649632 | 5000 400 1229 | 0.000 % | c =============================================================================== c New solution: 6683 c Elapsed CPU time: 98.428 s Remaining CPU time: 81.572 s c =============================================================================== c | 401 | 1493 1985 650982 | 5000 401 1226 | 0.000 % | c =============================================================================== c New solution: 6682 c Elapsed CPU time: 98.902 s Remaining CPU time: 81.098 s c =============================================================================== c | 419 | 1493 1986 652332 | 5000 419 1226 | 0.000 % | c =============================================================================== c New solution: 6681 c Elapsed CPU time: 99.3159 s Remaining CPU time: 80.6841 s c =============================================================================== c | 432 | 1493 1987 653682 | 5000 432 1227 | 0.000 % | c =============================================================================== c New solution: 6680 c Elapsed CPU time: 99.7168 s Remaining CPU time: 80.2832 s c =============================================================================== c | 434 | 1493 1988 655032 | 5000 434 1227 | 0.000 % | c =============================================================================== c New solution: 6679 c Elapsed CPU time: 100.243 s Remaining CPU time: 79.7572 s c =============================================================================== c | 444 | 1493 1989 656382 | 5000 444 1227 | 0.000 % | c =============================================================================== c New solution: 6678 c Elapsed CPU time: 100.655 s Remaining CPU time: 79.3453 s c =============================================================================== c | 444 | 1493 1990 657732 | 5000 444 1227 | 0.000 % | c =============================================================================== c New solution: 6677 c Elapsed CPU time: 101.075 s Remaining CPU time: 78.9254 s c =============================================================================== c | 449 | 1493 1991 659082 | 5000 449 1227 | 0.000 % | c =============================================================================== c New solution: 6676 c Elapsed CPU time: 101.467 s Remaining CPU time: 78.5334 s c =============================================================================== c | 449 | 1493 1992 660432 | 5000 449 1227 | 0.000 % | c =============================================================================== c New solution: 6675 c Elapsed CPU time: 101.874 s Remaining CPU time: 78.1265 s c =============================================================================== c | 449 | 1493 1993 661782 | 5000 449 1227 | 0.000 % | c =============================================================================== c New solution: 6674 c Elapsed CPU time: 102.283 s Remaining CPU time: 77.7165 s c =============================================================================== c | 458 | 1493 1994 663132 | 5000 458 1227 | 0.000 % | c =============================================================================== c New solution: 6673 c Elapsed CPU time: 102.699 s Remaining CPU time: 77.3006 s c =============================================================================== c | 458 | 1493 1995 664482 | 5000 458 1227 | 0.000 % | c =============================================================================== c New solution: 6672 c Elapsed CPU time: 103.132 s Remaining CPU time: 76.8677 s c =============================================================================== c | 461 | 1493 1996 665832 | 5000 461 1227 | 0.000 % | c =============================================================================== c New solution: 6671 c Elapsed CPU time: 103.536 s Remaining CPU time: 76.4637 s c =============================================================================== c | 461 | 1493 1997 667182 | 5000 461 1227 | 0.000 % | c =============================================================================== c New solution: 6670 c Elapsed CPU time: 103.957 s Remaining CPU time: 76.0428 s c =============================================================================== c | 461 | 1493 1998 668532 | 5000 461 1227 | 0.000 % | c =============================================================================== c New solution: 6669 c Elapsed CPU time: 104.368 s Remaining CPU time: 75.6319 s c =============================================================================== c | 461 | 1493 1999 669882 | 5000 461 1227 | 0.000 % | c =============================================================================== c New solution: 6668 c Elapsed CPU time: 104.791 s Remaining CPU time: 75.2089 s c =============================================================================== c | 463 | 1493 2000 671232 | 5000 463 1227 | 0.000 % | c | 563 | 1493 2000 671232 | 5500 563 1229 | 0.467 % | c =============================================================================== c New solution: 6667 c Elapsed CPU time: 106.372 s Remaining CPU time: 73.6282 s c =============================================================================== c | 584 | 1493 2001 672582 | 5000 584 1229 | 0.467 % | c =============================================================================== c New solution: 6666 c Elapsed CPU time: 106.838 s Remaining CPU time: 73.1622 s c =============================================================================== c | 608 | 1493 2002 673932 | 5000 608 1229 | 0.467 % | c =============================================================================== c New solution: 6665 c Elapsed CPU time: 107.366 s Remaining CPU time: 72.6343 s c =============================================================================== c | 652 | 1493 2003 675282 | 5000 652 1230 | 0.467 % | c =============================================================================== c New solution: 6664 c Elapsed CPU time: 108.027 s Remaining CPU time: 71.9734 s c =============================================================================== c | 708 | 1493 2004 676632 | 5000 708 1230 | 0.467 % | c =============================================================================== c New solution: 6663 c Elapsed CPU time: 108.484 s Remaining CPU time: 71.5165 s c =============================================================================== c | 716 | 1493 2005 677982 | 5000 716 1230 | 0.467 % | c =============================================================================== c New solution: 6662 c Elapsed CPU time: 108.901 s Remaining CPU time: 71.0986 s c =============================================================================== c | 731 | 1493 2006 679332 | 5000 731 1230 | 0.467 % | c =============================================================================== c New solution: 6661 c Elapsed CPU time: 109.363 s Remaining CPU time: 70.6366 s c =============================================================================== c | 737 | 1493 2007 680682 | 5000 737 1230 | 0.467 % | c =============================================================================== c New solution: 6660 c Elapsed CPU time: 109.854 s Remaining CPU time: 70.1457 s c =============================================================================== c | 753 | 1493 2008 682032 | 5000 753 1230 | 0.467 % | c =============================================================================== c New solution: 6659 c Elapsed CPU time: 110.493 s Remaining CPU time: 69.5068 s c =============================================================================== c | 769 | 1493 2009 683382 | 5000 769 1230 | 0.467 % | c =============================================================================== c New solution: 6658 c Elapsed CPU time: 110.998 s Remaining CPU time: 69.0019 s c =============================================================================== c | 812 | 1493 2010 684732 | 5000 812 1231 | 0.467 % | c =============================================================================== c New solution: 6657 c Elapsed CPU time: 111.427 s Remaining CPU time: 68.5729 s c =============================================================================== c | 817 | 1493 2011 686082 | 5000 817 1231 | 0.467 % | c =============================================================================== c New solution: 6656 c Elapsed CPU time: 111.886 s Remaining CPU time: 68.114 s c =============================================================================== c | 820 | 1493 2012 687432 | 5000 820 1229 | 0.467 % | c =============================================================================== c New solution: 6655 c Elapsed CPU time: 112.386 s Remaining CPU time: 67.6141 s c =============================================================================== c | 838 | 1493 2013 688782 | 5000 838 1229 | 0.467 % | c =============================================================================== c New solution: 6654 c Elapsed CPU time: 112.848 s Remaining CPU time: 67.1522 s c =============================================================================== c | 851 | 1493 2014 690132 | 5000 851 1229 | 0.467 % | c =============================================================================== c New solution: 6653 c Elapsed CPU time: 113.309 s Remaining CPU time: 66.6912 s c =============================================================================== c | 870 | 1493 2015 691482 | 5000 870 1229 | 0.467 % | c =============================================================================== c New solution: 6652 c Elapsed CPU time: 113.846 s Remaining CPU time: 66.1543 s c =============================================================================== c | 884 | 1493 2016 692832 | 5000 884 1229 | 0.467 % | c =============================================================================== c New solution: 6651 c Elapsed CPU time: 114.292 s Remaining CPU time: 65.7084 s c =============================================================================== c | 891 | 1493 2017 694182 | 5000 891 1229 | 0.467 % | c =============================================================================== c New solution: 6650 c Elapsed CPU time: 114.733 s Remaining CPU time: 65.2674 s c =============================================================================== c | 892 | 1493 2018 695532 | 5000 892 1229 | 0.467 % | c =============================================================================== c New solution: 6649 c Elapsed CPU time: 115.173 s Remaining CPU time: 64.8265 s c =============================================================================== c | 893 | 1493 2019 696882 | 5000 893 1229 | 0.467 % | c =============================================================================== c New solution: 6648 c Elapsed CPU time: 115.766 s Remaining CPU time: 64.2336 s c =============================================================================== c | 918 | 1493 2020 698232 | 5000 918 1228 | 0.467 % | c =============================================================================== c New solution: 6647 c Elapsed CPU time: 116.256 s Remaining CPU time: 63.7437 s c =============================================================================== c | 923 | 1493 2021 699582 | 5000 923 1228 | 0.467 % | c =============================================================================== c New solution: 6646 c Elapsed CPU time: 116.867 s Remaining CPU time: 63.1328 s c =============================================================================== c | 937 | 1493 2022 700932 | 5000 937 1228 | 0.467 % | c =============================================================================== c New solution: 6645 c Elapsed CPU time: 117.373 s Remaining CPU time: 62.6268 s c =============================================================================== c | 981 | 1493 2023 702282 | 5000 981 1228 | 0.467 % | c =============================================================================== c New solution: 6644 c Elapsed CPU time: 117.755 s Remaining CPU time: 62.2449 s c =============================================================================== c | 991 | 1493 2024 703632 | 5000 991 1228 | 0.467 % | c =============================================================================== c New solution: 6643 c Elapsed CPU time: 118.099 s Remaining CPU time: 61.901 s c =============================================================================== c | 991 | 1493 2025 704982 | 5000 991 1228 | 0.467 % | c =============================================================================== c New solution: 6642 c Elapsed CPU time: 118.49 s Remaining CPU time: 61.51 s c =============================================================================== c | 996 | 1493 2026 706332 | 5000 996 1228 | 0.467 % | c =============================================================================== c New solution: 6641 c Elapsed CPU time: 118.898 s Remaining CPU time: 61.1021 s c =============================================================================== c | 1027 | 1493 2027 707682 | 5000 1027 1229 | 0.467 % | c =============================================================================== c New solution: 6640 c Elapsed CPU time: 119.315 s Remaining CPU time: 60.6851 s c =============================================================================== c | 1033 | 1493 2028 709032 | 5000 1033 1229 | 0.467 % | c =============================================================================== c New solution: 6639 c Elapsed CPU time: 119.813 s Remaining CPU time: 60.1872 s c =============================================================================== c | 1075 | 1493 2029 710382 | 5000 1075 1229 | 0.467 % | c =============================================================================== c New solution: 6638 c Elapsed CPU time: 120.192 s Remaining CPU time: 59.8083 s c =============================================================================== c | 1084 | 1493 2030 711732 | 5000 1084 1229 | 0.467 % | c =============================================================================== c New solution: 6637 c Elapsed CPU time: 120.56 s Remaining CPU time: 59.4403 s c =============================================================================== c | 1086 | 1493 2031 713082 | 5000 1086 1229 | 0.467 % | c =============================================================================== c New solution: 6636 c Elapsed CPU time: 120.923 s Remaining CPU time: 59.0774 s c =============================================================================== c | 1088 | 1493 2032 714432 | 5000 1088 1229 | 0.467 % | c =============================================================================== c New solution: 6635 c Elapsed CPU time: 121.341 s Remaining CPU time: 58.6594 s c =============================================================================== c | 1100 | 1493 2033 715782 | 5000 1100 1229 | 0.467 % | c =============================================================================== c New solution: 6634 c Elapsed CPU time: 121.715 s Remaining CPU time: 58.2845 s c =============================================================================== c | 1104 | 1493 2034 717132 | 5000 1104 1229 | 0.467 % | c =============================================================================== c New solution: 6633 c Elapsed CPU time: 122.283 s Remaining CPU time: 57.7166 s c =============================================================================== c | 1159 | 1493 2035 718482 | 5000 1159 1229 | 0.467 % | c =============================================================================== c New solution: 6632 c Elapsed CPU time: 122.625 s Remaining CPU time: 57.3746 s c =============================================================================== c | 1160 | 1493 2036 719832 | 5000 1160 1229 | 0.467 % | c =============================================================================== c New solution: 6631 c Elapsed CPU time: 123.08 s Remaining CPU time: 56.9197 s c =============================================================================== c | 1175 | 1493 2037 721182 | 5000 1175 1229 | 0.467 % | c =============================================================================== c New solution: 6630 c Elapsed CPU time: 123.518 s Remaining CPU time: 56.4818 s c =============================================================================== c | 1195 | 1493 2038 722532 | 5000 1195 1229 | 0.467 % | c =============================================================================== c New solution: 6629 c Elapsed CPU time: 123.911 s Remaining CPU time: 56.0888 s c =============================================================================== c | 1199 | 1493 2039 723882 | 5000 1199 1229 | 0.467 % | c =============================================================================== c New solution: 6628 c Elapsed CPU time: 124.287 s Remaining CPU time: 55.7129 s c =============================================================================== c | 1210 | 1493 2040 725232 | 5000 1210 1229 | 0.467 % | c =============================================================================== c New solution: 6627 c Elapsed CPU time: 124.741 s Remaining CPU time: 55.259 s c =============================================================================== c | 1221 | 1493 2041 726582 | 5000 1221 1229 | 0.467 % | c =============================================================================== c New solution: 6626 c Elapsed CPU time: 125.226 s Remaining CPU time: 54.774 s c =============================================================================== c | 1258 | 1493 2042 727932 | 5000 1258 1229 | 0.467 % | c =============================================================================== c New solution: 6625 c Elapsed CPU time: 125.791 s Remaining CPU time: 54.2091 s c =============================================================================== c | 1279 | 1493 2043 729282 | 5000 1279 1229 | 0.467 % | c =============================================================================== c New solution: 6624 c Elapsed CPU time: 126.524 s Remaining CPU time: 53.4762 s c =============================================================================== c | 1339 | 1493 2044 730632 | 5000 1339 1229 | 0.467 % | c =============================================================================== c New solution: 6623 c Elapsed CPU time: 127.237 s Remaining CPU time: 52.7633 s c =============================================================================== c | 1401 | 1493 2045 731982 | 5000 1401 1229 | 0.467 % | c =============================================================================== c New solution: 6622 c Elapsed CPU time: 127.696 s Remaining CPU time: 52.3044 s c =============================================================================== c | 1424 | 1493 2046 733332 | 5000 1424 1229 | 0.467 % | c =============================================================================== c New solution: 6621 c Elapsed CPU time: 128.048 s Remaining CPU time: 51.9525 s c =============================================================================== c | 1425 | 1493 2047 734682 | 5000 1425 1229 | 0.467 % | c =============================================================================== c New solution: 6620 c Elapsed CPU time: 128.464 s Remaining CPU time: 51.5355 s c =============================================================================== c | 1445 | 1493 2048 736032 | 5000 1445 1229 | 0.467 % | c =============================================================================== c New solution: 6619 c Elapsed CPU time: 128.827 s Remaining CPU time: 51.1726 s c =============================================================================== c | 1445 | 1493 2049 737382 | 5000 1445 1229 | 0.467 % | c =============================================================================== c New solution: 6618 c Elapsed CPU time: 129.19 s Remaining CPU time: 50.8096 s c =============================================================================== c | 1445 | 1493 2050 738732 | 5000 1445 1229 | 0.467 % | c =============================================================================== c New solution: 6617 c Elapsed CPU time: 129.6 s Remaining CPU time: 50.3997 s c =============================================================================== c | 1460 | 1493 2051 740082 | 5000 1460 1229 | 0.467 % | c =============================================================================== c New solution: 6616 c Elapsed CPU time: 129.969 s Remaining CPU time: 50.0308 s c =============================================================================== c | 1461 | 1493 2052 741432 | 5000 1461 1229 | 0.467 % | c =============================================================================== c New solution: 6615 c Elapsed CPU time: 130.606 s Remaining CPU time: 49.3939 s c =============================================================================== c | 1482 | 1493 2053 742782 | 5000 1482 1229 | 0.467 % | c =============================================================================== c New solution: 6614 c Elapsed CPU time: 130.972 s Remaining CPU time: 49.0279 s c =============================================================================== c | 1482 | 1493 2054 744132 | 5000 1482 1229 | 0.467 % | c =============================================================================== c New solution: 6613 c Elapsed CPU time: 131.533 s Remaining CPU time: 48.467 s c =============================================================================== c | 1526 | 1493 2055 745482 | 5000 1526 1229 | 0.467 % | c =============================================================================== c New solution: 6612 c Elapsed CPU time: 132.014 s Remaining CPU time: 47.9861 s c =============================================================================== c | 1542 | 1493 2056 746832 | 5000 1542 1229 | 0.467 % | c =============================================================================== c New solution: 6611 c Elapsed CPU time: 132.629 s Remaining CPU time: 47.3712 s c =============================================================================== c | 1599 | 1493 2057 748182 | 5000 1599 1228 | 0.467 % | c =============================================================================== c New solution: 6610 c Elapsed CPU time: 133.076 s Remaining CPU time: 46.9242 s c =============================================================================== c | 1612 | 1493 2058 749532 | 5000 1612 1228 | 0.467 % | c =============================================================================== c New solution: 6609 c Elapsed CPU time: 133.495 s Remaining CPU time: 46.5053 s c =============================================================================== c | 1629 | 1493 2059 750882 | 5000 1629 1228 | 0.467 % | c =============================================================================== c New solution: 6608 c Elapsed CPU time: 133.844 s Remaining CPU time: 46.1563 s c =============================================================================== c | 1631 | 1493 2060 752232 | 5000 1631 1228 | 0.467 % | c =============================================================================== c New solution: 6607 c Elapsed CPU time: 134.517 s Remaining CPU time: 45.4835 s c =============================================================================== c | 1708 | 1493 2061 753582 | 5000 1708 1228 | 0.467 % | c =============================================================================== c New solution: 6606 c Elapsed CPU time: 135.076 s Remaining CPU time: 44.9235 s c =============================================================================== c | 1739 | 1493 2062 754932 | 5000 1739 1228 | 0.467 % | c =============================================================================== c New solution: 6605 c Elapsed CPU time: 135.508 s Remaining CPU time: 44.4916 s c =============================================================================== c | 1759 | 1493 2063 756282 | 5000 1759 1228 | 0.467 % | c =============================================================================== c New solution: 6604 c Elapsed CPU time: 135.959 s Remaining CPU time: 44.0407 s c =============================================================================== c | 1782 | 1493 2064 757632 | 5000 1782 1228 | 0.467 % | c =============================================================================== c New solution: 6603 c Elapsed CPU time: 136.483 s Remaining CPU time: 43.5167 s c =============================================================================== c | 1825 | 1493 2065 758982 | 5000 1825 1228 | 0.467 % | c =============================================================================== c New solution: 6602 c Elapsed CPU time: 136.969 s Remaining CPU time: 43.0308 s c =============================================================================== c | 1862 | 1493 2066 760332 | 5000 1862 1228 | 0.467 % | c =============================================================================== c New solution: 6601 c Elapsed CPU time: 137.34 s Remaining CPU time: 42.6599 s c =============================================================================== c | 1863 | 1493 2067 761682 | 5000 1863 1228 | 0.467 % | c =============================================================================== c New solution: 6600 c Elapsed CPU time: 137.96 s Remaining CPU time: 42.04 s c =============================================================================== c | 1897 | 1493 2068 763032 | 5000 1897 1228 | 0.467 % | c =============================================================================== c New solution: 6599 c Elapsed CPU time: 138.499 s Remaining CPU time: 41.5011 s c =============================================================================== c | 1928 | 1493 2069 764382 | 5000 1928 1228 | 0.467 % | c =============================================================================== c New solution: 6598 c Elapsed CPU time: 138.921 s Remaining CPU time: 41.0791 s c =============================================================================== c | 1956 | 1493 2070 765732 | 5000 1956 1228 | 0.467 % | c =============================================================================== c New solution: 6597 c Elapsed CPU time: 139.479 s Remaining CPU time: 40.5212 s c =============================================================================== c | 1976 | 1493 2071 767082 | 5000 1976 1227 | 0.467 % | c =============================================================================== c New solution: 6596 c Elapsed CPU time: 139.93 s Remaining CPU time: 40.0703 s c =============================================================================== c | 1992 | 1493 2072 768432 | 5000 1992 1227 | 0.467 % | c =============================================================================== c New solution: 6595 c Elapsed CPU time: 140.324 s Remaining CPU time: 39.6763 s c =============================================================================== c | 2001 | 1493 2073 769782 | 5000 2001 1227 | 0.467 % | c =============================================================================== c New solution: 6594 c Elapsed CPU time: 140.761 s Remaining CPU time: 39.2394 s c =============================================================================== c | 2012 | 1493 2074 771132 | 5000 2012 1227 | 0.467 % | c =============================================================================== c New solution: 6593 c Elapsed CPU time: 141.163 s Remaining CPU time: 38.8375 s c =============================================================================== c | 2016 | 1493 2075 772482 | 5000 2016 1227 | 0.467 % | c =============================================================================== c New solution: 6592 c Elapsed CPU time: 141.547 s Remaining CPU time: 38.4525 s c =============================================================================== c | 2020 | 1493 2076 773832 | 5000 2020 1227 | 0.467 % | c | 2120 | 1493 2076 773832 | 5500 2120 1227 | 0.467 % | c =============================================================================== c New solution: 6591 c Elapsed CPU time: 142.91 s Remaining CPU time: 37.0897 s c =============================================================================== c | 2182 | 1493 2077 775182 | 5000 2182 1227 | 0.467 % | c =============================================================================== c New solution: 6590 c Elapsed CPU time: 143.585 s Remaining CPU time: 36.4148 s c =============================================================================== c | 2259 | 1493 2078 776532 | 5000 2259 1227 | 0.467 % | c =============================================================================== c New solution: 6589 c Elapsed CPU time: 144.023 s Remaining CPU time: 35.9769 s c =============================================================================== c | 2297 | 1493 2079 777882 | 5000 2297 1227 | 0.467 % | c =============================================================================== c New solution: 6588 c Elapsed CPU time: 144.443 s Remaining CPU time: 35.557 s c =============================================================================== c | 2298 | 1493 2080 779232 | 5000 2298 1227 | 0.467 % | c =============================================================================== c New solution: 6587 c Elapsed CPU time: 144.898 s Remaining CPU time: 35.102 s c =============================================================================== c | 2315 | 1493 2081 780582 | 5000 2315 1227 | 0.467 % | c =============================================================================== c New solution: 6586 c Elapsed CPU time: 145.353 s Remaining CPU time: 34.6471 s c =============================================================================== c | 2331 | 1493 2082 781932 | 5000 2331 1226 | 0.467 % | c =============================================================================== c New solution: 6585 c Elapsed CPU time: 146.057 s Remaining CPU time: 33.9432 s c =============================================================================== c | 2374 | 1493 2083 783282 | 5000 2374 1226 | 0.467 % | c =============================================================================== c New solution: 6584 c Elapsed CPU time: 146.609 s Remaining CPU time: 33.3913 s c =============================================================================== c | 2409 | 1493 2084 784632 | 5000 2409 1226 | 0.467 % | c =============================================================================== c New solution: 6583 c Elapsed CPU time: 147.127 s Remaining CPU time: 32.8734 s c =============================================================================== c | 2449 | 1493 2085 785982 | 5000 2449 1226 | 0.467 % | c =============================================================================== c New solution: 6582 c Elapsed CPU time: 147.638 s Remaining CPU time: 32.3624 s c =============================================================================== c | 2482 | 1493 2086 787332 | 5000 2482 1226 | 0.467 % | c =============================================================================== c New solution: 6581 c Elapsed CPU time: 148.66 s Remaining CPU time: 31.3396 s c =============================================================================== c | 2575 | 1493 2087 788682 | 5000 2575 1226 | 0.467 % | c =============================================================================== c New solution: 6580 c Elapsed CPU time: 149.078 s Remaining CPU time: 30.9217 s c =============================================================================== c | 2584 | 1493 2088 790032 | 5000 2584 1226 | 0.467 % | c =============================================================================== c New solution: 6579 c Elapsed CPU time: 149.502 s Remaining CPU time: 30.4977 s c =============================================================================== c | 2587 | 1493 2089 791382 | 5000 2587 1226 | 0.467 % | c =============================================================================== c New solution: 6578 c Elapsed CPU time: 149.884 s Remaining CPU time: 30.1158 s c =============================================================================== c | 2594 | 1493 2090 792732 | 5000 2594 1226 | 0.467 % | c =============================================================================== c New solution: 6577 c Elapsed CPU time: 150.516 s Remaining CPU time: 29.4839 s c =============================================================================== c | 2660 | 1493 2091 794082 | 5000 2660 1226 | 0.467 % | c =============================================================================== c New solution: 6576 c Elapsed CPU time: 151.268 s Remaining CPU time: 28.732 s c =============================================================================== c | 2723 | 1493 2092 795432 | 5000 2723 1226 | 0.467 % | c =============================================================================== c New solution: 6575 c Elapsed CPU time: 151.839 s Remaining CPU time: 28.1611 s c =============================================================================== c | 2760 | 1493 2093 796782 | 5000 2760 1226 | 0.467 % | c =============================================================================== c New solution: 6574 c Elapsed CPU time: 152.417 s Remaining CPU time: 27.5832 s c =============================================================================== c | 2794 | 1493 2094 798132 | 5000 2794 1225 | 0.467 % | c =============================================================================== c New solution: 6573 c Elapsed CPU time: 152.908 s Remaining CPU time: 27.0922 s c =============================================================================== c | 2824 | 1493 2095 799482 | 5000 2824 1225 | 0.467 % | c =============================================================================== c New solution: 6572 c Elapsed CPU time: 153.402 s Remaining CPU time: 26.5983 s c =============================================================================== c | 2837 | 1493 2096 800832 | 5000 2837 1225 | 0.467 % | c =============================================================================== c New solution: 6571 c Elapsed CPU time: 153.916 s Remaining CPU time: 26.0844 s c =============================================================================== c | 2847 | 1493 2097 802182 | 5000 2847 1225 | 0.467 % | c =============================================================================== c New solution: 6570 c Elapsed CPU time: 154.326 s Remaining CPU time: 25.6745 s c =============================================================================== c | 2847 | 1493 2098 803532 | 5000 2847 1225 | 0.467 % | c =============================================================================== c New solution: 6569 c Elapsed CPU time: 154.791 s Remaining CPU time: 25.2085 s c =============================================================================== c | 2866 | 1493 2099 804882 | 5000 2866 1225 | 0.467 % | c =============================================================================== c New solution: 6568 c Elapsed CPU time: 155.31 s Remaining CPU time: 24.6896 s c =============================================================================== c | 2935 | 1493 2100 806232 | 5000 2935 1225 | 0.467 % | c | 3035 | 1493 2100 806232 | 5500 3035 1225 | 0.467 % | c =============================================================================== c New solution: 6567 c Elapsed CPU time: 156.591 s Remaining CPU time: 23.4088 s c =============================================================================== c | 3056 | 1493 2101 807582 | 5000 3056 1225 | 0.467 % | c =============================================================================== c New solution: 6566 c Elapsed CPU time: 157.093 s Remaining CPU time: 22.9069 s c =============================================================================== c | 3074 | 1493 2102 808932 | 5000 3074 1225 | 0.467 % | c | 3176 | 1493 2102 808932 | 5500 3176 1225 | 0.467 % | c =============================================================================== c New solution: 6565 c Elapsed CPU time: 158.359 s Remaining CPU time: 21.6411 s c =============================================================================== c | 3208 | 1493 2103 810282 | 5000 3208 1224 | 0.467 % | c =============================================================================== c New solution: 6564 c Elapsed CPU time: 159.069 s Remaining CPU time: 20.9312 s c =============================================================================== c | 3280 | 1493 2104 811632 | 5000 3280 1224 | 0.467 % | c =============================================================================== c New solution: 6563 c Elapsed CPU time: 159.743 s Remaining CPU time: 20.2573 s c =============================================================================== c | 3353 | 1493 2105 812982 | 5000 3353 1224 | 0.467 % | c =============================================================================== c New solution: 6562 c Elapsed CPU time: 160.162 s Remaining CPU time: 19.8383 s c =============================================================================== c | 3357 | 1493 2106 814332 | 5000 3357 1224 | 0.467 % | c =============================================================================== c New solution: 6561 c Elapsed CPU time: 160.84 s Remaining CPU time: 19.1605 s c =============================================================================== c | 3426 | 1493 2107 815682 | 5000 3426 1224 | 0.467 % | c =============================================================================== c New solution: 6560 c Elapsed CPU time: 161.383 s Remaining CPU time: 18.6165 s c =============================================================================== c | 3446 | 1493 2108 817032 | 5000 3446 1224 | 0.467 % | c =============================================================================== c New solution: 6559 c Elapsed CPU time: 161.98 s Remaining CPU time: 18.0196 s c =============================================================================== c | 3467 | 1493 2109 818382 | 5000 3467 1224 | 0.467 % | c =============================================================================== c New solution: 6558 c Elapsed CPU time: 162.478 s Remaining CPU time: 17.5217 s c =============================================================================== c | 3488 | 1493 2110 819732 | 5000 3488 1224 | 0.467 % | c | 3588 | 1493 2110 819732 | 5500 3588 1223 | 0.467 % | c =============================================================================== c New solution: 6557 c Elapsed CPU time: 163.928 s Remaining CPU time: 16.0719 s c =============================================================================== c | 3634 | 1493 2111 821082 | 5000 3634 1223 | 0.467 % | c =============================================================================== c New solution: 6556 c Elapsed CPU time: 164.472 s Remaining CPU time: 15.528 s c =============================================================================== c | 3652 | 1493 2112 822432 | 5000 3652 1223 | 0.467 % | c | 3753 | 1493 2112 822432 | 5500 3753 1223 | 0.467 % | c =============================================================================== c New solution: 6555 c Elapsed CPU time: 165.998 s Remaining CPU time: 14.0022 s c =============================================================================== c | 3847 | 1493 2113 823782 | 5000 3847 1223 | 0.467 % | c | 3948 | 1493 2113 823782 | 5500 3948 1223 | 0.467 % | c =============================================================================== c New solution: 6554 c Elapsed CPU time: 167.223 s Remaining CPU time: 12.7774 s c =============================================================================== c | 3984 | 1493 2114 825132 | 5000 3984 1223 | 0.467 % | c | 4085 | 1493 2114 825132 | 5500 4085 1222 | 0.467 % | c =============================================================================== c New solution: 6553 c Elapsed CPU time: 169.153 s Remaining CPU time: 10.8467 s c =============================================================================== c | 4174 | 1493 2115 826482 | 5000 4174 1222 | 0.467 % | c =============================================================================== c New solution: 6552 c Elapsed CPU time: 169.569 s Remaining CPU time: 10.4308 s c =============================================================================== c | 4177 | 1493 2116 827832 | 5000 4177 1222 | 0.467 % | c | 4277 | 1493 2116 827832 | 5500 4277 1222 | 0.467 % | c =============================================================================== c New solution: 6551 c Elapsed CPU time: 171.08 s Remaining CPU time: 8.92001 s c =============================================================================== c | 4375 | 1493 2117 829182 | 5000 4375 1222 | 0.467 % | c =============================================================================== c New solution: 6550 c Elapsed CPU time: 171.653 s Remaining CPU time: 8.3471 s c =============================================================================== c | 4407 | 1493 2118 830532 | 5000 4407 1221 | 0.467 % | c =============================================================================== c New solution: 6549 c Elapsed CPU time: 172.175 s Remaining CPU time: 7.82518 s c =============================================================================== c | 4420 | 1493 2119 831882 | 5000 4420 1221 | 0.467 % | c | 4521 | 1493 2119 831882 | 5500 4521 1221 | 0.467 % | c =============================================================================== c New solution: 6548 c Elapsed CPU time: 173.83 s Remaining CPU time: 6.17043 s c =============================================================================== c | 4562 | 1493 2120 833232 | 5000 4562 1221 | 0.467 % | c =============================================================================== c New solution: 6547 c Elapsed CPU time: 174.858 s Remaining CPU time: 5.14158 s c =============================================================================== c | 4649 | 1493 2121 834582 | 5000 4649 1221 | 0.467 % | c =============================================================================== c New solution: 6546 c Elapsed CPU time: 175.817 s Remaining CPU time: 4.18273 s c =============================================================================== c | 4733 | 1493 2122 835932 | 5000 4733 1221 | 0.467 % | c =============================================================================== c New solution: 6545 c Elapsed CPU time: 176.749 s Remaining CPU time: 3.25087 s c =============================================================================== c | 4794 | 1493 2123 837282 | 5000 4794 1220 | 0.467 % | c =============================================================================== c New solution: 6544 c Elapsed CPU time: 177.29 s Remaining CPU time: 2.70995 s c =============================================================================== c | 4819 | 1493 2124 838632 | 5000 4819 1220 | 0.467 % | c =============================================================================== c New solution: 6543 c Elapsed CPU time: 178.093 s Remaining CPU time: 1.90707 s c =============================================================================== c | 4892 | 1493 2125 839982 | 5000 4892 1220 | 0.467 % | c | 4995 | 1493 2125 839982 | 5500 4995 1220 | 0.467 % | c =============================================================================== c New solution: 6542 c Elapsed CPU time: 179.932 s Remaining CPU time: 0.068354 s c =============================================================================== c | 5053 | 1493 2126 841332 | 5000 5053 1220 | 0.467 % | c There are 7 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 751 3865 5191 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 757 3870 5200 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 764 3874 5209 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 771 3880 5221 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 779 3887 5230 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 786 3893 5240 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 793 3899 5248 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 801 3906 5265 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 811 3909 5303 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 818 3915 5311 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 825 3921 5319 | 5000 0 nan | 0.000 % | c ===============================================================================