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 | 1481 1501 4350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7388 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1481 1502 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7385 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1481 1503 7050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7384 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1481 1504 8400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7381 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1481 1505 9750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7380 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1481 1506 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7378 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1481 1507 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7377 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1481 1508 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7375 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1481 1509 15150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7374 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 1481 1510 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7373 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 1481 1511 17850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7372 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 1481 1512 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7371 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 1481 1513 20550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7369 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 1481 1514 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7368 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 1481 1515 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7366 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 1481 1516 24600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7365 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 1481 1517 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7364 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 1481 1518 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7363 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 1481 1519 28650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7362 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 1481 1520 30000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7359 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 1481 1521 31350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7358 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 1481 1522 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7357 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 0 | 1481 1523 34050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7356 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 0 | 1481 1524 35400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7355 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 0 | 1481 1525 36750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7353 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 1481 1526 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7352 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 1481 1527 39450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7348 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 0 | 1481 1528 40800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7347 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 0 | 1481 1529 42150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7342 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 0 | 1481 1530 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7338 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 1481 1531 44850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7336 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 0 | 1481 1532 46200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7334 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 0 | 1481 1533 47550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7333 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 1481 1534 48900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7332 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 0 | 1481 1535 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7331 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 1481 1536 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7329 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s c =============================================================================== c | 0 | 1481 1537 52950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7324 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 0 | 1481 1538 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7323 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s c =============================================================================== c | 0 | 1481 1539 55650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7322 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 0 | 1481 1540 57000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7321 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 0 | 1481 1541 58350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7320 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 0 | 1481 1542 59700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7318 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 0 | 1481 1543 61050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7317 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 0 | 1481 1544 62400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7316 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 0 | 1481 1545 63750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7314 c Elapsed CPU time: 0.683896 s Remaining CPU time: 179.316 s c =============================================================================== c | 0 | 1481 1546 65100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7312 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 0 | 1481 1547 66450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7311 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 0 | 1481 1548 67800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7310 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s c =============================================================================== c | 0 | 1481 1549 69150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7308 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 0 | 1481 1550 70500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7306 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 0 | 1481 1551 71850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7305 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 0 | 1481 1552 73200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7304 c Elapsed CPU time: 0.887865 s Remaining CPU time: 179.112 s c =============================================================================== c | 0 | 1481 1553 74550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7303 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 0 | 1481 1554 75900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7298 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 0 | 1481 1555 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7294 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 0 | 1481 1556 78600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7290 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 0 | 1481 1557 79950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7284 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s c =============================================================================== c | 0 | 1481 1558 81300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7282 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 0 | 1481 1559 82650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7276 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 0 | 1481 1560 84000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7274 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s c =============================================================================== c | 0 | 1481 1561 85350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7272 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 0 | 1481 1562 86700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7271 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 0 | 1481 1563 88050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7270 c Elapsed CPU time: 1.26381 s Remaining CPU time: 178.736 s c =============================================================================== c | 0 | 1481 1564 89400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7269 c Elapsed CPU time: 1.3018 s Remaining CPU time: 178.698 s c =============================================================================== c | 0 | 1481 1565 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7268 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 0 | 1481 1566 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7266 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s c =============================================================================== c | 0 | 1481 1567 93450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7264 c Elapsed CPU time: 1.42478 s Remaining CPU time: 178.575 s c =============================================================================== c | 0 | 1481 1568 94800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7263 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 0 | 1481 1569 96150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7262 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 0 | 1481 1570 97500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7258 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s c =============================================================================== c | 0 | 1481 1571 98850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7257 c Elapsed CPU time: 1.59476 s Remaining CPU time: 178.405 s c =============================================================================== c | 0 | 1481 1572 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7256 c Elapsed CPU time: 1.63675 s Remaining CPU time: 178.363 s c =============================================================================== c | 0 | 1481 1573 101550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7252 c Elapsed CPU time: 1.68174 s Remaining CPU time: 178.318 s c =============================================================================== c | 0 | 1481 1574 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7249 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s c =============================================================================== c | 0 | 1481 1575 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7248 c Elapsed CPU time: 1.77173 s Remaining CPU time: 178.228 s c =============================================================================== c | 0 | 1481 1576 105600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7247 c Elapsed CPU time: 1.81772 s Remaining CPU time: 178.182 s c =============================================================================== c | 0 | 1481 1577 106950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7245 c Elapsed CPU time: 1.86472 s Remaining CPU time: 178.135 s c =============================================================================== c | 0 | 1481 1578 108300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7244 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 0 | 1481 1579 109650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7243 c Elapsed CPU time: 1.9647 s Remaining CPU time: 178.035 s c =============================================================================== c | 0 | 1481 1580 111000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 2.01269 s Remaining CPU time: 177.987 s c =============================================================================== c | 0 | 1481 1581 112350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7240 c Elapsed CPU time: 2.06269 s Remaining CPU time: 177.937 s c =============================================================================== c | 0 | 1481 1582 113700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7237 c Elapsed CPU time: 2.11268 s Remaining CPU time: 177.887 s c =============================================================================== c | 0 | 1481 1583 115050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7234 c Elapsed CPU time: 2.16567 s Remaining CPU time: 177.834 s c =============================================================================== c | 0 | 1481 1584 116400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7229 c Elapsed CPU time: 2.21866 s Remaining CPU time: 177.781 s c =============================================================================== c | 0 | 1481 1585 117750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7228 c Elapsed CPU time: 2.27265 s Remaining CPU time: 177.727 s c =============================================================================== c | 0 | 1481 1586 119100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7224 c Elapsed CPU time: 2.32864 s Remaining CPU time: 177.671 s c =============================================================================== c | 0 | 1481 1587 120450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7218 c Elapsed CPU time: 2.38164 s Remaining CPU time: 177.618 s c =============================================================================== c | 0 | 1481 1588 121800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7216 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 0 | 1481 1589 123150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7215 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 0 | 1481 1590 124500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s c =============================================================================== c | 0 | 1481 1591 125850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7212 c Elapsed CPU time: 2.6246 s Remaining CPU time: 177.375 s c =============================================================================== c | 0 | 1481 1592 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7210 c Elapsed CPU time: 2.68659 s Remaining CPU time: 177.313 s c =============================================================================== c | 0 | 1481 1593 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7209 c Elapsed CPU time: 2.74858 s Remaining CPU time: 177.251 s c =============================================================================== c | 0 | 1481 1594 129900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7208 c Elapsed CPU time: 2.81457 s Remaining CPU time: 177.185 s c =============================================================================== c | 0 | 1481 1595 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7206 c Elapsed CPU time: 2.87756 s Remaining CPU time: 177.122 s c =============================================================================== c | 0 | 1481 1596 132600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7203 c Elapsed CPU time: 2.94155 s Remaining CPU time: 177.058 s c =============================================================================== c | 0 | 1481 1597 133950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7202 c Elapsed CPU time: 3.00554 s Remaining CPU time: 176.994 s c =============================================================================== c | 0 | 1481 1598 135300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7201 c Elapsed CPU time: 3.07153 s Remaining CPU time: 176.928 s c =============================================================================== c | 0 | 1481 1599 136650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7200 c Elapsed CPU time: 3.13652 s Remaining CPU time: 176.863 s c =============================================================================== c | 0 | 1481 1600 138000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7199 c Elapsed CPU time: 3.20351 s Remaining CPU time: 176.796 s c =============================================================================== c | 0 | 1481 1601 139350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7198 c Elapsed CPU time: 3.2715 s Remaining CPU time: 176.728 s c =============================================================================== c | 0 | 1481 1602 140700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7197 c Elapsed CPU time: 3.34349 s Remaining CPU time: 176.657 s c =============================================================================== c | 0 | 1481 1603 142050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7196 c Elapsed CPU time: 3.41448 s Remaining CPU time: 176.586 s c =============================================================================== c | 0 | 1481 1604 143400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7195 c Elapsed CPU time: 3.48547 s Remaining CPU time: 176.515 s c =============================================================================== c | 0 | 1481 1605 144750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7194 c Elapsed CPU time: 3.56046 s Remaining CPU time: 176.44 s c =============================================================================== c | 0 | 1481 1606 146100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7193 c Elapsed CPU time: 3.63845 s Remaining CPU time: 176.362 s c =============================================================================== c | 0 | 1481 1607 147450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7191 c Elapsed CPU time: 3.71244 s Remaining CPU time: 176.288 s c =============================================================================== c | 0 | 1481 1608 148800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7190 c Elapsed CPU time: 3.78842 s Remaining CPU time: 176.212 s c =============================================================================== c | 0 | 1481 1609 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7187 c Elapsed CPU time: 3.86741 s Remaining CPU time: 176.133 s c =============================================================================== c | 0 | 1481 1610 151500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7185 c Elapsed CPU time: 3.9464 s Remaining CPU time: 176.054 s c =============================================================================== c | 0 | 1481 1611 152850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7184 c Elapsed CPU time: 4.02339 s Remaining CPU time: 175.977 s c =============================================================================== c | 0 | 1481 1612 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7183 c Elapsed CPU time: 4.10637 s Remaining CPU time: 175.894 s c =============================================================================== c | 0 | 1481 1613 155550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7182 c Elapsed CPU time: 4.19136 s Remaining CPU time: 175.809 s c =============================================================================== c | 0 | 1481 1614 156900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7179 c Elapsed CPU time: 4.27335 s Remaining CPU time: 175.727 s c =============================================================================== c | 0 | 1481 1615 158250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7178 c Elapsed CPU time: 4.35434 s Remaining CPU time: 175.646 s c =============================================================================== c | 0 | 1481 1616 159600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7177 c Elapsed CPU time: 4.43733 s Remaining CPU time: 175.563 s c =============================================================================== c | 0 | 1481 1617 160950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7175 c Elapsed CPU time: 4.52031 s Remaining CPU time: 175.48 s c =============================================================================== c | 0 | 1481 1618 162300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7174 c Elapsed CPU time: 4.6043 s Remaining CPU time: 175.396 s c =============================================================================== c | 0 | 1481 1619 163650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7173 c Elapsed CPU time: 4.69129 s Remaining CPU time: 175.309 s c =============================================================================== c | 0 | 1481 1620 165000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7172 c Elapsed CPU time: 4.78027 s Remaining CPU time: 175.22 s c =============================================================================== c | 0 | 1481 1621 166350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7171 c Elapsed CPU time: 4.86526 s Remaining CPU time: 175.135 s c =============================================================================== c | 0 | 1481 1622 167700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 4.95225 s Remaining CPU time: 175.048 s c =============================================================================== c | 0 | 1481 1623 169050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7168 c Elapsed CPU time: 5.03923 s Remaining CPU time: 174.961 s c =============================================================================== c | 0 | 1481 1624 170400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7167 c Elapsed CPU time: 5.12822 s Remaining CPU time: 174.872 s c =============================================================================== c | 0 | 1481 1625 171750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7166 c Elapsed CPU time: 5.21521 s Remaining CPU time: 174.785 s c =============================================================================== c | 0 | 1481 1626 173100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7165 c Elapsed CPU time: 5.30419 s Remaining CPU time: 174.696 s c =============================================================================== c | 0 | 1481 1627 174450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7163 c Elapsed CPU time: 5.39518 s Remaining CPU time: 174.605 s c =============================================================================== c | 0 | 1481 1628 175800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7162 c Elapsed CPU time: 5.48817 s Remaining CPU time: 174.512 s c =============================================================================== c | 0 | 1481 1629 177150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7161 c Elapsed CPU time: 5.58215 s Remaining CPU time: 174.418 s c =============================================================================== c | 0 | 1481 1630 178500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7160 c Elapsed CPU time: 5.67414 s Remaining CPU time: 174.326 s c =============================================================================== c | 0 | 1481 1631 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7158 c Elapsed CPU time: 5.76512 s Remaining CPU time: 174.235 s c =============================================================================== c | 0 | 1481 1632 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7156 c Elapsed CPU time: 5.85511 s Remaining CPU time: 174.145 s c =============================================================================== c | 0 | 1481 1633 182550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7155 c Elapsed CPU time: 5.9471 s Remaining CPU time: 174.053 s c =============================================================================== c | 0 | 1481 1634 183900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7152 c Elapsed CPU time: 6.04108 s Remaining CPU time: 173.959 s c =============================================================================== c | 0 | 1481 1635 185250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7151 c Elapsed CPU time: 6.13407 s Remaining CPU time: 173.866 s c =============================================================================== c | 0 | 1481 1636 186600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7150 c Elapsed CPU time: 6.22905 s Remaining CPU time: 173.771 s c =============================================================================== c | 0 | 1481 1637 187950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7149 c Elapsed CPU time: 6.32804 s Remaining CPU time: 173.672 s c =============================================================================== c | 0 | 1481 1638 189300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7148 c Elapsed CPU time: 6.42202 s Remaining CPU time: 173.578 s c =============================================================================== c | 0 | 1481 1639 190650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7146 c Elapsed CPU time: 6.52401 s Remaining CPU time: 173.476 s c =============================================================================== c | 0 | 1481 1640 192000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 6.62499 s Remaining CPU time: 173.375 s c =============================================================================== c | 0 | 1481 1641 193350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7143 c Elapsed CPU time: 6.72798 s Remaining CPU time: 173.272 s c =============================================================================== c | 0 | 1481 1642 194700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7142 c Elapsed CPU time: 6.82796 s Remaining CPU time: 173.172 s c =============================================================================== c | 0 | 1481 1643 196050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7139 c Elapsed CPU time: 6.92895 s Remaining CPU time: 173.071 s c =============================================================================== c | 0 | 1481 1644 197400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7138 c Elapsed CPU time: 7.03293 s Remaining CPU time: 172.967 s c =============================================================================== c | 0 | 1481 1645 198750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7137 c Elapsed CPU time: 7.14091 s Remaining CPU time: 172.859 s c =============================================================================== c | 0 | 1481 1646 200100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7136 c Elapsed CPU time: 7.2489 s Remaining CPU time: 172.751 s c =============================================================================== c | 0 | 1481 1647 201450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7135 c Elapsed CPU time: 7.35588 s Remaining CPU time: 172.644 s c =============================================================================== c | 0 | 1481 1648 202800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7134 c Elapsed CPU time: 7.46286 s Remaining CPU time: 172.537 s c =============================================================================== c | 0 | 1481 1649 204150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7131 c Elapsed CPU time: 7.56985 s Remaining CPU time: 172.43 s c =============================================================================== c | 0 | 1481 1650 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7130 c Elapsed CPU time: 7.68183 s Remaining CPU time: 172.318 s c =============================================================================== c | 0 | 1481 1651 206850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7129 c Elapsed CPU time: 7.79082 s Remaining CPU time: 172.209 s c =============================================================================== c | 0 | 1481 1652 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7127 c Elapsed CPU time: 7.9018 s Remaining CPU time: 172.098 s c =============================================================================== c | 0 | 1481 1653 209550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7126 c Elapsed CPU time: 8.01678 s Remaining CPU time: 171.983 s c =============================================================================== c | 0 | 1481 1654 210900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7122 c Elapsed CPU time: 8.13276 s Remaining CPU time: 171.867 s c =============================================================================== c | 0 | 1481 1655 212250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7121 c Elapsed CPU time: 8.25075 s Remaining CPU time: 171.749 s c =============================================================================== c | 0 | 1481 1656 213600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7119 c Elapsed CPU time: 8.36673 s Remaining CPU time: 171.633 s c =============================================================================== c | 0 | 1481 1657 214950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7118 c Elapsed CPU time: 8.48771 s Remaining CPU time: 171.512 s c =============================================================================== c | 0 | 1481 1658 216300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7117 c Elapsed CPU time: 8.61169 s Remaining CPU time: 171.388 s c =============================================================================== c | 0 | 1481 1659 217650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7116 c Elapsed CPU time: 8.73267 s Remaining CPU time: 171.267 s c =============================================================================== c | 0 | 1481 1660 219000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7115 c Elapsed CPU time: 8.85665 s Remaining CPU time: 171.143 s c =============================================================================== c | 0 | 1481 1661 220350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7114 c Elapsed CPU time: 8.98263 s Remaining CPU time: 171.017 s c =============================================================================== c | 0 | 1481 1662 221700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7113 c Elapsed CPU time: 9.10761 s Remaining CPU time: 170.892 s c =============================================================================== c | 0 | 1481 1663 223050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7112 c Elapsed CPU time: 9.2306 s Remaining CPU time: 170.769 s c =============================================================================== c | 0 | 1481 1664 224400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7111 c Elapsed CPU time: 9.35658 s Remaining CPU time: 170.643 s c =============================================================================== c | 0 | 1481 1665 225750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7108 c Elapsed CPU time: 9.48256 s Remaining CPU time: 170.517 s c =============================================================================== c | 0 | 1481 1666 227100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7106 c Elapsed CPU time: 9.61254 s Remaining CPU time: 170.387 s c =============================================================================== c | 0 | 1481 1667 228450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7105 c Elapsed CPU time: 9.74652 s Remaining CPU time: 170.253 s c =============================================================================== c | 0 | 1481 1668 229800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7104 c Elapsed CPU time: 9.8795 s Remaining CPU time: 170.121 s c =============================================================================== c | 0 | 1481 1669 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7103 c Elapsed CPU time: 10.0125 s Remaining CPU time: 169.988 s c =============================================================================== c | 0 | 1481 1670 232500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7102 c Elapsed CPU time: 10.1465 s Remaining CPU time: 169.854 s c =============================================================================== c | 0 | 1481 1671 233850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7099 c Elapsed CPU time: 10.2814 s Remaining CPU time: 169.719 s c =============================================================================== c | 0 | 1481 1672 235200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 10.4174 s Remaining CPU time: 169.583 s c =============================================================================== c | 0 | 1481 1673 236550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7097 c Elapsed CPU time: 10.5544 s Remaining CPU time: 169.446 s c =============================================================================== c | 0 | 1481 1674 237900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7093 c Elapsed CPU time: 10.6904 s Remaining CPU time: 169.31 s c =============================================================================== c | 0 | 1481 1675 239250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7091 c Elapsed CPU time: 10.8324 s Remaining CPU time: 169.168 s c =============================================================================== c | 0 | 1481 1676 240600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 10.9723 s Remaining CPU time: 169.028 s c =============================================================================== c | 0 | 1481 1677 241950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7088 c Elapsed CPU time: 11.1153 s Remaining CPU time: 168.885 s c =============================================================================== c | 0 | 1481 1678 243300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7087 c Elapsed CPU time: 11.2573 s Remaining CPU time: 168.743 s c =============================================================================== c | 0 | 1481 1679 244650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7086 c Elapsed CPU time: 11.4003 s Remaining CPU time: 168.6 s c =============================================================================== c | 0 | 1481 1680 246000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7085 c Elapsed CPU time: 11.5522 s Remaining CPU time: 168.448 s c =============================================================================== c | 0 | 1481 1681 247350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7084 c Elapsed CPU time: 11.7092 s Remaining CPU time: 168.291 s c =============================================================================== c | 0 | 1481 1682 248700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7081 c Elapsed CPU time: 11.8622 s Remaining CPU time: 168.138 s c =============================================================================== c | 0 | 1481 1683 250050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7080 c Elapsed CPU time: 12.0152 s Remaining CPU time: 167.985 s c =============================================================================== c | 0 | 1481 1684 251400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7079 c Elapsed CPU time: 12.1682 s Remaining CPU time: 167.832 s c =============================================================================== c | 0 | 1481 1685 252750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7075 c Elapsed CPU time: 12.3171 s Remaining CPU time: 167.683 s c =============================================================================== c | 0 | 1481 1686 254100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7074 c Elapsed CPU time: 12.4701 s Remaining CPU time: 167.53 s c =============================================================================== c | 0 | 1481 1687 255450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7073 c Elapsed CPU time: 12.6251 s Remaining CPU time: 167.375 s c =============================================================================== c | 0 | 1481 1688 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7071 c Elapsed CPU time: 12.7801 s Remaining CPU time: 167.22 s c =============================================================================== c | 0 | 1481 1689 258150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7069 c Elapsed CPU time: 12.937 s Remaining CPU time: 167.063 s c =============================================================================== c | 0 | 1481 1690 259500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7067 c Elapsed CPU time: 13.098 s Remaining CPU time: 166.902 s c =============================================================================== c | 0 | 1481 1691 260850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7066 c Elapsed CPU time: 13.258 s Remaining CPU time: 166.742 s c =============================================================================== c | 0 | 1481 1692 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7062 c Elapsed CPU time: 13.418 s Remaining CPU time: 166.582 s c =============================================================================== c | 0 | 1481 1693 263550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7061 c Elapsed CPU time: 13.5779 s Remaining CPU time: 166.422 s c =============================================================================== c | 0 | 1481 1694 264900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7060 c Elapsed CPU time: 13.7329 s Remaining CPU time: 166.267 s c =============================================================================== c | 0 | 1481 1695 266250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7059 c Elapsed CPU time: 13.8939 s Remaining CPU time: 166.106 s c =============================================================================== c | 0 | 1481 1696 267600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7057 c Elapsed CPU time: 14.0559 s Remaining CPU time: 165.944 s c =============================================================================== c | 0 | 1481 1697 268950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7056 c Elapsed CPU time: 14.2128 s Remaining CPU time: 165.787 s c =============================================================================== c | 0 | 1481 1698 270300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7055 c Elapsed CPU time: 14.3728 s Remaining CPU time: 165.627 s c =============================================================================== c | 0 | 1481 1699 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7052 c Elapsed CPU time: 14.5308 s Remaining CPU time: 165.469 s c =============================================================================== c | 0 | 1481 1700 273000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7051 c Elapsed CPU time: 14.7018 s Remaining CPU time: 165.298 s c =============================================================================== c | 0 | 1481 1701 274350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7050 c Elapsed CPU time: 14.8747 s Remaining CPU time: 165.125 s c =============================================================================== c | 0 | 1481 1702 275700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7046 c Elapsed CPU time: 15.0497 s Remaining CPU time: 164.95 s c =============================================================================== c | 0 | 1481 1703 277050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7045 c Elapsed CPU time: 15.2257 s Remaining CPU time: 164.774 s c =============================================================================== c | 0 | 1481 1704 278400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7044 c Elapsed CPU time: 15.3987 s Remaining CPU time: 164.601 s c =============================================================================== c | 0 | 1481 1705 279750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7042 c Elapsed CPU time: 15.5776 s Remaining CPU time: 164.422 s c =============================================================================== c | 0 | 1481 1706 281100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7040 c Elapsed CPU time: 15.7546 s Remaining CPU time: 164.245 s c =============================================================================== c | 0 | 1481 1707 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7036 c Elapsed CPU time: 15.9336 s Remaining CPU time: 164.066 s c =============================================================================== c | 0 | 1481 1708 283800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7034 c Elapsed CPU time: 16.1155 s Remaining CPU time: 163.884 s c =============================================================================== c | 0 | 1481 1709 285150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7030 c Elapsed CPU time: 16.2895 s Remaining CPU time: 163.71 s c =============================================================================== c | 0 | 1481 1710 286500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7029 c Elapsed CPU time: 16.4695 s Remaining CPU time: 163.531 s c =============================================================================== c | 0 | 1481 1711 287850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7028 c Elapsed CPU time: 16.6495 s Remaining CPU time: 163.351 s c =============================================================================== c | 0 | 1481 1712 289200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7027 c Elapsed CPU time: 16.8364 s Remaining CPU time: 163.164 s c =============================================================================== c | 0 | 1481 1713 290550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7026 c Elapsed CPU time: 17.0174 s Remaining CPU time: 162.983 s c =============================================================================== c | 0 | 1481 1714 291900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7024 c Elapsed CPU time: 17.1944 s Remaining CPU time: 162.806 s c =============================================================================== c | 1 | 1481 1715 293250 | 5000 1 1304 | 0.000 % | c =============================================================================== c New solution: 7022 c Elapsed CPU time: 17.3784 s Remaining CPU time: 162.622 s c =============================================================================== c | 1 | 1481 1716 294600 | 5000 1 1304 | 0.000 % | c =============================================================================== c New solution: 7021 c Elapsed CPU time: 17.5753 s Remaining CPU time: 162.425 s c =============================================================================== c | 2 | 1481 1717 295950 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7019 c Elapsed CPU time: 17.7833 s Remaining CPU time: 162.217 s c =============================================================================== c | 2 | 1481 1718 297300 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7018 c Elapsed CPU time: 17.9733 s Remaining CPU time: 162.027 s c =============================================================================== c | 2 | 1481 1719 298650 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7017 c Elapsed CPU time: 18.1512 s Remaining CPU time: 161.849 s c =============================================================================== c | 2 | 1481 1720 300000 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7016 c Elapsed CPU time: 18.3402 s Remaining CPU time: 161.66 s c =============================================================================== c | 2 | 1481 1721 301350 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7014 c Elapsed CPU time: 18.5362 s Remaining CPU time: 161.464 s c =============================================================================== c | 2 | 1481 1722 302700 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7012 c Elapsed CPU time: 18.7312 s Remaining CPU time: 161.269 s c =============================================================================== c | 2 | 1481 1723 304050 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7010 c Elapsed CPU time: 18.9171 s Remaining CPU time: 161.083 s c =============================================================================== c | 2 | 1481 1724 305400 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7009 c Elapsed CPU time: 19.1191 s Remaining CPU time: 160.881 s c =============================================================================== c | 2 | 1481 1725 306750 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7007 c Elapsed CPU time: 19.3301 s Remaining CPU time: 160.67 s c =============================================================================== c | 2 | 1481 1726 308100 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7006 c Elapsed CPU time: 19.558 s Remaining CPU time: 160.442 s c =============================================================================== c | 2 | 1481 1727 309450 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7005 c Elapsed CPU time: 19.782 s Remaining CPU time: 160.218 s c =============================================================================== c | 2 | 1481 1728 310800 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7004 c Elapsed CPU time: 19.979 s Remaining CPU time: 160.021 s c =============================================================================== c | 2 | 1481 1729 312150 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7003 c Elapsed CPU time: 20.1749 s Remaining CPU time: 159.825 s c =============================================================================== c | 2 | 1481 1730 313500 | 5000 2 654 | 0.000 % | c =============================================================================== c New solution: 7002 c Elapsed CPU time: 20.4279 s Remaining CPU time: 159.572 s c =============================================================================== c | 8 | 1481 1731 314850 | 5000 8 1138 | 0.000 % | c =============================================================================== c New solution: 7000 c Elapsed CPU time: 20.6949 s Remaining CPU time: 159.305 s c =============================================================================== c | 8 | 1481 1732 316200 | 5000 8 1138 | 0.000 % | c =============================================================================== c New solution: 6998 c Elapsed CPU time: 20.9198 s Remaining CPU time: 159.08 s c =============================================================================== c | 13 | 1481 1733 317550 | 5000 13 1199 | 0.000 % | c =============================================================================== c New solution: 6997 c Elapsed CPU time: 21.1348 s Remaining CPU time: 158.865 s c =============================================================================== c | 14 | 1481 1734 318900 | 5000 14 1206 | 0.000 % | c =============================================================================== c New solution: 6995 c Elapsed CPU time: 21.3508 s Remaining CPU time: 158.649 s c =============================================================================== c | 16 | 1481 1735 320250 | 5000 16 1218 | 0.000 % | c =============================================================================== c New solution: 6994 c Elapsed CPU time: 21.5587 s Remaining CPU time: 158.441 s c =============================================================================== c | 16 | 1481 1736 321600 | 5000 16 1218 | 0.000 % | c =============================================================================== c New solution: 6993 c Elapsed CPU time: 21.7787 s Remaining CPU time: 158.221 s c =============================================================================== c | 16 | 1481 1737 322950 | 5000 16 1218 | 0.000 % | c =============================================================================== c New solution: 6992 c Elapsed CPU time: 21.9997 s Remaining CPU time: 158 s c =============================================================================== c | 17 | 1481 1738 324300 | 5000 17 1222 | 0.000 % | c =============================================================================== c New solution: 6991 c Elapsed CPU time: 22.2116 s Remaining CPU time: 157.788 s c =============================================================================== c | 18 | 1481 1739 325650 | 5000 18 1226 | 0.000 % | c =============================================================================== c New solution: 6990 c Elapsed CPU time: 22.4166 s Remaining CPU time: 157.583 s c =============================================================================== c | 18 | 1481 1740 327000 | 5000 18 1226 | 0.000 % | c =============================================================================== c New solution: 6989 c Elapsed CPU time: 22.6426 s Remaining CPU time: 157.357 s c =============================================================================== c | 21 | 1481 1741 328350 | 5000 21 1236 | 0.000 % | c =============================================================================== c New solution: 6988 c Elapsed CPU time: 22.8685 s Remaining CPU time: 157.131 s c =============================================================================== c | 22 | 1481 1742 329700 | 5000 22 1180 | 0.000 % | c =============================================================================== c New solution: 6987 c Elapsed CPU time: 23.0745 s Remaining CPU time: 156.926 s c =============================================================================== c | 24 | 1481 1743 331050 | 5000 24 1189 | 0.000 % | c =============================================================================== c New solution: 6986 c Elapsed CPU time: 23.2835 s Remaining CPU time: 156.717 s c =============================================================================== c | 25 | 1481 1744 332400 | 5000 25 1193 | 0.000 % | c =============================================================================== c New solution: 6985 c Elapsed CPU time: 23.5034 s Remaining CPU time: 156.497 s c =============================================================================== c | 26 | 1481 1745 333750 | 5000 26 1197 | 0.000 % | c =============================================================================== c New solution: 6984 c Elapsed CPU time: 23.7234 s Remaining CPU time: 156.277 s c =============================================================================== c | 26 | 1481 1746 335100 | 5000 26 1197 | 0.000 % | c =============================================================================== c New solution: 6983 c Elapsed CPU time: 23.9404 s Remaining CPU time: 156.06 s c =============================================================================== c | 28 | 1481 1747 336450 | 5000 28 1204 | 0.000 % | c =============================================================================== c New solution: 6982 c Elapsed CPU time: 24.1563 s Remaining CPU time: 155.844 s c =============================================================================== c | 28 | 1481 1748 337800 | 5000 28 1204 | 0.000 % | c =============================================================================== c New solution: 6981 c Elapsed CPU time: 24.3773 s Remaining CPU time: 155.623 s c =============================================================================== c | 28 | 1481 1749 339150 | 5000 28 1204 | 0.000 % | c =============================================================================== c New solution: 6980 c Elapsed CPU time: 24.6183 s Remaining CPU time: 155.382 s c =============================================================================== c | 30 | 1481 1750 340500 | 5000 30 1167 | 0.000 % | c =============================================================================== c New solution: 6979 c Elapsed CPU time: 24.8252 s Remaining CPU time: 155.175 s c =============================================================================== c | 30 | 1481 1751 341850 | 5000 30 1167 | 0.000 % | c =============================================================================== c New solution: 6978 c Elapsed CPU time: 25.0372 s Remaining CPU time: 154.963 s c =============================================================================== c | 30 | 1481 1752 343200 | 5000 30 1167 | 0.000 % | c =============================================================================== c New solution: 6977 c Elapsed CPU time: 25.2592 s Remaining CPU time: 154.741 s c =============================================================================== c | 30 | 1481 1753 344550 | 5000 30 1167 | 0.000 % | c =============================================================================== c New solution: 6976 c Elapsed CPU time: 25.4881 s Remaining CPU time: 154.512 s c =============================================================================== c | 30 | 1481 1754 345900 | 5000 30 1167 | 0.000 % | c =============================================================================== c New solution: 6975 c Elapsed CPU time: 25.7091 s Remaining CPU time: 154.291 s c =============================================================================== c | 31 | 1481 1755 347250 | 5000 31 1171 | 0.000 % | c =============================================================================== c New solution: 6974 c Elapsed CPU time: 25.9261 s Remaining CPU time: 154.074 s c =============================================================================== c | 31 | 1481 1756 348600 | 5000 31 1171 | 0.000 % | c =============================================================================== c New solution: 6973 c Elapsed CPU time: 26.167 s Remaining CPU time: 153.833 s c =============================================================================== c | 37 | 1481 1757 349950 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6972 c Elapsed CPU time: 26.384 s Remaining CPU time: 153.616 s c =============================================================================== c | 44 | 1481 1758 351300 | 5000 44 1206 | 0.000 % | c =============================================================================== c New solution: 6971 c Elapsed CPU time: 26.612 s Remaining CPU time: 153.388 s c =============================================================================== c | 45 | 1481 1759 352650 | 5000 45 1208 | 0.000 % | c =============================================================================== c New solution: 6970 c Elapsed CPU time: 26.8749 s Remaining CPU time: 153.125 s c =============================================================================== c | 46 | 1481 1760 354000 | 5000 46 1210 | 0.000 % | c =============================================================================== c New solution: 6969 c Elapsed CPU time: 27.1169 s Remaining CPU time: 152.883 s c =============================================================================== c | 47 | 1481 1761 355350 | 5000 47 1184 | 0.000 % | c =============================================================================== c New solution: 6968 c Elapsed CPU time: 27.3458 s Remaining CPU time: 152.654 s c =============================================================================== c | 47 | 1481 1762 356700 | 5000 47 1184 | 0.000 % | c =============================================================================== c New solution: 6967 c Elapsed CPU time: 27.5958 s Remaining CPU time: 152.404 s c =============================================================================== c | 50 | 1481 1763 358050 | 5000 50 1190 | 0.000 % | c =============================================================================== c New solution: 6966 c Elapsed CPU time: 27.8618 s Remaining CPU time: 152.138 s c =============================================================================== c | 50 | 1481 1764 359400 | 5000 50 1190 | 0.000 % | c =============================================================================== c New solution: 6965 c Elapsed CPU time: 28.1387 s Remaining CPU time: 151.861 s c =============================================================================== c | 50 | 1481 1765 360750 | 5000 50 1190 | 0.000 % | c =============================================================================== c New solution: 6964 c Elapsed CPU time: 28.4027 s Remaining CPU time: 151.597 s c =============================================================================== c | 50 | 1481 1766 362100 | 5000 50 1190 | 0.000 % | c =============================================================================== c New solution: 6963 c Elapsed CPU time: 28.6556 s Remaining CPU time: 151.344 s c =============================================================================== c | 50 | 1481 1767 363450 | 5000 50 1190 | 0.000 % | c =============================================================================== c New solution: 6962 c Elapsed CPU time: 28.9176 s Remaining CPU time: 151.082 s c =============================================================================== c | 50 | 1481 1768 364800 | 5000 50 1190 | 0.000 % | c =============================================================================== c New solution: 6961 c Elapsed CPU time: 29.2166 s Remaining CPU time: 150.783 s c =============================================================================== c | 68 | 1481 1769 366150 | 5000 68 1215 | 0.000 % | c =============================================================================== c New solution: 6960 c Elapsed CPU time: 29.4715 s Remaining CPU time: 150.528 s c =============================================================================== c | 68 | 1481 1770 367500 | 5000 68 1215 | 0.000 % | c =============================================================================== c New solution: 6959 c Elapsed CPU time: 29.6995 s Remaining CPU time: 150.301 s c =============================================================================== c | 68 | 1481 1771 368850 | 5000 68 1215 | 0.000 % | c =============================================================================== c New solution: 6958 c Elapsed CPU time: 29.9314 s Remaining CPU time: 150.069 s c =============================================================================== c | 68 | 1481 1772 370200 | 5000 68 1215 | 0.000 % | c =============================================================================== c New solution: 6957 c Elapsed CPU time: 30.1714 s Remaining CPU time: 149.829 s c =============================================================================== c | 72 | 1481 1773 371550 | 5000 72 1219 | 0.000 % | c =============================================================================== c New solution: 6956 c Elapsed CPU time: 30.4664 s Remaining CPU time: 149.534 s c =============================================================================== c | 72 | 1481 1774 372900 | 5000 72 1219 | 0.000 % | c =============================================================================== c New solution: 6955 c Elapsed CPU time: 30.7343 s Remaining CPU time: 149.266 s c =============================================================================== c | 72 | 1481 1775 374250 | 5000 72 1219 | 0.000 % | c =============================================================================== c New solution: 6954 c Elapsed CPU time: 31.0053 s Remaining CPU time: 148.995 s c =============================================================================== c | 81 | 1481 1776 375600 | 5000 81 1226 | 0.000 % | c =============================================================================== c New solution: 6953 c Elapsed CPU time: 31.2592 s Remaining CPU time: 148.741 s c =============================================================================== c | 81 | 1481 1777 376950 | 5000 81 1226 | 0.000 % | c =============================================================================== c New solution: 6952 c Elapsed CPU time: 31.5512 s Remaining CPU time: 148.449 s c =============================================================================== c | 83 | 1481 1778 378300 | 5000 83 1228 | 0.000 % | c =============================================================================== c New solution: 6951 c Elapsed CPU time: 31.8002 s Remaining CPU time: 148.2 s c =============================================================================== c | 83 | 1481 1779 379650 | 5000 83 1228 | 0.000 % | c =============================================================================== c New solution: 6950 c Elapsed CPU time: 32.0651 s Remaining CPU time: 147.935 s c =============================================================================== c | 86 | 1481 1780 381000 | 5000 86 1230 | 0.000 % | c =============================================================================== c New solution: 6949 c Elapsed CPU time: 32.3061 s Remaining CPU time: 147.694 s c =============================================================================== c | 86 | 1481 1781 382350 | 5000 86 1230 | 0.000 % | c =============================================================================== c New solution: 6948 c Elapsed CPU time: 32.571 s Remaining CPU time: 147.429 s c =============================================================================== c | 89 | 1481 1782 383700 | 5000 89 1232 | 0.000 % | c =============================================================================== c New solution: 6947 c Elapsed CPU time: 32.851 s Remaining CPU time: 147.149 s c =============================================================================== c | 90 | 1481 1783 385050 | 5000 90 1232 | 0.000 % | c =============================================================================== c New solution: 6946 c Elapsed CPU time: 33.129 s Remaining CPU time: 146.871 s c =============================================================================== c | 92 | 1481 1784 386400 | 5000 92 1233 | 0.000 % | c =============================================================================== c New solution: 6945 c Elapsed CPU time: 33.4099 s Remaining CPU time: 146.59 s c =============================================================================== c | 93 | 1481 1785 387750 | 5000 93 1234 | 0.000 % | c =============================================================================== c New solution: 6944 c Elapsed CPU time: 33.6769 s Remaining CPU time: 146.323 s c =============================================================================== c | 93 | 1481 1786 389100 | 5000 93 1234 | 0.000 % | c =============================================================================== c New solution: 6943 c Elapsed CPU time: 33.9438 s Remaining CPU time: 146.056 s c =============================================================================== c | 94 | 1481 1787 390450 | 5000 94 1234 | 0.000 % | c =============================================================================== c New solution: 6942 c Elapsed CPU time: 34.1968 s Remaining CPU time: 145.803 s c =============================================================================== c | 94 | 1481 1788 391800 | 5000 94 1234 | 0.000 % | c =============================================================================== c New solution: 6941 c Elapsed CPU time: 34.4598 s Remaining CPU time: 145.54 s c =============================================================================== c | 94 | 1481 1789 393150 | 5000 94 1234 | 0.000 % | c =============================================================================== c New solution: 6940 c Elapsed CPU time: 34.7187 s Remaining CPU time: 145.281 s c =============================================================================== c | 94 | 1481 1790 394500 | 5000 94 1234 | 0.000 % | c =============================================================================== c New solution: 6939 c Elapsed CPU time: 34.9847 s Remaining CPU time: 145.015 s c =============================================================================== c | 96 | 1481 1791 395850 | 5000 96 1235 | 0.000 % | c =============================================================================== c New solution: 6938 c Elapsed CPU time: 35.2436 s Remaining CPU time: 144.756 s c =============================================================================== c | 97 | 1481 1792 397200 | 5000 97 1236 | 0.000 % | c =============================================================================== c New solution: 6937 c Elapsed CPU time: 35.5036 s Remaining CPU time: 144.496 s c =============================================================================== c | 97 | 1481 1793 398550 | 5000 97 1236 | 0.000 % | c =============================================================================== c New solution: 6936 c Elapsed CPU time: 35.7706 s Remaining CPU time: 144.229 s c =============================================================================== c | 102 | 1481 1794 399900 | 5000 102 1238 | 0.000 % | c =============================================================================== c New solution: 6935 c Elapsed CPU time: 36.0295 s Remaining CPU time: 143.97 s c =============================================================================== c | 103 | 1481 1795 401250 | 5000 103 1239 | 0.000 % | c =============================================================================== c New solution: 6934 c Elapsed CPU time: 36.3005 s Remaining CPU time: 143.7 s c =============================================================================== c | 103 | 1481 1796 402600 | 5000 103 1239 | 0.000 % | c =============================================================================== c New solution: 6933 c Elapsed CPU time: 36.5964 s Remaining CPU time: 143.404 s c =============================================================================== c | 115 | 1481 1797 403950 | 5000 115 1243 | 0.000 % | c =============================================================================== c New solution: 6932 c Elapsed CPU time: 36.8764 s Remaining CPU time: 143.124 s c =============================================================================== c | 118 | 1481 1798 405300 | 5000 118 1244 | 0.000 % | c =============================================================================== c New solution: 6931 c Elapsed CPU time: 37.1284 s Remaining CPU time: 142.872 s c =============================================================================== c | 118 | 1481 1799 406650 | 5000 118 1244 | 0.000 % | c =============================================================================== c New solution: 6930 c Elapsed CPU time: 37.3983 s Remaining CPU time: 142.602 s c =============================================================================== c | 118 | 1481 1800 408000 | 5000 118 1244 | 0.000 % | c =============================================================================== c New solution: 6929 c Elapsed CPU time: 37.6713 s Remaining CPU time: 142.329 s c =============================================================================== c | 119 | 1481 1801 409350 | 5000 119 1244 | 0.000 % | c =============================================================================== c New solution: 6928 c Elapsed CPU time: 37.9622 s Remaining CPU time: 142.038 s c =============================================================================== c | 121 | 1481 1802 410700 | 5000 121 1245 | 0.000 % | c =============================================================================== c New solution: 6927 c Elapsed CPU time: 38.3262 s Remaining CPU time: 141.674 s c =============================================================================== c | 139 | 1481 1803 412050 | 5000 139 1249 | 0.000 % | c =============================================================================== c New solution: 6926 c Elapsed CPU time: 38.6051 s Remaining CPU time: 141.395 s c =============================================================================== c | 139 | 1481 1804 413400 | 5000 139 1249 | 0.000 % | c =============================================================================== c New solution: 6925 c Elapsed CPU time: 38.8971 s Remaining CPU time: 141.103 s c =============================================================================== c | 139 | 1481 1805 414750 | 5000 139 1249 | 0.000 % | c =============================================================================== c New solution: 6924 c Elapsed CPU time: 39.168 s Remaining CPU time: 140.832 s c =============================================================================== c | 142 | 1481 1806 416100 | 5000 142 1250 | 0.000 % | c =============================================================================== c New solution: 6923 c Elapsed CPU time: 39.483 s Remaining CPU time: 140.517 s c =============================================================================== c | 147 | 1481 1807 417450 | 5000 147 1251 | 0.000 % | c =============================================================================== c New solution: 6922 c Elapsed CPU time: 39.77 s Remaining CPU time: 140.23 s c =============================================================================== c | 147 | 1481 1808 418800 | 5000 147 1251 | 0.000 % | c =============================================================================== c New solution: 6921 c Elapsed CPU time: 40.0719 s Remaining CPU time: 139.928 s c =============================================================================== c | 149 | 1481 1809 420150 | 5000 149 1251 | 0.000 % | c =============================================================================== c New solution: 6920 c Elapsed CPU time: 40.3569 s Remaining CPU time: 139.643 s c =============================================================================== c | 150 | 1481 1810 421500 | 5000 150 1252 | 0.000 % | c =============================================================================== c New solution: 6919 c Elapsed CPU time: 40.6458 s Remaining CPU time: 139.354 s c =============================================================================== c | 155 | 1481 1811 422850 | 5000 155 1252 | 0.000 % | c =============================================================================== c New solution: 6918 c Elapsed CPU time: 40.9238 s Remaining CPU time: 139.076 s c =============================================================================== c | 155 | 1481 1812 424200 | 5000 155 1252 | 0.000 % | c =============================================================================== c New solution: 6917 c Elapsed CPU time: 41.2127 s Remaining CPU time: 138.787 s c =============================================================================== c | 155 | 1481 1813 425550 | 5000 155 1252 | 0.000 % | c =============================================================================== c New solution: 6916 c Elapsed CPU time: 41.4837 s Remaining CPU time: 138.516 s c =============================================================================== c | 161 | 1481 1814 426900 | 5000 161 1253 | 0.000 % | c =============================================================================== c New solution: 6915 c Elapsed CPU time: 41.7786 s Remaining CPU time: 138.221 s c =============================================================================== c | 163 | 1481 1815 428250 | 5000 163 1254 | 0.000 % | c =============================================================================== c New solution: 6914 c Elapsed CPU time: 42.0826 s Remaining CPU time: 137.917 s c =============================================================================== c | 163 | 1481 1816 429600 | 5000 163 1254 | 0.000 % | c =============================================================================== c New solution: 6913 c Elapsed CPU time: 42.3676 s Remaining CPU time: 137.632 s c =============================================================================== c | 163 | 1481 1817 430950 | 5000 163 1254 | 0.000 % | c =============================================================================== c New solution: 6912 c Elapsed CPU time: 42.7005 s Remaining CPU time: 137.299 s c =============================================================================== c | 163 | 1481 1818 432300 | 5000 163 1254 | 0.000 % | c =============================================================================== c New solution: 6911 c Elapsed CPU time: 42.9925 s Remaining CPU time: 137.008 s c =============================================================================== c | 163 | 1481 1819 433650 | 5000 163 1254 | 0.000 % | c =============================================================================== c New solution: 6910 c Elapsed CPU time: 43.2854 s Remaining CPU time: 136.715 s c =============================================================================== c | 164 | 1481 1820 435000 | 5000 164 1254 | 0.000 % | c =============================================================================== c New solution: 6909 c Elapsed CPU time: 43.5844 s Remaining CPU time: 136.416 s c =============================================================================== c | 165 | 1481 1821 436350 | 5000 165 1254 | 0.000 % | c =============================================================================== c New solution: 6908 c Elapsed CPU time: 43.8803 s Remaining CPU time: 136.12 s c =============================================================================== c | 165 | 1481 1822 437700 | 5000 165 1254 | 0.000 % | c =============================================================================== c New solution: 6907 c Elapsed CPU time: 44.2283 s Remaining CPU time: 135.772 s c =============================================================================== c | 181 | 1481 1823 439050 | 5000 181 1256 | 0.000 % | c =============================================================================== c New solution: 6906 c Elapsed CPU time: 44.5232 s Remaining CPU time: 135.477 s c =============================================================================== c | 181 | 1481 1824 440400 | 5000 181 1256 | 0.000 % | c =============================================================================== c New solution: 6905 c Elapsed CPU time: 44.8322 s Remaining CPU time: 135.168 s c =============================================================================== c | 181 | 1481 1825 441750 | 5000 181 1256 | 0.000 % | c =============================================================================== c New solution: 6904 c Elapsed CPU time: 45.1341 s Remaining CPU time: 134.866 s c =============================================================================== c | 182 | 1481 1826 443100 | 5000 182 1256 | 0.000 % | c =============================================================================== c New solution: 6903 c Elapsed CPU time: 45.4431 s Remaining CPU time: 134.557 s c =============================================================================== c | 184 | 1481 1827 444450 | 5000 184 1256 | 0.000 % | c =============================================================================== c New solution: 6902 c Elapsed CPU time: 45.759 s Remaining CPU time: 134.241 s c =============================================================================== c | 184 | 1481 1828 445800 | 5000 184 1256 | 0.000 % | c =============================================================================== c New solution: 6901 c Elapsed CPU time: 46.101 s Remaining CPU time: 133.899 s c =============================================================================== c | 185 | 1481 1829 447150 | 5000 185 1256 | 0.000 % | c =============================================================================== c New solution: 6900 c Elapsed CPU time: 46.4299 s Remaining CPU time: 133.57 s c =============================================================================== c | 187 | 1481 1830 448500 | 5000 187 1256 | 0.000 % | c =============================================================================== c New solution: 6899 c Elapsed CPU time: 46.7579 s Remaining CPU time: 133.242 s c =============================================================================== c | 188 | 1481 1831 449850 | 5000 188 1257 | 0.000 % | c =============================================================================== c New solution: 6898 c Elapsed CPU time: 47.0598 s Remaining CPU time: 132.94 s c =============================================================================== c | 191 | 1481 1832 451200 | 5000 191 1257 | 0.000 % | c =============================================================================== c New solution: 6897 c Elapsed CPU time: 47.3788 s Remaining CPU time: 132.621 s c =============================================================================== c | 193 | 1481 1833 452550 | 5000 193 1250 | 0.000 % | c =============================================================================== c New solution: 6896 c Elapsed CPU time: 47.7127 s Remaining CPU time: 132.287 s c =============================================================================== c | 194 | 1481 1834 453900 | 5000 194 1251 | 0.000 % | c =============================================================================== c New solution: 6895 c Elapsed CPU time: 48.0647 s Remaining CPU time: 131.935 s c =============================================================================== c | 195 | 1481 1835 455250 | 5000 195 1251 | 0.000 % | c =============================================================================== c New solution: 6894 c Elapsed CPU time: 48.3636 s Remaining CPU time: 131.636 s c =============================================================================== c | 195 | 1481 1836 456600 | 5000 195 1251 | 0.000 % | c =============================================================================== c New solution: 6893 c Elapsed CPU time: 48.6686 s Remaining CPU time: 131.331 s c =============================================================================== c | 196 | 1481 1837 457950 | 5000 196 1251 | 0.000 % | c =============================================================================== c New solution: 6892 c Elapsed CPU time: 48.9756 s Remaining CPU time: 131.024 s c =============================================================================== c | 197 | 1481 1838 459300 | 5000 197 1251 | 0.000 % | c =============================================================================== c New solution: 6891 c Elapsed CPU time: 49.2995 s Remaining CPU time: 130.7 s c =============================================================================== c | 201 | 1481 1839 460650 | 5000 201 1251 | 0.000 % | c =============================================================================== c New solution: 6890 c Elapsed CPU time: 49.5995 s Remaining CPU time: 130.401 s c =============================================================================== c | 201 | 1481 1840 462000 | 5000 201 1251 | 0.000 % | c =============================================================================== c New solution: 6889 c Elapsed CPU time: 49.8974 s Remaining CPU time: 130.103 s c =============================================================================== c | 201 | 1481 1841 463350 | 5000 201 1251 | 0.000 % | c =============================================================================== c New solution: 6888 c Elapsed CPU time: 50.2574 s Remaining CPU time: 129.743 s c =============================================================================== c | 202 | 1481 1842 464700 | 5000 202 1252 | 0.000 % | c =============================================================================== c New solution: 6887 c Elapsed CPU time: 50.6033 s Remaining CPU time: 129.397 s c =============================================================================== c | 203 | 1481 1843 466050 | 5000 203 1252 | 0.000 % | c =============================================================================== c New solution: 6886 c Elapsed CPU time: 50.9533 s Remaining CPU time: 129.047 s c =============================================================================== c | 216 | 1481 1844 467400 | 5000 216 1253 | 0.000 % | c =============================================================================== c New solution: 6885 c Elapsed CPU time: 51.2812 s Remaining CPU time: 128.719 s c =============================================================================== c | 221 | 1481 1845 468750 | 5000 221 1253 | 0.000 % | c =============================================================================== c New solution: 6884 c Elapsed CPU time: 51.5802 s Remaining CPU time: 128.42 s c =============================================================================== c | 221 | 1481 1846 470100 | 5000 221 1253 | 0.000 % | c =============================================================================== c New solution: 6883 c Elapsed CPU time: 51.8841 s Remaining CPU time: 128.116 s c =============================================================================== c | 221 | 1481 1847 471450 | 5000 221 1253 | 0.000 % | c =============================================================================== c New solution: 6882 c Elapsed CPU time: 52.1951 s Remaining CPU time: 127.805 s c =============================================================================== c | 221 | 1481 1848 472800 | 5000 221 1253 | 0.000 % | c =============================================================================== c New solution: 6881 c Elapsed CPU time: 52.515 s Remaining CPU time: 127.485 s c =============================================================================== c | 221 | 1481 1849 474150 | 5000 221 1253 | 0.000 % | c =============================================================================== c New solution: 6880 c Elapsed CPU time: 52.859 s Remaining CPU time: 127.141 s c =============================================================================== c | 221 | 1481 1850 475500 | 5000 221 1253 | 0.000 % | c =============================================================================== c New solution: 6879 c Elapsed CPU time: 53.1549 s Remaining CPU time: 126.845 s c =============================================================================== c | 225 | 1481 1851 476850 | 5000 225 1254 | 0.000 % | c =============================================================================== c New solution: 6878 c Elapsed CPU time: 53.4689 s Remaining CPU time: 126.531 s c =============================================================================== c | 225 | 1481 1852 478200 | 5000 225 1254 | 0.000 % | c =============================================================================== c New solution: 6877 c Elapsed CPU time: 53.7988 s Remaining CPU time: 126.201 s c =============================================================================== c | 227 | 1481 1853 479550 | 5000 227 1254 | 0.000 % | c =============================================================================== c New solution: 6876 c Elapsed CPU time: 54.1428 s Remaining CPU time: 125.857 s c =============================================================================== c | 230 | 1481 1854 480900 | 5000 230 1254 | 0.000 % | c =============================================================================== c New solution: 6875 c Elapsed CPU time: 54.4687 s Remaining CPU time: 125.531 s c =============================================================================== c | 230 | 1481 1855 482250 | 5000 230 1254 | 0.000 % | c =============================================================================== c New solution: 6874 c Elapsed CPU time: 54.8147 s Remaining CPU time: 125.185 s c =============================================================================== c | 233 | 1481 1856 483600 | 5000 233 1254 | 0.000 % | c =============================================================================== c New solution: 6873 c Elapsed CPU time: 55.1776 s Remaining CPU time: 124.822 s c =============================================================================== c | 240 | 1481 1857 484950 | 5000 240 1255 | 0.000 % | c =============================================================================== c New solution: 6872 c Elapsed CPU time: 55.5056 s Remaining CPU time: 124.494 s c =============================================================================== c | 245 | 1481 1858 486300 | 5000 245 1255 | 0.000 % | c =============================================================================== c New solution: 6871 c Elapsed CPU time: 55.8255 s Remaining CPU time: 124.174 s c =============================================================================== c | 245 | 1481 1859 487650 | 5000 245 1255 | 0.000 % | c =============================================================================== c New solution: 6870 c Elapsed CPU time: 56.1265 s Remaining CPU time: 123.874 s c =============================================================================== c | 245 | 1481 1860 489000 | 5000 245 1255 | 0.000 % | c =============================================================================== c New solution: 6869 c Elapsed CPU time: 56.4594 s Remaining CPU time: 123.541 s c =============================================================================== c | 245 | 1481 1861 490350 | 5000 245 1255 | 0.000 % | c =============================================================================== c New solution: 6868 c Elapsed CPU time: 56.8534 s Remaining CPU time: 123.147 s c =============================================================================== c | 252 | 1481 1862 491700 | 5000 252 1255 | 0.000 % | c =============================================================================== c New solution: 6867 c Elapsed CPU time: 57.1803 s Remaining CPU time: 122.82 s c =============================================================================== c | 252 | 1481 1863 493050 | 5000 252 1255 | 0.000 % | c =============================================================================== c New solution: 6866 c Elapsed CPU time: 57.5103 s Remaining CPU time: 122.49 s c =============================================================================== c | 252 | 1481 1864 494400 | 5000 252 1255 | 0.000 % | c =============================================================================== c New solution: 6865 c Elapsed CPU time: 57.8452 s Remaining CPU time: 122.155 s c =============================================================================== c | 252 | 1481 1865 495750 | 5000 252 1255 | 0.000 % | c =============================================================================== c New solution: 6864 c Elapsed CPU time: 58.1922 s Remaining CPU time: 121.808 s c =============================================================================== c | 259 | 1481 1866 497100 | 5000 259 1256 | 0.000 % | c =============================================================================== c New solution: 6863 c Elapsed CPU time: 58.5221 s Remaining CPU time: 121.478 s c =============================================================================== c | 259 | 1481 1867 498450 | 5000 259 1256 | 0.000 % | c =============================================================================== c New solution: 6862 c Elapsed CPU time: 58.8591 s Remaining CPU time: 121.141 s c =============================================================================== c | 268 | 1481 1868 499800 | 5000 268 1256 | 0.000 % | c =============================================================================== c New solution: 6861 c Elapsed CPU time: 59.197 s Remaining CPU time: 120.803 s c =============================================================================== c | 279 | 1481 1869 501150 | 5000 279 1256 | 0.000 % | c =============================================================================== c New solution: 6860 c Elapsed CPU time: 59.5729 s Remaining CPU time: 120.427 s c =============================================================================== c | 279 | 1481 1870 502500 | 5000 279 1256 | 0.000 % | c =============================================================================== c New solution: 6859 c Elapsed CPU time: 59.9199 s Remaining CPU time: 120.08 s c =============================================================================== c | 279 | 1481 1871 503850 | 5000 279 1256 | 0.000 % | c =============================================================================== c New solution: 6858 c Elapsed CPU time: 60.2718 s Remaining CPU time: 119.728 s c =============================================================================== c | 279 | 1481 1872 505200 | 5000 279 1256 | 0.000 % | c =============================================================================== c New solution: 6857 c Elapsed CPU time: 60.6028 s Remaining CPU time: 119.397 s c =============================================================================== c | 279 | 1481 1873 506550 | 5000 279 1256 | 0.000 % | c =============================================================================== c New solution: 6856 c Elapsed CPU time: 60.9457 s Remaining CPU time: 119.054 s c =============================================================================== c | 280 | 1481 1874 507900 | 5000 280 1256 | 0.000 % | c =============================================================================== c New solution: 6855 c Elapsed CPU time: 61.3307 s Remaining CPU time: 118.669 s c =============================================================================== c | 281 | 1481 1875 509250 | 5000 281 1257 | 0.000 % | c =============================================================================== c New solution: 6854 c Elapsed CPU time: 61.6826 s Remaining CPU time: 118.317 s c =============================================================================== c | 283 | 1481 1876 510600 | 5000 283 1257 | 0.000 % | c =============================================================================== c New solution: 6853 c Elapsed CPU time: 62.0546 s Remaining CPU time: 117.945 s c =============================================================================== c | 283 | 1481 1877 511950 | 5000 283 1257 | 0.000 % | c =============================================================================== c New solution: 6852 c Elapsed CPU time: 62.4025 s Remaining CPU time: 117.597 s c =============================================================================== c | 287 | 1481 1878 513300 | 5000 287 1257 | 0.000 % | c =============================================================================== c New solution: 6851 c Elapsed CPU time: 62.7515 s Remaining CPU time: 117.249 s c =============================================================================== c | 287 | 1481 1879 514650 | 5000 287 1257 | 0.000 % | c =============================================================================== c New solution: 6850 c Elapsed CPU time: 63.0924 s Remaining CPU time: 116.908 s c =============================================================================== c | 288 | 1481 1880 516000 | 5000 288 1257 | 0.000 % | c =============================================================================== c New solution: 6849 c Elapsed CPU time: 63.4704 s Remaining CPU time: 116.53 s c =============================================================================== c | 288 | 1481 1881 517350 | 5000 288 1257 | 0.000 % | c =============================================================================== c New solution: 6848 c Elapsed CPU time: 63.7983 s Remaining CPU time: 116.202 s c =============================================================================== c | 289 | 1481 1882 518700 | 5000 289 1257 | 0.000 % | c =============================================================================== c New solution: 6847 c Elapsed CPU time: 64.1582 s Remaining CPU time: 115.842 s c =============================================================================== c | 289 | 1481 1883 520050 | 5000 289 1257 | 0.000 % | c =============================================================================== c New solution: 6846 c Elapsed CPU time: 64.5242 s Remaining CPU time: 115.476 s c =============================================================================== c | 290 | 1481 1884 521400 | 5000 290 1257 | 0.000 % | c =============================================================================== c New solution: 6845 c Elapsed CPU time: 64.9261 s Remaining CPU time: 115.074 s c =============================================================================== c | 311 | 1481 1885 522750 | 5000 311 1257 | 0.000 % | c =============================================================================== c New solution: 6844 c Elapsed CPU time: 65.3181 s Remaining CPU time: 114.682 s c =============================================================================== c | 345 | 1481 1886 524100 | 5000 345 1258 | 0.000 % | c =============================================================================== c New solution: 6843 c Elapsed CPU time: 65.705 s Remaining CPU time: 114.295 s c =============================================================================== c | 347 | 1481 1887 525450 | 5000 347 1258 | 0.000 % | c =============================================================================== c New solution: 6842 c Elapsed CPU time: 66.1169 s Remaining CPU time: 113.883 s c =============================================================================== c | 357 | 1481 1888 526800 | 5000 357 1258 | 0.000 % | c =============================================================================== c New solution: 6841 c Elapsed CPU time: 66.5069 s Remaining CPU time: 113.493 s c =============================================================================== c | 365 | 1481 1889 528150 | 5000 365 1258 | 0.000 % | c =============================================================================== c New solution: 6840 c Elapsed CPU time: 66.8748 s Remaining CPU time: 113.125 s c =============================================================================== c | 368 | 1481 1890 529500 | 5000 368 1258 | 0.000 % | c =============================================================================== c New solution: 6839 c Elapsed CPU time: 67.2648 s Remaining CPU time: 112.735 s c =============================================================================== c | 385 | 1481 1891 530850 | 5000 385 1258 | 0.000 % | c =============================================================================== c New solution: 6838 c Elapsed CPU time: 67.6097 s Remaining CPU time: 112.39 s c =============================================================================== c | 390 | 1481 1892 532200 | 5000 390 1258 | 0.000 % | c =============================================================================== c New solution: 6837 c Elapsed CPU time: 67.9467 s Remaining CPU time: 112.053 s c =============================================================================== c | 391 | 1481 1893 533550 | 5000 391 1258 | 0.000 % | c =============================================================================== c New solution: 6836 c Elapsed CPU time: 68.3136 s Remaining CPU time: 111.686 s c =============================================================================== c | 395 | 1481 1894 534900 | 5000 395 1258 | 0.000 % | c =============================================================================== c New solution: 6835 c Elapsed CPU time: 68.6536 s Remaining CPU time: 111.346 s c =============================================================================== c | 397 | 1481 1895 536250 | 5000 397 1258 | 0.000 % | c =============================================================================== c New solution: 6834 c Elapsed CPU time: 68.9975 s Remaining CPU time: 111.002 s c =============================================================================== c | 399 | 1481 1896 537600 | 5000 399 1258 | 0.000 % | c =============================================================================== c New solution: 6833 c Elapsed CPU time: 69.3515 s Remaining CPU time: 110.649 s c =============================================================================== c | 403 | 1481 1897 538950 | 5000 403 1258 | 0.000 % | c =============================================================================== c New solution: 6832 c Elapsed CPU time: 69.6874 s Remaining CPU time: 110.313 s c =============================================================================== c | 404 | 1481 1898 540300 | 5000 404 1258 | 0.000 % | c =============================================================================== c New solution: 6831 c Elapsed CPU time: 70.0543 s Remaining CPU time: 109.946 s c =============================================================================== c | 413 | 1481 1899 541650 | 5000 413 1258 | 0.000 % | c =============================================================================== c New solution: 6830 c Elapsed CPU time: 70.4063 s Remaining CPU time: 109.594 s c =============================================================================== c | 414 | 1481 1900 543000 | 5000 414 1258 | 0.000 % | c =============================================================================== c New solution: 6829 c Elapsed CPU time: 70.7362 s Remaining CPU time: 109.264 s c =============================================================================== c | 416 | 1481 1901 544350 | 5000 416 1258 | 0.000 % | c =============================================================================== c New solution: 6828 c Elapsed CPU time: 71.0692 s Remaining CPU time: 108.931 s c =============================================================================== c | 416 | 1481 1902 545700 | 5000 416 1258 | 0.000 % | c =============================================================================== c New solution: 6827 c Elapsed CPU time: 71.3931 s Remaining CPU time: 108.607 s c =============================================================================== c | 416 | 1481 1903 547050 | 5000 416 1258 | 0.000 % | c =============================================================================== c New solution: 6826 c Elapsed CPU time: 71.7441 s Remaining CPU time: 108.256 s c =============================================================================== c | 417 | 1481 1904 548400 | 5000 417 1258 | 0.000 % | c =============================================================================== c New solution: 6825 c Elapsed CPU time: 72.084 s Remaining CPU time: 107.916 s c =============================================================================== c | 421 | 1481 1905 549750 | 5000 421 1258 | 0.000 % | c =============================================================================== c New solution: 6824 c Elapsed CPU time: 72.425 s Remaining CPU time: 107.575 s c =============================================================================== c | 423 | 1481 1906 551100 | 5000 423 1258 | 0.000 % | c =============================================================================== c New solution: 6823 c Elapsed CPU time: 72.7899 s Remaining CPU time: 107.21 s c =============================================================================== c | 427 | 1481 1907 552450 | 5000 427 1258 | 0.000 % | c =============================================================================== c New solution: 6822 c Elapsed CPU time: 73.1229 s Remaining CPU time: 106.877 s c =============================================================================== c | 436 | 1481 1908 553800 | 5000 436 1258 | 0.000 % | c =============================================================================== c New solution: 6821 c Elapsed CPU time: 73.4688 s Remaining CPU time: 106.531 s c =============================================================================== c | 442 | 1481 1909 555150 | 5000 442 1258 | 0.000 % | c =============================================================================== c New solution: 6820 c Elapsed CPU time: 73.8738 s Remaining CPU time: 106.126 s c =============================================================================== c | 448 | 1481 1910 556500 | 5000 448 1258 | 0.000 % | c =============================================================================== c New solution: 6819 c Elapsed CPU time: 74.2787 s Remaining CPU time: 105.721 s c =============================================================================== c | 473 | 1481 1911 557850 | 5000 473 1258 | 0.000 % | c =============================================================================== c New solution: 6818 c Elapsed CPU time: 74.6237 s Remaining CPU time: 105.376 s c =============================================================================== c | 473 | 1481 1912 559200 | 5000 473 1258 | 0.000 % | c =============================================================================== c New solution: 6817 c Elapsed CPU time: 74.9676 s Remaining CPU time: 105.032 s c =============================================================================== c | 474 | 1481 1913 560550 | 5000 474 1258 | 0.000 % | c =============================================================================== c New solution: 6816 c Elapsed CPU time: 75.3405 s Remaining CPU time: 104.659 s c =============================================================================== c | 476 | 1481 1914 561900 | 5000 476 1258 | 0.000 % | c =============================================================================== c New solution: 6815 c Elapsed CPU time: 75.6965 s Remaining CPU time: 104.304 s c =============================================================================== c | 476 | 1481 1915 563250 | 5000 476 1258 | 0.000 % | c =============================================================================== c New solution: 6814 c Elapsed CPU time: 76.0934 s Remaining CPU time: 103.907 s c =============================================================================== c | 485 | 1481 1916 564600 | 5000 485 1258 | 0.000 % | c =============================================================================== c New solution: 6813 c Elapsed CPU time: 76.4404 s Remaining CPU time: 103.56 s c =============================================================================== c | 485 | 1481 1917 565950 | 5000 485 1258 | 0.000 % | c =============================================================================== c New solution: 6812 c Elapsed CPU time: 76.7943 s Remaining CPU time: 103.206 s c =============================================================================== c | 485 | 1481 1918 567300 | 5000 485 1258 | 0.000 % | c =============================================================================== c New solution: 6811 c Elapsed CPU time: 77.1673 s Remaining CPU time: 102.833 s c =============================================================================== c | 488 | 1481 1919 568650 | 5000 488 1258 | 0.000 % | c =============================================================================== c New solution: 6810 c Elapsed CPU time: 77.5192 s Remaining CPU time: 102.481 s c =============================================================================== c | 488 | 1481 1920 570000 | 5000 488 1258 | 0.000 % | c =============================================================================== c New solution: 6809 c Elapsed CPU time: 77.8722 s Remaining CPU time: 102.128 s c =============================================================================== c | 488 | 1481 1921 571350 | 5000 488 1258 | 0.000 % | c =============================================================================== c New solution: 6808 c Elapsed CPU time: 78.2731 s Remaining CPU time: 101.727 s c =============================================================================== c | 492 | 1481 1922 572700 | 5000 492 1258 | 0.000 % | c =============================================================================== c New solution: 6807 c Elapsed CPU time: 78.637 s Remaining CPU time: 101.363 s c =============================================================================== c | 492 | 1481 1923 574050 | 5000 492 1258 | 0.000 % | c =============================================================================== c New solution: 6806 c Elapsed CPU time: 79.028 s Remaining CPU time: 100.972 s c =============================================================================== c | 504 | 1481 1924 575400 | 5000 504 1258 | 0.000 % | c =============================================================================== c New solution: 6805 c Elapsed CPU time: 79.5079 s Remaining CPU time: 100.492 s c =============================================================================== c | 540 | 1481 1925 576750 | 5000 540 1258 | 0.000 % | c =============================================================================== c New solution: 6804 c Elapsed CPU time: 79.8969 s Remaining CPU time: 100.103 s c =============================================================================== c | 555 | 1481 1926 578100 | 5000 555 1258 | 0.000 % | c =============================================================================== c New solution: 6803 c Elapsed CPU time: 80.2708 s Remaining CPU time: 99.7292 s c =============================================================================== c | 560 | 1481 1927 579450 | 5000 560 1258 | 0.000 % | c =============================================================================== c New solution: 6802 c Elapsed CPU time: 80.6467 s Remaining CPU time: 99.3533 s c =============================================================================== c | 563 | 1481 1928 580800 | 5000 563 1258 | 0.000 % | c =============================================================================== c New solution: 6801 c Elapsed CPU time: 81.1447 s Remaining CPU time: 98.8553 s c =============================================================================== c | 582 | 1481 1929 582150 | 5000 582 1258 | 0.000 % | c =============================================================================== c New solution: 6800 c Elapsed CPU time: 81.5536 s Remaining CPU time: 98.4464 s c =============================================================================== c | 593 | 1481 1930 583500 | 5000 593 1258 | 0.000 % | c =============================================================================== c New solution: 6799 c Elapsed CPU time: 81.9525 s Remaining CPU time: 98.0475 s c =============================================================================== c | 598 | 1481 1931 584850 | 5000 598 1258 | 0.000 % | c =============================================================================== c New solution: 6798 c Elapsed CPU time: 82.3535 s Remaining CPU time: 97.6465 s c =============================================================================== c | 617 | 1481 1932 586200 | 5000 617 1258 | 0.000 % | c =============================================================================== c New solution: 6797 c Elapsed CPU time: 82.7154 s Remaining CPU time: 97.2846 s c =============================================================================== c | 619 | 1481 1933 587550 | 5000 619 1258 | 0.000 % | c =============================================================================== c New solution: 6796 c Elapsed CPU time: 83.1254 s Remaining CPU time: 96.8746 s c =============================================================================== c | 627 | 1481 1934 588900 | 5000 627 1258 | 0.000 % | c =============================================================================== c New solution: 6795 c Elapsed CPU time: 83.5693 s Remaining CPU time: 96.4307 s c =============================================================================== c | 647 | 1481 1935 590250 | 5000 647 1258 | 0.000 % | c =============================================================================== c New solution: 6794 c Elapsed CPU time: 83.9432 s Remaining CPU time: 96.0568 s c =============================================================================== c | 647 | 1481 1936 591600 | 5000 647 1258 | 0.000 % | c =============================================================================== c New solution: 6793 c Elapsed CPU time: 84.3312 s Remaining CPU time: 95.6688 s c =============================================================================== c | 650 | 1481 1937 592950 | 5000 650 1258 | 0.000 % | c =============================================================================== c New solution: 6792 c Elapsed CPU time: 84.7011 s Remaining CPU time: 95.2989 s c =============================================================================== c | 650 | 1481 1938 594300 | 5000 650 1258 | 0.000 % | c =============================================================================== c New solution: 6791 c Elapsed CPU time: 85.0691 s Remaining CPU time: 94.9309 s c =============================================================================== c | 651 | 1481 1939 595650 | 5000 651 1258 | 0.000 % | c =============================================================================== c New solution: 6790 c Elapsed CPU time: 85.439 s Remaining CPU time: 94.561 s c =============================================================================== c | 655 | 1481 1940 597000 | 5000 655 1258 | 0.000 % | c =============================================================================== c New solution: 6789 c Elapsed CPU time: 85.822 s Remaining CPU time: 94.178 s c =============================================================================== c | 665 | 1481 1941 598350 | 5000 665 1258 | 0.000 % | c =============================================================================== c New solution: 6788 c Elapsed CPU time: 86.2199 s Remaining CPU time: 93.7801 s c =============================================================================== c | 689 | 1481 1942 599700 | 5000 689 1258 | 0.000 % | c =============================================================================== c New solution: 6787 c Elapsed CPU time: 86.6108 s Remaining CPU time: 93.3892 s c =============================================================================== c | 696 | 1481 1943 601050 | 5000 696 1258 | 0.000 % | c =============================================================================== c New solution: 6786 c Elapsed CPU time: 87.0608 s Remaining CPU time: 92.9392 s c =============================================================================== c | 719 | 1481 1944 602400 | 5000 719 1258 | 0.000 % | c =============================================================================== c New solution: 6785 c Elapsed CPU time: 87.4487 s Remaining CPU time: 92.5513 s c =============================================================================== c | 733 | 1481 1945 603750 | 5000 733 1258 | 0.000 % | c =============================================================================== c New solution: 6784 c Elapsed CPU time: 87.8356 s Remaining CPU time: 92.1644 s c =============================================================================== c | 743 | 1481 1946 605100 | 5000 743 1256 | 0.000 % | c =============================================================================== c New solution: 6783 c Elapsed CPU time: 88.2406 s Remaining CPU time: 91.7594 s c =============================================================================== c | 745 | 1481 1947 606450 | 5000 745 1256 | 0.000 % | c =============================================================================== c New solution: 6782 c Elapsed CPU time: 88.6445 s Remaining CPU time: 91.3555 s c =============================================================================== c | 751 | 1481 1948 607800 | 5000 751 1256 | 0.000 % | c =============================================================================== c New solution: 6781 c Elapsed CPU time: 89.1255 s Remaining CPU time: 90.8745 s c =============================================================================== c | 769 | 1481 1949 609150 | 5000 769 1256 | 0.000 % | c =============================================================================== c New solution: 6780 c Elapsed CPU time: 89.6184 s Remaining CPU time: 90.3816 s c =============================================================================== c | 788 | 1481 1950 610500 | 5000 788 1256 | 0.000 % | c =============================================================================== c New solution: 6779 c Elapsed CPU time: 90.0103 s Remaining CPU time: 89.9897 s c =============================================================================== c | 792 | 1481 1951 611850 | 5000 792 1256 | 0.000 % | c =============================================================================== c New solution: 6778 c Elapsed CPU time: 90.3763 s Remaining CPU time: 89.6237 s c =============================================================================== c | 792 | 1481 1952 613200 | 5000 792 1256 | 0.000 % | c =============================================================================== c New solution: 6777 c Elapsed CPU time: 90.7712 s Remaining CPU time: 89.2288 s c =============================================================================== c | 792 | 1481 1953 614550 | 5000 792 1256 | 0.000 % | c =============================================================================== c New solution: 6776 c Elapsed CPU time: 91.1601 s Remaining CPU time: 88.8399 s c =============================================================================== c | 792 | 1481 1954 615900 | 5000 792 1256 | 0.000 % | c =============================================================================== c New solution: 6775 c Elapsed CPU time: 91.5611 s Remaining CPU time: 88.4389 s c =============================================================================== c | 797 | 1481 1955 617250 | 5000 797 1256 | 0.000 % | c =============================================================================== c New solution: 6774 c Elapsed CPU time: 91.956 s Remaining CPU time: 88.044 s c =============================================================================== c | 798 | 1481 1956 618600 | 5000 798 1256 | 0.000 % | c =============================================================================== c New solution: 6773 c Elapsed CPU time: 92.363 s Remaining CPU time: 87.637 s c =============================================================================== c | 813 | 1481 1957 619950 | 5000 813 1256 | 0.000 % | c =============================================================================== c New solution: 6772 c Elapsed CPU time: 92.7679 s Remaining CPU time: 87.2321 s c =============================================================================== c | 823 | 1481 1958 621300 | 5000 823 1255 | 0.000 % | c =============================================================================== c New solution: 6771 c Elapsed CPU time: 93.2628 s Remaining CPU time: 86.7372 s c =============================================================================== c | 852 | 1481 1959 622650 | 5000 852 1255 | 0.000 % | c =============================================================================== c New solution: 6770 c Elapsed CPU time: 93.6838 s Remaining CPU time: 86.3162 s c =============================================================================== c | 869 | 1481 1960 624000 | 5000 869 1255 | 0.000 % | c =============================================================================== c New solution: 6769 c Elapsed CPU time: 94.4786 s Remaining CPU time: 85.5214 s c =============================================================================== c | 932 | 1481 1961 625350 | 5000 932 1255 | 0.000 % | c =============================================================================== c New solution: 6768 c Elapsed CPU time: 94.8676 s Remaining CPU time: 85.1324 s c =============================================================================== c | 932 | 1481 1962 626700 | 5000 932 1255 | 0.000 % | c =============================================================================== c New solution: 6767 c Elapsed CPU time: 95.3845 s Remaining CPU time: 84.6155 s c =============================================================================== c | 980 | 1481 1963 628050 | 5000 980 1255 | 0.000 % | c =============================================================================== c New solution: 6766 c Elapsed CPU time: 95.7754 s Remaining CPU time: 84.2246 s c =============================================================================== c | 982 | 1481 1964 629400 | 5000 982 1255 | 0.000 % | c =============================================================================== c New solution: 6765 c Elapsed CPU time: 96.2254 s Remaining CPU time: 83.7746 s c =============================================================================== c | 993 | 1481 1965 630750 | 5000 993 1255 | 0.000 % | c =============================================================================== c New solution: 6764 c Elapsed CPU time: 96.6273 s Remaining CPU time: 83.3727 s c =============================================================================== c | 996 | 1481 1966 632100 | 5000 996 1255 | 0.000 % | c =============================================================================== c New solution: 6763 c Elapsed CPU time: 97.0932 s Remaining CPU time: 82.9068 s c =============================================================================== c | 1025 | 1481 1967 633450 | 5000 1025 1254 | 0.000 % | c =============================================================================== c New solution: 6762 c Elapsed CPU time: 97.4892 s Remaining CPU time: 82.5108 s c =============================================================================== c | 1026 | 1481 1968 634800 | 5000 1026 1254 | 0.000 % | c =============================================================================== c New solution: 6761 c Elapsed CPU time: 98.0501 s Remaining CPU time: 81.9499 s c =============================================================================== c | 1060 | 1481 1969 636150 | 5000 1060 1254 | 0.000 % | c =============================================================================== c New solution: 6760 c Elapsed CPU time: 98.475 s Remaining CPU time: 81.525 s c =============================================================================== c | 1069 | 1481 1970 637500 | 5000 1069 1254 | 0.000 % | c =============================================================================== c New solution: 6759 c Elapsed CPU time: 98.931 s Remaining CPU time: 81.069 s c =============================================================================== c | 1076 | 1481 1971 638850 | 5000 1076 1254 | 0.000 % | c =============================================================================== c New solution: 6758 c Elapsed CPU time: 99.5019 s Remaining CPU time: 80.4981 s c =============================================================================== c | 1107 | 1481 1972 640200 | 5000 1107 1254 | 0.000 % | c =============================================================================== c New solution: 6757 c Elapsed CPU time: 99.9338 s Remaining CPU time: 80.0662 s c =============================================================================== c | 1120 | 1481 1973 641550 | 5000 1120 1254 | 0.000 % | c | 1221 | 1481 1973 641550 | 5500 1221 1253 | 1.267 % | c =============================================================================== c New solution: 6756 c Elapsed CPU time: 101.298 s Remaining CPU time: 78.7024 s c =============================================================================== c | 1268 | 1481 1974 642900 | 5000 1268 1253 | 1.267 % | c =============================================================================== c New solution: 6755 c Elapsed CPU time: 101.793 s Remaining CPU time: 78.2075 s c =============================================================================== c | 1299 | 1481 1975 644250 | 5000 1299 1253 | 1.267 % | c =============================================================================== c New solution: 6754 c Elapsed CPU time: 102.719 s Remaining CPU time: 77.2806 s c =============================================================================== c | 1396 | 1481 1976 645600 | 5000 1396 1252 | 1.267 % | c =============================================================================== c New solution: 6753 c Elapsed CPU time: 103.163 s Remaining CPU time: 76.8367 s c =============================================================================== c | 1407 | 1481 1977 646950 | 5000 1407 1252 | 1.267 % | c =============================================================================== c New solution: 6752 c Elapsed CPU time: 103.986 s Remaining CPU time: 76.0138 s c =============================================================================== c | 1493 | 1481 1978 648300 | 5000 1493 1251 | 1.267 % | c =============================================================================== c New solution: 6751 c Elapsed CPU time: 104.405 s Remaining CPU time: 75.5949 s c =============================================================================== c | 1499 | 1481 1979 649650 | 5000 1499 1251 | 1.267 % | c =============================================================================== c New solution: 6750 c Elapsed CPU time: 104.876 s Remaining CPU time: 75.1239 s c =============================================================================== c | 1533 | 1481 1980 651000 | 5000 1533 1251 | 1.267 % | c =============================================================================== c New solution: 6749 c Elapsed CPU time: 105.362 s Remaining CPU time: 74.638 s c =============================================================================== c | 1549 | 1481 1981 652350 | 5000 1549 1251 | 1.267 % | c =============================================================================== c New solution: 6748 c Elapsed CPU time: 105.773 s Remaining CPU time: 74.2271 s c =============================================================================== c | 1549 | 1481 1982 653700 | 5000 1549 1251 | 1.267 % | c =============================================================================== c New solution: 6747 c Elapsed CPU time: 106.223 s Remaining CPU time: 73.7771 s c =============================================================================== c | 1563 | 1481 1983 655050 | 5000 1563 1251 | 1.267 % | c =============================================================================== c New solution: 6746 c Elapsed CPU time: 106.645 s Remaining CPU time: 73.3552 s c =============================================================================== c | 1563 | 1481 1984 656400 | 5000 1563 1251 | 1.267 % | c =============================================================================== c New solution: 6745 c Elapsed CPU time: 107.083 s Remaining CPU time: 72.9173 s c =============================================================================== c | 1566 | 1481 1985 657750 | 5000 1566 1251 | 1.267 % | c =============================================================================== c New solution: 6744 c Elapsed CPU time: 107.572 s Remaining CPU time: 72.4284 s c =============================================================================== c | 1591 | 1481 1986 659100 | 5000 1591 1250 | 1.267 % | c =============================================================================== c New solution: 6743 c Elapsed CPU time: 108.199 s Remaining CPU time: 71.8014 s c =============================================================================== c | 1657 | 1481 1987 660450 | 5000 1657 1250 | 1.267 % | c =============================================================================== c New solution: 6742 c Elapsed CPU time: 108.996 s Remaining CPU time: 71.0036 s c =============================================================================== c | 1730 | 1481 1988 661800 | 5000 1730 1250 | 1.267 % | c =============================================================================== c New solution: 6741 c Elapsed CPU time: 109.462 s Remaining CPU time: 70.5376 s c =============================================================================== c | 1741 | 1481 1989 663150 | 5000 1741 1250 | 1.267 % | c =============================================================================== c New solution: 6740 c Elapsed CPU time: 109.989 s Remaining CPU time: 70.0107 s c =============================================================================== c | 1765 | 1481 1990 664500 | 5000 1765 1249 | 1.267 % | c =============================================================================== c New solution: 6739 c Elapsed CPU time: 110.429 s Remaining CPU time: 69.5708 s c =============================================================================== c | 1774 | 1481 1991 665850 | 5000 1774 1249 | 1.267 % | c | 1875 | 1481 1991 665850 | 5500 1875 1249 | 1.267 % | c =============================================================================== c New solution: 6738 c Elapsed CPU time: 111.556 s Remaining CPU time: 68.444 s c =============================================================================== c | 1895 | 1481 1992 667200 | 5000 1895 1249 | 1.267 % | c | 1996 | 1481 1992 667200 | 5500 1996 1249 | 1.267 % | c =============================================================================== c New solution: 6737 c Elapsed CPU time: 112.943 s Remaining CPU time: 67.0572 s c =============================================================================== c | 2057 | 1481 1993 668550 | 5000 2057 1249 | 1.267 % | c =============================================================================== c New solution: 6736 c Elapsed CPU time: 113.618 s Remaining CPU time: 66.3823 s c =============================================================================== c | 2142 | 1481 1994 669900 | 5000 2142 1249 | 1.267 % | c =============================================================================== c New solution: 6735 c Elapsed CPU time: 114.117 s Remaining CPU time: 65.8833 s c =============================================================================== c | 2175 | 1481 1995 671250 | 5000 2175 1249 | 1.267 % | c =============================================================================== c New solution: 6734 c Elapsed CPU time: 114.595 s Remaining CPU time: 65.4054 s c =============================================================================== c | 2199 | 1481 1996 672600 | 5000 2199 1249 | 1.267 % | c =============================================================================== c New solution: 6733 c Elapsed CPU time: 115.114 s Remaining CPU time: 64.8865 s c =============================================================================== c | 2223 | 1481 1997 673950 | 5000 2223 1249 | 1.267 % | c =============================================================================== c New solution: 6732 c Elapsed CPU time: 115.687 s Remaining CPU time: 64.3126 s c =============================================================================== c | 2262 | 1481 1998 675300 | 5000 2262 1248 | 1.267 % | c =============================================================================== c New solution: 6731 c Elapsed CPU time: 116.191 s Remaining CPU time: 63.8087 s c =============================================================================== c | 2276 | 1481 1999 676650 | 5000 2276 1248 | 1.267 % | c =============================================================================== c New solution: 6730 c Elapsed CPU time: 116.702 s Remaining CPU time: 63.2977 s c =============================================================================== c | 2292 | 1481 2000 678000 | 5000 2292 1248 | 1.267 % | c | 2392 | 1481 2000 678000 | 5500 2392 1248 | 1.267 % | c =============================================================================== c New solution: 6729 c Elapsed CPU time: 118.052 s Remaining CPU time: 61.9479 s c =============================================================================== c | 2406 | 1481 2001 679350 | 5000 2406 1248 | 1.267 % | c =============================================================================== c New solution: 6728 c Elapsed CPU time: 118.596 s Remaining CPU time: 61.404 s c =============================================================================== c | 2443 | 1481 2002 680700 | 5000 2443 1247 | 1.267 % | c =============================================================================== c New solution: 6727 c Elapsed CPU time: 119.237 s Remaining CPU time: 60.7631 s c =============================================================================== c | 2476 | 1481 2003 682050 | 5000 2476 1247 | 1.267 % | c =============================================================================== c New solution: 6726 c Elapsed CPU time: 119.814 s Remaining CPU time: 60.1862 s c =============================================================================== c | 2508 | 1481 2004 683400 | 5000 2508 1247 | 1.267 % | c =============================================================================== c New solution: 6725 c Elapsed CPU time: 120.513 s Remaining CPU time: 59.4873 s c =============================================================================== c | 2549 | 1481 2005 684750 | 5000 2549 1247 | 1.267 % | c =============================================================================== c New solution: 6724 c Elapsed CPU time: 121.049 s Remaining CPU time: 58.9514 s c =============================================================================== c | 2559 | 1481 2006 686100 | 5000 2559 1247 | 1.267 % | c =============================================================================== c New solution: 6723 c Elapsed CPU time: 121.542 s Remaining CPU time: 58.4585 s c =============================================================================== c | 2561 | 1481 2007 687450 | 5000 2561 1247 | 1.267 % | c =============================================================================== c New solution: 6722 c Elapsed CPU time: 121.998 s Remaining CPU time: 58.0015 s c =============================================================================== c | 2565 | 1481 2008 688800 | 5000 2565 1247 | 1.267 % | c =============================================================================== c New solution: 6721 c Elapsed CPU time: 122.457 s Remaining CPU time: 57.5426 s c =============================================================================== c | 2567 | 1481 2009 690150 | 5000 2567 1247 | 1.267 % | c =============================================================================== c New solution: 6720 c Elapsed CPU time: 122.978 s Remaining CPU time: 57.0217 s c =============================================================================== c | 2580 | 1481 2010 691500 | 5000 2580 1247 | 1.267 % | c =============================================================================== c New solution: 6719 c Elapsed CPU time: 123.526 s Remaining CPU time: 56.4738 s c =============================================================================== c | 2589 | 1481 2011 692850 | 5000 2589 1247 | 1.267 % | c =============================================================================== c New solution: 6718 c Elapsed CPU time: 123.986 s Remaining CPU time: 56.0138 s c =============================================================================== c | 2594 | 1481 2012 694200 | 5000 2594 1247 | 1.267 % | c =============================================================================== c New solution: 6717 c Elapsed CPU time: 124.555 s Remaining CPU time: 55.4449 s c =============================================================================== c | 2635 | 1481 2013 695550 | 5000 2635 1247 | 1.267 % | c =============================================================================== c New solution: 6716 c Elapsed CPU time: 125.057 s Remaining CPU time: 54.943 s c =============================================================================== c | 2657 | 1481 2014 696900 | 5000 2657 1247 | 1.267 % | c =============================================================================== c New solution: 6715 c Elapsed CPU time: 125.825 s Remaining CPU time: 54.1751 s c =============================================================================== c | 2749 | 1481 2015 698250 | 5000 2749 1247 | 1.267 % | c =============================================================================== c New solution: 6714 c Elapsed CPU time: 126.382 s Remaining CPU time: 53.6182 s c =============================================================================== c | 2784 | 1481 2016 699600 | 5000 2784 1246 | 1.267 % | c =============================================================================== c New solution: 6713 c Elapsed CPU time: 127.143 s Remaining CPU time: 52.8573 s c =============================================================================== c | 2850 | 1481 2017 700950 | 5000 2850 1246 | 1.267 % | c =============================================================================== c New solution: 6712 c Elapsed CPU time: 127.712 s Remaining CPU time: 52.2884 s c =============================================================================== c | 2878 | 1481 2018 702300 | 5000 2878 1246 | 1.267 % | c | 2978 | 1481 2018 702300 | 5500 2978 1246 | 1.267 % | c =============================================================================== c New solution: 6711 c Elapsed CPU time: 129.018 s Remaining CPU time: 50.9816 s c =============================================================================== c | 3025 | 1481 2019 703650 | 5000 3025 1245 | 1.267 % | c =============================================================================== c New solution: 6710 c Elapsed CPU time: 129.63 s Remaining CPU time: 50.3697 s c =============================================================================== c | 3061 | 1481 2020 705000 | 5000 3061 1245 | 1.267 % | c =============================================================================== c New solution: 6709 c Elapsed CPU time: 130.134 s Remaining CPU time: 49.8658 s c =============================================================================== c | 3065 | 1481 2021 706350 | 5000 3065 1245 | 1.267 % | c =============================================================================== c New solution: 6708 c Elapsed CPU time: 130.579 s Remaining CPU time: 49.4209 s c =============================================================================== c | 3065 | 1481 2022 707700 | 5000 3065 1245 | 1.267 % | c =============================================================================== c New solution: 6707 c Elapsed CPU time: 131.166 s Remaining CPU time: 48.8339 s c =============================================================================== c | 3088 | 1481 2023 709050 | 5000 3088 1245 | 1.267 % | c =============================================================================== c New solution: 6706 c Elapsed CPU time: 131.659 s Remaining CPU time: 48.341 s c =============================================================================== c | 3095 | 1481 2024 710400 | 5000 3095 1245 | 1.267 % | c =============================================================================== c New solution: 6705 c Elapsed CPU time: 132.256 s Remaining CPU time: 47.7441 s c =============================================================================== c | 3134 | 1481 2025 711750 | 5000 3134 1245 | 1.267 % | c =============================================================================== c New solution: 6704 c Elapsed CPU time: 132.982 s Remaining CPU time: 47.0182 s c =============================================================================== c | 3172 | 1481 2026 713100 | 5000 3172 1245 | 1.267 % | c =============================================================================== c New solution: 6703 c Elapsed CPU time: 133.516 s Remaining CPU time: 46.4843 s c =============================================================================== c | 3188 | 1481 2027 714450 | 5000 3188 1245 | 1.267 % | c =============================================================================== c New solution: 6702 c Elapsed CPU time: 134.069 s Remaining CPU time: 45.9314 s c =============================================================================== c | 3202 | 1481 2028 715800 | 5000 3202 1245 | 1.267 % | c =============================================================================== c New solution: 6701 c Elapsed CPU time: 134.547 s Remaining CPU time: 45.4535 s c =============================================================================== c | 3206 | 1481 2029 717150 | 5000 3206 1245 | 1.267 % | c =============================================================================== c New solution: 6700 c Elapsed CPU time: 135.159 s Remaining CPU time: 44.8405 s c =============================================================================== c | 3221 | 1481 2030 718500 | 5000 3221 1244 | 1.267 % | c =============================================================================== c New solution: 6699 c Elapsed CPU time: 135.625 s Remaining CPU time: 44.3746 s c =============================================================================== c | 3224 | 1481 2031 719850 | 5000 3224 1244 | 1.267 % | c =============================================================================== c New solution: 6698 c Elapsed CPU time: 136.068 s Remaining CPU time: 43.9317 s c =============================================================================== c | 3225 | 1481 2032 721200 | 5000 3225 1244 | 1.267 % | c =============================================================================== c New solution: 6697 c Elapsed CPU time: 136.578 s Remaining CPU time: 43.4218 s c =============================================================================== c | 3234 | 1481 2033 722550 | 5000 3234 1244 | 1.267 % | c =============================================================================== c New solution: 6696 c Elapsed CPU time: 137.032 s Remaining CPU time: 42.9678 s c =============================================================================== c | 3234 | 1481 2034 723900 | 5000 3234 1244 | 1.267 % | c =============================================================================== c New solution: 6695 c Elapsed CPU time: 137.489 s Remaining CPU time: 42.5109 s c =============================================================================== c | 3236 | 1481 2035 725250 | 5000 3236 1244 | 1.267 % | c =============================================================================== c New solution: 6694 c Elapsed CPU time: 137.954 s Remaining CPU time: 42.046 s c =============================================================================== c | 3237 | 1481 2036 726600 | 5000 3237 1244 | 1.267 % | c =============================================================================== c New solution: 6693 c Elapsed CPU time: 138.504 s Remaining CPU time: 41.4961 s c =============================================================================== c | 3265 | 1481 2037 727950 | 5000 3265 1244 | 1.267 % | c =============================================================================== c New solution: 6692 c Elapsed CPU time: 139.313 s Remaining CPU time: 40.6872 s c =============================================================================== c | 3352 | 1481 2038 729300 | 5000 3352 1244 | 1.267 % | c =============================================================================== c New solution: 6691 c Elapsed CPU time: 139.966 s Remaining CPU time: 40.0343 s c =============================================================================== c | 3382 | 1481 2039 730650 | 5000 3382 1244 | 1.267 % | c =============================================================================== c New solution: 6690 c Elapsed CPU time: 140.738 s Remaining CPU time: 39.2624 s c =============================================================================== c | 3428 | 1481 2040 732000 | 5000 3428 1244 | 1.267 % | c =============================================================================== c New solution: 6689 c Elapsed CPU time: 141.325 s Remaining CPU time: 38.6755 s c =============================================================================== c | 3446 | 1481 2041 733350 | 5000 3446 1244 | 1.267 % | c =============================================================================== c New solution: 6688 c Elapsed CPU time: 142.147 s Remaining CPU time: 37.8526 s c =============================================================================== c | 3502 | 1481 2042 734700 | 5000 3502 1244 | 1.267 % | c =============================================================================== c New solution: 6687 c Elapsed CPU time: 142.796 s Remaining CPU time: 37.2037 s c =============================================================================== c | 3536 | 1481 2043 736050 | 5000 3536 1243 | 1.267 % | c =============================================================================== c New solution: 6686 c Elapsed CPU time: 143.369 s Remaining CPU time: 36.6308 s c =============================================================================== c | 3548 | 1481 2044 737400 | 5000 3548 1243 | 1.267 % | c =============================================================================== c New solution: 6685 c Elapsed CPU time: 144.073 s Remaining CPU time: 35.9269 s c =============================================================================== c | 3579 | 1481 2045 738750 | 5000 3579 1243 | 1.267 % | c =============================================================================== c New solution: 6684 c Elapsed CPU time: 144.672 s Remaining CPU time: 35.328 s c =============================================================================== c | 3597 | 1481 2046 740100 | 5000 3597 1243 | 1.267 % | c =============================================================================== c New solution: 6683 c Elapsed CPU time: 145.413 s Remaining CPU time: 34.5871 s c =============================================================================== c | 3671 | 1481 2047 741450 | 5000 3671 1243 | 1.267 % | c | 3772 | 1481 2047 741450 | 5500 3772 1243 | 1.267 % | c =============================================================================== c New solution: 6682 c Elapsed CPU time: 147 s Remaining CPU time: 33.0003 s c =============================================================================== c | 3785 | 1481 2048 742800 | 5000 3785 1243 | 1.267 % | c =============================================================================== c New solution: 6681 c Elapsed CPU time: 148.151 s Remaining CPU time: 31.8485 s c =============================================================================== c | 3884 | 1481 2049 744150 | 5000 3884 1242 | 1.267 % | c | 3985 | 1481 2049 744150 | 5500 3985 1242 | 1.267 % | c =============================================================================== c New solution: 6680 c Elapsed CPU time: 149.596 s Remaining CPU time: 30.4037 s c =============================================================================== c | 4015 | 1481 2050 745500 | 5000 4015 1242 | 1.267 % | c =============================================================================== c New solution: 6679 c Elapsed CPU time: 150.139 s Remaining CPU time: 29.8608 s c =============================================================================== c | 4024 | 1481 2051 746850 | 5000 4024 1242 | 1.267 % | c =============================================================================== c New solution: 6678 c Elapsed CPU time: 150.929 s Remaining CPU time: 29.0709 s c =============================================================================== c | 4093 | 1481 2052 748200 | 5000 4093 1242 | 1.267 % | c =============================================================================== c New solution: 6677 c Elapsed CPU time: 151.513 s Remaining CPU time: 28.487 s c =============================================================================== c | 4114 | 1481 2053 749550 | 5000 4114 1242 | 1.267 % | c | 4214 | 1481 2053 749550 | 5500 4214 1241 | 1.267 % | c =============================================================================== c New solution: 6676 c Elapsed CPU time: 153.131 s Remaining CPU time: 26.8693 s c =============================================================================== c | 4232 | 1481 2054 750900 | 5000 4232 1241 | 1.267 % | c =============================================================================== c New solution: 6675 c Elapsed CPU time: 153.758 s Remaining CPU time: 26.2424 s c =============================================================================== c | 4241 | 1481 2055 752250 | 5000 4241 1241 | 1.267 % | c =============================================================================== c New solution: 6674 c Elapsed CPU time: 154.232 s Remaining CPU time: 25.7684 s c =============================================================================== c | 4242 | 1481 2056 753600 | 5000 4242 1241 | 1.267 % | c =============================================================================== c New solution: 6673 c Elapsed CPU time: 154.734 s Remaining CPU time: 25.2655 s c =============================================================================== c | 4247 | 1481 2057 754950 | 5000 4247 1241 | 1.267 % | c =============================================================================== c New solution: 6672 c Elapsed CPU time: 155.352 s Remaining CPU time: 24.6476 s c =============================================================================== c | 4290 | 1481 2058 756300 | 5000 4290 1241 | 1.267 % | c =============================================================================== c New solution: 6671 c Elapsed CPU time: 155.893 s Remaining CPU time: 24.1067 s c =============================================================================== c | 4303 | 1481 2059 757650 | 5000 4303 1241 | 1.267 % | c =============================================================================== c New solution: 6670 c Elapsed CPU time: 156.544 s Remaining CPU time: 23.4558 s c =============================================================================== c | 4312 | 1481 2060 759000 | 5000 4312 1241 | 1.267 % | c | 4413 | 1481 2060 759000 | 5500 4413 1241 | 1.267 % | c =============================================================================== c New solution: 6669 c Elapsed CPU time: 158.659 s Remaining CPU time: 21.3411 s c =============================================================================== c | 4559 | 1481 2061 760350 | 5000 4559 1241 | 1.267 % | c | 4659 | 1481 2061 760350 | 5500 4659 1240 | 1.267 % | c =============================================================================== c New solution: 6668 c Elapsed CPU time: 160.222 s Remaining CPU time: 19.7784 s c =============================================================================== c | 4693 | 1481 2062 761700 | 5000 4693 1240 | 1.267 % | c | 4794 | 1481 2062 761700 | 5500 4794 1240 | 1.267 % | c =============================================================================== c New solution: 6667 c Elapsed CPU time: 162.121 s Remaining CPU time: 17.8786 s c =============================================================================== c | 4891 | 1481 2063 763050 | 5000 4891 1240 | 1.267 % | c =============================================================================== c New solution: 6666 c Elapsed CPU time: 163.101 s Remaining CPU time: 16.8988 s c =============================================================================== c | 4959 | 1481 2064 764400 | 5000 4959 1240 | 1.267 % | c =============================================================================== c New solution: 6665 c Elapsed CPU time: 164.08 s Remaining CPU time: 15.9199 s c =============================================================================== c | 4987 | 1481 2065 765750 | 5000 4987 1240 | 1.267 % | c =============================================================================== c New solution: 6664 c Elapsed CPU time: 164.9 s Remaining CPU time: 15.1001 s c =============================================================================== c | 5016 | 1481 2066 767100 | 5000 5016 1240 | 1.267 % | c =============================================================================== c New solution: 6663 c Elapsed CPU time: 165.625 s Remaining CPU time: 14.3752 s c =============================================================================== c | 5054 | 1481 2067 768450 | 5000 5054 1239 | 1.267 % | c =============================================================================== c New solution: 6662 c Elapsed CPU time: 166.354 s Remaining CPU time: 13.6463 s c =============================================================================== c | 5088 | 1481 2068 769800 | 5000 2561 1228 | 1.267 % | c | 5188 | 1481 2068 769800 | 5500 2661 1228 | 1.267 % | c =============================================================================== c New solution: 6661 c Elapsed CPU time: 167.964 s Remaining CPU time: 12.0355 s c =============================================================================== c | 5216 | 1481 2069 771150 | 5000 2689 1228 | 1.267 % | c =============================================================================== c New solution: 6660 c Elapsed CPU time: 168.576 s Remaining CPU time: 11.4236 s c =============================================================================== c | 5238 | 1481 2070 772500 | 5000 2711 1228 | 1.267 % | c =============================================================================== c New solution: 6659 c Elapsed CPU time: 169.192 s Remaining CPU time: 10.8077 s c =============================================================================== c | 5256 | 1481 2071 773850 | 5000 2729 1228 | 1.267 % | c =============================================================================== c New solution: 6658 c Elapsed CPU time: 169.685 s Remaining CPU time: 10.3148 s c =============================================================================== c | 5260 | 1481 2072 775200 | 5000 2733 1228 | 1.267 % | c =============================================================================== c New solution: 6657 c Elapsed CPU time: 170.197 s Remaining CPU time: 9.80287 s c =============================================================================== c | 5267 | 1481 2073 776550 | 5000 2740 1228 | 1.267 % | c =============================================================================== c New solution: 6656 c Elapsed CPU time: 170.733 s Remaining CPU time: 9.26696 s c =============================================================================== c | 5281 | 1481 2074 777900 | 5000 2754 1228 | 1.267 % | c =============================================================================== c New solution: 6655 c Elapsed CPU time: 171.494 s Remaining CPU time: 8.50607 s c =============================================================================== c | 5304 | 1481 2075 779250 | 5000 2777 1228 | 1.267 % | c =============================================================================== c New solution: 6654 c Elapsed CPU time: 171.997 s Remaining CPU time: 8.00315 s c =============================================================================== c | 5310 | 1481 2076 780600 | 5000 2783 1228 | 1.267 % | c =============================================================================== c New solution: 6653 c Elapsed CPU time: 172.53 s Remaining CPU time: 7.47023 s c =============================================================================== c | 5318 | 1481 2077 781950 | 5000 2791 1228 | 1.267 % | c =============================================================================== c New solution: 6652 c Elapsed CPU time: 173.203 s Remaining CPU time: 6.79733 s c =============================================================================== c | 5331 | 1481 2078 783300 | 5000 2804 1228 | 1.267 % | c =============================================================================== c New solution: 6651 c Elapsed CPU time: 173.872 s Remaining CPU time: 6.12843 s c =============================================================================== c | 5349 | 1481 2079 784650 | 5000 2822 1228 | 1.267 % | c =============================================================================== c New solution: 6650 c Elapsed CPU time: 174.511 s Remaining CPU time: 5.48853 s c =============================================================================== c | 5367 | 1481 2080 786000 | 5000 2840 1227 | 1.267 % | c =============================================================================== c New solution: 6649 c Elapsed CPU time: 175.046 s Remaining CPU time: 4.95361 s c =============================================================================== c | 5376 | 1481 2081 787350 | 5000 2849 1227 | 1.267 % | c =============================================================================== c New solution: 6648 c Elapsed CPU time: 175.557 s Remaining CPU time: 4.44269 s c =============================================================================== c | 5377 | 1481 2082 788700 | 5000 2850 1227 | 1.267 % | c | 5477 | 1481 2082 788700 | 5500 2950 1227 | 1.267 % | c =============================================================================== c New solution: 6647 c Elapsed CPU time: 177.596 s Remaining CPU time: 2.404 s c =============================================================================== c | 5622 | 1481 2083 790050 | 5000 3095 1227 | 1.267 % | c =============================================================================== c New solution: 6646 c Elapsed CPU time: 178.338 s Remaining CPU time: 1.66211 s c =============================================================================== c | 5656 | 1481 2084 791400 | 5000 3129 1227 | 1.267 % | c =============================================================================== c New solution: 6645 c Elapsed CPU time: 178.941 s Remaining CPU time: 1.0592 s c =============================================================================== c | 5667 | 1481 2085 792750 | 5000 3140 1227 | 1.267 % | c =============================================================================== c New solution: 6644 c Elapsed CPU time: 179.623 s Remaining CPU time: 0.377307 s c =============================================================================== c | 5678 | 1481 2086 794100 | 5000 3151 1227 | 1.267 % | c There are 19 assigned variables. 5 in cost function.