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 1502 4350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7407 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1481 1503 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7401 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1481 1504 7050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7398 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1481 1505 8400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7394 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1481 1506 9750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7389 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1481 1507 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7388 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1481 1508 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7387 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 1481 1509 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7386 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1481 1510 15150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7383 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 1481 1511 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7382 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 1481 1512 17850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7381 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 1481 1513 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7379 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 1481 1514 20550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7376 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 1481 1515 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7374 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 1481 1516 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7371 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 1481 1517 24600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7370 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 1481 1518 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7369 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 1481 1519 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7368 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 0 | 1481 1520 28650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7366 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 1481 1521 30000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7363 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 0 | 1481 1522 31350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7360 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 1481 1523 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7358 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 1481 1524 34050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7357 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 0 | 1481 1525 35400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7356 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 0 | 1481 1526 36750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7355 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 1481 1527 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7354 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 0 | 1481 1528 39450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7353 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 1481 1529 40800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7352 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 0 | 1481 1530 42150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7351 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 0 | 1481 1531 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7350 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 0 | 1481 1532 44850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7349 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 0 | 1481 1533 46200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7348 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 0 | 1481 1534 47550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7347 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 0 | 1481 1535 48900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7344 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 0 | 1481 1536 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7342 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 0 | 1481 1537 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7339 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 0 | 1481 1538 52950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7337 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 0 | 1481 1539 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7336 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 0 | 1481 1540 55650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7335 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 1481 1541 57000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7334 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 0 | 1481 1542 58350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7330 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 1481 1543 59700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7329 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 0 | 1481 1544 61050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7327 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 0 | 1481 1545 62400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7326 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 0 | 1481 1546 63750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7325 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 0 | 1481 1547 65100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7324 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 0 | 1481 1548 66450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7322 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 0 | 1481 1549 67800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7317 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 0 | 1481 1550 69150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7314 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 0 | 1481 1551 70500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7312 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 0 | 1481 1552 71850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7309 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 0 | 1481 1553 73200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7308 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 0 | 1481 1554 74550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7306 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 0 | 1481 1555 75900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7304 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 0 | 1481 1556 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7301 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 0 | 1481 1557 78600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7300 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 0 | 1481 1558 79950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7297 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 0 | 1481 1559 81300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7295 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 0 | 1481 1560 82650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7294 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 0 | 1481 1561 84000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7291 c Elapsed CPU time: 1.10383 s Remaining CPU time: 178.896 s c =============================================================================== c | 0 | 1481 1562 85350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7287 c Elapsed CPU time: 1.14183 s Remaining CPU time: 178.858 s c =============================================================================== c | 0 | 1481 1563 86700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7286 c Elapsed CPU time: 1.17782 s Remaining CPU time: 178.822 s c =============================================================================== c | 0 | 1481 1564 88050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7285 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s c =============================================================================== c | 0 | 1481 1565 89400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7284 c Elapsed CPU time: 1.25581 s Remaining CPU time: 178.744 s c =============================================================================== c | 0 | 1481 1566 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7283 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 0 | 1481 1567 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7281 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 1481 1568 93450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7280 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 0 | 1481 1569 94800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7278 c Elapsed CPU time: 1.42578 s Remaining CPU time: 178.574 s c =============================================================================== c | 0 | 1481 1570 96150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7277 c Elapsed CPU time: 1.46978 s Remaining CPU time: 178.53 s c =============================================================================== c | 0 | 1481 1571 97500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7276 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 0 | 1481 1572 98850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7273 c Elapsed CPU time: 1.55976 s Remaining CPU time: 178.44 s c =============================================================================== c | 0 | 1481 1573 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7271 c Elapsed CPU time: 1.60776 s Remaining CPU time: 178.392 s c =============================================================================== c | 0 | 1481 1574 101550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7270 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 0 | 1481 1575 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7269 c Elapsed CPU time: 1.70274 s Remaining CPU time: 178.297 s c =============================================================================== c | 0 | 1481 1576 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7265 c Elapsed CPU time: 1.75173 s Remaining CPU time: 178.248 s c =============================================================================== c | 0 | 1481 1577 105600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7264 c Elapsed CPU time: 1.80173 s Remaining CPU time: 178.198 s c =============================================================================== c | 0 | 1481 1578 106950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7263 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 0 | 1481 1579 108300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7262 c Elapsed CPU time: 1.90471 s Remaining CPU time: 178.095 s c =============================================================================== c | 0 | 1481 1580 109650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7260 c Elapsed CPU time: 1.9557 s Remaining CPU time: 178.044 s c =============================================================================== c | 0 | 1481 1581 111000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7259 c Elapsed CPU time: 2.00569 s Remaining CPU time: 177.994 s c =============================================================================== c | 0 | 1481 1582 112350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7258 c Elapsed CPU time: 2.05669 s Remaining CPU time: 177.943 s c =============================================================================== c | 0 | 1481 1583 113700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7257 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s c =============================================================================== c | 0 | 1481 1584 115050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7254 c Elapsed CPU time: 2.16167 s Remaining CPU time: 177.838 s c =============================================================================== c | 0 | 1481 1585 116400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7253 c Elapsed CPU time: 2.21366 s Remaining CPU time: 177.786 s c =============================================================================== c | 0 | 1481 1586 117750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7252 c Elapsed CPU time: 2.26765 s Remaining CPU time: 177.732 s c =============================================================================== c | 0 | 1481 1587 119100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7251 c Elapsed CPU time: 2.32265 s Remaining CPU time: 177.677 s c =============================================================================== c | 0 | 1481 1588 120450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7248 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 0 | 1481 1589 121800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7245 c Elapsed CPU time: 2.43263 s Remaining CPU time: 177.567 s c =============================================================================== c | 0 | 1481 1590 123150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 2.49062 s Remaining CPU time: 177.509 s c =============================================================================== c | 0 | 1481 1591 124500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7241 c Elapsed CPU time: 2.55061 s Remaining CPU time: 177.449 s c =============================================================================== c | 0 | 1481 1592 125850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7240 c Elapsed CPU time: 2.6096 s Remaining CPU time: 177.39 s c =============================================================================== c | 0 | 1481 1593 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7239 c Elapsed CPU time: 2.67159 s Remaining CPU time: 177.328 s c =============================================================================== c | 0 | 1481 1594 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7235 c Elapsed CPU time: 2.73058 s Remaining CPU time: 177.269 s c =============================================================================== c | 0 | 1481 1595 129900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7232 c Elapsed CPU time: 2.79557 s Remaining CPU time: 177.204 s c =============================================================================== c | 0 | 1481 1596 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7231 c Elapsed CPU time: 2.86057 s Remaining CPU time: 177.139 s c =============================================================================== c | 0 | 1481 1597 132600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7230 c Elapsed CPU time: 2.92056 s Remaining CPU time: 177.079 s c =============================================================================== c | 0 | 1481 1598 133950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7227 c Elapsed CPU time: 2.98555 s Remaining CPU time: 177.014 s c =============================================================================== c | 0 | 1481 1599 135300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7226 c Elapsed CPU time: 3.05054 s Remaining CPU time: 176.949 s c =============================================================================== c | 0 | 1481 1600 136650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7225 c Elapsed CPU time: 3.11753 s Remaining CPU time: 176.882 s c =============================================================================== c | 0 | 1481 1601 138000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7223 c Elapsed CPU time: 3.18352 s Remaining CPU time: 176.816 s c =============================================================================== c | 0 | 1481 1602 139350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7219 c Elapsed CPU time: 3.2515 s Remaining CPU time: 176.748 s c =============================================================================== c | 0 | 1481 1603 140700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7217 c Elapsed CPU time: 3.32249 s Remaining CPU time: 176.678 s c =============================================================================== c | 0 | 1481 1604 142050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7215 c Elapsed CPU time: 3.39348 s Remaining CPU time: 176.607 s c =============================================================================== c | 0 | 1481 1605 143400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 3.46247 s Remaining CPU time: 176.538 s c =============================================================================== c | 0 | 1481 1606 144750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7212 c Elapsed CPU time: 3.53546 s Remaining CPU time: 176.465 s c =============================================================================== c | 0 | 1481 1607 146100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7211 c Elapsed CPU time: 3.61545 s Remaining CPU time: 176.385 s c =============================================================================== c | 0 | 1481 1608 147450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7210 c Elapsed CPU time: 3.68944 s Remaining CPU time: 176.311 s c =============================================================================== c | 0 | 1481 1609 148800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7209 c Elapsed CPU time: 3.76543 s Remaining CPU time: 176.235 s c =============================================================================== c | 0 | 1481 1610 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7207 c Elapsed CPU time: 3.84442 s Remaining CPU time: 176.156 s c =============================================================================== c | 0 | 1481 1611 151500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7206 c Elapsed CPU time: 3.9234 s Remaining CPU time: 176.077 s c =============================================================================== c | 0 | 1481 1612 152850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7203 c Elapsed CPU time: 4.00239 s Remaining CPU time: 175.998 s c =============================================================================== c | 0 | 1481 1613 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7202 c Elapsed CPU time: 4.08338 s Remaining CPU time: 175.917 s c =============================================================================== c | 0 | 1481 1614 155550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7199 c Elapsed CPU time: 4.16237 s Remaining CPU time: 175.838 s c =============================================================================== c | 0 | 1481 1615 156900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7197 c Elapsed CPU time: 4.24136 s Remaining CPU time: 175.759 s c =============================================================================== c | 0 | 1481 1616 158250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7195 c Elapsed CPU time: 4.32234 s Remaining CPU time: 175.678 s c =============================================================================== c | 0 | 1481 1617 159600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7194 c Elapsed CPU time: 4.40433 s Remaining CPU time: 175.596 s c =============================================================================== c | 0 | 1481 1618 160950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7191 c Elapsed CPU time: 4.48832 s Remaining CPU time: 175.512 s c =============================================================================== c | 0 | 1481 1619 162300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7190 c Elapsed CPU time: 4.5723 s Remaining CPU time: 175.428 s c =============================================================================== c | 0 | 1481 1620 163650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7188 c Elapsed CPU time: 4.65729 s Remaining CPU time: 175.343 s c =============================================================================== c | 0 | 1481 1621 165000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7186 c Elapsed CPU time: 4.74028 s Remaining CPU time: 175.26 s c =============================================================================== c | 0 | 1481 1622 166350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7183 c Elapsed CPU time: 4.82827 s Remaining CPU time: 175.172 s c =============================================================================== c | 0 | 1481 1623 167700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7178 c Elapsed CPU time: 4.91625 s Remaining CPU time: 175.084 s c =============================================================================== c | 0 | 1481 1624 169050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7177 c Elapsed CPU time: 5.00624 s Remaining CPU time: 174.994 s c =============================================================================== c | 0 | 1481 1625 170400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7175 c Elapsed CPU time: 5.10022 s Remaining CPU time: 174.9 s c =============================================================================== c | 0 | 1481 1626 171750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7174 c Elapsed CPU time: 5.19121 s Remaining CPU time: 174.809 s c =============================================================================== c | 0 | 1481 1627 173100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7171 c Elapsed CPU time: 5.2822 s Remaining CPU time: 174.718 s c =============================================================================== c | 0 | 1481 1628 174450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 5.37818 s Remaining CPU time: 174.622 s c =============================================================================== c | 0 | 1481 1629 175800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7165 c Elapsed CPU time: 5.47617 s Remaining CPU time: 174.524 s c =============================================================================== c | 0 | 1481 1630 177150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7163 c Elapsed CPU time: 5.57315 s Remaining CPU time: 174.427 s c =============================================================================== c | 0 | 1481 1631 178500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7162 c Elapsed CPU time: 5.67014 s Remaining CPU time: 174.33 s c =============================================================================== c | 0 | 1481 1632 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7160 c Elapsed CPU time: 5.76712 s Remaining CPU time: 174.233 s c =============================================================================== c | 0 | 1481 1633 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7159 c Elapsed CPU time: 5.86511 s Remaining CPU time: 174.135 s c =============================================================================== c | 0 | 1481 1634 182550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7157 c Elapsed CPU time: 5.96409 s Remaining CPU time: 174.036 s c =============================================================================== c | 0 | 1481 1635 183900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7154 c Elapsed CPU time: 6.06208 s Remaining CPU time: 173.938 s c =============================================================================== c | 0 | 1481 1636 185250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7153 c Elapsed CPU time: 6.16206 s Remaining CPU time: 173.838 s c =============================================================================== c | 0 | 1481 1637 186600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7152 c Elapsed CPU time: 6.26305 s Remaining CPU time: 173.737 s c =============================================================================== c | 0 | 1481 1638 187950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7148 c Elapsed CPU time: 6.36903 s Remaining CPU time: 173.631 s c =============================================================================== c | 0 | 1481 1639 189300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 6.47902 s Remaining CPU time: 173.521 s c =============================================================================== c | 0 | 1481 1640 190650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7142 c Elapsed CPU time: 6.59 s Remaining CPU time: 173.41 s c =============================================================================== c | 0 | 1481 1641 192000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7140 c Elapsed CPU time: 6.70098 s Remaining CPU time: 173.299 s c =============================================================================== c | 0 | 1481 1642 193350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7139 c Elapsed CPU time: 6.81296 s Remaining CPU time: 173.187 s c =============================================================================== c | 0 | 1481 1643 194700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7134 c Elapsed CPU time: 6.92595 s Remaining CPU time: 173.074 s c =============================================================================== c | 0 | 1481 1644 196050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7133 c Elapsed CPU time: 7.03993 s Remaining CPU time: 172.96 s c =============================================================================== c | 0 | 1481 1645 197400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7131 c Elapsed CPU time: 7.15591 s Remaining CPU time: 172.844 s c =============================================================================== c | 0 | 1481 1646 198750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7130 c Elapsed CPU time: 7.27189 s Remaining CPU time: 172.728 s c =============================================================================== c | 0 | 1481 1647 200100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7129 c Elapsed CPU time: 7.38688 s Remaining CPU time: 172.613 s c =============================================================================== c | 0 | 1481 1648 201450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7128 c Elapsed CPU time: 7.50386 s Remaining CPU time: 172.496 s c =============================================================================== c | 0 | 1481 1649 202800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7127 c Elapsed CPU time: 7.61884 s Remaining CPU time: 172.381 s c =============================================================================== c | 0 | 1481 1650 204150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7126 c Elapsed CPU time: 7.73582 s Remaining CPU time: 172.264 s c =============================================================================== c | 0 | 1481 1651 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7124 c Elapsed CPU time: 7.8598 s Remaining CPU time: 172.14 s c =============================================================================== c | 0 | 1481 1652 206850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7121 c Elapsed CPU time: 7.98179 s Remaining CPU time: 172.018 s c =============================================================================== c | 0 | 1481 1653 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7120 c Elapsed CPU time: 8.10377 s Remaining CPU time: 171.896 s c =============================================================================== c | 0 | 1481 1654 209550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7118 c Elapsed CPU time: 8.22575 s Remaining CPU time: 171.774 s c =============================================================================== c | 0 | 1481 1655 210900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7117 c Elapsed CPU time: 8.35773 s Remaining CPU time: 171.642 s c =============================================================================== c | 0 | 1481 1656 212250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7114 c Elapsed CPU time: 8.48671 s Remaining CPU time: 171.513 s c =============================================================================== c | 0 | 1481 1657 213600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7112 c Elapsed CPU time: 8.62169 s Remaining CPU time: 171.378 s c =============================================================================== c | 0 | 1481 1658 214950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7110 c Elapsed CPU time: 8.75567 s Remaining CPU time: 171.244 s c =============================================================================== c | 0 | 1481 1659 216300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7108 c Elapsed CPU time: 8.88665 s Remaining CPU time: 171.113 s c =============================================================================== c | 0 | 1481 1660 217650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7106 c Elapsed CPU time: 9.01563 s Remaining CPU time: 170.984 s c =============================================================================== c | 0 | 1481 1661 219000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7104 c Elapsed CPU time: 9.15961 s Remaining CPU time: 170.84 s c =============================================================================== c | 0 | 1481 1662 220350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7103 c Elapsed CPU time: 9.29959 s Remaining CPU time: 170.7 s c =============================================================================== c | 0 | 1481 1663 221700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7102 c Elapsed CPU time: 9.43656 s Remaining CPU time: 170.563 s c =============================================================================== c | 0 | 1481 1664 223050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7101 c Elapsed CPU time: 9.58154 s Remaining CPU time: 170.418 s c =============================================================================== c | 0 | 1481 1665 224400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7100 c Elapsed CPU time: 9.72952 s Remaining CPU time: 170.27 s c =============================================================================== c | 0 | 1481 1666 225750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 9.8765 s Remaining CPU time: 170.124 s c =============================================================================== c | 0 | 1481 1667 227100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7095 c Elapsed CPU time: 10.0175 s Remaining CPU time: 169.983 s c =============================================================================== c | 0 | 1481 1668 228450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7092 c Elapsed CPU time: 10.1615 s Remaining CPU time: 169.839 s c =============================================================================== c | 0 | 1481 1669 229800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7091 c Elapsed CPU time: 10.3094 s Remaining CPU time: 169.691 s c =============================================================================== c | 0 | 1481 1670 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 10.4534 s Remaining CPU time: 169.547 s c =============================================================================== c | 0 | 1481 1671 232500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7088 c Elapsed CPU time: 10.5974 s Remaining CPU time: 169.403 s c =============================================================================== c | 0 | 1481 1672 233850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7087 c Elapsed CPU time: 10.7444 s Remaining CPU time: 169.256 s c =============================================================================== c | 0 | 1481 1673 235200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7084 c Elapsed CPU time: 10.8943 s Remaining CPU time: 169.106 s c =============================================================================== c | 0 | 1481 1674 236550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7083 c Elapsed CPU time: 11.0433 s Remaining CPU time: 168.957 s c =============================================================================== c | 0 | 1481 1675 237900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7082 c Elapsed CPU time: 11.1953 s Remaining CPU time: 168.805 s c =============================================================================== c | 0 | 1481 1676 239250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7079 c Elapsed CPU time: 11.3413 s Remaining CPU time: 168.659 s c =============================================================================== c | 0 | 1481 1677 240600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7077 c Elapsed CPU time: 11.4913 s Remaining CPU time: 168.509 s c =============================================================================== c | 0 | 1481 1678 241950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7076 c Elapsed CPU time: 11.6452 s Remaining CPU time: 168.355 s c =============================================================================== c | 0 | 1481 1679 243300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7075 c Elapsed CPU time: 11.8022 s Remaining CPU time: 168.198 s c =============================================================================== c | 0 | 1481 1680 244650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7073 c Elapsed CPU time: 11.9502 s Remaining CPU time: 168.05 s c =============================================================================== c | 0 | 1481 1681 246000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7072 c Elapsed CPU time: 12.1032 s Remaining CPU time: 167.897 s c =============================================================================== c | 0 | 1481 1682 247350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7070 c Elapsed CPU time: 12.2561 s Remaining CPU time: 167.744 s c =============================================================================== c | 0 | 1481 1683 248700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7069 c Elapsed CPU time: 12.4141 s Remaining CPU time: 167.586 s c =============================================================================== c | 0 | 1481 1684 250050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7067 c Elapsed CPU time: 12.5631 s Remaining CPU time: 167.437 s c =============================================================================== c | 0 | 1481 1685 251400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7064 c Elapsed CPU time: 12.7121 s Remaining CPU time: 167.288 s c =============================================================================== c | 0 | 1481 1686 252750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7063 c Elapsed CPU time: 12.864 s Remaining CPU time: 167.136 s c =============================================================================== c | 0 | 1481 1687 254100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7061 c Elapsed CPU time: 13.018 s Remaining CPU time: 166.982 s c =============================================================================== c | 0 | 1481 1688 255450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7056 c Elapsed CPU time: 13.168 s Remaining CPU time: 166.832 s c =============================================================================== c | 0 | 1481 1689 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7054 c Elapsed CPU time: 13.322 s Remaining CPU time: 166.678 s c =============================================================================== c | 0 | 1481 1690 258150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7052 c Elapsed CPU time: 13.474 s Remaining CPU time: 166.526 s c =============================================================================== c | 0 | 1481 1691 259500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7049 c Elapsed CPU time: 13.6259 s Remaining CPU time: 166.374 s c =============================================================================== c | 0 | 1481 1692 260850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7047 c Elapsed CPU time: 13.7889 s Remaining CPU time: 166.211 s c =============================================================================== c | 0 | 1481 1693 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7044 c Elapsed CPU time: 13.9479 s Remaining CPU time: 166.052 s c =============================================================================== c | 0 | 1481 1694 263550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7043 c Elapsed CPU time: 14.1069 s Remaining CPU time: 165.893 s c =============================================================================== c | 0 | 1481 1695 264900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7042 c Elapsed CPU time: 14.2698 s Remaining CPU time: 165.73 s c =============================================================================== c | 0 | 1481 1696 266250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7041 c Elapsed CPU time: 14.4328 s Remaining CPU time: 165.567 s c =============================================================================== c | 0 | 1481 1697 267600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7040 c Elapsed CPU time: 14.5958 s Remaining CPU time: 165.404 s c =============================================================================== c | 0 | 1481 1698 268950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7039 c Elapsed CPU time: 14.7628 s Remaining CPU time: 165.237 s c =============================================================================== c | 0 | 1481 1699 270300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7038 c Elapsed CPU time: 14.9297 s Remaining CPU time: 165.07 s c =============================================================================== c | 0 | 1481 1700 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7037 c Elapsed CPU time: 15.0977 s Remaining CPU time: 164.902 s c =============================================================================== c | 0 | 1481 1701 273000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7035 c Elapsed CPU time: 15.2597 s Remaining CPU time: 164.74 s c =============================================================================== c | 0 | 1481 1702 274350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7034 c Elapsed CPU time: 15.4317 s Remaining CPU time: 164.568 s c =============================================================================== c | 0 | 1481 1703 275700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7033 c Elapsed CPU time: 15.6016 s Remaining CPU time: 164.398 s c =============================================================================== c | 0 | 1481 1704 277050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7029 c Elapsed CPU time: 15.7696 s Remaining CPU time: 164.23 s c =============================================================================== c | 0 | 1481 1705 278400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7028 c Elapsed CPU time: 15.9446 s Remaining CPU time: 164.055 s c =============================================================================== c | 0 | 1481 1706 279750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7027 c Elapsed CPU time: 16.1136 s Remaining CPU time: 163.886 s c =============================================================================== c | 0 | 1481 1707 281100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7024 c Elapsed CPU time: 16.2835 s Remaining CPU time: 163.716 s c =============================================================================== c | 0 | 1481 1708 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7022 c Elapsed CPU time: 16.4615 s Remaining CPU time: 163.539 s c =============================================================================== c | 0 | 1481 1709 283800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7021 c Elapsed CPU time: 16.6345 s Remaining CPU time: 163.366 s c =============================================================================== c | 0 | 1481 1710 285150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7019 c Elapsed CPU time: 16.8074 s Remaining CPU time: 163.193 s c =============================================================================== c | 0 | 1481 1711 286500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7015 c Elapsed CPU time: 16.9824 s Remaining CPU time: 163.018 s c =============================================================================== c | 0 | 1481 1712 287850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7014 c Elapsed CPU time: 17.1634 s Remaining CPU time: 162.837 s c =============================================================================== c | 1 | 1481 1713 289200 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7012 c Elapsed CPU time: 17.3344 s Remaining CPU time: 162.666 s c =============================================================================== c | 1 | 1481 1714 290550 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7010 c Elapsed CPU time: 17.5103 s Remaining CPU time: 162.49 s c =============================================================================== c | 1 | 1481 1715 291900 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7009 c Elapsed CPU time: 17.6913 s Remaining CPU time: 162.309 s c =============================================================================== c | 1 | 1481 1716 293250 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7008 c Elapsed CPU time: 17.8643 s Remaining CPU time: 162.136 s c =============================================================================== c | 1 | 1481 1717 294600 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7006 c Elapsed CPU time: 18.0463 s Remaining CPU time: 161.954 s c =============================================================================== c | 1 | 1481 1718 295950 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7004 c Elapsed CPU time: 18.2292 s Remaining CPU time: 161.771 s c =============================================================================== c | 1 | 1481 1719 297300 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7003 c Elapsed CPU time: 18.4192 s Remaining CPU time: 161.581 s c =============================================================================== c | 2 | 1481 1720 298650 | 5000 2 1294 | 0.000 % | c =============================================================================== c New solution: 7002 c Elapsed CPU time: 18.6032 s Remaining CPU time: 161.397 s c =============================================================================== c | 2 | 1481 1721 300000 | 5000 2 1294 | 0.000 % | c =============================================================================== c New solution: 7001 c Elapsed CPU time: 18.7961 s Remaining CPU time: 161.204 s c =============================================================================== c | 2 | 1481 1722 301350 | 5000 2 1294 | 0.000 % | c =============================================================================== c New solution: 7000 c Elapsed CPU time: 18.9841 s Remaining CPU time: 161.016 s c =============================================================================== c | 2 | 1481 1723 302700 | 5000 2 1294 | 0.000 % | c =============================================================================== c New solution: 6999 c Elapsed CPU time: 19.1791 s Remaining CPU time: 160.821 s c =============================================================================== c | 2 | 1481 1724 304050 | 5000 2 1294 | 0.000 % | c =============================================================================== c New solution: 6998 c Elapsed CPU time: 19.3631 s Remaining CPU time: 160.637 s c =============================================================================== c | 2 | 1481 1725 305400 | 5000 2 1294 | 0.000 % | c =============================================================================== c New solution: 6997 c Elapsed CPU time: 19.571 s Remaining CPU time: 160.429 s c =============================================================================== c | 3 | 1481 1726 306750 | 5000 3 863 | 0.000 % | c =============================================================================== c New solution: 6996 c Elapsed CPU time: 19.77 s Remaining CPU time: 160.23 s c =============================================================================== c | 4 | 1481 1727 308100 | 5000 4 648 | 0.000 % | c =============================================================================== c New solution: 6995 c Elapsed CPU time: 19.969 s Remaining CPU time: 160.031 s c =============================================================================== c | 4 | 1481 1728 309450 | 5000 4 648 | 0.000 % | c =============================================================================== c New solution: 6994 c Elapsed CPU time: 20.1609 s Remaining CPU time: 159.839 s c =============================================================================== c | 5 | 1481 1729 310800 | 5000 5 519 | 0.000 % | c =============================================================================== c New solution: 6993 c Elapsed CPU time: 20.3589 s Remaining CPU time: 159.641 s c =============================================================================== c | 8 | 1481 1730 312150 | 5000 8 807 | 0.000 % | c =============================================================================== c New solution: 6992 c Elapsed CPU time: 20.5529 s Remaining CPU time: 159.447 s c =============================================================================== c | 8 | 1481 1731 313500 | 5000 8 807 | 0.000 % | c =============================================================================== c New solution: 6991 c Elapsed CPU time: 20.7518 s Remaining CPU time: 159.248 s c =============================================================================== c | 10 | 1481 1732 314850 | 5000 10 903 | 0.000 % | c =============================================================================== c New solution: 6990 c Elapsed CPU time: 20.9518 s Remaining CPU time: 159.048 s c =============================================================================== c | 12 | 1481 1733 316200 | 5000 12 967 | 0.000 % | c =============================================================================== c New solution: 6989 c Elapsed CPU time: 21.1448 s Remaining CPU time: 158.855 s c =============================================================================== c | 13 | 1481 1734 317550 | 5000 13 991 | 0.000 % | c =============================================================================== c New solution: 6988 c Elapsed CPU time: 21.3378 s Remaining CPU time: 158.662 s c =============================================================================== c | 13 | 1481 1735 318900 | 5000 13 991 | 0.000 % | c =============================================================================== c New solution: 6987 c Elapsed CPU time: 21.5347 s Remaining CPU time: 158.465 s c =============================================================================== c | 13 | 1481 1736 320250 | 5000 13 991 | 0.000 % | c =============================================================================== c New solution: 6986 c Elapsed CPU time: 21.7357 s Remaining CPU time: 158.264 s c =============================================================================== c | 13 | 1481 1737 321600 | 5000 13 991 | 0.000 % | c =============================================================================== c New solution: 6985 c Elapsed CPU time: 21.9267 s Remaining CPU time: 158.073 s c =============================================================================== c | 13 | 1481 1738 322950 | 5000 13 991 | 0.000 % | c =============================================================================== c New solution: 6984 c Elapsed CPU time: 22.1276 s Remaining CPU time: 157.872 s c =============================================================================== c | 16 | 1481 1739 324300 | 5000 16 1047 | 0.000 % | c =============================================================================== c New solution: 6983 c Elapsed CPU time: 22.3226 s Remaining CPU time: 157.677 s c =============================================================================== c | 16 | 1481 1740 325650 | 5000 16 1047 | 0.000 % | c =============================================================================== c New solution: 6982 c Elapsed CPU time: 22.5236 s Remaining CPU time: 157.476 s c =============================================================================== c | 21 | 1481 1741 327000 | 5000 21 1103 | 0.000 % | c =============================================================================== c New solution: 6981 c Elapsed CPU time: 22.7155 s Remaining CPU time: 157.284 s c =============================================================================== c | 21 | 1481 1742 328350 | 5000 21 1103 | 0.000 % | c =============================================================================== c New solution: 6980 c Elapsed CPU time: 22.9085 s Remaining CPU time: 157.091 s c =============================================================================== c | 21 | 1481 1743 329700 | 5000 21 1103 | 0.000 % | c =============================================================================== c New solution: 6979 c Elapsed CPU time: 23.1155 s Remaining CPU time: 156.885 s c =============================================================================== c | 22 | 1481 1744 331050 | 5000 22 1111 | 0.000 % | c =============================================================================== c New solution: 6978 c Elapsed CPU time: 23.3195 s Remaining CPU time: 156.681 s c =============================================================================== c | 22 | 1481 1745 332400 | 5000 22 1111 | 0.000 % | c =============================================================================== c New solution: 6977 c Elapsed CPU time: 23.5214 s Remaining CPU time: 156.479 s c =============================================================================== c | 22 | 1481 1746 333750 | 5000 22 1111 | 0.000 % | c =============================================================================== c New solution: 6976 c Elapsed CPU time: 23.7244 s Remaining CPU time: 156.276 s c =============================================================================== c | 22 | 1481 1747 335100 | 5000 22 1111 | 0.000 % | c =============================================================================== c New solution: 6975 c Elapsed CPU time: 23.9414 s Remaining CPU time: 156.059 s c =============================================================================== c | 22 | 1481 1748 336450 | 5000 22 1111 | 0.000 % | c =============================================================================== c New solution: 6974 c Elapsed CPU time: 24.1523 s Remaining CPU time: 155.848 s c =============================================================================== c | 22 | 1481 1749 337800 | 5000 22 1111 | 0.000 % | c =============================================================================== c New solution: 6973 c Elapsed CPU time: 24.4013 s Remaining CPU time: 155.599 s c =============================================================================== c | 33 | 1481 1750 339150 | 5000 33 1169 | 0.000 % | c =============================================================================== c New solution: 6972 c Elapsed CPU time: 24.6283 s Remaining CPU time: 155.372 s c =============================================================================== c | 34 | 1481 1751 340500 | 5000 34 1172 | 0.000 % | c =============================================================================== c New solution: 6971 c Elapsed CPU time: 24.8432 s Remaining CPU time: 155.157 s c =============================================================================== c | 34 | 1481 1752 341850 | 5000 34 1172 | 0.000 % | c =============================================================================== c New solution: 6970 c Elapsed CPU time: 25.0712 s Remaining CPU time: 154.929 s c =============================================================================== c | 34 | 1481 1753 343200 | 5000 34 1172 | 0.000 % | c =============================================================================== c New solution: 6969 c Elapsed CPU time: 25.2942 s Remaining CPU time: 154.706 s c =============================================================================== c | 35 | 1481 1754 344550 | 5000 35 1175 | 0.000 % | c =============================================================================== c New solution: 6968 c Elapsed CPU time: 25.5411 s Remaining CPU time: 154.459 s c =============================================================================== c | 41 | 1481 1755 345900 | 5000 41 1191 | 0.000 % | c =============================================================================== c New solution: 6967 c Elapsed CPU time: 25.7551 s Remaining CPU time: 154.245 s c =============================================================================== c | 41 | 1481 1756 347250 | 5000 41 1191 | 0.000 % | c =============================================================================== c New solution: 6966 c Elapsed CPU time: 25.9651 s Remaining CPU time: 154.035 s c =============================================================================== c | 41 | 1481 1757 348600 | 5000 41 1191 | 0.000 % | c =============================================================================== c New solution: 6965 c Elapsed CPU time: 26.179 s Remaining CPU time: 153.821 s c =============================================================================== c | 42 | 1481 1758 349950 | 5000 42 1193 | 0.000 % | c =============================================================================== c New solution: 6964 c Elapsed CPU time: 26.391 s Remaining CPU time: 153.609 s c =============================================================================== c | 42 | 1481 1759 351300 | 5000 42 1193 | 0.000 % | c =============================================================================== c New solution: 6963 c Elapsed CPU time: 26.613 s Remaining CPU time: 153.387 s c =============================================================================== c | 43 | 1481 1760 352650 | 5000 43 1195 | 0.000 % | c =============================================================================== c New solution: 6962 c Elapsed CPU time: 26.8519 s Remaining CPU time: 153.148 s c =============================================================================== c | 49 | 1481 1761 354000 | 5000 49 1205 | 0.000 % | c =============================================================================== c New solution: 6961 c Elapsed CPU time: 27.0639 s Remaining CPU time: 152.936 s c =============================================================================== c | 49 | 1481 1762 355350 | 5000 49 1205 | 0.000 % | c =============================================================================== c New solution: 6960 c Elapsed CPU time: 27.2729 s Remaining CPU time: 152.727 s c =============================================================================== c | 49 | 1481 1763 356700 | 5000 49 1205 | 0.000 % | c =============================================================================== c New solution: 6959 c Elapsed CPU time: 27.4838 s Remaining CPU time: 152.516 s c =============================================================================== c | 49 | 1481 1764 358050 | 5000 49 1205 | 0.000 % | c =============================================================================== c New solution: 6958 c Elapsed CPU time: 27.7108 s Remaining CPU time: 152.289 s c =============================================================================== c | 49 | 1481 1765 359400 | 5000 49 1205 | 0.000 % | c =============================================================================== c New solution: 6957 c Elapsed CPU time: 27.9418 s Remaining CPU time: 152.058 s c =============================================================================== c | 51 | 1481 1766 360750 | 5000 51 1208 | 0.000 % | c =============================================================================== c New solution: 6956 c Elapsed CPU time: 28.1557 s Remaining CPU time: 151.844 s c =============================================================================== c | 51 | 1481 1767 362100 | 5000 51 1208 | 0.000 % | c =============================================================================== c New solution: 6955 c Elapsed CPU time: 28.3787 s Remaining CPU time: 151.621 s c =============================================================================== c | 51 | 1481 1768 363450 | 5000 51 1208 | 0.000 % | c =============================================================================== c New solution: 6954 c Elapsed CPU time: 28.6017 s Remaining CPU time: 151.398 s c =============================================================================== c | 51 | 1481 1769 364800 | 5000 51 1208 | 0.000 % | c =============================================================================== c New solution: 6953 c Elapsed CPU time: 28.8396 s Remaining CPU time: 151.16 s c =============================================================================== c | 52 | 1481 1770 366150 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6952 c Elapsed CPU time: 29.0736 s Remaining CPU time: 150.926 s c =============================================================================== c | 52 | 1481 1771 367500 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6951 c Elapsed CPU time: 29.3045 s Remaining CPU time: 150.695 s c =============================================================================== c | 52 | 1481 1772 368850 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6950 c Elapsed CPU time: 29.5305 s Remaining CPU time: 150.469 s c =============================================================================== c | 52 | 1481 1773 370200 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6949 c Elapsed CPU time: 29.7625 s Remaining CPU time: 150.238 s c =============================================================================== c | 52 | 1481 1774 371550 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6948 c Elapsed CPU time: 29.9904 s Remaining CPU time: 150.01 s c =============================================================================== c | 52 | 1481 1775 372900 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6947 c Elapsed CPU time: 30.2194 s Remaining CPU time: 149.781 s c =============================================================================== c | 52 | 1481 1776 374250 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6946 c Elapsed CPU time: 30.4644 s Remaining CPU time: 149.536 s c =============================================================================== c | 52 | 1481 1777 375600 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6945 c Elapsed CPU time: 30.7063 s Remaining CPU time: 149.294 s c =============================================================================== c | 52 | 1481 1778 376950 | 5000 52 1210 | 0.000 % | c =============================================================================== c New solution: 6944 c Elapsed CPU time: 30.9443 s Remaining CPU time: 149.056 s c =============================================================================== c | 53 | 1481 1779 378300 | 5000 53 1211 | 0.000 % | c =============================================================================== c New solution: 6943 c Elapsed CPU time: 31.1683 s Remaining CPU time: 148.832 s c =============================================================================== c | 53 | 1481 1780 379650 | 5000 53 1211 | 0.000 % | c =============================================================================== c New solution: 6942 c Elapsed CPU time: 31.4012 s Remaining CPU time: 148.599 s c =============================================================================== c | 53 | 1481 1781 381000 | 5000 53 1211 | 0.000 % | c =============================================================================== c New solution: 6941 c Elapsed CPU time: 31.6482 s Remaining CPU time: 148.352 s c =============================================================================== c | 55 | 1481 1782 382350 | 5000 55 1213 | 0.000 % | c =============================================================================== c New solution: 6940 c Elapsed CPU time: 31.9012 s Remaining CPU time: 148.099 s c =============================================================================== c | 55 | 1481 1783 383700 | 5000 55 1213 | 0.000 % | c =============================================================================== c New solution: 6939 c Elapsed CPU time: 32.1551 s Remaining CPU time: 147.845 s c =============================================================================== c | 57 | 1481 1784 385050 | 5000 57 1216 | 0.000 % | c =============================================================================== c New solution: 6938 c Elapsed CPU time: 32.3901 s Remaining CPU time: 147.61 s c =============================================================================== c | 57 | 1481 1785 386400 | 5000 57 1216 | 0.000 % | c =============================================================================== c New solution: 6937 c Elapsed CPU time: 32.638 s Remaining CPU time: 147.362 s c =============================================================================== c | 59 | 1481 1786 387750 | 5000 59 1218 | 0.000 % | c =============================================================================== c New solution: 6936 c Elapsed CPU time: 32.881 s Remaining CPU time: 147.119 s c =============================================================================== c | 59 | 1481 1787 389100 | 5000 59 1218 | 0.000 % | c =============================================================================== c New solution: 6935 c Elapsed CPU time: 33.199 s Remaining CPU time: 146.801 s c =============================================================================== c | 65 | 1481 1788 390450 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6934 c Elapsed CPU time: 33.4439 s Remaining CPU time: 146.556 s c =============================================================================== c | 65 | 1481 1789 391800 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6933 c Elapsed CPU time: 33.6919 s Remaining CPU time: 146.308 s c =============================================================================== c | 65 | 1481 1790 393150 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6932 c Elapsed CPU time: 33.9298 s Remaining CPU time: 146.07 s c =============================================================================== c | 65 | 1481 1791 394500 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6931 c Elapsed CPU time: 34.1818 s Remaining CPU time: 145.818 s c =============================================================================== c | 65 | 1481 1792 395850 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6930 c Elapsed CPU time: 34.4368 s Remaining CPU time: 145.563 s c =============================================================================== c | 65 | 1481 1793 397200 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6929 c Elapsed CPU time: 34.6947 s Remaining CPU time: 145.305 s c =============================================================================== c | 65 | 1481 1794 398550 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6928 c Elapsed CPU time: 34.9307 s Remaining CPU time: 145.069 s c =============================================================================== c | 65 | 1481 1795 399900 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6927 c Elapsed CPU time: 35.1807 s Remaining CPU time: 144.819 s c =============================================================================== c | 65 | 1481 1796 401250 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6926 c Elapsed CPU time: 35.4306 s Remaining CPU time: 144.569 s c =============================================================================== c | 65 | 1481 1797 402600 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6925 c Elapsed CPU time: 35.7126 s Remaining CPU time: 144.287 s c =============================================================================== c | 65 | 1481 1798 403950 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6924 c Elapsed CPU time: 35.9835 s Remaining CPU time: 144.016 s c =============================================================================== c | 65 | 1481 1799 405300 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6923 c Elapsed CPU time: 36.2505 s Remaining CPU time: 143.75 s c =============================================================================== c | 65 | 1481 1800 406650 | 5000 65 1223 | 0.000 % | c =============================================================================== c New solution: 6922 c Elapsed CPU time: 36.5154 s Remaining CPU time: 143.485 s c =============================================================================== c | 76 | 1481 1801 408000 | 5000 76 1231 | 0.000 % | c =============================================================================== c New solution: 6921 c Elapsed CPU time: 36.7664 s Remaining CPU time: 143.234 s c =============================================================================== c | 76 | 1481 1802 409350 | 5000 76 1231 | 0.000 % | c =============================================================================== c New solution: 6920 c Elapsed CPU time: 37.0284 s Remaining CPU time: 142.972 s c =============================================================================== c | 76 | 1481 1803 410700 | 5000 76 1231 | 0.000 % | c =============================================================================== c New solution: 6919 c Elapsed CPU time: 37.3283 s Remaining CPU time: 142.672 s c =============================================================================== c | 82 | 1481 1804 412050 | 5000 82 1234 | 0.000 % | c =============================================================================== c New solution: 6918 c Elapsed CPU time: 37.6043 s Remaining CPU time: 142.396 s c =============================================================================== c | 84 | 1481 1805 413400 | 5000 84 1235 | 0.000 % | c =============================================================================== c New solution: 6917 c Elapsed CPU time: 37.8742 s Remaining CPU time: 142.126 s c =============================================================================== c | 84 | 1481 1806 414750 | 5000 84 1235 | 0.000 % | c =============================================================================== c New solution: 6916 c Elapsed CPU time: 38.1502 s Remaining CPU time: 141.85 s c =============================================================================== c | 88 | 1481 1807 416100 | 5000 88 1237 | 0.000 % | c =============================================================================== c New solution: 6915 c Elapsed CPU time: 38.4662 s Remaining CPU time: 141.534 s c =============================================================================== c | 94 | 1481 1808 417450 | 5000 94 1239 | 0.000 % | c =============================================================================== c New solution: 6914 c Elapsed CPU time: 38.7421 s Remaining CPU time: 141.258 s c =============================================================================== c | 98 | 1481 1809 418800 | 5000 98 1240 | 0.000 % | c =============================================================================== c New solution: 6913 c Elapsed CPU time: 38.9961 s Remaining CPU time: 141.004 s c =============================================================================== c | 98 | 1481 1810 420150 | 5000 98 1240 | 0.000 % | c =============================================================================== c New solution: 6912 c Elapsed CPU time: 39.274 s Remaining CPU time: 140.726 s c =============================================================================== c | 99 | 1481 1811 421500 | 5000 99 1241 | 0.000 % | c =============================================================================== c New solution: 6911 c Elapsed CPU time: 39.528 s Remaining CPU time: 140.472 s c =============================================================================== c | 99 | 1481 1812 422850 | 5000 99 1241 | 0.000 % | c =============================================================================== c New solution: 6910 c Elapsed CPU time: 39.774 s Remaining CPU time: 140.226 s c =============================================================================== c | 101 | 1481 1813 424200 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6909 c Elapsed CPU time: 40.0319 s Remaining CPU time: 139.968 s c =============================================================================== c | 101 | 1481 1814 425550 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6908 c Elapsed CPU time: 40.2939 s Remaining CPU time: 139.706 s c =============================================================================== c | 101 | 1481 1815 426900 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6907 c Elapsed CPU time: 40.5718 s Remaining CPU time: 139.428 s c =============================================================================== c | 101 | 1481 1816 428250 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6906 c Elapsed CPU time: 40.8338 s Remaining CPU time: 139.166 s c =============================================================================== c | 101 | 1481 1817 429600 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6905 c Elapsed CPU time: 41.0968 s Remaining CPU time: 138.903 s c =============================================================================== c | 101 | 1481 1818 430950 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6904 c Elapsed CPU time: 41.3727 s Remaining CPU time: 138.627 s c =============================================================================== c | 101 | 1481 1819 432300 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6903 c Elapsed CPU time: 41.6417 s Remaining CPU time: 138.358 s c =============================================================================== c | 101 | 1481 1820 433650 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6902 c Elapsed CPU time: 41.9146 s Remaining CPU time: 138.085 s c =============================================================================== c | 101 | 1481 1821 435000 | 5000 101 1241 | 0.000 % | c =============================================================================== c New solution: 6901 c Elapsed CPU time: 42.1926 s Remaining CPU time: 137.807 s c =============================================================================== c | 106 | 1481 1822 436350 | 5000 106 1242 | 0.000 % | c =============================================================================== c New solution: 6900 c Elapsed CPU time: 42.4705 s Remaining CPU time: 137.529 s c =============================================================================== c | 106 | 1481 1823 437700 | 5000 106 1242 | 0.000 % | c =============================================================================== c New solution: 6899 c Elapsed CPU time: 42.7715 s Remaining CPU time: 137.229 s c =============================================================================== c | 110 | 1481 1824 439050 | 5000 110 1243 | 0.000 % | c =============================================================================== c New solution: 6898 c Elapsed CPU time: 43.0415 s Remaining CPU time: 136.959 s c =============================================================================== c | 112 | 1481 1825 440400 | 5000 112 1244 | 0.000 % | c =============================================================================== c New solution: 6897 c Elapsed CPU time: 43.3164 s Remaining CPU time: 136.684 s c =============================================================================== c | 113 | 1481 1826 441750 | 5000 113 1244 | 0.000 % | c =============================================================================== c New solution: 6896 c Elapsed CPU time: 43.5854 s Remaining CPU time: 136.415 s c =============================================================================== c | 115 | 1481 1827 443100 | 5000 115 1245 | 0.000 % | c =============================================================================== c New solution: 6895 c Elapsed CPU time: 43.8613 s Remaining CPU time: 136.139 s c =============================================================================== c | 115 | 1481 1828 444450 | 5000 115 1245 | 0.000 % | c =============================================================================== c New solution: 6894 c Elapsed CPU time: 44.1403 s Remaining CPU time: 135.86 s c =============================================================================== c | 115 | 1481 1829 445800 | 5000 115 1245 | 0.000 % | c =============================================================================== c New solution: 6893 c Elapsed CPU time: 44.4452 s Remaining CPU time: 135.555 s c =============================================================================== c | 120 | 1481 1830 447150 | 5000 120 1246 | 0.000 % | c =============================================================================== c New solution: 6892 c Elapsed CPU time: 44.7222 s Remaining CPU time: 135.278 s c =============================================================================== c | 120 | 1481 1831 448500 | 5000 120 1246 | 0.000 % | c =============================================================================== c New solution: 6891 c Elapsed CPU time: 45.0422 s Remaining CPU time: 134.958 s c =============================================================================== c | 133 | 1481 1832 449850 | 5000 133 1248 | 0.000 % | c =============================================================================== c New solution: 6890 c Elapsed CPU time: 45.3441 s Remaining CPU time: 134.656 s c =============================================================================== c | 136 | 1481 1833 451200 | 5000 136 1248 | 0.000 % | c =============================================================================== c New solution: 6889 c Elapsed CPU time: 45.6241 s Remaining CPU time: 134.376 s c =============================================================================== c | 138 | 1481 1834 452550 | 5000 138 1248 | 0.000 % | c =============================================================================== c New solution: 6888 c Elapsed CPU time: 45.891 s Remaining CPU time: 134.109 s c =============================================================================== c | 139 | 1481 1835 453900 | 5000 139 1248 | 0.000 % | c =============================================================================== c New solution: 6887 c Elapsed CPU time: 46.182 s Remaining CPU time: 133.818 s c =============================================================================== c | 139 | 1481 1836 455250 | 5000 139 1248 | 0.000 % | c =============================================================================== c New solution: 6886 c Elapsed CPU time: 46.4789 s Remaining CPU time: 133.521 s c =============================================================================== c | 142 | 1481 1837 456600 | 5000 142 1249 | 0.000 % | c =============================================================================== c New solution: 6885 c Elapsed CPU time: 46.7739 s Remaining CPU time: 133.226 s c =============================================================================== c | 145 | 1481 1838 457950 | 5000 145 1249 | 0.000 % | c =============================================================================== c New solution: 6884 c Elapsed CPU time: 47.0668 s Remaining CPU time: 132.933 s c =============================================================================== c | 147 | 1481 1839 459300 | 5000 147 1249 | 0.000 % | c =============================================================================== c New solution: 6883 c Elapsed CPU time: 47.3398 s Remaining CPU time: 132.66 s c =============================================================================== c | 148 | 1481 1840 460650 | 5000 148 1250 | 0.000 % | c =============================================================================== c New solution: 6882 c Elapsed CPU time: 47.6338 s Remaining CPU time: 132.366 s c =============================================================================== c | 149 | 1481 1841 462000 | 5000 149 1250 | 0.000 % | c =============================================================================== c New solution: 6881 c Elapsed CPU time: 47.9187 s Remaining CPU time: 132.081 s c =============================================================================== c | 149 | 1481 1842 463350 | 5000 149 1250 | 0.000 % | c =============================================================================== c New solution: 6880 c Elapsed CPU time: 48.2047 s Remaining CPU time: 131.795 s c =============================================================================== c | 157 | 1481 1843 464700 | 5000 157 1250 | 0.000 % | c =============================================================================== c New solution: 6879 c Elapsed CPU time: 48.5126 s Remaining CPU time: 131.487 s c =============================================================================== c | 159 | 1481 1844 466050 | 5000 159 1251 | 0.000 % | c =============================================================================== c New solution: 6878 c Elapsed CPU time: 48.8076 s Remaining CPU time: 131.192 s c =============================================================================== c | 163 | 1481 1845 467400 | 5000 163 1251 | 0.000 % | c =============================================================================== c New solution: 6877 c Elapsed CPU time: 49.0935 s Remaining CPU time: 130.906 s c =============================================================================== c | 163 | 1481 1846 468750 | 5000 163 1251 | 0.000 % | c =============================================================================== c New solution: 6876 c Elapsed CPU time: 49.3735 s Remaining CPU time: 130.627 s c =============================================================================== c | 163 | 1481 1847 470100 | 5000 163 1251 | 0.000 % | c =============================================================================== c New solution: 6875 c Elapsed CPU time: 49.6764 s Remaining CPU time: 130.324 s c =============================================================================== c | 165 | 1481 1848 471450 | 5000 165 1251 | 0.000 % | c =============================================================================== c New solution: 6874 c Elapsed CPU time: 49.9574 s Remaining CPU time: 130.043 s c =============================================================================== c | 166 | 1481 1849 472800 | 5000 166 1244 | 0.000 % | c =============================================================================== c New solution: 6873 c Elapsed CPU time: 50.2544 s Remaining CPU time: 129.746 s c =============================================================================== c | 169 | 1481 1850 474150 | 5000 169 1244 | 0.000 % | c =============================================================================== c New solution: 6872 c Elapsed CPU time: 50.5643 s Remaining CPU time: 129.436 s c =============================================================================== c | 169 | 1481 1851 475500 | 5000 169 1244 | 0.000 % | c =============================================================================== c New solution: 6871 c Elapsed CPU time: 50.8803 s Remaining CPU time: 129.12 s c =============================================================================== c | 172 | 1481 1852 476850 | 5000 172 1244 | 0.000 % | c =============================================================================== c New solution: 6870 c Elapsed CPU time: 51.1892 s Remaining CPU time: 128.811 s c =============================================================================== c | 174 | 1481 1853 478200 | 5000 174 1245 | 0.000 % | c =============================================================================== c New solution: 6869 c Elapsed CPU time: 51.4832 s Remaining CPU time: 128.517 s c =============================================================================== c | 174 | 1481 1854 479550 | 5000 174 1245 | 0.000 % | c =============================================================================== c New solution: 6868 c Elapsed CPU time: 51.7791 s Remaining CPU time: 128.221 s c =============================================================================== c | 174 | 1481 1855 480900 | 5000 174 1245 | 0.000 % | c =============================================================================== c New solution: 6867 c Elapsed CPU time: 52.0791 s Remaining CPU time: 127.921 s c =============================================================================== c | 174 | 1481 1856 482250 | 5000 174 1245 | 0.000 % | c =============================================================================== c New solution: 6866 c Elapsed CPU time: 52.396 s Remaining CPU time: 127.604 s c =============================================================================== c | 176 | 1481 1857 483600 | 5000 176 1245 | 0.000 % | c =============================================================================== c New solution: 6865 c Elapsed CPU time: 52.699 s Remaining CPU time: 127.301 s c =============================================================================== c | 177 | 1481 1858 484950 | 5000 177 1245 | 0.000 % | c =============================================================================== c New solution: 6864 c Elapsed CPU time: 53.0089 s Remaining CPU time: 126.991 s c =============================================================================== c | 181 | 1481 1859 486300 | 5000 181 1245 | 0.000 % | c =============================================================================== c New solution: 6863 c Elapsed CPU time: 53.3139 s Remaining CPU time: 126.686 s c =============================================================================== c | 184 | 1481 1860 487650 | 5000 184 1246 | 0.000 % | c =============================================================================== c New solution: 6862 c Elapsed CPU time: 53.6318 s Remaining CPU time: 126.368 s c =============================================================================== c | 184 | 1481 1861 489000 | 5000 184 1246 | 0.000 % | c =============================================================================== c New solution: 6861 c Elapsed CPU time: 53.9608 s Remaining CPU time: 126.039 s c =============================================================================== c | 187 | 1481 1862 490350 | 5000 187 1246 | 0.000 % | c =============================================================================== c New solution: 6860 c Elapsed CPU time: 54.2668 s Remaining CPU time: 125.733 s c =============================================================================== c | 187 | 1481 1863 491700 | 5000 187 1246 | 0.000 % | c =============================================================================== c New solution: 6859 c Elapsed CPU time: 54.5777 s Remaining CPU time: 125.422 s c =============================================================================== c | 187 | 1481 1864 493050 | 5000 187 1246 | 0.000 % | c =============================================================================== c New solution: 6858 c Elapsed CPU time: 54.8827 s Remaining CPU time: 125.117 s c =============================================================================== c | 187 | 1481 1865 494400 | 5000 187 1246 | 0.000 % | c =============================================================================== c New solution: 6857 c Elapsed CPU time: 55.1866 s Remaining CPU time: 124.813 s c =============================================================================== c | 188 | 1481 1866 495750 | 5000 188 1246 | 0.000 % | c =============================================================================== c New solution: 6856 c Elapsed CPU time: 55.5106 s Remaining CPU time: 124.489 s c =============================================================================== c | 189 | 1481 1867 497100 | 5000 189 1246 | 0.000 % | c =============================================================================== c New solution: 6855 c Elapsed CPU time: 55.8255 s Remaining CPU time: 124.174 s c =============================================================================== c | 189 | 1481 1868 498450 | 5000 189 1246 | 0.000 % | c =============================================================================== c New solution: 6854 c Elapsed CPU time: 56.1505 s Remaining CPU time: 123.85 s c =============================================================================== c | 189 | 1481 1869 499800 | 5000 189 1246 | 0.000 % | c =============================================================================== c New solution: 6853 c Elapsed CPU time: 56.4534 s Remaining CPU time: 123.547 s c =============================================================================== c | 201 | 1481 1870 501150 | 5000 201 1247 | 0.000 % | c =============================================================================== c New solution: 6852 c Elapsed CPU time: 56.7514 s Remaining CPU time: 123.249 s c =============================================================================== c | 201 | 1481 1871 502500 | 5000 201 1247 | 0.000 % | c =============================================================================== c New solution: 6851 c Elapsed CPU time: 57.0683 s Remaining CPU time: 122.932 s c =============================================================================== c | 201 | 1481 1872 503850 | 5000 201 1247 | 0.000 % | c =============================================================================== c New solution: 6850 c Elapsed CPU time: 57.3803 s Remaining CPU time: 122.62 s c =============================================================================== c | 201 | 1481 1873 505200 | 5000 201 1247 | 0.000 % | c =============================================================================== c New solution: 6849 c Elapsed CPU time: 57.7342 s Remaining CPU time: 122.266 s c =============================================================================== c | 205 | 1481 1874 506550 | 5000 205 1247 | 0.000 % | c =============================================================================== c New solution: 6848 c Elapsed CPU time: 58.0702 s Remaining CPU time: 121.93 s c =============================================================================== c | 206 | 1481 1875 507900 | 5000 206 1247 | 0.000 % | c =============================================================================== c New solution: 6847 c Elapsed CPU time: 58.3821 s Remaining CPU time: 121.618 s c =============================================================================== c | 207 | 1481 1876 509250 | 5000 207 1247 | 0.000 % | c =============================================================================== c New solution: 6846 c Elapsed CPU time: 58.6831 s Remaining CPU time: 121.317 s c =============================================================================== c | 207 | 1481 1877 510600 | 5000 207 1247 | 0.000 % | c =============================================================================== c New solution: 6845 c Elapsed CPU time: 59.006 s Remaining CPU time: 120.994 s c =============================================================================== c | 207 | 1481 1878 511950 | 5000 207 1247 | 0.000 % | c =============================================================================== c New solution: 6844 c Elapsed CPU time: 59.33 s Remaining CPU time: 120.67 s c =============================================================================== c | 207 | 1481 1879 513300 | 5000 207 1247 | 0.000 % | c =============================================================================== c New solution: 6843 c Elapsed CPU time: 59.6589 s Remaining CPU time: 120.341 s c =============================================================================== c | 207 | 1481 1880 514650 | 5000 207 1247 | 0.000 % | c =============================================================================== c New solution: 6842 c Elapsed CPU time: 60.0019 s Remaining CPU time: 119.998 s c =============================================================================== c | 211 | 1481 1881 516000 | 5000 211 1247 | 0.000 % | c =============================================================================== c New solution: 6841 c Elapsed CPU time: 60.3458 s Remaining CPU time: 119.654 s c =============================================================================== c | 213 | 1481 1882 517350 | 5000 213 1248 | 0.000 % | c =============================================================================== c New solution: 6840 c Elapsed CPU time: 60.6788 s Remaining CPU time: 119.321 s c =============================================================================== c | 213 | 1481 1883 518700 | 5000 213 1248 | 0.000 % | c =============================================================================== c New solution: 6839 c Elapsed CPU time: 61.0077 s Remaining CPU time: 118.992 s c =============================================================================== c | 213 | 1481 1884 520050 | 5000 213 1248 | 0.000 % | c =============================================================================== c New solution: 6838 c Elapsed CPU time: 61.3437 s Remaining CPU time: 118.656 s c =============================================================================== c | 215 | 1481 1885 521400 | 5000 215 1248 | 0.000 % | c =============================================================================== c New solution: 6837 c Elapsed CPU time: 61.7436 s Remaining CPU time: 118.256 s c =============================================================================== c | 230 | 1481 1886 522750 | 5000 230 1248 | 0.000 % | c =============================================================================== c New solution: 6836 c Elapsed CPU time: 62.1116 s Remaining CPU time: 117.888 s c =============================================================================== c | 236 | 1481 1887 524100 | 5000 236 1249 | 0.000 % | c =============================================================================== c New solution: 6835 c Elapsed CPU time: 62.4355 s Remaining CPU time: 117.564 s c =============================================================================== c | 236 | 1481 1888 525450 | 5000 236 1249 | 0.000 % | c =============================================================================== c New solution: 6834 c Elapsed CPU time: 62.7545 s Remaining CPU time: 117.246 s c =============================================================================== c | 236 | 1481 1889 526800 | 5000 236 1249 | 0.000 % | c =============================================================================== c New solution: 6833 c Elapsed CPU time: 63.0754 s Remaining CPU time: 116.925 s c =============================================================================== c | 236 | 1481 1890 528150 | 5000 236 1249 | 0.000 % | c =============================================================================== c New solution: 6832 c Elapsed CPU time: 63.4084 s Remaining CPU time: 116.592 s c =============================================================================== c | 238 | 1481 1891 529500 | 5000 238 1249 | 0.000 % | c =============================================================================== c New solution: 6831 c Elapsed CPU time: 63.7283 s Remaining CPU time: 116.272 s c =============================================================================== c | 241 | 1481 1892 530850 | 5000 241 1249 | 0.000 % | c =============================================================================== c New solution: 6830 c Elapsed CPU time: 64.0543 s Remaining CPU time: 115.946 s c =============================================================================== c | 241 | 1481 1893 532200 | 5000 241 1249 | 0.000 % | c =============================================================================== c New solution: 6829 c Elapsed CPU time: 64.3962 s Remaining CPU time: 115.604 s c =============================================================================== c | 242 | 1481 1894 533550 | 5000 242 1249 | 0.000 % | c =============================================================================== c New solution: 6828 c Elapsed CPU time: 64.7422 s Remaining CPU time: 115.258 s c =============================================================================== c | 243 | 1481 1895 534900 | 5000 243 1249 | 0.000 % | c =============================================================================== c New solution: 6827 c Elapsed CPU time: 65.0791 s Remaining CPU time: 114.921 s c =============================================================================== c | 244 | 1481 1896 536250 | 5000 244 1249 | 0.000 % | c =============================================================================== c New solution: 6826 c Elapsed CPU time: 65.451 s Remaining CPU time: 114.549 s c =============================================================================== c | 245 | 1481 1897 537600 | 5000 245 1249 | 0.000 % | c =============================================================================== c New solution: 6825 c Elapsed CPU time: 65.785 s Remaining CPU time: 114.215 s c =============================================================================== c | 245 | 1481 1898 538950 | 5000 245 1249 | 0.000 % | c =============================================================================== c New solution: 6824 c Elapsed CPU time: 66.1109 s Remaining CPU time: 113.889 s c =============================================================================== c | 245 | 1481 1899 540300 | 5000 245 1249 | 0.000 % | c =============================================================================== c New solution: 6823 c Elapsed CPU time: 66.4649 s Remaining CPU time: 113.535 s c =============================================================================== c | 246 | 1481 1900 541650 | 5000 246 1249 | 0.000 % | c =============================================================================== c New solution: 6822 c Elapsed CPU time: 66.8268 s Remaining CPU time: 113.173 s c =============================================================================== c | 247 | 1481 1901 543000 | 5000 247 1249 | 0.000 % | c =============================================================================== c New solution: 6821 c Elapsed CPU time: 67.2438 s Remaining CPU time: 112.756 s c =============================================================================== c | 257 | 1481 1902 544350 | 5000 257 1249 | 0.000 % | c =============================================================================== c New solution: 6820 c Elapsed CPU time: 67.5987 s Remaining CPU time: 112.401 s c =============================================================================== c | 263 | 1481 1903 545700 | 5000 263 1249 | 0.000 % | c =============================================================================== c New solution: 6819 c Elapsed CPU time: 67.9817 s Remaining CPU time: 112.018 s c =============================================================================== c | 264 | 1481 1904 547050 | 5000 264 1249 | 0.000 % | c =============================================================================== c New solution: 6818 c Elapsed CPU time: 68.3306 s Remaining CPU time: 111.669 s c =============================================================================== c | 264 | 1481 1905 548400 | 5000 264 1249 | 0.000 % | c =============================================================================== c New solution: 6817 c Elapsed CPU time: 68.6816 s Remaining CPU time: 111.318 s c =============================================================================== c | 266 | 1481 1906 549750 | 5000 266 1249 | 0.000 % | c =============================================================================== c New solution: 6816 c Elapsed CPU time: 69.0435 s Remaining CPU time: 110.956 s c =============================================================================== c | 266 | 1481 1907 551100 | 5000 266 1249 | 0.000 % | c =============================================================================== c New solution: 6815 c Elapsed CPU time: 69.4354 s Remaining CPU time: 110.565 s c =============================================================================== c | 270 | 1481 1908 552450 | 5000 270 1249 | 0.000 % | c =============================================================================== c New solution: 6814 c Elapsed CPU time: 69.8044 s Remaining CPU time: 110.196 s c =============================================================================== c | 271 | 1481 1909 553800 | 5000 271 1249 | 0.000 % | c =============================================================================== c New solution: 6813 c Elapsed CPU time: 70.1913 s Remaining CPU time: 109.809 s c =============================================================================== c | 273 | 1481 1910 555150 | 5000 273 1250 | 0.000 % | c =============================================================================== c New solution: 6812 c Elapsed CPU time: 70.5803 s Remaining CPU time: 109.42 s c =============================================================================== c | 277 | 1481 1911 556500 | 5000 277 1250 | 0.000 % | c =============================================================================== c New solution: 6811 c Elapsed CPU time: 70.9382 s Remaining CPU time: 109.062 s c =============================================================================== c | 281 | 1481 1912 557850 | 5000 281 1250 | 0.000 % | c =============================================================================== c New solution: 6810 c Elapsed CPU time: 71.3442 s Remaining CPU time: 108.656 s c =============================================================================== c | 289 | 1481 1913 559200 | 5000 289 1250 | 0.000 % | c =============================================================================== c New solution: 6809 c Elapsed CPU time: 71.6911 s Remaining CPU time: 108.309 s c =============================================================================== c | 298 | 1481 1914 560550 | 5000 298 1250 | 0.000 % | c =============================================================================== c New solution: 6808 c Elapsed CPU time: 72.042 s Remaining CPU time: 107.958 s c =============================================================================== c | 298 | 1481 1915 561900 | 5000 298 1250 | 0.000 % | c =============================================================================== c New solution: 6807 c Elapsed CPU time: 72.377 s Remaining CPU time: 107.623 s c =============================================================================== c | 298 | 1481 1916 563250 | 5000 298 1250 | 0.000 % | c =============================================================================== c New solution: 6806 c Elapsed CPU time: 72.7079 s Remaining CPU time: 107.292 s c =============================================================================== c | 298 | 1481 1917 564600 | 5000 298 1250 | 0.000 % | c =============================================================================== c New solution: 6805 c Elapsed CPU time: 73.1079 s Remaining CPU time: 106.892 s c =============================================================================== c | 302 | 1481 1918 565950 | 5000 302 1250 | 0.000 % | c =============================================================================== c New solution: 6804 c Elapsed CPU time: 73.4688 s Remaining CPU time: 106.531 s c =============================================================================== c | 302 | 1481 1919 567300 | 5000 302 1250 | 0.000 % | c =============================================================================== c New solution: 6803 c Elapsed CPU time: 73.8378 s Remaining CPU time: 106.162 s c =============================================================================== c | 305 | 1481 1920 568650 | 5000 305 1250 | 0.000 % | c =============================================================================== c New solution: 6802 c Elapsed CPU time: 74.1897 s Remaining CPU time: 105.81 s c =============================================================================== c | 305 | 1481 1921 570000 | 5000 305 1250 | 0.000 % | c =============================================================================== c New solution: 6801 c Elapsed CPU time: 74.5627 s Remaining CPU time: 105.437 s c =============================================================================== c | 306 | 1481 1922 571350 | 5000 306 1250 | 0.000 % | c =============================================================================== c New solution: 6800 c Elapsed CPU time: 74.9156 s Remaining CPU time: 105.084 s c =============================================================================== c | 306 | 1481 1923 572700 | 5000 306 1250 | 0.000 % | c =============================================================================== c New solution: 6799 c Elapsed CPU time: 75.2776 s Remaining CPU time: 104.722 s c =============================================================================== c | 306 | 1481 1924 574050 | 5000 306 1250 | 0.000 % | c =============================================================================== c New solution: 6798 c Elapsed CPU time: 75.6245 s Remaining CPU time: 104.375 s c =============================================================================== c | 308 | 1481 1925 575400 | 5000 308 1250 | 0.000 % | c =============================================================================== c New solution: 6797 c Elapsed CPU time: 75.9954 s Remaining CPU time: 104.005 s c =============================================================================== c | 308 | 1481 1926 576750 | 5000 308 1250 | 0.000 % | c =============================================================================== c New solution: 6796 c Elapsed CPU time: 76.3564 s Remaining CPU time: 103.644 s c =============================================================================== c | 308 | 1481 1927 578100 | 5000 308 1250 | 0.000 % | c =============================================================================== c New solution: 6795 c Elapsed CPU time: 76.7123 s Remaining CPU time: 103.288 s c =============================================================================== c | 309 | 1481 1928 579450 | 5000 309 1250 | 0.000 % | c =============================================================================== c New solution: 6794 c Elapsed CPU time: 77.0733 s Remaining CPU time: 102.927 s c =============================================================================== c | 312 | 1481 1929 580800 | 5000 312 1250 | 0.000 % | c =============================================================================== c New solution: 6793 c Elapsed CPU time: 77.4222 s Remaining CPU time: 102.578 s c =============================================================================== c | 312 | 1481 1930 582150 | 5000 312 1250 | 0.000 % | c =============================================================================== c New solution: 6792 c Elapsed CPU time: 77.8072 s Remaining CPU time: 102.193 s c =============================================================================== c | 313 | 1481 1931 583500 | 5000 313 1250 | 0.000 % | c =============================================================================== c New solution: 6791 c Elapsed CPU time: 78.1901 s Remaining CPU time: 101.81 s c =============================================================================== c | 313 | 1481 1932 584850 | 5000 313 1250 | 0.000 % | c =============================================================================== c New solution: 6790 c Elapsed CPU time: 78.5571 s Remaining CPU time: 101.443 s c =============================================================================== c | 314 | 1481 1933 586200 | 5000 314 1250 | 0.000 % | c =============================================================================== c New solution: 6789 c Elapsed CPU time: 78.918 s Remaining CPU time: 101.082 s c =============================================================================== c | 314 | 1481 1934 587550 | 5000 314 1250 | 0.000 % | c =============================================================================== c New solution: 6788 c Elapsed CPU time: 79.2829 s Remaining CPU time: 100.717 s c =============================================================================== c | 316 | 1481 1935 588900 | 5000 316 1250 | 0.000 % | c =============================================================================== c New solution: 6787 c Elapsed CPU time: 79.6579 s Remaining CPU time: 100.342 s c =============================================================================== c | 316 | 1481 1936 590250 | 5000 316 1250 | 0.000 % | c =============================================================================== c New solution: 6786 c Elapsed CPU time: 80.0818 s Remaining CPU time: 99.9182 s c =============================================================================== c | 317 | 1481 1937 591600 | 5000 317 1250 | 0.000 % | c =============================================================================== c New solution: 6785 c Elapsed CPU time: 80.4488 s Remaining CPU time: 99.5512 s c =============================================================================== c | 317 | 1481 1938 592950 | 5000 317 1250 | 0.000 % | c =============================================================================== c New solution: 6784 c Elapsed CPU time: 80.8297 s Remaining CPU time: 99.1703 s c =============================================================================== c | 317 | 1481 1939 594300 | 5000 317 1250 | 0.000 % | c =============================================================================== c New solution: 6783 c Elapsed CPU time: 81.3076 s Remaining CPU time: 98.6924 s c =============================================================================== c | 322 | 1481 1940 595650 | 5000 322 1250 | 0.000 % | c =============================================================================== c New solution: 6782 c Elapsed CPU time: 81.6936 s Remaining CPU time: 98.3064 s c =============================================================================== c | 322 | 1481 1941 597000 | 5000 322 1250 | 0.000 % | c =============================================================================== c New solution: 6781 c Elapsed CPU time: 82.0695 s Remaining CPU time: 97.9305 s c =============================================================================== c | 322 | 1481 1942 598350 | 5000 322 1250 | 0.000 % | c =============================================================================== c New solution: 6780 c Elapsed CPU time: 82.4725 s Remaining CPU time: 97.5275 s c =============================================================================== c | 322 | 1481 1943 599700 | 5000 322 1250 | 0.000 % | c =============================================================================== c New solution: 6779 c Elapsed CPU time: 82.8544 s Remaining CPU time: 97.1456 s c =============================================================================== c | 325 | 1481 1944 601050 | 5000 325 1250 | 0.000 % | c =============================================================================== c New solution: 6778 c Elapsed CPU time: 83.2193 s Remaining CPU time: 96.7807 s c =============================================================================== c | 328 | 1481 1945 602400 | 5000 328 1250 | 0.000 % | c =============================================================================== c New solution: 6777 c Elapsed CPU time: 83.5853 s Remaining CPU time: 96.4147 s c =============================================================================== c | 328 | 1481 1946 603750 | 5000 328 1250 | 0.000 % | c =============================================================================== c New solution: 6776 c Elapsed CPU time: 83.9622 s Remaining CPU time: 96.0378 s c =============================================================================== c | 328 | 1481 1947 605100 | 5000 328 1250 | 0.000 % | c =============================================================================== c New solution: 6775 c Elapsed CPU time: 84.3582 s Remaining CPU time: 95.6418 s c =============================================================================== c | 329 | 1481 1948 606450 | 5000 329 1250 | 0.000 % | c =============================================================================== c New solution: 6774 c Elapsed CPU time: 84.7341 s Remaining CPU time: 95.2659 s c =============================================================================== c | 330 | 1481 1949 607800 | 5000 330 1246 | 0.000 % | c =============================================================================== c New solution: 6773 c Elapsed CPU time: 85.0981 s Remaining CPU time: 94.9019 s c =============================================================================== c | 330 | 1481 1950 609150 | 5000 330 1246 | 0.000 % | c =============================================================================== c New solution: 6772 c Elapsed CPU time: 85.493 s Remaining CPU time: 94.507 s c =============================================================================== c | 332 | 1481 1951 610500 | 5000 332 1246 | 0.000 % | c =============================================================================== c New solution: 6771 c Elapsed CPU time: 85.8619 s Remaining CPU time: 94.1381 s c =============================================================================== c | 332 | 1481 1952 611850 | 5000 332 1246 | 0.000 % | c =============================================================================== c New solution: 6770 c Elapsed CPU time: 86.2629 s Remaining CPU time: 93.7371 s c =============================================================================== c | 333 | 1481 1953 613200 | 5000 333 1246 | 0.000 % | c =============================================================================== c New solution: 6769 c Elapsed CPU time: 86.6558 s Remaining CPU time: 93.3442 s c =============================================================================== c | 333 | 1481 1954 614550 | 5000 333 1246 | 0.000 % | c =============================================================================== c New solution: 6768 c Elapsed CPU time: 87.0268 s Remaining CPU time: 92.9732 s c =============================================================================== c | 334 | 1481 1955 615900 | 5000 334 1246 | 0.000 % | c =============================================================================== c New solution: 6767 c Elapsed CPU time: 87.4367 s Remaining CPU time: 92.5633 s c =============================================================================== c | 334 | 1481 1956 617250 | 5000 334 1246 | 0.000 % | c =============================================================================== c New solution: 6766 c Elapsed CPU time: 87.8166 s Remaining CPU time: 92.1834 s c =============================================================================== c | 334 | 1481 1957 618600 | 5000 334 1246 | 0.000 % | c =============================================================================== c New solution: 6765 c Elapsed CPU time: 88.2276 s Remaining CPU time: 91.7724 s c =============================================================================== c | 334 | 1481 1958 619950 | 5000 334 1246 | 0.000 % | c =============================================================================== c New solution: 6764 c Elapsed CPU time: 88.7175 s Remaining CPU time: 91.2825 s c =============================================================================== c | 349 | 1481 1959 621300 | 5000 349 1246 | 0.000 % | c =============================================================================== c New solution: 6763 c Elapsed CPU time: 89.1065 s Remaining CPU time: 90.8935 s c =============================================================================== c | 349 | 1481 1960 622650 | 5000 349 1246 | 0.000 % | c =============================================================================== c New solution: 6762 c Elapsed CPU time: 89.4924 s Remaining CPU time: 90.5076 s c =============================================================================== c | 349 | 1481 1961 624000 | 5000 349 1246 | 0.000 % | c =============================================================================== c New solution: 6761 c Elapsed CPU time: 89.9153 s Remaining CPU time: 90.0847 s c =============================================================================== c | 350 | 1481 1962 625350 | 5000 350 1246 | 0.000 % | c =============================================================================== c New solution: 6760 c Elapsed CPU time: 90.4972 s Remaining CPU time: 89.5028 s c =============================================================================== c | 376 | 1481 1963 626700 | 5000 376 1246 | 0.000 % | c =============================================================================== c New solution: 6759 c Elapsed CPU time: 90.9022 s Remaining CPU time: 89.0978 s c =============================================================================== c | 378 | 1481 1964 628050 | 5000 378 1246 | 0.000 % | c =============================================================================== c New solution: 6758 c Elapsed CPU time: 91.3001 s Remaining CPU time: 88.6999 s c =============================================================================== c | 381 | 1481 1965 629400 | 5000 381 1246 | 0.000 % | c =============================================================================== c New solution: 6757 c Elapsed CPU time: 91.796 s Remaining CPU time: 88.204 s c =============================================================================== c | 414 | 1481 1966 630750 | 5000 414 1246 | 0.000 % | c =============================================================================== c New solution: 6756 c Elapsed CPU time: 92.203 s Remaining CPU time: 87.797 s c =============================================================================== c | 430 | 1481 1967 632100 | 5000 430 1243 | 0.000 % | c =============================================================================== c New solution: 6755 c Elapsed CPU time: 92.5819 s Remaining CPU time: 87.4181 s c =============================================================================== c | 430 | 1481 1968 633450 | 5000 430 1243 | 0.000 % | c =============================================================================== c New solution: 6754 c Elapsed CPU time: 92.9979 s Remaining CPU time: 87.0021 s c =============================================================================== c | 431 | 1481 1969 634800 | 5000 431 1243 | 0.000 % | c =============================================================================== c New solution: 6753 c Elapsed CPU time: 93.4518 s Remaining CPU time: 86.5482 s c =============================================================================== c | 434 | 1481 1970 636150 | 5000 434 1243 | 0.000 % | c =============================================================================== c New solution: 6752 c Elapsed CPU time: 93.8867 s Remaining CPU time: 86.1133 s c =============================================================================== c | 435 | 1481 1971 637500 | 5000 435 1243 | 0.000 % | c =============================================================================== c New solution: 6751 c Elapsed CPU time: 94.2877 s Remaining CPU time: 85.7123 s c =============================================================================== c | 438 | 1481 1972 638850 | 5000 438 1243 | 0.000 % | c =============================================================================== c New solution: 6750 c Elapsed CPU time: 94.6776 s Remaining CPU time: 85.3224 s c =============================================================================== c | 438 | 1481 1973 640200 | 5000 438 1243 | 0.000 % | c =============================================================================== c New solution: 6749 c Elapsed CPU time: 95.0965 s Remaining CPU time: 84.9035 s c =============================================================================== c | 439 | 1481 1974 641550 | 5000 439 1243 | 0.000 % | c =============================================================================== c New solution: 6748 c Elapsed CPU time: 95.5075 s Remaining CPU time: 84.4925 s c =============================================================================== c | 439 | 1481 1975 642900 | 5000 439 1243 | 0.000 % | c =============================================================================== c New solution: 6747 c Elapsed CPU time: 95.9184 s Remaining CPU time: 84.0816 s c =============================================================================== c | 439 | 1481 1976 644250 | 5000 439 1243 | 0.000 % | c =============================================================================== c New solution: 6746 c Elapsed CPU time: 96.3034 s Remaining CPU time: 83.6966 s c =============================================================================== c | 439 | 1481 1977 645600 | 5000 439 1243 | 0.000 % | c =============================================================================== c New solution: 6745 c Elapsed CPU time: 96.7273 s Remaining CPU time: 83.2727 s c =============================================================================== c | 441 | 1481 1978 646950 | 5000 441 1243 | 0.000 % | c =============================================================================== c New solution: 6744 c Elapsed CPU time: 97.1872 s Remaining CPU time: 82.8128 s c =============================================================================== c | 444 | 1481 1979 648300 | 5000 444 1243 | 0.000 % | c =============================================================================== c New solution: 6743 c Elapsed CPU time: 97.5762 s Remaining CPU time: 82.4238 s c =============================================================================== c | 444 | 1481 1980 649650 | 5000 444 1243 | 0.000 % | c =============================================================================== c New solution: 6742 c Elapsed CPU time: 97.9841 s Remaining CPU time: 82.0159 s c =============================================================================== c | 444 | 1481 1981 651000 | 5000 444 1243 | 0.000 % | c =============================================================================== c New solution: 6741 c Elapsed CPU time: 98.402 s Remaining CPU time: 81.598 s c =============================================================================== c | 444 | 1481 1982 652350 | 5000 444 1243 | 0.000 % | c =============================================================================== c New solution: 6740 c Elapsed CPU time: 98.808 s Remaining CPU time: 81.192 s c =============================================================================== c | 444 | 1481 1983 653700 | 5000 444 1243 | 0.000 % | c =============================================================================== c New solution: 6739 c Elapsed CPU time: 99.2179 s Remaining CPU time: 80.7821 s c =============================================================================== c | 444 | 1481 1984 655050 | 5000 444 1243 | 0.000 % | c =============================================================================== c New solution: 6738 c Elapsed CPU time: 99.6229 s Remaining CPU time: 80.3771 s c =============================================================================== c | 448 | 1481 1985 656400 | 5000 448 1243 | 0.000 % | c =============================================================================== c New solution: 6737 c Elapsed CPU time: 100.026 s Remaining CPU time: 79.9742 s c =============================================================================== c | 449 | 1481 1986 657750 | 5000 449 1243 | 0.000 % | c =============================================================================== c New solution: 6736 c Elapsed CPU time: 100.445 s Remaining CPU time: 79.5553 s c =============================================================================== c | 451 | 1481 1987 659100 | 5000 451 1243 | 0.000 % | c =============================================================================== c New solution: 6735 c Elapsed CPU time: 100.832 s Remaining CPU time: 79.1683 s c =============================================================================== c | 451 | 1481 1988 660450 | 5000 451 1243 | 0.000 % | c =============================================================================== c New solution: 6734 c Elapsed CPU time: 101.241 s Remaining CPU time: 78.7594 s c =============================================================================== c | 452 | 1481 1989 661800 | 5000 452 1243 | 0.000 % | c =============================================================================== c New solution: 6733 c Elapsed CPU time: 101.645 s Remaining CPU time: 78.3555 s c =============================================================================== c | 452 | 1481 1990 663150 | 5000 452 1243 | 0.000 % | c =============================================================================== c New solution: 6732 c Elapsed CPU time: 102.044 s Remaining CPU time: 77.9555 s c =============================================================================== c | 452 | 1481 1991 664500 | 5000 452 1243 | 0.000 % | c =============================================================================== c New solution: 6731 c Elapsed CPU time: 102.562 s Remaining CPU time: 77.4376 s c =============================================================================== c | 460 | 1481 1992 665850 | 5000 460 1243 | 0.000 % | c =============================================================================== c New solution: 6730 c Elapsed CPU time: 102.965 s Remaining CPU time: 77.0347 s c =============================================================================== c | 460 | 1481 1993 667200 | 5000 460 1243 | 0.000 % | c =============================================================================== c New solution: 6729 c Elapsed CPU time: 103.466 s Remaining CPU time: 76.5337 s c =============================================================================== c | 466 | 1481 1994 668550 | 5000 466 1243 | 0.000 % | c =============================================================================== c New solution: 6728 c Elapsed CPU time: 103.886 s Remaining CPU time: 76.1138 s c =============================================================================== c | 466 | 1481 1995 669900 | 5000 466 1243 | 0.000 % | c =============================================================================== c New solution: 6727 c Elapsed CPU time: 104.319 s Remaining CPU time: 75.6809 s c =============================================================================== c | 468 | 1481 1996 671250 | 5000 468 1243 | 0.000 % | c =============================================================================== c New solution: 6726 c Elapsed CPU time: 104.808 s Remaining CPU time: 75.1919 s c =============================================================================== c | 480 | 1481 1997 672600 | 5000 480 1242 | 0.000 % | c =============================================================================== c New solution: 6725 c Elapsed CPU time: 105.519 s Remaining CPU time: 74.481 s c =============================================================================== c | 519 | 1481 1998 673950 | 5000 519 1242 | 0.000 % | c =============================================================================== c New solution: 6724 c Elapsed CPU time: 105.952 s Remaining CPU time: 74.0481 s c =============================================================================== c | 520 | 1481 1999 675300 | 5000 520 1242 | 0.000 % | c =============================================================================== c New solution: 6723 c Elapsed CPU time: 106.514 s Remaining CPU time: 73.4862 s c =============================================================================== c | 530 | 1481 2000 676650 | 5000 530 1242 | 0.000 % | c =============================================================================== c New solution: 6722 c Elapsed CPU time: 106.955 s Remaining CPU time: 73.0453 s c =============================================================================== c | 535 | 1481 2001 678000 | 5000 535 1242 | 0.000 % | c =============================================================================== c New solution: 6721 c Elapsed CPU time: 107.383 s Remaining CPU time: 72.6173 s c =============================================================================== c | 535 | 1481 2002 679350 | 5000 535 1242 | 0.000 % | c =============================================================================== c New solution: 6720 c Elapsed CPU time: 107.8 s Remaining CPU time: 72.2004 s c =============================================================================== c | 535 | 1481 2003 680700 | 5000 535 1242 | 0.000 % | c =============================================================================== c New solution: 6719 c Elapsed CPU time: 108.233 s Remaining CPU time: 71.7675 s c =============================================================================== c | 535 | 1481 2004 682050 | 5000 535 1242 | 0.000 % | c =============================================================================== c New solution: 6718 c Elapsed CPU time: 108.647 s Remaining CPU time: 71.3525 s c =============================================================================== c | 537 | 1481 2005 683400 | 5000 537 1242 | 0.000 % | c =============================================================================== c New solution: 6717 c Elapsed CPU time: 109.111 s Remaining CPU time: 70.8886 s c =============================================================================== c | 538 | 1481 2006 684750 | 5000 538 1242 | 0.000 % | c =============================================================================== c New solution: 6716 c Elapsed CPU time: 109.555 s Remaining CPU time: 70.4447 s c =============================================================================== c | 540 | 1481 2007 686100 | 5000 540 1242 | 0.000 % | c =============================================================================== c New solution: 6715 c Elapsed CPU time: 110.005 s Remaining CPU time: 69.9947 s c =============================================================================== c | 545 | 1481 2008 687450 | 5000 545 1242 | 0.000 % | c =============================================================================== c New solution: 6714 c Elapsed CPU time: 110.445 s Remaining CPU time: 69.5548 s c =============================================================================== c | 557 | 1481 2009 688800 | 5000 557 1242 | 0.000 % | c =============================================================================== c New solution: 6713 c Elapsed CPU time: 110.859 s Remaining CPU time: 69.1409 s c =============================================================================== c | 557 | 1481 2010 690150 | 5000 557 1242 | 0.000 % | c =============================================================================== c New solution: 6712 c Elapsed CPU time: 111.306 s Remaining CPU time: 68.6939 s c =============================================================================== c | 559 | 1481 2011 691500 | 5000 559 1242 | 0.000 % | c =============================================================================== c New solution: 6711 c Elapsed CPU time: 111.766 s Remaining CPU time: 68.234 s c =============================================================================== c | 561 | 1481 2012 692850 | 5000 561 1242 | 0.000 % | c =============================================================================== c New solution: 6710 c Elapsed CPU time: 112.416 s Remaining CPU time: 67.5841 s c =============================================================================== c | 592 | 1481 2013 694200 | 5000 592 1242 | 0.000 % | c =============================================================================== c New solution: 6709 c Elapsed CPU time: 112.974 s Remaining CPU time: 67.0262 s c =============================================================================== c | 607 | 1481 2014 695550 | 5000 607 1241 | 0.000 % | c =============================================================================== c New solution: 6708 c Elapsed CPU time: 113.395 s Remaining CPU time: 66.6052 s c =============================================================================== c | 607 | 1481 2015 696900 | 5000 607 1241 | 0.000 % | c =============================================================================== c New solution: 6707 c Elapsed CPU time: 113.869 s Remaining CPU time: 66.1313 s c =============================================================================== c | 607 | 1481 2016 698250 | 5000 607 1241 | 0.000 % | c =============================================================================== c New solution: 6706 c Elapsed CPU time: 114.302 s Remaining CPU time: 65.6984 s c =============================================================================== c | 609 | 1481 2017 699600 | 5000 609 1241 | 0.000 % | c =============================================================================== c New solution: 6705 c Elapsed CPU time: 114.753 s Remaining CPU time: 65.2474 s c =============================================================================== c | 611 | 1481 2018 700950 | 5000 611 1241 | 0.000 % | c =============================================================================== c New solution: 6704 c Elapsed CPU time: 115.22 s Remaining CPU time: 64.7795 s c =============================================================================== c | 614 | 1481 2019 702300 | 5000 614 1241 | 0.000 % | c =============================================================================== c New solution: 6703 c Elapsed CPU time: 115.661 s Remaining CPU time: 64.3386 s c =============================================================================== c | 615 | 1481 2020 703650 | 5000 615 1241 | 0.000 % | c =============================================================================== c New solution: 6702 c Elapsed CPU time: 116.12 s Remaining CPU time: 63.8797 s c =============================================================================== c | 619 | 1481 2021 705000 | 5000 619 1241 | 0.000 % | c =============================================================================== c New solution: 6701 c Elapsed CPU time: 116.601 s Remaining CPU time: 63.3987 s c =============================================================================== c | 620 | 1481 2022 706350 | 5000 620 1241 | 0.000 % | c =============================================================================== c New solution: 6700 c Elapsed CPU time: 117.04 s Remaining CPU time: 62.9598 s c =============================================================================== c | 622 | 1481 2023 707700 | 5000 622 1241 | 0.000 % | c =============================================================================== c New solution: 6699 c Elapsed CPU time: 117.458 s Remaining CPU time: 62.5419 s c =============================================================================== c | 622 | 1481 2024 709050 | 5000 622 1241 | 0.000 % | c =============================================================================== c New solution: 6698 c Elapsed CPU time: 117.894 s Remaining CPU time: 62.1059 s c =============================================================================== c | 622 | 1481 2025 710400 | 5000 622 1241 | 0.000 % | c =============================================================================== c New solution: 6697 c Elapsed CPU time: 118.394 s Remaining CPU time: 61.606 s c =============================================================================== c | 632 | 1481 2026 711750 | 5000 632 1241 | 0.000 % | c =============================================================================== c New solution: 6696 c Elapsed CPU time: 118.823 s Remaining CPU time: 61.1771 s c =============================================================================== c | 632 | 1481 2027 713100 | 5000 632 1241 | 0.000 % | c =============================================================================== c New solution: 6695 c Elapsed CPU time: 119.354 s Remaining CPU time: 60.6461 s c =============================================================================== c | 641 | 1481 2028 714450 | 5000 641 1241 | 0.000 % | c =============================================================================== c New solution: 6694 c Elapsed CPU time: 119.93 s Remaining CPU time: 60.0702 s c =============================================================================== c | 655 | 1481 2029 715800 | 5000 655 1241 | 0.000 % | c =============================================================================== c New solution: 6693 c Elapsed CPU time: 120.372 s Remaining CPU time: 59.6283 s c =============================================================================== c | 655 | 1481 2030 717150 | 5000 655 1241 | 0.000 % | c =============================================================================== c New solution: 6692 c Elapsed CPU time: 120.986 s Remaining CPU time: 59.0144 s c =============================================================================== c | 677 | 1481 2031 718500 | 5000 677 1241 | 0.000 % | c =============================================================================== c New solution: 6691 c Elapsed CPU time: 121.427 s Remaining CPU time: 58.5735 s c =============================================================================== c | 677 | 1481 2032 719850 | 5000 677 1241 | 0.000 % | c =============================================================================== c New solution: 6690 c Elapsed CPU time: 121.878 s Remaining CPU time: 58.1215 s c =============================================================================== c | 677 | 1481 2033 721200 | 5000 677 1241 | 0.000 % | c =============================================================================== c New solution: 6689 c Elapsed CPU time: 122.342 s Remaining CPU time: 57.6576 s c =============================================================================== c | 678 | 1481 2034 722550 | 5000 678 1241 | 0.000 % | c =============================================================================== c New solution: 6688 c Elapsed CPU time: 122.844 s Remaining CPU time: 57.1557 s c =============================================================================== c | 683 | 1481 2035 723900 | 5000 683 1241 | 0.000 % | c =============================================================================== c New solution: 6687 c Elapsed CPU time: 123.308 s Remaining CPU time: 56.6917 s c =============================================================================== c | 686 | 1481 2036 725250 | 5000 686 1241 | 0.000 % | c =============================================================================== c New solution: 6686 c Elapsed CPU time: 123.881 s Remaining CPU time: 56.1188 s c =============================================================================== c | 702 | 1481 2037 726600 | 5000 702 1240 | 0.000 % | c =============================================================================== c New solution: 6685 c Elapsed CPU time: 124.373 s Remaining CPU time: 55.6269 s c =============================================================================== c | 713 | 1481 2038 727950 | 5000 713 1240 | 0.000 % | c =============================================================================== c New solution: 6684 c Elapsed CPU time: 124.843 s Remaining CPU time: 55.157 s c =============================================================================== c | 715 | 1481 2039 729300 | 5000 715 1240 | 0.000 % | c =============================================================================== c New solution: 6683 c Elapsed CPU time: 125.39 s Remaining CPU time: 54.6101 s c =============================================================================== c | 732 | 1481 2040 730650 | 5000 732 1240 | 0.000 % | c =============================================================================== c New solution: 6682 c Elapsed CPU time: 125.924 s Remaining CPU time: 54.0761 s c =============================================================================== c | 744 | 1481 2041 732000 | 5000 744 1240 | 0.000 % | c =============================================================================== c New solution: 6681 c Elapsed CPU time: 126.377 s Remaining CPU time: 53.6232 s c =============================================================================== c | 745 | 1481 2042 733350 | 5000 745 1240 | 0.000 % | c =============================================================================== c New solution: 6680 c Elapsed CPU time: 126.828 s Remaining CPU time: 53.1723 s c =============================================================================== c | 745 | 1481 2043 734700 | 5000 745 1240 | 0.000 % | c =============================================================================== c New solution: 6679 c Elapsed CPU time: 127.286 s Remaining CPU time: 52.7144 s c =============================================================================== c | 748 | 1481 2044 736050 | 5000 748 1240 | 0.000 % | c =============================================================================== c New solution: 6678 c Elapsed CPU time: 127.782 s Remaining CPU time: 52.2184 s c =============================================================================== c | 750 | 1481 2045 737400 | 5000 750 1240 | 0.000 % | c =============================================================================== c New solution: 6677 c Elapsed CPU time: 128.252 s Remaining CPU time: 51.7485 s c =============================================================================== c | 753 | 1481 2046 738750 | 5000 753 1240 | 0.000 % | c =============================================================================== c New solution: 6676 c Elapsed CPU time: 128.837 s Remaining CPU time: 51.1626 s c =============================================================================== c | 775 | 1481 2047 740100 | 5000 775 1239 | 0.000 % | c =============================================================================== c New solution: 6675 c Elapsed CPU time: 129.275 s Remaining CPU time: 50.7247 s c =============================================================================== c | 775 | 1481 2048 741450 | 5000 775 1239 | 0.000 % | c =============================================================================== c New solution: 6674 c Elapsed CPU time: 129.743 s Remaining CPU time: 50.2567 s c =============================================================================== c | 777 | 1481 2049 742800 | 5000 777 1238 | 0.000 % | c =============================================================================== c New solution: 6673 c Elapsed CPU time: 130.208 s Remaining CPU time: 49.7918 s c =============================================================================== c | 777 | 1481 2050 744150 | 5000 777 1238 | 0.000 % | c =============================================================================== c New solution: 6672 c Elapsed CPU time: 130.65 s Remaining CPU time: 49.3499 s c =============================================================================== c | 778 | 1481 2051 745500 | 5000 778 1238 | 0.000 % | c =============================================================================== c New solution: 6671 c Elapsed CPU time: 131.12 s Remaining CPU time: 48.8799 s c =============================================================================== c | 782 | 1481 2052 746850 | 5000 782 1238 | 0.000 % | c =============================================================================== c New solution: 6670 c Elapsed CPU time: 131.566 s Remaining CPU time: 48.434 s c =============================================================================== c | 786 | 1481 2053 748200 | 5000 786 1238 | 0.000 % | c =============================================================================== c New solution: 6669 c Elapsed CPU time: 132.018 s Remaining CPU time: 47.9821 s c =============================================================================== c | 787 | 1481 2054 749550 | 5000 787 1237 | 0.000 % | c =============================================================================== c New solution: 6668 c Elapsed CPU time: 132.497 s Remaining CPU time: 47.5031 s c =============================================================================== c | 793 | 1481 2055 750900 | 5000 793 1237 | 0.000 % | c =============================================================================== c New solution: 6667 c Elapsed CPU time: 132.942 s Remaining CPU time: 47.0582 s c =============================================================================== c | 793 | 1481 2056 752250 | 5000 793 1237 | 0.000 % | c =============================================================================== c New solution: 6666 c Elapsed CPU time: 133.409 s Remaining CPU time: 46.5913 s c =============================================================================== c | 796 | 1481 2057 753600 | 5000 796 1237 | 0.000 % | c =============================================================================== c New solution: 6665 c Elapsed CPU time: 133.901 s Remaining CPU time: 46.0994 s c =============================================================================== c | 804 | 1481 2058 754950 | 5000 804 1237 | 0.000 % | c =============================================================================== c New solution: 6664 c Elapsed CPU time: 134.289 s Remaining CPU time: 45.7114 s c =============================================================================== c | 804 | 1481 2059 756300 | 5000 804 1237 | 0.000 % | c =============================================================================== c New solution: 6663 c Elapsed CPU time: 134.665 s Remaining CPU time: 45.3355 s c =============================================================================== c | 804 | 1481 2060 757650 | 5000 804 1237 | 0.000 % | c =============================================================================== c New solution: 6662 c Elapsed CPU time: 135.027 s Remaining CPU time: 44.9725 s c =============================================================================== c | 804 | 1481 2061 759000 | 5000 804 1237 | 0.000 % | c =============================================================================== c New solution: 6661 c Elapsed CPU time: 135.405 s Remaining CPU time: 44.5946 s c =============================================================================== c | 804 | 1481 2062 760350 | 5000 804 1237 | 0.000 % | c =============================================================================== c New solution: 6660 c Elapsed CPU time: 135.786 s Remaining CPU time: 44.2136 s c =============================================================================== c | 804 | 1481 2063 761700 | 5000 804 1237 | 0.000 % | c =============================================================================== c New solution: 6659 c Elapsed CPU time: 136.374 s Remaining CPU time: 43.6257 s c =============================================================================== c | 825 | 1481 2064 763050 | 5000 825 1237 | 0.000 % | c =============================================================================== c New solution: 6658 c Elapsed CPU time: 136.742 s Remaining CPU time: 43.2578 s c =============================================================================== c | 825 | 1481 2065 764400 | 5000 825 1237 | 0.000 % | c =============================================================================== c New solution: 6657 c Elapsed CPU time: 137.173 s Remaining CPU time: 42.8269 s c =============================================================================== c | 828 | 1481 2066 765750 | 5000 828 1237 | 0.000 % | c =============================================================================== c New solution: 6656 c Elapsed CPU time: 137.599 s Remaining CPU time: 42.4009 s c =============================================================================== c | 832 | 1481 2067 767100 | 5000 832 1237 | 0.000 % | c =============================================================================== c New solution: 6655 c Elapsed CPU time: 138.212 s Remaining CPU time: 41.788 s c =============================================================================== c | 854 | 1481 2068 768450 | 5000 854 1235 | 0.000 % | c =============================================================================== c New solution: 6654 c Elapsed CPU time: 138.611 s Remaining CPU time: 41.3891 s c =============================================================================== c | 855 | 1481 2069 769800 | 5000 855 1235 | 0.000 % | c =============================================================================== c New solution: 6653 c Elapsed CPU time: 139.216 s Remaining CPU time: 40.7842 s c =============================================================================== c | 882 | 1481 2070 771150 | 5000 882 1235 | 0.000 % | c =============================================================================== c New solution: 6652 c Elapsed CPU time: 139.648 s Remaining CPU time: 40.3522 s c =============================================================================== c | 889 | 1481 2071 772500 | 5000 889 1235 | 0.000 % | c =============================================================================== c New solution: 6651 c Elapsed CPU time: 140.041 s Remaining CPU time: 39.9593 s c =============================================================================== c | 892 | 1481 2072 773850 | 5000 892 1235 | 0.000 % | c =============================================================================== c New solution: 6650 c Elapsed CPU time: 140.426 s Remaining CPU time: 39.5743 s c =============================================================================== c | 893 | 1481 2073 775200 | 5000 893 1235 | 0.000 % | c =============================================================================== c New solution: 6649 c Elapsed CPU time: 140.971 s Remaining CPU time: 39.0294 s c =============================================================================== c | 916 | 1481 2074 776550 | 5000 916 1234 | 0.000 % | c =============================================================================== c New solution: 6648 c Elapsed CPU time: 141.337 s Remaining CPU time: 38.6635 s c =============================================================================== c | 916 | 1481 2075 777900 | 5000 916 1234 | 0.000 % | c =============================================================================== c New solution: 6647 c Elapsed CPU time: 141.732 s Remaining CPU time: 38.2675 s c =============================================================================== c | 921 | 1481 2076 779250 | 5000 921 1234 | 0.000 % | c =============================================================================== c New solution: 6646 c Elapsed CPU time: 142.127 s Remaining CPU time: 37.8726 s c =============================================================================== c | 923 | 1481 2077 780600 | 5000 923 1234 | 0.000 % | c =============================================================================== c New solution: 6645 c Elapsed CPU time: 142.521 s Remaining CPU time: 37.4787 s c =============================================================================== c | 925 | 1481 2078 781950 | 5000 925 1234 | 0.000 % | c =============================================================================== c New solution: 6644 c Elapsed CPU time: 143.005 s Remaining CPU time: 36.9947 s c =============================================================================== c | 939 | 1481 2079 783300 | 5000 939 1234 | 0.000 % | c =============================================================================== c New solution: 6643 c Elapsed CPU time: 143.403 s Remaining CPU time: 36.5968 s c =============================================================================== c | 941 | 1481 2080 784650 | 5000 941 1234 | 0.000 % | c =============================================================================== c New solution: 6642 c Elapsed CPU time: 143.791 s Remaining CPU time: 36.2089 s c =============================================================================== c | 941 | 1481 2081 786000 | 5000 941 1234 | 0.000 % | c =============================================================================== c New solution: 6641 c Elapsed CPU time: 144.174 s Remaining CPU time: 35.8259 s c =============================================================================== c | 942 | 1481 2082 787350 | 5000 942 1234 | 0.000 % | c =============================================================================== c New solution: 6640 c Elapsed CPU time: 144.572 s Remaining CPU time: 35.428 s c =============================================================================== c | 953 | 1481 2083 788700 | 5000 953 1234 | 0.000 % | c =============================================================================== c New solution: 6639 c Elapsed CPU time: 145.224 s Remaining CPU time: 34.7761 s c =============================================================================== c | 999 | 1481 2084 790050 | 5000 999 1233 | 0.000 % | c =============================================================================== c New solution: 6638 c Elapsed CPU time: 145.688 s Remaining CPU time: 34.3121 s c =============================================================================== c | 1010 | 1481 2085 791400 | 5000 1010 1233 | 0.000 % | c =============================================================================== c New solution: 6637 c Elapsed CPU time: 146.061 s Remaining CPU time: 33.9392 s c =============================================================================== c | 1010 | 1481 2086 792750 | 5000 1010 1233 | 0.000 % | c =============================================================================== c New solution: 6636 c Elapsed CPU time: 146.901 s Remaining CPU time: 33.0993 s c =============================================================================== c | 1075 | 1481 2087 794100 | 5000 1075 1232 | 0.000 % | c =============================================================================== c New solution: 6635 c Elapsed CPU time: 147.337 s Remaining CPU time: 32.6634 s c =============================================================================== c | 1080 | 1481 2088 795450 | 5000 1080 1232 | 0.000 % | c =============================================================================== c New solution: 6634 c Elapsed CPU time: 147.99 s Remaining CPU time: 32.0105 s c =============================================================================== c | 1095 | 1481 2089 796800 | 5000 1095 1231 | 0.000 % | c =============================================================================== c New solution: 6633 c Elapsed CPU time: 148.718 s Remaining CPU time: 31.2816 s c =============================================================================== c | 1150 | 1481 2090 798150 | 5000 1150 1231 | 0.000 % | c =============================================================================== c New solution: 6632 c Elapsed CPU time: 149.417 s Remaining CPU time: 30.5827 s c =============================================================================== c | 1198 | 1481 2091 799500 | 5000 1198 1231 | 0.000 % | c =============================================================================== c New solution: 6631 c Elapsed CPU time: 149.989 s Remaining CPU time: 30.0108 s c =============================================================================== c | 1218 | 1481 2092 800850 | 5000 1218 1231 | 0.000 % | c =============================================================================== c New solution: 6630 c Elapsed CPU time: 150.374 s Remaining CPU time: 29.6259 s c =============================================================================== c | 1218 | 1481 2093 802200 | 5000 1218 1231 | 0.000 % | c =============================================================================== c New solution: 6629 c Elapsed CPU time: 150.786 s Remaining CPU time: 29.2139 s c =============================================================================== c | 1220 | 1481 2094 803550 | 5000 1220 1231 | 0.000 % | c =============================================================================== c New solution: 6628 c Elapsed CPU time: 151.585 s Remaining CPU time: 28.415 s c =============================================================================== c | 1277 | 1481 2095 804900 | 5000 1277 1230 | 0.000 % | c =============================================================================== c New solution: 6627 c Elapsed CPU time: 152.09 s Remaining CPU time: 27.9101 s c =============================================================================== c | 1301 | 1481 2096 806250 | 5000 1301 1230 | 0.000 % | c =============================================================================== c New solution: 6626 c Elapsed CPU time: 152.692 s Remaining CPU time: 27.3082 s c =============================================================================== c | 1333 | 1481 2097 807600 | 5000 1333 1230 | 0.000 % | c =============================================================================== c New solution: 6625 c Elapsed CPU time: 153.096 s Remaining CPU time: 26.9043 s c =============================================================================== c | 1335 | 1481 2098 808950 | 5000 1335 1230 | 0.000 % | c =============================================================================== c New solution: 6624 c Elapsed CPU time: 153.699 s Remaining CPU time: 26.3014 s c =============================================================================== c | 1369 | 1481 2099 810300 | 5000 1369 1230 | 0.000 % | c =============================================================================== c New solution: 6623 c Elapsed CPU time: 154.172 s Remaining CPU time: 25.8284 s c =============================================================================== c | 1385 | 1481 2100 811650 | 5000 1385 1230 | 0.000 % | c =============================================================================== c New solution: 6622 c Elapsed CPU time: 154.564 s Remaining CPU time: 25.4365 s c =============================================================================== c | 1386 | 1481 2101 813000 | 5000 1386 1230 | 0.000 % | c =============================================================================== c New solution: 6621 c Elapsed CPU time: 155.109 s Remaining CPU time: 24.8906 s c =============================================================================== c | 1396 | 1481 2102 814350 | 5000 1396 1230 | 0.000 % | c =============================================================================== c New solution: 6620 c Elapsed CPU time: 155.553 s Remaining CPU time: 24.4466 s c =============================================================================== c | 1414 | 1481 2103 815700 | 5000 1414 1229 | 0.000 % | c =============================================================================== c New solution: 6619 c Elapsed CPU time: 155.951 s Remaining CPU time: 24.0487 s c =============================================================================== c | 1414 | 1481 2104 817050 | 5000 1414 1229 | 0.000 % | c =============================================================================== c New solution: 6618 c Elapsed CPU time: 156.418 s Remaining CPU time: 23.5818 s c =============================================================================== c | 1415 | 1481 2105 818400 | 5000 1415 1229 | 0.000 % | c =============================================================================== c New solution: 6617 c Elapsed CPU time: 157.006 s Remaining CPU time: 22.9939 s c =============================================================================== c | 1444 | 1481 2106 819750 | 5000 1444 1229 | 0.000 % | c =============================================================================== c New solution: 6616 c Elapsed CPU time: 157.528 s Remaining CPU time: 22.4719 s c =============================================================================== c | 1452 | 1481 2107 821100 | 5000 1452 1229 | 0.000 % | c =============================================================================== c New solution: 6615 c Elapsed CPU time: 158.045 s Remaining CPU time: 21.955 s c =============================================================================== c | 1464 | 1481 2108 822450 | 5000 1464 1229 | 0.000 % | c =============================================================================== c New solution: 6614 c Elapsed CPU time: 158.478 s Remaining CPU time: 21.5221 s c =============================================================================== c | 1472 | 1481 2109 823800 | 5000 1472 1229 | 0.000 % | c =============================================================================== c New solution: 6613 c Elapsed CPU time: 158.952 s Remaining CPU time: 21.0482 s c =============================================================================== c | 1489 | 1481 2110 825150 | 5000 1489 1229 | 0.000 % | c =============================================================================== c New solution: 6612 c Elapsed CPU time: 159.424 s Remaining CPU time: 20.5762 s c =============================================================================== c | 1492 | 1481 2111 826500 | 5000 1492 1229 | 0.000 % | c =============================================================================== c New solution: 6611 c Elapsed CPU time: 159.866 s Remaining CPU time: 20.1343 s c =============================================================================== c | 1495 | 1481 2112 827850 | 5000 1495 1229 | 0.000 % | c =============================================================================== c New solution: 6610 c Elapsed CPU time: 160.273 s Remaining CPU time: 19.7274 s c =============================================================================== c | 1496 | 1481 2113 829200 | 5000 1496 1229 | 0.000 % | c =============================================================================== c New solution: 6609 c Elapsed CPU time: 160.696 s Remaining CPU time: 19.3044 s c =============================================================================== c | 1498 | 1481 2114 830550 | 5000 1498 1228 | 0.000 % | c =============================================================================== c New solution: 6608 c Elapsed CPU time: 161.126 s Remaining CPU time: 18.8745 s c =============================================================================== c | 1501 | 1481 2115 831900 | 5000 1501 1228 | 0.000 % | c =============================================================================== c New solution: 6607 c Elapsed CPU time: 161.558 s Remaining CPU time: 18.4416 s c =============================================================================== c | 1508 | 1481 2116 833250 | 5000 1508 1228 | 0.000 % | c =============================================================================== c New solution: 6606 c Elapsed CPU time: 162.097 s Remaining CPU time: 17.9026 s c =============================================================================== c | 1533 | 1481 2117 834600 | 5000 1533 1228 | 0.000 % | c =============================================================================== c New solution: 6605 c Elapsed CPU time: 162.532 s Remaining CPU time: 17.4677 s c =============================================================================== c | 1536 | 1481 2118 835950 | 5000 1536 1228 | 0.000 % | c =============================================================================== c New solution: 6604 c Elapsed CPU time: 162.96 s Remaining CPU time: 17.0398 s c =============================================================================== c | 1536 | 1481 2119 837300 | 5000 1536 1228 | 0.000 % | c =============================================================================== c New solution: 6603 c Elapsed CPU time: 163.379 s Remaining CPU time: 16.6208 s c =============================================================================== c | 1537 | 1481 2120 838650 | 5000 1537 1228 | 0.000 % | c =============================================================================== c New solution: 6602 c Elapsed CPU time: 163.79 s Remaining CPU time: 16.2099 s c =============================================================================== c | 1537 | 1481 2121 840000 | 5000 1537 1228 | 0.000 % | c =============================================================================== c New solution: 6601 c Elapsed CPU time: 164.199 s Remaining CPU time: 15.801 s c =============================================================================== c | 1537 | 1481 2122 841350 | 5000 1537 1228 | 0.000 % | c =============================================================================== c New solution: 6600 c Elapsed CPU time: 164.609 s Remaining CPU time: 15.391 s c =============================================================================== c | 1537 | 1481 2123 842700 | 5000 1537 1228 | 0.000 % | c =============================================================================== c New solution: 6599 c Elapsed CPU time: 165.056 s Remaining CPU time: 14.9441 s c =============================================================================== c | 1538 | 1481 2124 844050 | 5000 1538 1228 | 0.000 % | c =============================================================================== c New solution: 6598 c Elapsed CPU time: 165.478 s Remaining CPU time: 14.5222 s c =============================================================================== c | 1538 | 1481 2125 845400 | 5000 1538 1228 | 0.000 % | c =============================================================================== c New solution: 6597 c Elapsed CPU time: 166.032 s Remaining CPU time: 13.9682 s c =============================================================================== c | 1547 | 1481 2126 846750 | 5000 1547 1228 | 0.000 % | c =============================================================================== c New solution: 6596 c Elapsed CPU time: 166.642 s Remaining CPU time: 13.3583 s c =============================================================================== c | 1576 | 1481 2127 848100 | 5000 1576 1227 | 0.000 % | c =============================================================================== c New solution: 6595 c Elapsed CPU time: 167.123 s Remaining CPU time: 12.8774 s c =============================================================================== c | 1592 | 1481 2128 849450 | 5000 1592 1227 | 0.000 % | c =============================================================================== c New solution: 6594 c Elapsed CPU time: 167.61 s Remaining CPU time: 12.3905 s c =============================================================================== c | 1606 | 1481 2129 850800 | 5000 1606 1227 | 0.000 % | c =============================================================================== c New solution: 6593 c Elapsed CPU time: 168.047 s Remaining CPU time: 11.9525 s c =============================================================================== c | 1608 | 1481 2130 852150 | 5000 1608 1227 | 0.000 % | c =============================================================================== c New solution: 6592 c Elapsed CPU time: 168.476 s Remaining CPU time: 11.5236 s c =============================================================================== c | 1614 | 1481 2131 853500 | 5000 1614 1227 | 0.000 % | c =============================================================================== c New solution: 6591 c Elapsed CPU time: 168.899 s Remaining CPU time: 11.1007 s c =============================================================================== c | 1614 | 1481 2132 854850 | 5000 1614 1227 | 0.000 % | c =============================================================================== c New solution: 6590 c Elapsed CPU time: 169.352 s Remaining CPU time: 10.6477 s c =============================================================================== c | 1616 | 1481 2133 856200 | 5000 1616 1227 | 0.000 % | c =============================================================================== c New solution: 6589 c Elapsed CPU time: 169.803 s Remaining CPU time: 10.1968 s c =============================================================================== c | 1617 | 1481 2134 857550 | 5000 1617 1227 | 0.000 % | c =============================================================================== c New solution: 6588 c Elapsed CPU time: 170.544 s Remaining CPU time: 9.45593 s c =============================================================================== c | 1658 | 1481 2135 858900 | 5000 1658 1227 | 0.000 % | c =============================================================================== c New solution: 6587 c Elapsed CPU time: 170.986 s Remaining CPU time: 9.01399 s c =============================================================================== c | 1658 | 1481 2136 860250 | 5000 1658 1227 | 0.000 % | c =============================================================================== c New solution: 6586 c Elapsed CPU time: 171.427 s Remaining CPU time: 8.57306 s c =============================================================================== c | 1661 | 1481 2137 861600 | 5000 1661 1227 | 0.000 % | c =============================================================================== c New solution: 6585 c Elapsed CPU time: 171.859 s Remaining CPU time: 8.14113 s c =============================================================================== c | 1661 | 1481 2138 862950 | 5000 1661 1227 | 0.000 % | c =============================================================================== c New solution: 6584 c Elapsed CPU time: 172.279 s Remaining CPU time: 7.72119 s c =============================================================================== c | 1665 | 1481 2139 864300 | 5000 1665 1227 | 0.000 % | c | 1766 | 1481 2139 864300 | 5500 1766 1226 | 1.267 % | c =============================================================================== c New solution: 6583 c Elapsed CPU time: 174.347 s Remaining CPU time: 5.6525 s c =============================================================================== c | 1836 | 1481 2140 865650 | 5000 1836 1225 | 1.267 % | c =============================================================================== c New solution: 6582 c Elapsed CPU time: 175.088 s Remaining CPU time: 4.91162 s c =============================================================================== c | 1888 | 1481 2141 867000 | 5000 1888 1225 | 1.267 % | c =============================================================================== c New solution: 6581 c Elapsed CPU time: 175.696 s Remaining CPU time: 4.30371 s c =============================================================================== c | 1913 | 1481 2142 868350 | 5000 1913 1225 | 1.267 % | c =============================================================================== c New solution: 6580 c Elapsed CPU time: 176.137 s Remaining CPU time: 3.86278 s c =============================================================================== c | 1920 | 1481 2143 869700 | 5000 1920 1225 | 1.267 % | c =============================================================================== c New solution: 6579 c Elapsed CPU time: 176.547 s Remaining CPU time: 3.45284 s c =============================================================================== c | 1920 | 1481 2144 871050 | 5000 1920 1225 | 1.267 % | c =============================================================================== c New solution: 6578 c Elapsed CPU time: 177.171 s Remaining CPU time: 2.82894 s c =============================================================================== c | 1942 | 1481 2145 872400 | 5000 1942 1224 | 1.267 % | c =============================================================================== c New solution: 6577 c Elapsed CPU time: 177.879 s Remaining CPU time: 2.12104 s c =============================================================================== c | 1969 | 1481 2146 873750 | 5000 1969 1224 | 1.267 % | c =============================================================================== c New solution: 6576 c Elapsed CPU time: 178.553 s Remaining CPU time: 1.44715 s c =============================================================================== c | 2007 | 1481 2147 875100 | 5000 2007 1224 | 1.267 % | c =============================================================================== c New solution: 6575 c Elapsed CPU time: 179.097 s Remaining CPU time: 0.903227 s c =============================================================================== c | 2026 | 1481 2148 876450 | 5000 2026 1224 | 1.267 % | c =============================================================================== c New solution: 6574 c Elapsed CPU time: 179.538 s Remaining CPU time: 0.462294 s c =============================================================================== c | 2026 | 1481 2149 877800 | 5000 2026 1224 | 1.267 % | c There are 19 assigned variables. 2 in cost function.