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 | 1497 1502 4350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7481 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1497 1503 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7478 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1497 1504 7050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7471 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1497 1505 8400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7468 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1497 1506 9750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7467 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1497 1507 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7461 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1497 1508 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7460 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1497 1509 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7458 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1497 1510 15150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7457 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1497 1511 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7456 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 1497 1512 17850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7455 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 1497 1513 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7453 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 1497 1514 20550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7452 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 1497 1515 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7451 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 1497 1516 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7450 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 1497 1517 24600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7446 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 1497 1518 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7445 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 1497 1519 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7444 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 1497 1520 28650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7443 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 0 | 1497 1521 30000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7442 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 1497 1522 31350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7441 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 0 | 1497 1523 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7440 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 1497 1524 34050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7439 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 1497 1525 35400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7438 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 0 | 1497 1526 36750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7437 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 1497 1527 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7436 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 0 | 1497 1528 39450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7435 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 0 | 1497 1529 40800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7434 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 1497 1530 42150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7432 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 0 | 1497 1531 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7430 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 0 | 1497 1532 44850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7429 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 0 | 1497 1533 46200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7427 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 1497 1534 47550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7421 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 0 | 1497 1535 48900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7420 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 0 | 1497 1536 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7419 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 0 | 1497 1537 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7418 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 1497 1538 52950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7417 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 0 | 1497 1539 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7416 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 0 | 1497 1540 55650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7412 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 0 | 1497 1541 57000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7410 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 0 | 1497 1542 58350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7409 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 0 | 1497 1543 59700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7406 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 0 | 1497 1544 61050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7398 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 0 | 1497 1545 62400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7394 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 0 | 1497 1546 63750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7393 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 0 | 1497 1547 65100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7389 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 0 | 1497 1548 66450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7387 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 0 | 1497 1549 67800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7386 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 0 | 1497 1550 69150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7383 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 0 | 1497 1551 70500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7382 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 0 | 1497 1552 71850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7381 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 0 | 1497 1553 73200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7380 c Elapsed CPU time: 0.78788 s Remaining CPU time: 179.212 s c =============================================================================== c | 0 | 1497 1554 74550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7378 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 0 | 1497 1555 75900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7377 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 0 | 1497 1556 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7375 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 0 | 1497 1557 78600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7373 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 0 | 1497 1558 79950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7371 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 0 | 1497 1559 81300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7370 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 0 | 1497 1560 82650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7368 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 0 | 1497 1561 84000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7366 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 0 | 1497 1562 85350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7365 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 0 | 1497 1563 86700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7364 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 0 | 1497 1564 88050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7362 c Elapsed CPU time: 1.10783 s Remaining CPU time: 178.892 s c =============================================================================== c | 0 | 1497 1565 89400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7361 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 0 | 1497 1566 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7358 c Elapsed CPU time: 1.17882 s Remaining CPU time: 178.821 s c =============================================================================== c | 0 | 1497 1567 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7355 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s c =============================================================================== c | 0 | 1497 1568 93450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7352 c Elapsed CPU time: 1.25081 s Remaining CPU time: 178.749 s c =============================================================================== c | 0 | 1497 1569 94800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7349 c Elapsed CPU time: 1.2888 s Remaining CPU time: 178.711 s c =============================================================================== c | 0 | 1497 1570 96150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7348 c Elapsed CPU time: 1.3268 s Remaining CPU time: 178.673 s c =============================================================================== c | 0 | 1497 1571 97500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7345 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 0 | 1497 1572 98850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7344 c Elapsed CPU time: 1.40279 s Remaining CPU time: 178.597 s c =============================================================================== c | 0 | 1497 1573 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7341 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s c =============================================================================== c | 0 | 1497 1574 101550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7340 c Elapsed CPU time: 1.48277 s Remaining CPU time: 178.517 s c =============================================================================== c | 0 | 1497 1575 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7336 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s c =============================================================================== c | 0 | 1497 1576 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7333 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 0 | 1497 1577 105600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7332 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 0 | 1497 1578 106950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7331 c Elapsed CPU time: 1.64775 s Remaining CPU time: 178.352 s c =============================================================================== c | 0 | 1497 1579 108300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7330 c Elapsed CPU time: 1.68874 s Remaining CPU time: 178.311 s c =============================================================================== c | 0 | 1497 1580 109650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7327 c Elapsed CPU time: 1.73074 s Remaining CPU time: 178.269 s c =============================================================================== c | 0 | 1497 1581 111000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7326 c Elapsed CPU time: 1.77473 s Remaining CPU time: 178.225 s c =============================================================================== c | 0 | 1497 1582 112350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7325 c Elapsed CPU time: 1.81872 s Remaining CPU time: 178.181 s c =============================================================================== c | 0 | 1497 1583 113700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7320 c Elapsed CPU time: 1.86372 s Remaining CPU time: 178.136 s c =============================================================================== c | 0 | 1497 1584 115050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7319 c Elapsed CPU time: 1.91171 s Remaining CPU time: 178.088 s c =============================================================================== c | 0 | 1497 1585 116400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7317 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 0 | 1497 1586 117750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7315 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s c =============================================================================== c | 0 | 1497 1587 119100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7312 c Elapsed CPU time: 2.06469 s Remaining CPU time: 177.935 s c =============================================================================== c | 0 | 1497 1588 120450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7309 c Elapsed CPU time: 2.12168 s Remaining CPU time: 177.878 s c =============================================================================== c | 0 | 1497 1589 121800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7307 c Elapsed CPU time: 2.17767 s Remaining CPU time: 177.822 s c =============================================================================== c | 0 | 1497 1590 123150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7306 c Elapsed CPU time: 2.23566 s Remaining CPU time: 177.764 s c =============================================================================== c | 0 | 1497 1591 124500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7305 c Elapsed CPU time: 2.29665 s Remaining CPU time: 177.703 s c =============================================================================== c | 0 | 1497 1592 125850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7304 c Elapsed CPU time: 2.35764 s Remaining CPU time: 177.642 s c =============================================================================== c | 0 | 1497 1593 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7303 c Elapsed CPU time: 2.42163 s Remaining CPU time: 177.578 s c =============================================================================== c | 0 | 1497 1594 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7302 c Elapsed CPU time: 2.48162 s Remaining CPU time: 177.518 s c =============================================================================== c | 0 | 1497 1595 129900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7301 c Elapsed CPU time: 2.54261 s Remaining CPU time: 177.457 s c =============================================================================== c | 0 | 1497 1596 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7300 c Elapsed CPU time: 2.6056 s Remaining CPU time: 177.394 s c =============================================================================== c | 0 | 1497 1597 132600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7298 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s c =============================================================================== c | 0 | 1497 1598 133950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7297 c Elapsed CPU time: 2.72858 s Remaining CPU time: 177.271 s c =============================================================================== c | 0 | 1497 1599 135300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7294 c Elapsed CPU time: 2.79058 s Remaining CPU time: 177.209 s c =============================================================================== c | 0 | 1497 1600 136650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7293 c Elapsed CPU time: 2.85457 s Remaining CPU time: 177.145 s c =============================================================================== c | 0 | 1497 1601 138000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7292 c Elapsed CPU time: 2.92056 s Remaining CPU time: 177.079 s c =============================================================================== c | 0 | 1497 1602 139350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7289 c Elapsed CPU time: 2.98655 s Remaining CPU time: 177.013 s c =============================================================================== c | 0 | 1497 1603 140700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7288 c Elapsed CPU time: 3.05253 s Remaining CPU time: 176.947 s c =============================================================================== c | 0 | 1497 1604 142050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7287 c Elapsed CPU time: 3.11952 s Remaining CPU time: 176.88 s c =============================================================================== c | 0 | 1497 1605 143400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7286 c Elapsed CPU time: 3.18651 s Remaining CPU time: 176.813 s c =============================================================================== c | 0 | 1497 1606 144750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7285 c Elapsed CPU time: 3.2545 s Remaining CPU time: 176.745 s c =============================================================================== c | 0 | 1497 1607 146100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7284 c Elapsed CPU time: 3.3215 s Remaining CPU time: 176.679 s c =============================================================================== c | 0 | 1497 1608 147450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7280 c Elapsed CPU time: 3.38948 s Remaining CPU time: 176.611 s c =============================================================================== c | 0 | 1497 1609 148800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7278 c Elapsed CPU time: 3.46047 s Remaining CPU time: 176.54 s c =============================================================================== c | 0 | 1497 1610 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7277 c Elapsed CPU time: 3.53446 s Remaining CPU time: 176.466 s c =============================================================================== c | 0 | 1497 1611 151500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7275 c Elapsed CPU time: 3.60445 s Remaining CPU time: 176.396 s c =============================================================================== c | 0 | 1497 1612 152850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7274 c Elapsed CPU time: 3.67044 s Remaining CPU time: 176.33 s c =============================================================================== c | 0 | 1497 1613 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7273 c Elapsed CPU time: 3.73843 s Remaining CPU time: 176.262 s c =============================================================================== c | 0 | 1497 1614 155550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7272 c Elapsed CPU time: 3.80842 s Remaining CPU time: 176.192 s c =============================================================================== c | 0 | 1497 1615 156900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7270 c Elapsed CPU time: 3.87941 s Remaining CPU time: 176.121 s c =============================================================================== c | 0 | 1497 1616 158250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7269 c Elapsed CPU time: 3.9484 s Remaining CPU time: 176.052 s c =============================================================================== c | 0 | 1497 1617 159600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7268 c Elapsed CPU time: 4.01839 s Remaining CPU time: 175.982 s c =============================================================================== c | 0 | 1497 1618 160950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7266 c Elapsed CPU time: 4.08938 s Remaining CPU time: 175.911 s c =============================================================================== c | 0 | 1497 1619 162300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7264 c Elapsed CPU time: 4.15837 s Remaining CPU time: 175.842 s c =============================================================================== c | 0 | 1497 1620 163650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7263 c Elapsed CPU time: 4.23036 s Remaining CPU time: 175.77 s c =============================================================================== c | 0 | 1497 1621 165000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7261 c Elapsed CPU time: 4.30335 s Remaining CPU time: 175.697 s c =============================================================================== c | 0 | 1497 1622 166350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7260 c Elapsed CPU time: 4.37733 s Remaining CPU time: 175.623 s c =============================================================================== c | 0 | 1497 1623 167700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7259 c Elapsed CPU time: 4.44832 s Remaining CPU time: 175.552 s c =============================================================================== c | 0 | 1497 1624 169050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7258 c Elapsed CPU time: 4.52431 s Remaining CPU time: 175.476 s c =============================================================================== c | 0 | 1497 1625 170400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7256 c Elapsed CPU time: 4.5983 s Remaining CPU time: 175.402 s c =============================================================================== c | 0 | 1497 1626 171750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7255 c Elapsed CPU time: 4.67429 s Remaining CPU time: 175.326 s c =============================================================================== c | 0 | 1497 1627 173100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7253 c Elapsed CPU time: 4.75028 s Remaining CPU time: 175.25 s c =============================================================================== c | 0 | 1497 1628 174450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7251 c Elapsed CPU time: 4.82727 s Remaining CPU time: 175.173 s c =============================================================================== c | 0 | 1497 1629 175800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7250 c Elapsed CPU time: 4.90525 s Remaining CPU time: 175.095 s c =============================================================================== c | 0 | 1497 1630 177150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7246 c Elapsed CPU time: 4.98024 s Remaining CPU time: 175.02 s c =============================================================================== c | 0 | 1497 1631 178500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7243 c Elapsed CPU time: 5.05623 s Remaining CPU time: 174.944 s c =============================================================================== c | 0 | 1497 1632 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 5.13622 s Remaining CPU time: 174.864 s c =============================================================================== c | 0 | 1497 1633 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7239 c Elapsed CPU time: 5.21421 s Remaining CPU time: 174.786 s c =============================================================================== c | 0 | 1497 1634 182550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7237 c Elapsed CPU time: 5.2912 s Remaining CPU time: 174.709 s c =============================================================================== c | 0 | 1497 1635 183900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7236 c Elapsed CPU time: 5.36918 s Remaining CPU time: 174.631 s c =============================================================================== c | 0 | 1497 1636 185250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7235 c Elapsed CPU time: 5.44817 s Remaining CPU time: 174.552 s c =============================================================================== c | 0 | 1497 1637 186600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7232 c Elapsed CPU time: 5.52916 s Remaining CPU time: 174.471 s c =============================================================================== c | 0 | 1497 1638 187950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7231 c Elapsed CPU time: 5.60815 s Remaining CPU time: 174.392 s c =============================================================================== c | 0 | 1497 1639 189300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7228 c Elapsed CPU time: 5.68813 s Remaining CPU time: 174.312 s c =============================================================================== c | 0 | 1497 1640 190650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7226 c Elapsed CPU time: 5.76812 s Remaining CPU time: 174.232 s c =============================================================================== c | 0 | 1497 1641 192000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7225 c Elapsed CPU time: 5.84811 s Remaining CPU time: 174.152 s c =============================================================================== c | 0 | 1497 1642 193350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7223 c Elapsed CPU time: 5.9341 s Remaining CPU time: 174.066 s c =============================================================================== c | 0 | 1497 1643 194700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7221 c Elapsed CPU time: 6.02008 s Remaining CPU time: 173.98 s c =============================================================================== c | 0 | 1497 1644 196050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7220 c Elapsed CPU time: 6.10207 s Remaining CPU time: 173.898 s c =============================================================================== c | 0 | 1497 1645 197400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7218 c Elapsed CPU time: 6.18906 s Remaining CPU time: 173.811 s c =============================================================================== c | 0 | 1497 1646 198750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7216 c Elapsed CPU time: 6.27105 s Remaining CPU time: 173.729 s c =============================================================================== c | 0 | 1497 1647 200100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 6.35803 s Remaining CPU time: 173.642 s c =============================================================================== c | 0 | 1497 1648 201450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7212 c Elapsed CPU time: 6.44602 s Remaining CPU time: 173.554 s c =============================================================================== c | 0 | 1497 1649 202800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7211 c Elapsed CPU time: 6.53201 s Remaining CPU time: 173.468 s c =============================================================================== c | 0 | 1497 1650 204150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7210 c Elapsed CPU time: 6.61699 s Remaining CPU time: 173.383 s c =============================================================================== c | 0 | 1497 1651 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7207 c Elapsed CPU time: 6.70498 s Remaining CPU time: 173.295 s c =============================================================================== c | 0 | 1497 1652 206850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7206 c Elapsed CPU time: 6.79297 s Remaining CPU time: 173.207 s c =============================================================================== c | 0 | 1497 1653 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7205 c Elapsed CPU time: 6.87895 s Remaining CPU time: 173.121 s c =============================================================================== c | 0 | 1497 1654 209550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7201 c Elapsed CPU time: 6.96594 s Remaining CPU time: 173.034 s c =============================================================================== c | 0 | 1497 1655 210900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7200 c Elapsed CPU time: 7.05393 s Remaining CPU time: 172.946 s c =============================================================================== c | 0 | 1497 1656 212250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7196 c Elapsed CPU time: 7.14191 s Remaining CPU time: 172.858 s c =============================================================================== c | 0 | 1497 1657 213600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7193 c Elapsed CPU time: 7.2309 s Remaining CPU time: 172.769 s c =============================================================================== c | 0 | 1497 1658 214950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7191 c Elapsed CPU time: 7.31689 s Remaining CPU time: 172.683 s c =============================================================================== c | 0 | 1497 1659 216300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7190 c Elapsed CPU time: 7.40587 s Remaining CPU time: 172.594 s c =============================================================================== c | 0 | 1497 1660 217650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7189 c Elapsed CPU time: 7.49886 s Remaining CPU time: 172.501 s c =============================================================================== c | 0 | 1497 1661 219000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7186 c Elapsed CPU time: 7.59185 s Remaining CPU time: 172.408 s c =============================================================================== c | 0 | 1497 1662 220350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7183 c Elapsed CPU time: 7.68783 s Remaining CPU time: 172.312 s c =============================================================================== c | 0 | 1497 1663 221700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7182 c Elapsed CPU time: 7.78482 s Remaining CPU time: 172.215 s c =============================================================================== c | 0 | 1497 1664 223050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7181 c Elapsed CPU time: 7.8828 s Remaining CPU time: 172.117 s c =============================================================================== c | 0 | 1497 1665 224400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7180 c Elapsed CPU time: 7.97879 s Remaining CPU time: 172.021 s c =============================================================================== c | 0 | 1497 1666 225750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7178 c Elapsed CPU time: 8.07977 s Remaining CPU time: 171.92 s c =============================================================================== c | 0 | 1497 1667 227100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7176 c Elapsed CPU time: 8.17776 s Remaining CPU time: 171.822 s c =============================================================================== c | 0 | 1497 1668 228450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7175 c Elapsed CPU time: 8.27374 s Remaining CPU time: 171.726 s c =============================================================================== c | 0 | 1497 1669 229800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7174 c Elapsed CPU time: 8.37673 s Remaining CPU time: 171.623 s c =============================================================================== c | 0 | 1497 1670 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7172 c Elapsed CPU time: 8.47971 s Remaining CPU time: 171.52 s c =============================================================================== c | 0 | 1497 1671 232500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7170 c Elapsed CPU time: 8.57969 s Remaining CPU time: 171.42 s c =============================================================================== c | 0 | 1497 1672 233850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 8.67868 s Remaining CPU time: 171.321 s c =============================================================================== c | 0 | 1497 1673 235200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7167 c Elapsed CPU time: 8.77867 s Remaining CPU time: 171.221 s c =============================================================================== c | 0 | 1497 1674 236550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7165 c Elapsed CPU time: 8.88265 s Remaining CPU time: 171.117 s c =============================================================================== c | 0 | 1497 1675 237900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7164 c Elapsed CPU time: 8.98263 s Remaining CPU time: 171.017 s c =============================================================================== c | 0 | 1497 1676 239250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7161 c Elapsed CPU time: 9.08562 s Remaining CPU time: 170.914 s c =============================================================================== c | 0 | 1497 1677 240600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7160 c Elapsed CPU time: 9.1906 s Remaining CPU time: 170.809 s c =============================================================================== c | 0 | 1497 1678 241950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7159 c Elapsed CPU time: 9.29359 s Remaining CPU time: 170.706 s c =============================================================================== c | 0 | 1497 1679 243300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7157 c Elapsed CPU time: 9.40057 s Remaining CPU time: 170.599 s c =============================================================================== c | 0 | 1497 1680 244650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7156 c Elapsed CPU time: 9.51155 s Remaining CPU time: 170.488 s c =============================================================================== c | 0 | 1497 1681 246000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7155 c Elapsed CPU time: 9.62054 s Remaining CPU time: 170.379 s c =============================================================================== c | 0 | 1497 1682 247350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7154 c Elapsed CPU time: 9.72952 s Remaining CPU time: 170.27 s c =============================================================================== c | 0 | 1497 1683 248700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7153 c Elapsed CPU time: 9.8375 s Remaining CPU time: 170.162 s c =============================================================================== c | 0 | 1497 1684 250050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7152 c Elapsed CPU time: 9.94449 s Remaining CPU time: 170.056 s c =============================================================================== c | 0 | 1497 1685 251400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7151 c Elapsed CPU time: 10.0575 s Remaining CPU time: 169.943 s c =============================================================================== c | 0 | 1497 1686 252750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7149 c Elapsed CPU time: 10.1695 s Remaining CPU time: 169.831 s c =============================================================================== c | 0 | 1497 1687 254100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7148 c Elapsed CPU time: 10.2794 s Remaining CPU time: 169.721 s c =============================================================================== c | 0 | 1497 1688 255450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7147 c Elapsed CPU time: 10.3914 s Remaining CPU time: 169.609 s c =============================================================================== c | 0 | 1497 1689 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 10.5024 s Remaining CPU time: 169.498 s c =============================================================================== c | 0 | 1497 1690 258150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7143 c Elapsed CPU time: 10.6154 s Remaining CPU time: 169.385 s c =============================================================================== c | 0 | 1497 1691 259500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7140 c Elapsed CPU time: 10.7314 s Remaining CPU time: 169.269 s c =============================================================================== c | 0 | 1497 1692 260850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7137 c Elapsed CPU time: 10.8444 s Remaining CPU time: 169.156 s c =============================================================================== c | 0 | 1497 1693 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7136 c Elapsed CPU time: 10.9593 s Remaining CPU time: 169.041 s c =============================================================================== c | 0 | 1497 1694 263550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7135 c Elapsed CPU time: 11.0753 s Remaining CPU time: 168.925 s c =============================================================================== c | 0 | 1497 1695 264900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7131 c Elapsed CPU time: 11.1903 s Remaining CPU time: 168.81 s c =============================================================================== c | 0 | 1497 1696 266250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7128 c Elapsed CPU time: 11.3053 s Remaining CPU time: 168.695 s c =============================================================================== c | 0 | 1497 1697 267600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7127 c Elapsed CPU time: 11.4223 s Remaining CPU time: 168.578 s c =============================================================================== c | 0 | 1497 1698 268950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7123 c Elapsed CPU time: 11.5382 s Remaining CPU time: 168.462 s c =============================================================================== c | 0 | 1497 1699 270300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7122 c Elapsed CPU time: 11.6562 s Remaining CPU time: 168.344 s c =============================================================================== c | 0 | 1497 1700 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7121 c Elapsed CPU time: 11.7852 s Remaining CPU time: 168.215 s c =============================================================================== c | 0 | 1497 1701 273000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7120 c Elapsed CPU time: 11.9082 s Remaining CPU time: 168.092 s c =============================================================================== c | 0 | 1497 1702 274350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7118 c Elapsed CPU time: 12.0272 s Remaining CPU time: 167.973 s c =============================================================================== c | 0 | 1497 1703 275700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7117 c Elapsed CPU time: 12.1482 s Remaining CPU time: 167.852 s c =============================================================================== c | 0 | 1497 1704 277050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7116 c Elapsed CPU time: 12.2751 s Remaining CPU time: 167.725 s c =============================================================================== c | 0 | 1497 1705 278400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7115 c Elapsed CPU time: 12.4011 s Remaining CPU time: 167.599 s c =============================================================================== c | 0 | 1497 1706 279750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7113 c Elapsed CPU time: 12.5321 s Remaining CPU time: 167.468 s c =============================================================================== c | 0 | 1497 1707 281100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7110 c Elapsed CPU time: 12.6581 s Remaining CPU time: 167.342 s c =============================================================================== c | 0 | 1497 1708 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7107 c Elapsed CPU time: 12.7811 s Remaining CPU time: 167.219 s c =============================================================================== c | 0 | 1497 1709 283800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7106 c Elapsed CPU time: 12.904 s Remaining CPU time: 167.096 s c =============================================================================== c | 0 | 1497 1710 285150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7102 c Elapsed CPU time: 13.044 s Remaining CPU time: 166.956 s c =============================================================================== c | 0 | 1497 1711 286500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7099 c Elapsed CPU time: 13.186 s Remaining CPU time: 166.814 s c =============================================================================== c | 0 | 1497 1712 287850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 13.336 s Remaining CPU time: 166.664 s c =============================================================================== c | 0 | 1497 1713 289200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7096 c Elapsed CPU time: 13.4859 s Remaining CPU time: 166.514 s c =============================================================================== c | 0 | 1497 1714 290550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7095 c Elapsed CPU time: 13.6399 s Remaining CPU time: 166.36 s c =============================================================================== c | 0 | 1497 1715 291900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7093 c Elapsed CPU time: 13.7919 s Remaining CPU time: 166.208 s c =============================================================================== c | 0 | 1497 1716 293250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7092 c Elapsed CPU time: 13.9369 s Remaining CPU time: 166.063 s c =============================================================================== c | 0 | 1497 1717 294600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 14.0859 s Remaining CPU time: 165.914 s c =============================================================================== c | 0 | 1497 1718 295950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7086 c Elapsed CPU time: 14.2358 s Remaining CPU time: 165.764 s c =============================================================================== c | 0 | 1497 1719 297300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7083 c Elapsed CPU time: 14.3868 s Remaining CPU time: 165.613 s c =============================================================================== c | 0 | 1497 1720 298650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7082 c Elapsed CPU time: 14.5378 s Remaining CPU time: 165.462 s c =============================================================================== c | 0 | 1497 1721 300000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7078 c Elapsed CPU time: 14.6848 s Remaining CPU time: 165.315 s c =============================================================================== c | 0 | 1497 1722 301350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7074 c Elapsed CPU time: 14.8327 s Remaining CPU time: 165.167 s c =============================================================================== c | 0 | 1497 1723 302700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7073 c Elapsed CPU time: 14.9847 s Remaining CPU time: 165.015 s c =============================================================================== c | 0 | 1497 1724 304050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7071 c Elapsed CPU time: 15.1427 s Remaining CPU time: 164.857 s c =============================================================================== c | 0 | 1497 1725 305400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7070 c Elapsed CPU time: 15.2957 s Remaining CPU time: 164.704 s c =============================================================================== c | 0 | 1497 1726 306750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7069 c Elapsed CPU time: 15.4487 s Remaining CPU time: 164.551 s c =============================================================================== c | 0 | 1497 1727 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7068 c Elapsed CPU time: 15.6036 s Remaining CPU time: 164.396 s c =============================================================================== c | 0 | 1497 1728 309450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7065 c Elapsed CPU time: 15.7536 s Remaining CPU time: 164.246 s c =============================================================================== c | 0 | 1497 1729 310800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7064 c Elapsed CPU time: 15.9056 s Remaining CPU time: 164.094 s c =============================================================================== c | 0 | 1497 1730 312150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7063 c Elapsed CPU time: 16.0556 s Remaining CPU time: 163.944 s c =============================================================================== c | 0 | 1497 1731 313500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7061 c Elapsed CPU time: 16.2095 s Remaining CPU time: 163.79 s c =============================================================================== c | 0 | 1497 1732 314850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7058 c Elapsed CPU time: 16.3605 s Remaining CPU time: 163.639 s c =============================================================================== c | 0 | 1497 1733 316200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7056 c Elapsed CPU time: 16.5155 s Remaining CPU time: 163.485 s c =============================================================================== c | 0 | 1497 1734 317550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7053 c Elapsed CPU time: 16.6685 s Remaining CPU time: 163.332 s c =============================================================================== c | 0 | 1497 1735 318900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7051 c Elapsed CPU time: 16.8224 s Remaining CPU time: 163.178 s c =============================================================================== c | 0 | 1497 1736 320250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7050 c Elapsed CPU time: 16.9854 s Remaining CPU time: 163.015 s c =============================================================================== c | 0 | 1497 1737 321600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7049 c Elapsed CPU time: 17.1414 s Remaining CPU time: 162.859 s c =============================================================================== c | 0 | 1497 1738 322950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7046 c Elapsed CPU time: 17.2934 s Remaining CPU time: 162.707 s c =============================================================================== c | 0 | 1497 1739 324300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7044 c Elapsed CPU time: 17.4463 s Remaining CPU time: 162.554 s c =============================================================================== c | 0 | 1497 1740 325650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7043 c Elapsed CPU time: 17.6013 s Remaining CPU time: 162.399 s c =============================================================================== c | 0 | 1497 1741 327000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7042 c Elapsed CPU time: 17.7633 s Remaining CPU time: 162.237 s c =============================================================================== c | 0 | 1497 1742 328350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7041 c Elapsed CPU time: 17.9153 s Remaining CPU time: 162.085 s c =============================================================================== c | 0 | 1497 1743 329700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7038 c Elapsed CPU time: 18.0703 s Remaining CPU time: 161.93 s c =============================================================================== c | 0 | 1497 1744 331050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7037 c Elapsed CPU time: 18.2342 s Remaining CPU time: 161.766 s c =============================================================================== c | 0 | 1497 1745 332400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7036 c Elapsed CPU time: 18.3982 s Remaining CPU time: 161.602 s c =============================================================================== c | 0 | 1497 1746 333750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7035 c Elapsed CPU time: 18.5622 s Remaining CPU time: 161.438 s c =============================================================================== c | 0 | 1497 1747 335100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7034 c Elapsed CPU time: 18.7212 s Remaining CPU time: 161.279 s c =============================================================================== c | 0 | 1497 1748 336450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7033 c Elapsed CPU time: 18.8781 s Remaining CPU time: 161.122 s c =============================================================================== c | 0 | 1497 1749 337800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7032 c Elapsed CPU time: 19.0351 s Remaining CPU time: 160.965 s c =============================================================================== c | 0 | 1497 1750 339150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7031 c Elapsed CPU time: 19.1971 s Remaining CPU time: 160.803 s c =============================================================================== c | 0 | 1497 1751 340500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7030 c Elapsed CPU time: 19.3551 s Remaining CPU time: 160.645 s c =============================================================================== c | 0 | 1497 1752 341850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7028 c Elapsed CPU time: 19.514 s Remaining CPU time: 160.486 s c =============================================================================== c | 0 | 1497 1753 343200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7027 c Elapsed CPU time: 19.672 s Remaining CPU time: 160.328 s c =============================================================================== c | 0 | 1497 1754 344550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7025 c Elapsed CPU time: 19.833 s Remaining CPU time: 160.167 s c =============================================================================== c | 0 | 1497 1755 345900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7024 c Elapsed CPU time: 19.999 s Remaining CPU time: 160.001 s c =============================================================================== c | 0 | 1497 1756 347250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7023 c Elapsed CPU time: 20.1559 s Remaining CPU time: 159.844 s c =============================================================================== c | 0 | 1497 1757 348600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7022 c Elapsed CPU time: 20.3179 s Remaining CPU time: 159.682 s c =============================================================================== c | 0 | 1497 1758 349950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7021 c Elapsed CPU time: 20.4779 s Remaining CPU time: 159.522 s c =============================================================================== c | 0 | 1497 1759 351300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7020 c Elapsed CPU time: 20.6489 s Remaining CPU time: 159.351 s c =============================================================================== c | 0 | 1497 1760 352650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7019 c Elapsed CPU time: 20.8198 s Remaining CPU time: 159.18 s c =============================================================================== c | 0 | 1497 1761 354000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7018 c Elapsed CPU time: 20.9848 s Remaining CPU time: 159.015 s c =============================================================================== c | 0 | 1497 1762 355350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7017 c Elapsed CPU time: 21.1408 s Remaining CPU time: 158.859 s c =============================================================================== c | 0 | 1497 1763 356700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7015 c Elapsed CPU time: 21.2998 s Remaining CPU time: 158.7 s c =============================================================================== c | 0 | 1497 1764 358050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7014 c Elapsed CPU time: 21.4667 s Remaining CPU time: 158.533 s c =============================================================================== c | 0 | 1497 1765 359400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7013 c Elapsed CPU time: 21.6337 s Remaining CPU time: 158.366 s c =============================================================================== c | 0 | 1497 1766 360750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7012 c Elapsed CPU time: 21.7947 s Remaining CPU time: 158.205 s c =============================================================================== c | 0 | 1497 1767 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7011 c Elapsed CPU time: 21.9657 s Remaining CPU time: 158.034 s c =============================================================================== c | 0 | 1497 1768 363450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7010 c Elapsed CPU time: 22.1306 s Remaining CPU time: 157.869 s c =============================================================================== c | 0 | 1497 1769 364800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7009 c Elapsed CPU time: 22.2986 s Remaining CPU time: 157.701 s c =============================================================================== c | 0 | 1497 1770 366150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7008 c Elapsed CPU time: 22.4606 s Remaining CPU time: 157.539 s c =============================================================================== c | 0 | 1497 1771 367500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7005 c Elapsed CPU time: 22.6286 s Remaining CPU time: 157.371 s c =============================================================================== c | 0 | 1497 1772 368850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7004 c Elapsed CPU time: 22.7945 s Remaining CPU time: 157.205 s c =============================================================================== c | 0 | 1497 1773 370200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7003 c Elapsed CPU time: 22.9645 s Remaining CPU time: 157.035 s c =============================================================================== c | 0 | 1497 1774 371550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7002 c Elapsed CPU time: 23.1295 s Remaining CPU time: 156.871 s c =============================================================================== c | 0 | 1497 1775 372900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7001 c Elapsed CPU time: 23.3035 s Remaining CPU time: 156.697 s c =============================================================================== c | 0 | 1497 1776 374250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7000 c Elapsed CPU time: 23.4794 s Remaining CPU time: 156.521 s c =============================================================================== c | 0 | 1497 1777 375600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6999 c Elapsed CPU time: 23.6484 s Remaining CPU time: 156.352 s c =============================================================================== c | 0 | 1497 1778 376950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6996 c Elapsed CPU time: 23.8214 s Remaining CPU time: 156.179 s c =============================================================================== c | 0 | 1497 1779 378300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6994 c Elapsed CPU time: 23.9934 s Remaining CPU time: 156.007 s c =============================================================================== c | 0 | 1497 1780 379650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6992 c Elapsed CPU time: 24.1663 s Remaining CPU time: 155.834 s c =============================================================================== c | 0 | 1497 1781 381000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6991 c Elapsed CPU time: 24.3383 s Remaining CPU time: 155.662 s c =============================================================================== c | 0 | 1497 1782 382350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6989 c Elapsed CPU time: 24.5093 s Remaining CPU time: 155.491 s c =============================================================================== c | 0 | 1497 1783 383700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6988 c Elapsed CPU time: 24.6932 s Remaining CPU time: 155.307 s c =============================================================================== c | 0 | 1497 1784 385050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6987 c Elapsed CPU time: 24.8722 s Remaining CPU time: 155.128 s c =============================================================================== c | 0 | 1497 1785 386400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6984 c Elapsed CPU time: 25.0502 s Remaining CPU time: 154.95 s c =============================================================================== c | 0 | 1497 1786 387750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6983 c Elapsed CPU time: 25.2342 s Remaining CPU time: 154.766 s c =============================================================================== c | 0 | 1497 1787 389100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6981 c Elapsed CPU time: 25.4151 s Remaining CPU time: 154.585 s c =============================================================================== c | 0 | 1497 1788 390450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6980 c Elapsed CPU time: 25.5941 s Remaining CPU time: 154.406 s c =============================================================================== c | 1 | 1497 1789 391800 | 5000 1 1281 | 0.000 % | c =============================================================================== c New solution: 6978 c Elapsed CPU time: 25.7801 s Remaining CPU time: 154.22 s c =============================================================================== c | 4 | 1497 1790 393150 | 5000 4 1281 | 0.000 % | c =============================================================================== c New solution: 6977 c Elapsed CPU time: 25.9651 s Remaining CPU time: 154.035 s c =============================================================================== c | 4 | 1497 1791 394500 | 5000 4 1281 | 0.000 % | c =============================================================================== c New solution: 6976 c Elapsed CPU time: 26.154 s Remaining CPU time: 153.846 s c =============================================================================== c | 4 | 1497 1792 395850 | 5000 4 1281 | 0.000 % | c =============================================================================== c New solution: 6975 c Elapsed CPU time: 26.333 s Remaining CPU time: 153.667 s c =============================================================================== c | 5 | 1497 1793 397200 | 5000 5 1025 | 0.000 % | c =============================================================================== c New solution: 6973 c Elapsed CPU time: 26.516 s Remaining CPU time: 153.484 s c =============================================================================== c | 5 | 1497 1794 398550 | 5000 5 1025 | 0.000 % | c =============================================================================== c New solution: 6972 c Elapsed CPU time: 26.7059 s Remaining CPU time: 153.294 s c =============================================================================== c | 5 | 1497 1795 399900 | 5000 5 1025 | 0.000 % | c =============================================================================== c New solution: 6971 c Elapsed CPU time: 26.8859 s Remaining CPU time: 153.114 s c =============================================================================== c | 5 | 1497 1796 401250 | 5000 5 1025 | 0.000 % | c =============================================================================== c New solution: 6970 c Elapsed CPU time: 27.0709 s Remaining CPU time: 152.929 s c =============================================================================== c | 5 | 1497 1797 402600 | 5000 5 1025 | 0.000 % | c =============================================================================== c New solution: 6968 c Elapsed CPU time: 27.2549 s Remaining CPU time: 152.745 s c =============================================================================== c | 5 | 1497 1798 403950 | 5000 5 1025 | 0.000 % | c =============================================================================== c New solution: 6967 c Elapsed CPU time: 27.4418 s Remaining CPU time: 152.558 s c =============================================================================== c | 5 | 1497 1799 405300 | 5000 5 1025 | 0.000 % | c =============================================================================== c New solution: 6965 c Elapsed CPU time: 27.6288 s Remaining CPU time: 152.371 s c =============================================================================== c | 5 | 1497 1800 406650 | 5000 5 1025 | 0.000 % | c =============================================================================== c New solution: 6963 c Elapsed CPU time: 27.8168 s Remaining CPU time: 152.183 s c =============================================================================== c | 6 | 1497 1801 408000 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6961 c Elapsed CPU time: 28.0067 s Remaining CPU time: 151.993 s c =============================================================================== c | 6 | 1497 1802 409350 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6960 c Elapsed CPU time: 28.1987 s Remaining CPU time: 151.801 s c =============================================================================== c | 6 | 1497 1803 410700 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6959 c Elapsed CPU time: 28.3927 s Remaining CPU time: 151.607 s c =============================================================================== c | 6 | 1497 1804 412050 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6958 c Elapsed CPU time: 28.5917 s Remaining CPU time: 151.408 s c =============================================================================== c | 6 | 1497 1805 413400 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6956 c Elapsed CPU time: 28.7826 s Remaining CPU time: 151.217 s c =============================================================================== c | 6 | 1497 1806 414750 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6955 c Elapsed CPU time: 28.9726 s Remaining CPU time: 151.027 s c =============================================================================== c | 6 | 1497 1807 416100 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6954 c Elapsed CPU time: 29.1706 s Remaining CPU time: 150.829 s c =============================================================================== c | 6 | 1497 1808 417450 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6952 c Elapsed CPU time: 29.3675 s Remaining CPU time: 150.632 s c =============================================================================== c | 6 | 1497 1809 418800 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6951 c Elapsed CPU time: 29.5625 s Remaining CPU time: 150.437 s c =============================================================================== c | 6 | 1497 1810 420150 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6950 c Elapsed CPU time: 29.7615 s Remaining CPU time: 150.239 s c =============================================================================== c | 6 | 1497 1811 421500 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6948 c Elapsed CPU time: 29.9634 s Remaining CPU time: 150.037 s c =============================================================================== c | 6 | 1497 1812 422850 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6946 c Elapsed CPU time: 30.1574 s Remaining CPU time: 149.843 s c =============================================================================== c | 6 | 1497 1813 424200 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6944 c Elapsed CPU time: 30.3574 s Remaining CPU time: 149.643 s c =============================================================================== c | 6 | 1497 1814 425550 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6943 c Elapsed CPU time: 30.5624 s Remaining CPU time: 149.438 s c =============================================================================== c | 6 | 1497 1815 426900 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6941 c Elapsed CPU time: 30.7663 s Remaining CPU time: 149.234 s c =============================================================================== c | 6 | 1497 1816 428250 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6939 c Elapsed CPU time: 30.9713 s Remaining CPU time: 149.029 s c =============================================================================== c | 6 | 1497 1817 429600 | 5000 6 855 | 0.000 % | c =============================================================================== c New solution: 6938 c Elapsed CPU time: 31.1763 s Remaining CPU time: 148.824 s c =============================================================================== c | 7 | 1497 1818 430950 | 5000 7 915 | 0.000 % | c =============================================================================== c New solution: 6937 c Elapsed CPU time: 31.3842 s Remaining CPU time: 148.616 s c =============================================================================== c | 9 | 1497 1819 432300 | 5000 9 994 | 0.000 % | c =============================================================================== c New solution: 6936 c Elapsed CPU time: 31.5922 s Remaining CPU time: 148.408 s c =============================================================================== c | 9 | 1497 1820 433650 | 5000 9 994 | 0.000 % | c =============================================================================== c New solution: 6935 c Elapsed CPU time: 31.7932 s Remaining CPU time: 148.207 s c =============================================================================== c | 9 | 1497 1821 435000 | 5000 9 994 | 0.000 % | c =============================================================================== c New solution: 6933 c Elapsed CPU time: 32.0001 s Remaining CPU time: 148 s c =============================================================================== c | 9 | 1497 1822 436350 | 5000 9 994 | 0.000 % | c =============================================================================== c New solution: 6931 c Elapsed CPU time: 32.2041 s Remaining CPU time: 147.796 s c =============================================================================== c | 9 | 1497 1823 437700 | 5000 9 994 | 0.000 % | c =============================================================================== c New solution: 6929 c Elapsed CPU time: 32.4141 s Remaining CPU time: 147.586 s c =============================================================================== c | 9 | 1497 1824 439050 | 5000 9 994 | 0.000 % | c =============================================================================== c New solution: 6928 c Elapsed CPU time: 32.618 s Remaining CPU time: 147.382 s c =============================================================================== c | 10 | 1497 1825 440400 | 5000 10 1022 | 0.000 % | c =============================================================================== c New solution: 6927 c Elapsed CPU time: 32.825 s Remaining CPU time: 147.175 s c =============================================================================== c | 10 | 1497 1826 441750 | 5000 10 1022 | 0.000 % | c =============================================================================== c New solution: 6926 c Elapsed CPU time: 33.045 s Remaining CPU time: 146.955 s c =============================================================================== c | 10 | 1497 1827 443100 | 5000 10 1022 | 0.000 % | c =============================================================================== c New solution: 6925 c Elapsed CPU time: 33.2509 s Remaining CPU time: 146.749 s c =============================================================================== c | 11 | 1497 1828 444450 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6924 c Elapsed CPU time: 33.4609 s Remaining CPU time: 146.539 s c =============================================================================== c | 11 | 1497 1829 445800 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6923 c Elapsed CPU time: 33.6789 s Remaining CPU time: 146.321 s c =============================================================================== c | 11 | 1497 1830 447150 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6922 c Elapsed CPU time: 33.8948 s Remaining CPU time: 146.105 s c =============================================================================== c | 11 | 1497 1831 448500 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6921 c Elapsed CPU time: 34.1128 s Remaining CPU time: 145.887 s c =============================================================================== c | 11 | 1497 1832 449850 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6920 c Elapsed CPU time: 34.3278 s Remaining CPU time: 145.672 s c =============================================================================== c | 11 | 1497 1833 451200 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6919 c Elapsed CPU time: 34.5337 s Remaining CPU time: 145.466 s c =============================================================================== c | 11 | 1497 1834 452550 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6918 c Elapsed CPU time: 34.7467 s Remaining CPU time: 145.253 s c =============================================================================== c | 11 | 1497 1835 453900 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6917 c Elapsed CPU time: 34.9517 s Remaining CPU time: 145.048 s c =============================================================================== c | 11 | 1497 1836 455250 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6916 c Elapsed CPU time: 35.1687 s Remaining CPU time: 144.831 s c =============================================================================== c | 11 | 1497 1837 456600 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6915 c Elapsed CPU time: 35.3866 s Remaining CPU time: 144.613 s c =============================================================================== c | 11 | 1497 1838 457950 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6914 c Elapsed CPU time: 35.5986 s Remaining CPU time: 144.401 s c =============================================================================== c | 11 | 1497 1839 459300 | 5000 11 1045 | 0.000 % | c =============================================================================== c New solution: 6913 c Elapsed CPU time: 35.8186 s Remaining CPU time: 144.181 s c =============================================================================== c | 12 | 1497 1840 460650 | 5000 12 1064 | 0.000 % | c =============================================================================== c New solution: 6911 c Elapsed CPU time: 36.0395 s Remaining CPU time: 143.96 s c =============================================================================== c | 12 | 1497 1841 462000 | 5000 12 1064 | 0.000 % | c =============================================================================== c New solution: 6910 c Elapsed CPU time: 36.2755 s Remaining CPU time: 143.725 s c =============================================================================== c | 15 | 1497 1842 463350 | 5000 15 1105 | 0.000 % | c =============================================================================== c New solution: 6909 c Elapsed CPU time: 36.4975 s Remaining CPU time: 143.503 s c =============================================================================== c | 15 | 1497 1843 464700 | 5000 15 1105 | 0.000 % | c =============================================================================== c New solution: 6907 c Elapsed CPU time: 36.7194 s Remaining CPU time: 143.281 s c =============================================================================== c | 15 | 1497 1844 466050 | 5000 15 1105 | 0.000 % | c =============================================================================== c New solution: 6906 c Elapsed CPU time: 36.9384 s Remaining CPU time: 143.062 s c =============================================================================== c | 15 | 1497 1845 467400 | 5000 15 1105 | 0.000 % | c =============================================================================== c New solution: 6905 c Elapsed CPU time: 37.1643 s Remaining CPU time: 142.836 s c =============================================================================== c | 15 | 1497 1846 468750 | 5000 15 1105 | 0.000 % | c =============================================================================== c New solution: 6904 c Elapsed CPU time: 37.3893 s Remaining CPU time: 142.611 s c =============================================================================== c | 15 | 1497 1847 470100 | 5000 15 1105 | 0.000 % | c =============================================================================== c New solution: 6903 c Elapsed CPU time: 37.6123 s Remaining CPU time: 142.388 s c =============================================================================== c | 15 | 1497 1848 471450 | 5000 15 1105 | 0.000 % | c =============================================================================== c New solution: 6902 c Elapsed CPU time: 37.8452 s Remaining CPU time: 142.155 s c =============================================================================== c | 16 | 1497 1849 472800 | 5000 16 1116 | 0.000 % | c =============================================================================== c New solution: 6900 c Elapsed CPU time: 38.0702 s Remaining CPU time: 141.93 s c =============================================================================== c | 16 | 1497 1850 474150 | 5000 16 1116 | 0.000 % | c =============================================================================== c New solution: 6899 c Elapsed CPU time: 38.3012 s Remaining CPU time: 141.699 s c =============================================================================== c | 17 | 1497 1851 475500 | 5000 17 1124 | 0.000 % | c =============================================================================== c New solution: 6898 c Elapsed CPU time: 38.5381 s Remaining CPU time: 141.462 s c =============================================================================== c | 20 | 1497 1852 476850 | 5000 20 1146 | 0.000 % | c =============================================================================== c New solution: 6897 c Elapsed CPU time: 38.7701 s Remaining CPU time: 141.23 s c =============================================================================== c | 20 | 1497 1853 478200 | 5000 20 1146 | 0.000 % | c =============================================================================== c New solution: 6896 c Elapsed CPU time: 39.0131 s Remaining CPU time: 140.987 s c =============================================================================== c | 22 | 1497 1854 479550 | 5000 22 1100 | 0.000 % | c =============================================================================== c New solution: 6895 c Elapsed CPU time: 39.254 s Remaining CPU time: 140.746 s c =============================================================================== c | 22 | 1497 1855 480900 | 5000 22 1100 | 0.000 % | c =============================================================================== c New solution: 6893 c Elapsed CPU time: 39.474 s Remaining CPU time: 140.526 s c =============================================================================== c | 22 | 1497 1856 482250 | 5000 22 1100 | 0.000 % | c =============================================================================== c New solution: 6892 c Elapsed CPU time: 39.694 s Remaining CPU time: 140.306 s c =============================================================================== c | 22 | 1497 1857 483600 | 5000 22 1100 | 0.000 % | c =============================================================================== c New solution: 6891 c Elapsed CPU time: 39.9149 s Remaining CPU time: 140.085 s c =============================================================================== c | 22 | 1497 1858 484950 | 5000 22 1100 | 0.000 % | c =============================================================================== c New solution: 6889 c Elapsed CPU time: 40.1479 s Remaining CPU time: 139.852 s c =============================================================================== c | 23 | 1497 1859 486300 | 5000 23 1107 | 0.000 % | c =============================================================================== c New solution: 6887 c Elapsed CPU time: 40.3839 s Remaining CPU time: 139.616 s c =============================================================================== c | 23 | 1497 1860 487650 | 5000 23 1107 | 0.000 % | c =============================================================================== c New solution: 6886 c Elapsed CPU time: 40.6098 s Remaining CPU time: 139.39 s c =============================================================================== c | 23 | 1497 1861 489000 | 5000 23 1107 | 0.000 % | c =============================================================================== c New solution: 6885 c Elapsed CPU time: 40.8458 s Remaining CPU time: 139.154 s c =============================================================================== c | 23 | 1497 1862 490350 | 5000 23 1107 | 0.000 % | c =============================================================================== c New solution: 6883 c Elapsed CPU time: 41.1018 s Remaining CPU time: 138.898 s c =============================================================================== c | 33 | 1497 1863 491700 | 5000 33 1155 | 0.000 % | c =============================================================================== c New solution: 6881 c Elapsed CPU time: 41.3357 s Remaining CPU time: 138.664 s c =============================================================================== c | 33 | 1497 1864 493050 | 5000 33 1155 | 0.000 % | c =============================================================================== c New solution: 6880 c Elapsed CPU time: 41.5787 s Remaining CPU time: 138.421 s c =============================================================================== c | 33 | 1497 1865 494400 | 5000 33 1155 | 0.000 % | c =============================================================================== c New solution: 6878 c Elapsed CPU time: 41.8166 s Remaining CPU time: 138.183 s c =============================================================================== c | 39 | 1497 1866 495750 | 5000 39 1172 | 0.000 % | c =============================================================================== c New solution: 6877 c Elapsed CPU time: 42.0476 s Remaining CPU time: 137.952 s c =============================================================================== c | 40 | 1497 1867 497100 | 5000 40 1174 | 0.000 % | c =============================================================================== c New solution: 6875 c Elapsed CPU time: 42.2916 s Remaining CPU time: 137.708 s c =============================================================================== c | 42 | 1497 1868 498450 | 5000 42 1178 | 0.000 % | c =============================================================================== c New solution: 6873 c Elapsed CPU time: 42.5465 s Remaining CPU time: 137.453 s c =============================================================================== c | 44 | 1497 1869 499800 | 5000 44 1182 | 0.000 % | c =============================================================================== c New solution: 6871 c Elapsed CPU time: 42.8065 s Remaining CPU time: 137.194 s c =============================================================================== c | 46 | 1497 1870 501150 | 5000 46 1186 | 0.000 % | c =============================================================================== c New solution: 6870 c Elapsed CPU time: 43.0435 s Remaining CPU time: 136.957 s c =============================================================================== c | 46 | 1497 1871 502500 | 5000 46 1186 | 0.000 % | c =============================================================================== c New solution: 6869 c Elapsed CPU time: 43.2764 s Remaining CPU time: 136.724 s c =============================================================================== c | 46 | 1497 1872 503850 | 5000 46 1186 | 0.000 % | c =============================================================================== c New solution: 6868 c Elapsed CPU time: 43.5234 s Remaining CPU time: 136.477 s c =============================================================================== c | 46 | 1497 1873 505200 | 5000 46 1186 | 0.000 % | c =============================================================================== c New solution: 6867 c Elapsed CPU time: 43.7683 s Remaining CPU time: 136.232 s c =============================================================================== c | 46 | 1497 1874 506550 | 5000 46 1186 | 0.000 % | c =============================================================================== c New solution: 6866 c Elapsed CPU time: 44.0053 s Remaining CPU time: 135.995 s c =============================================================================== c | 46 | 1497 1875 507900 | 5000 46 1186 | 0.000 % | c =============================================================================== c New solution: 6864 c Elapsed CPU time: 44.2523 s Remaining CPU time: 135.748 s c =============================================================================== c | 46 | 1497 1876 509250 | 5000 46 1186 | 0.000 % | c =============================================================================== c New solution: 6863 c Elapsed CPU time: 44.5122 s Remaining CPU time: 135.488 s c =============================================================================== c | 52 | 1497 1877 510600 | 5000 52 1194 | 0.000 % | c =============================================================================== c New solution: 6862 c Elapsed CPU time: 44.7592 s Remaining CPU time: 135.241 s c =============================================================================== c | 52 | 1497 1878 511950 | 5000 52 1194 | 0.000 % | c =============================================================================== c New solution: 6861 c Elapsed CPU time: 45.0002 s Remaining CPU time: 135 s c =============================================================================== c | 53 | 1497 1879 513300 | 5000 53 1196 | 0.000 % | c =============================================================================== c New solution: 6860 c Elapsed CPU time: 45.2571 s Remaining CPU time: 134.743 s c =============================================================================== c | 53 | 1497 1880 514650 | 5000 53 1196 | 0.000 % | c =============================================================================== c New solution: 6859 c Elapsed CPU time: 45.5251 s Remaining CPU time: 134.475 s c =============================================================================== c | 55 | 1497 1881 516000 | 5000 55 1198 | 0.000 % | c =============================================================================== c New solution: 6858 c Elapsed CPU time: 45.779 s Remaining CPU time: 134.221 s c =============================================================================== c | 56 | 1497 1882 517350 | 5000 56 1177 | 0.000 % | c =============================================================================== c New solution: 6857 c Elapsed CPU time: 46.023 s Remaining CPU time: 133.977 s c =============================================================================== c | 56 | 1497 1883 518700 | 5000 56 1177 | 0.000 % | c =============================================================================== c New solution: 6856 c Elapsed CPU time: 46.279 s Remaining CPU time: 133.721 s c =============================================================================== c | 57 | 1497 1884 520050 | 5000 57 1178 | 0.000 % | c =============================================================================== c New solution: 6855 c Elapsed CPU time: 46.5349 s Remaining CPU time: 133.465 s c =============================================================================== c | 57 | 1497 1885 521400 | 5000 57 1178 | 0.000 % | c =============================================================================== c New solution: 6854 c Elapsed CPU time: 46.7839 s Remaining CPU time: 133.216 s c =============================================================================== c | 57 | 1497 1886 522750 | 5000 57 1178 | 0.000 % | c =============================================================================== c New solution: 6853 c Elapsed CPU time: 47.0318 s Remaining CPU time: 132.968 s c =============================================================================== c | 58 | 1497 1887 524100 | 5000 58 1180 | 0.000 % | c =============================================================================== c New solution: 6852 c Elapsed CPU time: 47.2988 s Remaining CPU time: 132.701 s c =============================================================================== c | 58 | 1497 1888 525450 | 5000 58 1180 | 0.000 % | c =============================================================================== c New solution: 6850 c Elapsed CPU time: 47.5548 s Remaining CPU time: 132.445 s c =============================================================================== c | 58 | 1497 1889 526800 | 5000 58 1180 | 0.000 % | c =============================================================================== c New solution: 6849 c Elapsed CPU time: 47.8307 s Remaining CPU time: 132.169 s c =============================================================================== c | 58 | 1497 1890 528150 | 5000 58 1180 | 0.000 % | c =============================================================================== c New solution: 6848 c Elapsed CPU time: 48.1127 s Remaining CPU time: 131.887 s c =============================================================================== c | 58 | 1497 1891 529500 | 5000 58 1180 | 0.000 % | c =============================================================================== c New solution: 6847 c Elapsed CPU time: 48.3686 s Remaining CPU time: 131.631 s c =============================================================================== c | 58 | 1497 1892 530850 | 5000 58 1180 | 0.000 % | c =============================================================================== c New solution: 6846 c Elapsed CPU time: 48.6236 s Remaining CPU time: 131.376 s c =============================================================================== c | 58 | 1497 1893 532200 | 5000 58 1180 | 0.000 % | c =============================================================================== c New solution: 6845 c Elapsed CPU time: 48.8966 s Remaining CPU time: 131.103 s c =============================================================================== c | 59 | 1497 1894 533550 | 5000 59 1181 | 0.000 % | c =============================================================================== c New solution: 6844 c Elapsed CPU time: 49.1615 s Remaining CPU time: 130.838 s c =============================================================================== c | 63 | 1497 1895 534900 | 5000 63 1186 | 0.000 % | c =============================================================================== c New solution: 6843 c Elapsed CPU time: 49.4165 s Remaining CPU time: 130.584 s c =============================================================================== c | 63 | 1497 1896 536250 | 5000 63 1186 | 0.000 % | c =============================================================================== c New solution: 6842 c Elapsed CPU time: 49.7414 s Remaining CPU time: 130.259 s c =============================================================================== c | 71 | 1497 1897 537600 | 5000 71 1194 | 0.000 % | c =============================================================================== c New solution: 6841 c Elapsed CPU time: 49.9944 s Remaining CPU time: 130.006 s c =============================================================================== c | 71 | 1497 1898 538950 | 5000 71 1194 | 0.000 % | c =============================================================================== c New solution: 6840 c Elapsed CPU time: 50.2514 s Remaining CPU time: 129.749 s c =============================================================================== c | 71 | 1497 1899 540300 | 5000 71 1194 | 0.000 % | c =============================================================================== c New solution: 6839 c Elapsed CPU time: 50.5393 s Remaining CPU time: 129.461 s c =============================================================================== c | 72 | 1497 1900 541650 | 5000 72 1195 | 0.000 % | c =============================================================================== c New solution: 6838 c Elapsed CPU time: 50.7953 s Remaining CPU time: 129.205 s c =============================================================================== c | 72 | 1497 1901 543000 | 5000 72 1195 | 0.000 % | c =============================================================================== c New solution: 6837 c Elapsed CPU time: 51.0682 s Remaining CPU time: 128.932 s c =============================================================================== c | 72 | 1497 1902 544350 | 5000 72 1195 | 0.000 % | c =============================================================================== c New solution: 6836 c Elapsed CPU time: 51.3362 s Remaining CPU time: 128.664 s c =============================================================================== c | 72 | 1497 1903 545700 | 5000 72 1195 | 0.000 % | c =============================================================================== c New solution: 6835 c Elapsed CPU time: 51.6072 s Remaining CPU time: 128.393 s c =============================================================================== c | 72 | 1497 1904 547050 | 5000 72 1195 | 0.000 % | c =============================================================================== c New solution: 6834 c Elapsed CPU time: 51.8721 s Remaining CPU time: 128.128 s c =============================================================================== c | 72 | 1497 1905 548400 | 5000 72 1195 | 0.000 % | c =============================================================================== c New solution: 6833 c Elapsed CPU time: 52.1341 s Remaining CPU time: 127.866 s c =============================================================================== c | 72 | 1497 1906 549750 | 5000 72 1195 | 0.000 % | c =============================================================================== c New solution: 6832 c Elapsed CPU time: 52.404 s Remaining CPU time: 127.596 s c =============================================================================== c | 72 | 1497 1907 551100 | 5000 72 1195 | 0.000 % | c =============================================================================== c New solution: 6831 c Elapsed CPU time: 52.69 s Remaining CPU time: 127.31 s c =============================================================================== c | 80 | 1497 1908 552450 | 5000 80 1201 | 0.000 % | c =============================================================================== c New solution: 6830 c Elapsed CPU time: 52.9689 s Remaining CPU time: 127.031 s c =============================================================================== c | 81 | 1497 1909 553800 | 5000 81 1201 | 0.000 % | c =============================================================================== c New solution: 6829 c Elapsed CPU time: 53.2629 s Remaining CPU time: 126.737 s c =============================================================================== c | 84 | 1497 1910 555150 | 5000 84 1203 | 0.000 % | c =============================================================================== c New solution: 6828 c Elapsed CPU time: 53.5189 s Remaining CPU time: 126.481 s c =============================================================================== c | 91 | 1497 1911 556500 | 5000 91 1207 | 0.000 % | c =============================================================================== c New solution: 6827 c Elapsed CPU time: 53.8068 s Remaining CPU time: 126.193 s c =============================================================================== c | 93 | 1497 1912 557850 | 5000 93 1208 | 0.000 % | c =============================================================================== c New solution: 6826 c Elapsed CPU time: 54.0848 s Remaining CPU time: 125.915 s c =============================================================================== c | 93 | 1497 1913 559200 | 5000 93 1208 | 0.000 % | c =============================================================================== c New solution: 6825 c Elapsed CPU time: 54.3787 s Remaining CPU time: 125.621 s c =============================================================================== c | 96 | 1497 1914 560550 | 5000 96 1210 | 0.000 % | c =============================================================================== c New solution: 6824 c Elapsed CPU time: 54.6517 s Remaining CPU time: 125.348 s c =============================================================================== c | 96 | 1497 1915 561900 | 5000 96 1210 | 0.000 % | c =============================================================================== c New solution: 6823 c Elapsed CPU time: 54.9157 s Remaining CPU time: 125.084 s c =============================================================================== c | 96 | 1497 1916 563250 | 5000 96 1210 | 0.000 % | c =============================================================================== c New solution: 6822 c Elapsed CPU time: 55.1886 s Remaining CPU time: 124.811 s c =============================================================================== c | 96 | 1497 1917 564600 | 5000 96 1210 | 0.000 % | c =============================================================================== c New solution: 6821 c Elapsed CPU time: 55.4726 s Remaining CPU time: 124.527 s c =============================================================================== c | 96 | 1497 1918 565950 | 5000 96 1210 | 0.000 % | c =============================================================================== c New solution: 6820 c Elapsed CPU time: 55.7525 s Remaining CPU time: 124.247 s c =============================================================================== c | 96 | 1497 1919 567300 | 5000 96 1210 | 0.000 % | c =============================================================================== c New solution: 6819 c Elapsed CPU time: 56.0365 s Remaining CPU time: 123.964 s c =============================================================================== c | 98 | 1497 1920 568650 | 5000 98 1211 | 0.000 % | c =============================================================================== c New solution: 6818 c Elapsed CPU time: 56.3184 s Remaining CPU time: 123.682 s c =============================================================================== c | 99 | 1497 1921 570000 | 5000 99 1211 | 0.000 % | c =============================================================================== c New solution: 6817 c Elapsed CPU time: 56.6124 s Remaining CPU time: 123.388 s c =============================================================================== c | 103 | 1497 1922 571350 | 5000 103 1213 | 0.000 % | c =============================================================================== c New solution: 6816 c Elapsed CPU time: 56.9033 s Remaining CPU time: 123.097 s c =============================================================================== c | 104 | 1497 1923 572700 | 5000 104 1213 | 0.000 % | c =============================================================================== c New solution: 6815 c Elapsed CPU time: 57.1813 s Remaining CPU time: 122.819 s c =============================================================================== c | 104 | 1497 1924 574050 | 5000 104 1213 | 0.000 % | c =============================================================================== c New solution: 6814 c Elapsed CPU time: 57.4653 s Remaining CPU time: 122.535 s c =============================================================================== c | 104 | 1497 1925 575400 | 5000 104 1213 | 0.000 % | c =============================================================================== c New solution: 6813 c Elapsed CPU time: 57.7692 s Remaining CPU time: 122.231 s c =============================================================================== c | 110 | 1497 1926 576750 | 5000 110 1215 | 0.000 % | c =============================================================================== c New solution: 6812 c Elapsed CPU time: 58.0482 s Remaining CPU time: 121.952 s c =============================================================================== c | 111 | 1497 1927 578100 | 5000 111 1216 | 0.000 % | c =============================================================================== c New solution: 6811 c Elapsed CPU time: 58.3291 s Remaining CPU time: 121.671 s c =============================================================================== c | 112 | 1497 1928 579450 | 5000 112 1216 | 0.000 % | c =============================================================================== c New solution: 6810 c Elapsed CPU time: 58.6211 s Remaining CPU time: 121.379 s c =============================================================================== c | 117 | 1497 1929 580800 | 5000 117 1218 | 0.000 % | c =============================================================================== c New solution: 6809 c Elapsed CPU time: 58.931 s Remaining CPU time: 121.069 s c =============================================================================== c | 120 | 1497 1930 582150 | 5000 120 1218 | 0.000 % | c =============================================================================== c New solution: 6808 c Elapsed CPU time: 59.219 s Remaining CPU time: 120.781 s c =============================================================================== c | 120 | 1497 1931 583500 | 5000 120 1218 | 0.000 % | c =============================================================================== c New solution: 6807 c Elapsed CPU time: 59.506 s Remaining CPU time: 120.494 s c =============================================================================== c | 120 | 1497 1932 584850 | 5000 120 1218 | 0.000 % | c =============================================================================== c New solution: 6806 c Elapsed CPU time: 59.8239 s Remaining CPU time: 120.176 s c =============================================================================== c | 137 | 1497 1933 586200 | 5000 137 1222 | 0.000 % | c =============================================================================== c New solution: 6805 c Elapsed CPU time: 60.0929 s Remaining CPU time: 119.907 s c =============================================================================== c | 137 | 1497 1934 587550 | 5000 137 1222 | 0.000 % | c =============================================================================== c New solution: 6804 c Elapsed CPU time: 60.3908 s Remaining CPU time: 119.609 s c =============================================================================== c | 137 | 1497 1935 588900 | 5000 137 1222 | 0.000 % | c =============================================================================== c New solution: 6803 c Elapsed CPU time: 60.6748 s Remaining CPU time: 119.325 s c =============================================================================== c | 138 | 1497 1936 590250 | 5000 138 1223 | 0.000 % | c =============================================================================== c New solution: 6802 c Elapsed CPU time: 60.9547 s Remaining CPU time: 119.045 s c =============================================================================== c | 139 | 1497 1937 591600 | 5000 139 1223 | 0.000 % | c =============================================================================== c New solution: 6801 c Elapsed CPU time: 61.2387 s Remaining CPU time: 118.761 s c =============================================================================== c | 139 | 1497 1938 592950 | 5000 139 1223 | 0.000 % | c =============================================================================== c New solution: 6800 c Elapsed CPU time: 61.5606 s Remaining CPU time: 118.439 s c =============================================================================== c | 142 | 1497 1939 594300 | 5000 142 1223 | 0.000 % | c =============================================================================== c New solution: 6799 c Elapsed CPU time: 61.8616 s Remaining CPU time: 118.138 s c =============================================================================== c | 144 | 1497 1940 595650 | 5000 144 1224 | 0.000 % | c =============================================================================== c New solution: 6798 c Elapsed CPU time: 62.1476 s Remaining CPU time: 117.852 s c =============================================================================== c | 145 | 1497 1941 597000 | 5000 145 1224 | 0.000 % | c =============================================================================== c New solution: 6797 c Elapsed CPU time: 62.4755 s Remaining CPU time: 117.524 s c =============================================================================== c | 153 | 1497 1942 598350 | 5000 153 1225 | 0.000 % | c =============================================================================== c New solution: 6796 c Elapsed CPU time: 62.7665 s Remaining CPU time: 117.234 s c =============================================================================== c | 153 | 1497 1943 599700 | 5000 153 1225 | 0.000 % | c =============================================================================== c New solution: 6795 c Elapsed CPU time: 63.0764 s Remaining CPU time: 116.924 s c =============================================================================== c | 153 | 1497 1944 601050 | 5000 153 1225 | 0.000 % | c =============================================================================== c New solution: 6794 c Elapsed CPU time: 63.4074 s Remaining CPU time: 116.593 s c =============================================================================== c | 159 | 1497 1945 602400 | 5000 159 1226 | 0.000 % | c =============================================================================== c New solution: 6793 c Elapsed CPU time: 63.7033 s Remaining CPU time: 116.297 s c =============================================================================== c | 159 | 1497 1946 603750 | 5000 159 1226 | 0.000 % | c =============================================================================== c New solution: 6792 c Elapsed CPU time: 64.0053 s Remaining CPU time: 115.995 s c =============================================================================== c | 159 | 1497 1947 605100 | 5000 159 1226 | 0.000 % | c =============================================================================== c New solution: 6791 c Elapsed CPU time: 64.3282 s Remaining CPU time: 115.672 s c =============================================================================== c | 160 | 1497 1948 606450 | 5000 160 1226 | 0.000 % | c =============================================================================== c New solution: 6790 c Elapsed CPU time: 64.6112 s Remaining CPU time: 115.389 s c =============================================================================== c | 161 | 1497 1949 607800 | 5000 161 1227 | 0.000 % | c =============================================================================== c New solution: 6789 c Elapsed CPU time: 64.9191 s Remaining CPU time: 115.081 s c =============================================================================== c | 161 | 1497 1950 609150 | 5000 161 1227 | 0.000 % | c =============================================================================== c New solution: 6788 c Elapsed CPU time: 65.2131 s Remaining CPU time: 114.787 s c =============================================================================== c | 163 | 1497 1951 610500 | 5000 163 1227 | 0.000 % | c =============================================================================== c New solution: 6787 c Elapsed CPU time: 65.517 s Remaining CPU time: 114.483 s c =============================================================================== c | 163 | 1497 1952 611850 | 5000 163 1227 | 0.000 % | c =============================================================================== c New solution: 6786 c Elapsed CPU time: 65.847 s Remaining CPU time: 114.153 s c =============================================================================== c | 168 | 1497 1953 613200 | 5000 168 1227 | 0.000 % | c =============================================================================== c New solution: 6785 c Elapsed CPU time: 66.1539 s Remaining CPU time: 113.846 s c =============================================================================== c | 168 | 1497 1954 614550 | 5000 168 1227 | 0.000 % | c =============================================================================== c New solution: 6784 c Elapsed CPU time: 66.4889 s Remaining CPU time: 113.511 s c =============================================================================== c | 176 | 1497 1955 615900 | 5000 176 1228 | 0.000 % | c =============================================================================== c New solution: 6783 c Elapsed CPU time: 66.7878 s Remaining CPU time: 113.212 s c =============================================================================== c | 176 | 1497 1956 617250 | 5000 176 1228 | 0.000 % | c =============================================================================== c New solution: 6782 c Elapsed CPU time: 67.1108 s Remaining CPU time: 112.889 s c =============================================================================== c | 179 | 1497 1957 618600 | 5000 179 1229 | 0.000 % | c =============================================================================== c New solution: 6781 c Elapsed CPU time: 67.4347 s Remaining CPU time: 112.565 s c =============================================================================== c | 184 | 1497 1958 619950 | 5000 184 1229 | 0.000 % | c =============================================================================== c New solution: 6780 c Elapsed CPU time: 67.7507 s Remaining CPU time: 112.249 s c =============================================================================== c | 184 | 1497 1959 621300 | 5000 184 1229 | 0.000 % | c =============================================================================== c New solution: 6779 c Elapsed CPU time: 68.0517 s Remaining CPU time: 111.948 s c =============================================================================== c | 184 | 1497 1960 622650 | 5000 184 1229 | 0.000 % | c =============================================================================== c New solution: 6778 c Elapsed CPU time: 68.3476 s Remaining CPU time: 111.652 s c =============================================================================== c | 185 | 1497 1961 624000 | 5000 185 1222 | 0.000 % | c =============================================================================== c New solution: 6777 c Elapsed CPU time: 68.6496 s Remaining CPU time: 111.35 s c =============================================================================== c | 185 | 1497 1962 625350 | 5000 185 1222 | 0.000 % | c =============================================================================== c New solution: 6776 c Elapsed CPU time: 68.9385 s Remaining CPU time: 111.061 s c =============================================================================== c | 185 | 1497 1963 626700 | 5000 185 1222 | 0.000 % | c =============================================================================== c New solution: 6775 c Elapsed CPU time: 69.2565 s Remaining CPU time: 110.744 s c =============================================================================== c | 185 | 1497 1964 628050 | 5000 185 1222 | 0.000 % | c =============================================================================== c New solution: 6774 c Elapsed CPU time: 69.5664 s Remaining CPU time: 110.434 s c =============================================================================== c | 185 | 1497 1965 629400 | 5000 185 1222 | 0.000 % | c =============================================================================== c New solution: 6773 c Elapsed CPU time: 69.8704 s Remaining CPU time: 110.13 s c =============================================================================== c | 185 | 1497 1966 630750 | 5000 185 1222 | 0.000 % | c =============================================================================== c New solution: 6772 c Elapsed CPU time: 70.1743 s Remaining CPU time: 109.826 s c =============================================================================== c | 185 | 1497 1967 632100 | 5000 185 1222 | 0.000 % | c =============================================================================== c New solution: 6771 c Elapsed CPU time: 70.4763 s Remaining CPU time: 109.524 s c =============================================================================== c | 185 | 1497 1968 633450 | 5000 185 1222 | 0.000 % | c =============================================================================== c New solution: 6770 c Elapsed CPU time: 71.1742 s Remaining CPU time: 108.826 s c =============================================================================== c | 242 | 1497 1969 634800 | 5000 242 1228 | 0.000 % | c =============================================================================== c New solution: 6769 c Elapsed CPU time: 71.5451 s Remaining CPU time: 108.455 s c =============================================================================== c | 249 | 1497 1970 636150 | 5000 249 1228 | 0.000 % | c =============================================================================== c New solution: 6768 c Elapsed CPU time: 71.8991 s Remaining CPU time: 108.101 s c =============================================================================== c | 253 | 1497 1971 637500 | 5000 253 1228 | 0.000 % | c =============================================================================== c New solution: 6767 c Elapsed CPU time: 72.249 s Remaining CPU time: 107.751 s c =============================================================================== c | 263 | 1497 1972 638850 | 5000 263 1229 | 0.000 % | c =============================================================================== c New solution: 6766 c Elapsed CPU time: 72.578 s Remaining CPU time: 107.422 s c =============================================================================== c | 264 | 1497 1973 640200 | 5000 264 1229 | 0.000 % | c =============================================================================== c New solution: 6765 c Elapsed CPU time: 72.9559 s Remaining CPU time: 107.044 s c =============================================================================== c | 280 | 1497 1974 641550 | 5000 280 1230 | 0.000 % | c =============================================================================== c New solution: 6764 c Elapsed CPU time: 73.3029 s Remaining CPU time: 106.697 s c =============================================================================== c | 286 | 1497 1975 642900 | 5000 286 1230 | 0.000 % | c =============================================================================== c New solution: 6763 c Elapsed CPU time: 73.6178 s Remaining CPU time: 106.382 s c =============================================================================== c | 286 | 1497 1976 644250 | 5000 286 1230 | 0.000 % | c =============================================================================== c New solution: 6762 c Elapsed CPU time: 73.9298 s Remaining CPU time: 106.07 s c =============================================================================== c | 286 | 1497 1977 645600 | 5000 286 1230 | 0.000 % | c =============================================================================== c New solution: 6761 c Elapsed CPU time: 74.2377 s Remaining CPU time: 105.762 s c =============================================================================== c | 287 | 1497 1978 646950 | 5000 287 1230 | 0.000 % | c =============================================================================== c New solution: 6760 c Elapsed CPU time: 74.5607 s Remaining CPU time: 105.439 s c =============================================================================== c | 293 | 1497 1979 648300 | 5000 293 1230 | 0.000 % | c =============================================================================== c New solution: 6759 c Elapsed CPU time: 74.9726 s Remaining CPU time: 105.027 s c =============================================================================== c | 302 | 1497 1980 649650 | 5000 302 1226 | 0.000 % | c =============================================================================== c New solution: 6758 c Elapsed CPU time: 75.3106 s Remaining CPU time: 104.689 s c =============================================================================== c | 308 | 1497 1981 651000 | 5000 308 1227 | 0.000 % | c =============================================================================== c New solution: 6757 c Elapsed CPU time: 75.6385 s Remaining CPU time: 104.361 s c =============================================================================== c | 309 | 1497 1982 652350 | 5000 309 1227 | 0.000 % | c =============================================================================== c New solution: 6756 c Elapsed CPU time: 75.9645 s Remaining CPU time: 104.036 s c =============================================================================== c | 311 | 1497 1983 653700 | 5000 311 1227 | 0.000 % | c =============================================================================== c New solution: 6755 c Elapsed CPU time: 76.3394 s Remaining CPU time: 103.661 s c =============================================================================== c | 316 | 1497 1984 655050 | 5000 316 1227 | 0.000 % | c =============================================================================== c New solution: 6754 c Elapsed CPU time: 76.6853 s Remaining CPU time: 103.315 s c =============================================================================== c | 319 | 1497 1985 656400 | 5000 319 1227 | 0.000 % | c =============================================================================== c New solution: 6753 c Elapsed CPU time: 77.0353 s Remaining CPU time: 102.965 s c =============================================================================== c | 326 | 1497 1986 657750 | 5000 326 1224 | 0.000 % | c =============================================================================== c New solution: 6752 c Elapsed CPU time: 77.3852 s Remaining CPU time: 102.615 s c =============================================================================== c | 328 | 1497 1987 659100 | 5000 328 1224 | 0.000 % | c =============================================================================== c New solution: 6751 c Elapsed CPU time: 77.7462 s Remaining CPU time: 102.254 s c =============================================================================== c | 334 | 1497 1988 660450 | 5000 334 1224 | 0.000 % | c =============================================================================== c New solution: 6750 c Elapsed CPU time: 78.0621 s Remaining CPU time: 101.938 s c =============================================================================== c | 334 | 1497 1989 661800 | 5000 334 1224 | 0.000 % | c =============================================================================== c New solution: 6749 c Elapsed CPU time: 78.4111 s Remaining CPU time: 101.589 s c =============================================================================== c | 343 | 1497 1990 663150 | 5000 343 1225 | 0.000 % | c =============================================================================== c New solution: 6748 c Elapsed CPU time: 78.746 s Remaining CPU time: 101.254 s c =============================================================================== c | 344 | 1497 1991 664500 | 5000 344 1225 | 0.000 % | c =============================================================================== c New solution: 6747 c Elapsed CPU time: 79.131 s Remaining CPU time: 100.869 s c =============================================================================== c | 349 | 1497 1992 665850 | 5000 349 1225 | 0.000 % | c =============================================================================== c New solution: 6746 c Elapsed CPU time: 79.4789 s Remaining CPU time: 100.521 s c =============================================================================== c | 350 | 1497 1993 667200 | 5000 350 1225 | 0.000 % | c =============================================================================== c New solution: 6745 c Elapsed CPU time: 80.3498 s Remaining CPU time: 99.6502 s c =============================================================================== c | 413 | 1497 1994 668550 | 5000 413 1227 | 0.000 % | c =============================================================================== c New solution: 6744 c Elapsed CPU time: 80.7027 s Remaining CPU time: 99.2973 s c =============================================================================== c | 421 | 1497 1995 669900 | 5000 421 1227 | 0.000 % | c =============================================================================== c New solution: 6743 c Elapsed CPU time: 81.0387 s Remaining CPU time: 98.9613 s c =============================================================================== c | 423 | 1497 1996 671250 | 5000 423 1227 | 0.000 % | c =============================================================================== c New solution: 6742 c Elapsed CPU time: 81.4686 s Remaining CPU time: 98.5314 s c =============================================================================== c | 443 | 1497 1997 672600 | 5000 443 1228 | 0.000 % | c =============================================================================== c New solution: 6741 c Elapsed CPU time: 81.8826 s Remaining CPU time: 98.1174 s c =============================================================================== c | 457 | 1497 1998 673950 | 5000 457 1228 | 0.000 % | c =============================================================================== c New solution: 6740 c Elapsed CPU time: 82.2245 s Remaining CPU time: 97.7755 s c =============================================================================== c | 463 | 1497 1999 675300 | 5000 463 1228 | 0.000 % | c =============================================================================== c New solution: 6739 c Elapsed CPU time: 82.5794 s Remaining CPU time: 97.4206 s c =============================================================================== c | 468 | 1497 2000 676650 | 5000 468 1228 | 0.000 % | c =============================================================================== c New solution: 6738 c Elapsed CPU time: 82.9164 s Remaining CPU time: 97.0836 s c =============================================================================== c | 468 | 1497 2001 678000 | 5000 468 1228 | 0.000 % | c =============================================================================== c New solution: 6737 c Elapsed CPU time: 83.2463 s Remaining CPU time: 96.7537 s c =============================================================================== c | 469 | 1497 2002 679350 | 5000 469 1228 | 0.000 % | c =============================================================================== c New solution: 6736 c Elapsed CPU time: 83.5843 s Remaining CPU time: 96.4157 s c =============================================================================== c | 470 | 1497 2003 680700 | 5000 470 1229 | 0.000 % | c =============================================================================== c New solution: 6735 c Elapsed CPU time: 83.9302 s Remaining CPU time: 96.0698 s c =============================================================================== c | 470 | 1497 2004 682050 | 5000 470 1229 | 0.000 % | c =============================================================================== c New solution: 6734 c Elapsed CPU time: 84.2712 s Remaining CPU time: 95.7288 s c =============================================================================== c | 472 | 1497 2005 683400 | 5000 472 1229 | 0.000 % | c =============================================================================== c New solution: 6733 c Elapsed CPU time: 84.6131 s Remaining CPU time: 95.3869 s c =============================================================================== c | 472 | 1497 2006 684750 | 5000 472 1229 | 0.000 % | c =============================================================================== c New solution: 6732 c Elapsed CPU time: 84.9441 s Remaining CPU time: 95.0559 s c =============================================================================== c | 474 | 1497 2007 686100 | 5000 474 1229 | 0.000 % | c =============================================================================== c New solution: 6731 c Elapsed CPU time: 85.322 s Remaining CPU time: 94.678 s c =============================================================================== c | 478 | 1497 2008 687450 | 5000 478 1229 | 0.000 % | c =============================================================================== c New solution: 6730 c Elapsed CPU time: 85.744 s Remaining CPU time: 94.256 s c =============================================================================== c | 497 | 1497 2009 688800 | 5000 497 1229 | 0.000 % | c =============================================================================== c New solution: 6729 c Elapsed CPU time: 86.1019 s Remaining CPU time: 93.8981 s c =============================================================================== c | 497 | 1497 2010 690150 | 5000 497 1229 | 0.000 % | c =============================================================================== c New solution: 6728 c Elapsed CPU time: 86.4349 s Remaining CPU time: 93.5651 s c =============================================================================== c | 497 | 1497 2011 691500 | 5000 497 1229 | 0.000 % | c =============================================================================== c New solution: 6727 c Elapsed CPU time: 87.3657 s Remaining CPU time: 92.6343 s c =============================================================================== c | 590 | 1497 2012 692850 | 5000 590 1230 | 0.000 % | c =============================================================================== c New solution: 6726 c Elapsed CPU time: 87.8806 s Remaining CPU time: 92.1194 s c =============================================================================== c | 618 | 1497 2013 694200 | 5000 618 1230 | 0.000 % | c =============================================================================== c New solution: 6725 c Elapsed CPU time: 88.2766 s Remaining CPU time: 91.7234 s c =============================================================================== c | 624 | 1497 2014 695550 | 5000 624 1230 | 0.000 % | c =============================================================================== c New solution: 6724 c Elapsed CPU time: 88.6335 s Remaining CPU time: 91.3665 s c =============================================================================== c | 629 | 1497 2015 696900 | 5000 629 1230 | 0.000 % | c =============================================================================== c New solution: 6723 c Elapsed CPU time: 89.0965 s Remaining CPU time: 90.9035 s c =============================================================================== c | 637 | 1497 2016 698250 | 5000 637 1230 | 0.000 % | c =============================================================================== c New solution: 6722 c Elapsed CPU time: 89.5164 s Remaining CPU time: 90.4836 s c =============================================================================== c | 646 | 1497 2017 699600 | 5000 646 1230 | 0.000 % | c =============================================================================== c New solution: 6721 c Elapsed CPU time: 89.9883 s Remaining CPU time: 90.0117 s c =============================================================================== c | 660 | 1497 2018 700950 | 5000 660 1230 | 0.000 % | c =============================================================================== c New solution: 6720 c Elapsed CPU time: 90.3433 s Remaining CPU time: 89.6567 s c =============================================================================== c | 661 | 1497 2019 702300 | 5000 661 1230 | 0.000 % | c =============================================================================== c New solution: 6719 c Elapsed CPU time: 90.6912 s Remaining CPU time: 89.3088 s c =============================================================================== c | 662 | 1497 2020 703650 | 5000 662 1230 | 0.000 % | c =============================================================================== c New solution: 6718 c Elapsed CPU time: 91.0682 s Remaining CPU time: 88.9318 s c =============================================================================== c | 664 | 1497 2021 705000 | 5000 664 1230 | 0.000 % | c =============================================================================== c New solution: 6717 c Elapsed CPU time: 91.4181 s Remaining CPU time: 88.5819 s c =============================================================================== c | 664 | 1497 2022 706350 | 5000 664 1230 | 0.000 % | c =============================================================================== c New solution: 6716 c Elapsed CPU time: 91.825 s Remaining CPU time: 88.175 s c =============================================================================== c | 680 | 1497 2023 707700 | 5000 680 1230 | 0.000 % | c =============================================================================== c New solution: 6715 c Elapsed CPU time: 92.201 s Remaining CPU time: 87.799 s c =============================================================================== c | 692 | 1497 2024 709050 | 5000 692 1230 | 0.000 % | c =============================================================================== c New solution: 6714 c Elapsed CPU time: 92.5749 s Remaining CPU time: 87.4251 s c =============================================================================== c | 697 | 1497 2025 710400 | 5000 697 1230 | 0.000 % | c =============================================================================== c New solution: 6713 c Elapsed CPU time: 93.0249 s Remaining CPU time: 86.9751 s c =============================================================================== c | 714 | 1497 2026 711750 | 5000 714 1231 | 0.000 % | c =============================================================================== c New solution: 6712 c Elapsed CPU time: 93.3608 s Remaining CPU time: 86.6392 s c =============================================================================== c | 715 | 1497 2027 713100 | 5000 715 1231 | 0.000 % | c =============================================================================== c New solution: 6711 c Elapsed CPU time: 93.7567 s Remaining CPU time: 86.2433 s c =============================================================================== c | 722 | 1497 2028 714450 | 5000 722 1231 | 0.000 % | c =============================================================================== c New solution: 6710 c Elapsed CPU time: 94.1097 s Remaining CPU time: 85.8903 s c =============================================================================== c | 722 | 1497 2029 715800 | 5000 722 1231 | 0.000 % | c =============================================================================== c New solution: 6709 c Elapsed CPU time: 94.4666 s Remaining CPU time: 85.5334 s c =============================================================================== c | 722 | 1497 2030 717150 | 5000 722 1231 | 0.000 % | c =============================================================================== c New solution: 6708 c Elapsed CPU time: 94.8146 s Remaining CPU time: 85.1854 s c =============================================================================== c | 722 | 1497 2031 718500 | 5000 722 1231 | 0.000 % | c =============================================================================== c New solution: 6707 c Elapsed CPU time: 95.1565 s Remaining CPU time: 84.8435 s c =============================================================================== c | 722 | 1497 2032 719850 | 5000 722 1231 | 0.000 % | c =============================================================================== c New solution: 6706 c Elapsed CPU time: 95.5435 s Remaining CPU time: 84.4565 s c =============================================================================== c | 727 | 1497 2033 721200 | 5000 727 1231 | 0.000 % | c =============================================================================== c New solution: 6705 c Elapsed CPU time: 95.9124 s Remaining CPU time: 84.0876 s c =============================================================================== c | 728 | 1497 2034 722550 | 5000 728 1231 | 0.000 % | c =============================================================================== c New solution: 6704 c Elapsed CPU time: 96.3004 s Remaining CPU time: 83.6996 s c =============================================================================== c | 730 | 1497 2035 723900 | 5000 730 1231 | 0.000 % | c =============================================================================== c New solution: 6703 c Elapsed CPU time: 96.7643 s Remaining CPU time: 83.2357 s c =============================================================================== c | 744 | 1497 2036 725250 | 5000 744 1231 | 0.000 % | c =============================================================================== c New solution: 6702 c Elapsed CPU time: 97.1352 s Remaining CPU time: 82.8648 s c =============================================================================== c | 747 | 1497 2037 726600 | 5000 747 1231 | 0.000 % | c =============================================================================== c New solution: 6701 c Elapsed CPU time: 97.5342 s Remaining CPU time: 82.4658 s c =============================================================================== c | 755 | 1497 2038 727950 | 5000 755 1231 | 0.000 % | c =============================================================================== c New solution: 6700 c Elapsed CPU time: 97.9021 s Remaining CPU time: 82.0979 s c =============================================================================== c | 756 | 1497 2039 729300 | 5000 756 1231 | 0.000 % | c =============================================================================== c New solution: 6699 c Elapsed CPU time: 98.539 s Remaining CPU time: 81.461 s c =============================================================================== c | 801 | 1497 2040 730650 | 5000 801 1231 | 0.000 % | c =============================================================================== c New solution: 6698 c Elapsed CPU time: 98.899 s Remaining CPU time: 81.101 s c =============================================================================== c | 801 | 1497 2041 732000 | 5000 801 1231 | 0.000 % | c =============================================================================== c New solution: 6697 c Elapsed CPU time: 99.3339 s Remaining CPU time: 80.6661 s c =============================================================================== c | 813 | 1497 2042 733350 | 5000 813 1231 | 0.000 % | c =============================================================================== c New solution: 6696 c Elapsed CPU time: 99.7848 s Remaining CPU time: 80.2152 s c =============================================================================== c | 834 | 1497 2043 734700 | 5000 834 1231 | 0.000 % | c =============================================================================== c New solution: 6695 c Elapsed CPU time: 100.248 s Remaining CPU time: 79.7522 s c =============================================================================== c | 847 | 1497 2044 736050 | 5000 847 1231 | 0.000 % | c =============================================================================== c New solution: 6694 c Elapsed CPU time: 100.75 s Remaining CPU time: 79.2503 s c =============================================================================== c | 883 | 1497 2045 737400 | 5000 883 1231 | 0.000 % | c =============================================================================== c New solution: 6693 c Elapsed CPU time: 101.328 s Remaining CPU time: 78.6724 s c =============================================================================== c | 907 | 1497 2046 738750 | 5000 907 1231 | 0.000 % | c =============================================================================== c New solution: 6692 c Elapsed CPU time: 101.762 s Remaining CPU time: 78.2385 s c =============================================================================== c | 925 | 1497 2047 740100 | 5000 925 1231 | 0.000 % | c =============================================================================== c New solution: 6691 c Elapsed CPU time: 102.155 s Remaining CPU time: 77.8445 s c =============================================================================== c | 926 | 1497 2048 741450 | 5000 926 1230 | 0.000 % | c =============================================================================== c New solution: 6690 c Elapsed CPU time: 102.558 s Remaining CPU time: 77.4416 s c =============================================================================== c | 928 | 1497 2049 742800 | 5000 928 1230 | 0.000 % | c =============================================================================== c New solution: 6689 c Elapsed CPU time: 102.932 s Remaining CPU time: 77.0676 s c =============================================================================== c | 929 | 1497 2050 744150 | 5000 929 1230 | 0.000 % | c =============================================================================== c New solution: 6688 c Elapsed CPU time: 103.3 s Remaining CPU time: 76.6997 s c =============================================================================== c | 929 | 1497 2051 745500 | 5000 929 1230 | 0.000 % | c =============================================================================== c New solution: 6687 c Elapsed CPU time: 103.802 s Remaining CPU time: 76.1978 s c =============================================================================== c | 950 | 1497 2052 746850 | 5000 950 1230 | 0.000 % | c =============================================================================== c New solution: 6686 c Elapsed CPU time: 104.167 s Remaining CPU time: 75.8328 s c =============================================================================== c | 950 | 1497 2053 748200 | 5000 950 1230 | 0.000 % | c =============================================================================== c New solution: 6685 c Elapsed CPU time: 104.598 s Remaining CPU time: 75.4019 s c =============================================================================== c | 983 | 1497 2054 749550 | 5000 983 1230 | 0.000 % | c =============================================================================== c New solution: 6684 c Elapsed CPU time: 105.029 s Remaining CPU time: 74.971 s c =============================================================================== c | 995 | 1497 2055 750900 | 5000 995 1230 | 0.000 % | c =============================================================================== c New solution: 6683 c Elapsed CPU time: 105.518 s Remaining CPU time: 74.482 s c =============================================================================== c | 1013 | 1497 2056 752250 | 5000 1013 1230 | 0.000 % | c =============================================================================== c New solution: 6682 c Elapsed CPU time: 106.108 s Remaining CPU time: 73.8921 s c =============================================================================== c | 1052 | 1497 2057 753600 | 5000 1052 1230 | 0.000 % | c =============================================================================== c New solution: 6681 c Elapsed CPU time: 106.601 s Remaining CPU time: 73.3992 s c =============================================================================== c | 1058 | 1497 2058 754950 | 5000 1058 1230 | 0.000 % | c =============================================================================== c New solution: 6680 c Elapsed CPU time: 107.037 s Remaining CPU time: 72.9633 s c =============================================================================== c | 1077 | 1497 2059 756300 | 5000 1077 1230 | 0.000 % | c =============================================================================== c New solution: 6679 c Elapsed CPU time: 107.455 s Remaining CPU time: 72.5453 s c =============================================================================== c | 1083 | 1497 2060 757650 | 5000 1083 1230 | 0.000 % | c =============================================================================== c New solution: 6678 c Elapsed CPU time: 107.85 s Remaining CPU time: 72.1504 s c =============================================================================== c | 1086 | 1497 2061 759000 | 5000 1086 1230 | 0.000 % | c =============================================================================== c New solution: 6677 c Elapsed CPU time: 108.263 s Remaining CPU time: 71.7375 s c =============================================================================== c | 1090 | 1497 2062 760350 | 5000 1090 1230 | 0.000 % | c =============================================================================== c New solution: 6676 c Elapsed CPU time: 108.661 s Remaining CPU time: 71.3385 s c =============================================================================== c | 1095 | 1497 2063 761700 | 5000 1095 1230 | 0.000 % | c =============================================================================== c New solution: 6675 c Elapsed CPU time: 109.08 s Remaining CPU time: 70.9196 s c =============================================================================== c | 1103 | 1497 2064 763050 | 5000 1103 1230 | 0.000 % | c =============================================================================== c New solution: 6674 c Elapsed CPU time: 109.552 s Remaining CPU time: 70.4477 s c =============================================================================== c | 1117 | 1497 2065 764400 | 5000 1117 1230 | 0.000 % | c =============================================================================== c New solution: 6673 c Elapsed CPU time: 109.994 s Remaining CPU time: 70.0057 s c =============================================================================== c | 1127 | 1497 2066 765750 | 5000 1127 1229 | 0.000 % | c =============================================================================== c New solution: 6672 c Elapsed CPU time: 110.649 s Remaining CPU time: 69.3508 s c =============================================================================== c | 1167 | 1497 2067 767100 | 5000 1167 1229 | 0.000 % | c =============================================================================== c New solution: 6671 c Elapsed CPU time: 111.125 s Remaining CPU time: 68.8749 s c =============================================================================== c | 1198 | 1497 2068 768450 | 5000 1198 1229 | 0.000 % | c =============================================================================== c New solution: 6670 c Elapsed CPU time: 111.525 s Remaining CPU time: 68.475 s c =============================================================================== c | 1204 | 1497 2069 769800 | 5000 1204 1229 | 0.000 % | c =============================================================================== c New solution: 6669 c Elapsed CPU time: 111.986 s Remaining CPU time: 68.014 s c =============================================================================== c | 1220 | 1497 2070 771150 | 5000 1220 1229 | 0.000 % | c =============================================================================== c New solution: 6668 c Elapsed CPU time: 112.39 s Remaining CPU time: 67.6101 s c =============================================================================== c | 1234 | 1497 2071 772500 | 5000 1234 1229 | 0.000 % | c =============================================================================== c New solution: 6667 c Elapsed CPU time: 112.909 s Remaining CPU time: 67.0912 s c =============================================================================== c | 1248 | 1497 2072 773850 | 5000 1248 1229 | 0.000 % | c =============================================================================== c New solution: 6666 c Elapsed CPU time: 113.417 s Remaining CPU time: 66.5832 s c =============================================================================== c | 1268 | 1497 2073 775200 | 5000 1268 1229 | 0.000 % | c =============================================================================== c New solution: 6665 c Elapsed CPU time: 113.853 s Remaining CPU time: 66.1473 s c =============================================================================== c | 1278 | 1497 2074 776550 | 5000 1278 1228 | 0.000 % | c =============================================================================== c New solution: 6664 c Elapsed CPU time: 114.235 s Remaining CPU time: 65.7654 s c =============================================================================== c | 1281 | 1497 2075 777900 | 5000 1281 1228 | 0.000 % | c =============================================================================== c New solution: 6663 c Elapsed CPU time: 114.599 s Remaining CPU time: 65.4014 s c =============================================================================== c | 1282 | 1497 2076 779250 | 5000 1282 1228 | 0.000 % | c =============================================================================== c New solution: 6662 c Elapsed CPU time: 114.984 s Remaining CPU time: 65.0165 s c =============================================================================== c | 1285 | 1497 2077 780600 | 5000 1285 1228 | 0.000 % | c =============================================================================== c New solution: 6661 c Elapsed CPU time: 115.365 s Remaining CPU time: 64.6345 s c =============================================================================== c | 1288 | 1497 2078 781950 | 5000 1288 1228 | 0.000 % | c =============================================================================== c New solution: 6660 c Elapsed CPU time: 115.785 s Remaining CPU time: 64.2146 s c =============================================================================== c | 1299 | 1497 2079 783300 | 5000 1299 1228 | 0.000 % | c =============================================================================== c New solution: 6659 c Elapsed CPU time: 116.169 s Remaining CPU time: 63.8307 s c =============================================================================== c | 1311 | 1497 2080 784650 | 5000 1311 1228 | 0.000 % | c =============================================================================== c New solution: 6658 c Elapsed CPU time: 116.575 s Remaining CPU time: 63.4247 s c =============================================================================== c | 1313 | 1497 2081 786000 | 5000 1313 1228 | 0.000 % | c =============================================================================== c New solution: 6657 c Elapsed CPU time: 117.03 s Remaining CPU time: 62.9698 s c =============================================================================== c | 1320 | 1497 2082 787350 | 5000 1320 1228 | 0.000 % | c =============================================================================== c New solution: 6656 c Elapsed CPU time: 117.421 s Remaining CPU time: 62.5789 s c =============================================================================== c | 1321 | 1497 2083 788700 | 5000 1321 1228 | 0.000 % | c =============================================================================== c New solution: 6655 c Elapsed CPU time: 117.874 s Remaining CPU time: 62.1259 s c =============================================================================== c | 1334 | 1497 2084 790050 | 5000 1334 1228 | 0.000 % | c =============================================================================== c New solution: 6654 c Elapsed CPU time: 118.299 s Remaining CPU time: 61.701 s c =============================================================================== c | 1344 | 1497 2085 791400 | 5000 1344 1228 | 0.000 % | c =============================================================================== c New solution: 6653 c Elapsed CPU time: 118.875 s Remaining CPU time: 61.1251 s c =============================================================================== c | 1369 | 1497 2086 792750 | 5000 1369 1228 | 0.000 % | c =============================================================================== c New solution: 6652 c Elapsed CPU time: 119.352 s Remaining CPU time: 60.6481 s c =============================================================================== c | 1386 | 1497 2087 794100 | 5000 1386 1228 | 0.000 % | c =============================================================================== c New solution: 6651 c Elapsed CPU time: 119.762 s Remaining CPU time: 60.2382 s c =============================================================================== c | 1389 | 1497 2088 795450 | 5000 1389 1228 | 0.000 % | c =============================================================================== c New solution: 6650 c Elapsed CPU time: 120.163 s Remaining CPU time: 59.8373 s c =============================================================================== c | 1396 | 1497 2089 796800 | 5000 1396 1228 | 0.000 % | c =============================================================================== c New solution: 6649 c Elapsed CPU time: 120.666 s Remaining CPU time: 59.3343 s c =============================================================================== c | 1424 | 1497 2090 798150 | 5000 1424 1228 | 0.000 % | c =============================================================================== c New solution: 6648 c Elapsed CPU time: 121.098 s Remaining CPU time: 58.9024 s c =============================================================================== c | 1437 | 1497 2091 799500 | 5000 1437 1228 | 0.000 % | c =============================================================================== c New solution: 6647 c Elapsed CPU time: 121.627 s Remaining CPU time: 58.3735 s c =============================================================================== c | 1469 | 1497 2092 800850 | 5000 1469 1228 | 0.000 % | c =============================================================================== c New solution: 6646 c Elapsed CPU time: 122.128 s Remaining CPU time: 57.8716 s c =============================================================================== c | 1481 | 1497 2093 802200 | 5000 1481 1228 | 0.000 % | c =============================================================================== c New solution: 6645 c Elapsed CPU time: 122.584 s Remaining CPU time: 57.4156 s c =============================================================================== c | 1485 | 1497 2094 803550 | 5000 1485 1228 | 0.000 % | c =============================================================================== c New solution: 6644 c Elapsed CPU time: 123.066 s Remaining CPU time: 56.9337 s c =============================================================================== c | 1498 | 1497 2095 804900 | 5000 1498 1228 | 0.000 % | c =============================================================================== c New solution: 6643 c Elapsed CPU time: 123.523 s Remaining CPU time: 56.4768 s c =============================================================================== c | 1509 | 1497 2096 806250 | 5000 1509 1228 | 0.000 % | c =============================================================================== c New solution: 6642 c Elapsed CPU time: 123.913 s Remaining CPU time: 56.0868 s c =============================================================================== c | 1509 | 1497 2097 807600 | 5000 1509 1228 | 0.000 % | c =============================================================================== c New solution: 6641 c Elapsed CPU time: 124.307 s Remaining CPU time: 55.6929 s c =============================================================================== c | 1519 | 1497 2098 808950 | 5000 1519 1228 | 0.000 % | c =============================================================================== c New solution: 6640 c Elapsed CPU time: 124.703 s Remaining CPU time: 55.297 s c =============================================================================== c | 1519 | 1497 2099 810300 | 5000 1519 1228 | 0.000 % | c =============================================================================== c New solution: 6639 c Elapsed CPU time: 125.094 s Remaining CPU time: 54.906 s c =============================================================================== c | 1522 | 1497 2100 811650 | 5000 1522 1228 | 0.000 % | c =============================================================================== c New solution: 6638 c Elapsed CPU time: 125.5 s Remaining CPU time: 54.5001 s c =============================================================================== c | 1522 | 1497 2101 813000 | 5000 1522 1228 | 0.000 % | c =============================================================================== c New solution: 6637 c Elapsed CPU time: 125.944 s Remaining CPU time: 54.0561 s c =============================================================================== c | 1539 | 1497 2102 814350 | 5000 1539 1228 | 0.000 % | c =============================================================================== c New solution: 6636 c Elapsed CPU time: 126.346 s Remaining CPU time: 53.6542 s c =============================================================================== c | 1539 | 1497 2103 815700 | 5000 1539 1228 | 0.000 % | c =============================================================================== c New solution: 6635 c Elapsed CPU time: 126.945 s Remaining CPU time: 53.0553 s c =============================================================================== c | 1614 | 1497 2104 817050 | 5000 1614 1227 | 0.000 % | c =============================================================================== c New solution: 6634 c Elapsed CPU time: 127.41 s Remaining CPU time: 52.5904 s c =============================================================================== c | 1630 | 1497 2105 818400 | 5000 1630 1227 | 0.000 % | c =============================================================================== c New solution: 6633 c Elapsed CPU time: 127.843 s Remaining CPU time: 52.1574 s c =============================================================================== c | 1632 | 1497 2106 819750 | 5000 1632 1227 | 0.000 % | c =============================================================================== c New solution: 6632 c Elapsed CPU time: 128.508 s Remaining CPU time: 51.4915 s c =============================================================================== c | 1671 | 1497 2107 821100 | 5000 1671 1227 | 0.000 % | c =============================================================================== c New solution: 6631 c Elapsed CPU time: 129.197 s Remaining CPU time: 50.8026 s c =============================================================================== c | 1702 | 1497 2108 822450 | 5000 1702 1227 | 0.000 % | c =============================================================================== c New solution: 6630 c Elapsed CPU time: 129.77 s Remaining CPU time: 50.2297 s c =============================================================================== c | 1736 | 1497 2109 823800 | 5000 1736 1227 | 0.000 % | c =============================================================================== c New solution: 6629 c Elapsed CPU time: 130.23 s Remaining CPU time: 49.7698 s c =============================================================================== c | 1745 | 1497 2110 825150 | 5000 1745 1227 | 0.000 % | c =============================================================================== c New solution: 6628 c Elapsed CPU time: 130.753 s Remaining CPU time: 49.2469 s c =============================================================================== c | 1762 | 1497 2111 826500 | 5000 1762 1227 | 0.000 % | c =============================================================================== c New solution: 6627 c Elapsed CPU time: 131.15 s Remaining CPU time: 48.8499 s c =============================================================================== c | 1762 | 1497 2112 827850 | 5000 1762 1227 | 0.000 % | c =============================================================================== c New solution: 6626 c Elapsed CPU time: 131.784 s Remaining CPU time: 48.216 s c =============================================================================== c | 1842 | 1497 2113 829200 | 5000 1842 1226 | 0.000 % | c =============================================================================== c New solution: 6625 c Elapsed CPU time: 132.441 s Remaining CPU time: 47.5591 s c =============================================================================== c | 1890 | 1497 2114 830550 | 5000 1890 1226 | 0.000 % | c =============================================================================== c New solution: 6624 c Elapsed CPU time: 133.058 s Remaining CPU time: 46.9422 s c =============================================================================== c | 1928 | 1497 2115 831900 | 5000 1928 1226 | 0.000 % | c =============================================================================== c New solution: 6623 c Elapsed CPU time: 133.605 s Remaining CPU time: 46.3953 s c =============================================================================== c | 1959 | 1497 2116 833250 | 5000 1959 1226 | 0.000 % | c =============================================================================== c New solution: 6622 c Elapsed CPU time: 134.205 s Remaining CPU time: 45.7954 s c =============================================================================== c | 2002 | 1497 2117 834600 | 5000 2002 1226 | 0.000 % | c =============================================================================== c New solution: 6621 c Elapsed CPU time: 134.618 s Remaining CPU time: 45.3825 s c =============================================================================== c | 2004 | 1497 2118 835950 | 5000 2004 1226 | 0.000 % | c | 2104 | 1497 2118 835950 | 5500 2104 1225 | 0.200 % | c =============================================================================== c New solution: 6620 c Elapsed CPU time: 136.056 s Remaining CPU time: 43.9437 s c =============================================================================== c | 2132 | 1497 2119 837300 | 5000 2132 1225 | 0.200 % | c =============================================================================== c New solution: 6619 c Elapsed CPU time: 136.557 s Remaining CPU time: 43.4428 s c =============================================================================== c | 2152 | 1497 2120 838650 | 5000 2152 1225 | 0.200 % | c =============================================================================== c New solution: 6618 c Elapsed CPU time: 137.11 s Remaining CPU time: 42.8898 s c =============================================================================== c | 2183 | 1497 2121 840000 | 5000 2183 1225 | 0.200 % | c =============================================================================== c New solution: 6617 c Elapsed CPU time: 137.625 s Remaining CPU time: 42.3749 s c =============================================================================== c | 2203 | 1497 2122 841350 | 5000 2203 1225 | 0.200 % | c =============================================================================== c New solution: 6616 c Elapsed CPU time: 138.084 s Remaining CPU time: 41.916 s c =============================================================================== c | 2215 | 1497 2123 842700 | 5000 2215 1225 | 0.200 % | c =============================================================================== c New solution: 6615 c Elapsed CPU time: 138.605 s Remaining CPU time: 41.3951 s c =============================================================================== c | 2224 | 1497 2124 844050 | 5000 2224 1224 | 0.200 % | c =============================================================================== c New solution: 6614 c Elapsed CPU time: 139.503 s Remaining CPU time: 40.4972 s c =============================================================================== c | 2284 | 1497 2125 845400 | 5000 2284 1224 | 0.200 % | c =============================================================================== c New solution: 6613 c Elapsed CPU time: 140.112 s Remaining CPU time: 39.8883 s c =============================================================================== c | 2305 | 1497 2126 846750 | 5000 2305 1224 | 0.200 % | c =============================================================================== c New solution: 6612 c Elapsed CPU time: 140.544 s Remaining CPU time: 39.4564 s c =============================================================================== c | 2305 | 1497 2127 848100 | 5000 2305 1224 | 0.200 % | c | 2406 | 1497 2127 848100 | 5500 2406 1224 | 0.200 % | c =============================================================================== c New solution: 6611 c Elapsed CPU time: 142.189 s Remaining CPU time: 37.8106 s c =============================================================================== c | 2521 | 1497 2128 849450 | 5000 2521 1223 | 0.200 % | c =============================================================================== c New solution: 6610 c Elapsed CPU time: 142.7 s Remaining CPU time: 37.2997 s c =============================================================================== c | 2545 | 1497 2129 850800 | 5000 2545 1223 | 0.200 % | c =============================================================================== c New solution: 6609 c Elapsed CPU time: 143.114 s Remaining CPU time: 36.8858 s c =============================================================================== c | 2548 | 1497 2130 852150 | 5000 2548 1223 | 0.200 % | c =============================================================================== c New solution: 6608 c Elapsed CPU time: 143.745 s Remaining CPU time: 36.2549 s c =============================================================================== c | 2585 | 1497 2131 853500 | 5000 2585 1223 | 0.200 % | c =============================================================================== c New solution: 6607 c Elapsed CPU time: 144.187 s Remaining CPU time: 35.8129 s c =============================================================================== c | 2591 | 1497 2132 854850 | 5000 2591 1223 | 0.200 % | c =============================================================================== c New solution: 6606 c Elapsed CPU time: 145.041 s Remaining CPU time: 34.959 s c =============================================================================== c | 2654 | 1497 2133 856200 | 5000 2654 1223 | 0.200 % | c | 2754 | 1497 2133 856200 | 5500 2754 1222 | 0.200 % | c =============================================================================== c New solution: 6605 c Elapsed CPU time: 146.635 s Remaining CPU time: 33.3653 s c =============================================================================== c | 2778 | 1497 2134 857550 | 5000 2778 1222 | 0.200 % | c =============================================================================== c New solution: 6604 c Elapsed CPU time: 147.5 s Remaining CPU time: 32.5004 s c =============================================================================== c | 2847 | 1497 2135 858900 | 5000 2847 1222 | 0.200 % | c | 2947 | 1497 2135 858900 | 5500 2947 1222 | 0.200 % | c =============================================================================== c New solution: 6603 c Elapsed CPU time: 148.837 s Remaining CPU time: 31.1626 s c =============================================================================== c | 2955 | 1497 2136 860250 | 5000 2955 1222 | 0.200 % | c =============================================================================== c New solution: 6602 c Elapsed CPU time: 149.326 s Remaining CPU time: 30.6737 s c =============================================================================== c | 2962 | 1497 2137 861600 | 5000 2962 1221 | 0.200 % | c =============================================================================== c New solution: 6601 c Elapsed CPU time: 149.746 s Remaining CPU time: 30.2538 s c =============================================================================== c | 2963 | 1497 2138 862950 | 5000 2963 1221 | 0.200 % | c =============================================================================== c New solution: 6600 c Elapsed CPU time: 150.26 s Remaining CPU time: 29.7398 s c =============================================================================== c | 2975 | 1497 2139 864300 | 5000 2975 1221 | 0.200 % | c =============================================================================== c New solution: 6599 c Elapsed CPU time: 151.011 s Remaining CPU time: 28.989 s c =============================================================================== c | 3067 | 1497 2140 865650 | 5000 3067 1221 | 0.200 % | c =============================================================================== c New solution: 6598 c Elapsed CPU time: 151.499 s Remaining CPU time: 28.501 s c =============================================================================== c | 3089 | 1497 2141 867000 | 5000 3089 1221 | 0.200 % | c =============================================================================== c New solution: 6597 c Elapsed CPU time: 152.028 s Remaining CPU time: 27.9721 s c =============================================================================== c | 3106 | 1497 2142 868350 | 5000 3106 1221 | 0.200 % | c =============================================================================== c New solution: 6596 c Elapsed CPU time: 152.998 s Remaining CPU time: 27.0023 s c =============================================================================== c | 3199 | 1497 2143 869700 | 5000 3199 1221 | 0.200 % | c =============================================================================== c New solution: 6595 c Elapsed CPU time: 153.52 s Remaining CPU time: 26.4803 s c =============================================================================== c | 3230 | 1497 2144 871050 | 5000 3230 1221 | 0.200 % | c =============================================================================== c New solution: 6594 c Elapsed CPU time: 154.276 s Remaining CPU time: 25.7245 s c =============================================================================== c | 3287 | 1497 2145 872400 | 5000 3287 1220 | 0.200 % | c =============================================================================== c New solution: 6593 c Elapsed CPU time: 155.003 s Remaining CPU time: 24.9966 s c =============================================================================== c | 3330 | 1497 2146 873750 | 5000 3330 1220 | 0.200 % | c | 3431 | 1497 2146 873750 | 5500 3431 1220 | 0.200 % | c =============================================================================== c New solution: 6592 c Elapsed CPU time: 156.323 s Remaining CPU time: 23.6768 s c =============================================================================== c | 3461 | 1497 2147 875100 | 5000 3461 1220 | 0.200 % | c =============================================================================== c New solution: 6591 c Elapsed CPU time: 157.198 s Remaining CPU time: 22.8019 s c =============================================================================== c | 3512 | 1497 2148 876450 | 5000 3512 1220 | 0.200 % | c =============================================================================== c New solution: 6590 c Elapsed CPU time: 158.094 s Remaining CPU time: 21.906 s c =============================================================================== c | 3570 | 1497 2149 877800 | 5000 3570 1219 | 0.200 % | c =============================================================================== c New solution: 6589 c Elapsed CPU time: 158.669 s Remaining CPU time: 21.3311 s c =============================================================================== c | 3590 | 1497 2150 879150 | 5000 3590 1219 | 0.200 % | c =============================================================================== c New solution: 6588 c Elapsed CPU time: 159.272 s Remaining CPU time: 20.7282 s c =============================================================================== c | 3660 | 1497 2151 880500 | 5000 3660 1219 | 0.200 % | c =============================================================================== c New solution: 6587 c Elapsed CPU time: 159.788 s Remaining CPU time: 20.2123 s c =============================================================================== c | 3668 | 1497 2152 881850 | 5000 3668 1219 | 0.200 % | c =============================================================================== c New solution: 6586 c Elapsed CPU time: 160.421 s Remaining CPU time: 19.5794 s c =============================================================================== c | 3704 | 1497 2153 883200 | 5000 3704 1219 | 0.200 % | c =============================================================================== c New solution: 6585 c Elapsed CPU time: 161.006 s Remaining CPU time: 18.9945 s c =============================================================================== c | 3731 | 1497 2154 884550 | 5000 3731 1219 | 0.200 % | c | 3831 | 1497 2154 884550 | 5500 3831 1218 | 0.200 % | c =============================================================================== c New solution: 6584 c Elapsed CPU time: 162.519 s Remaining CPU time: 17.4807 s c =============================================================================== c | 3864 | 1497 2155 885900 | 5000 3864 1218 | 0.200 % | c =============================================================================== c New solution: 6583 c Elapsed CPU time: 163.276 s Remaining CPU time: 16.7238 s c =============================================================================== c | 3907 | 1497 2156 887250 | 5000 3907 1218 | 0.200 % | c | 4008 | 1497 2156 887250 | 5500 4008 1218 | 0.200 % | c =============================================================================== c New solution: 6582 c Elapsed CPU time: 164.555 s Remaining CPU time: 15.445 s c =============================================================================== c | 4016 | 1497 2157 888600 | 5000 4016 1218 | 0.200 % | c =============================================================================== c New solution: 6581 c Elapsed CPU time: 165.126 s Remaining CPU time: 14.8741 s c =============================================================================== c | 4039 | 1497 2158 889950 | 5000 4039 1218 | 0.200 % | c =============================================================================== c New solution: 6580 c Elapsed CPU time: 165.681 s Remaining CPU time: 14.3192 s c =============================================================================== c | 4062 | 1497 2159 891300 | 5000 4062 1218 | 0.200 % | c =============================================================================== c New solution: 6579 c Elapsed CPU time: 166.169 s Remaining CPU time: 13.8313 s c =============================================================================== c | 4071 | 1497 2160 892650 | 5000 4071 1218 | 0.200 % | c =============================================================================== c New solution: 6578 c Elapsed CPU time: 166.853 s Remaining CPU time: 13.1474 s c =============================================================================== c | 4108 | 1497 2161 894000 | 5000 4108 1218 | 0.200 % | c =============================================================================== c New solution: 6577 c Elapsed CPU time: 167.57 s Remaining CPU time: 12.4305 s c =============================================================================== c | 4192 | 1497 2162 895350 | 5000 4192 1218 | 0.200 % | c =============================================================================== c New solution: 6576 c Elapsed CPU time: 168.099 s Remaining CPU time: 11.9006 s c =============================================================================== c | 4215 | 1497 2163 896700 | 5000 4215 1218 | 0.200 % | c | 4316 | 1497 2163 896700 | 5500 4316 1217 | 0.200 % | c =============================================================================== c New solution: 6575 c Elapsed CPU time: 169.509 s Remaining CPU time: 10.4908 s c =============================================================================== c | 4351 | 1497 2164 898050 | 5000 4351 1217 | 0.200 % | c =============================================================================== c New solution: 6574 c Elapsed CPU time: 169.969 s Remaining CPU time: 10.0308 s c =============================================================================== c | 4355 | 1497 2165 899400 | 5000 4355 1217 | 0.200 % | c =============================================================================== c New solution: 6573 c Elapsed CPU time: 170.394 s Remaining CPU time: 9.6059 s c =============================================================================== c | 4357 | 1497 2166 900750 | 5000 4357 1217 | 0.200 % | c | 4457 | 1497 2166 900750 | 5500 4457 1217 | 0.200 % | c =============================================================================== c New solution: 6572 c Elapsed CPU time: 172.374 s Remaining CPU time: 7.6262 s c =============================================================================== c | 4523 | 1497 2167 902100 | 5000 4523 1217 | 0.200 % | c =============================================================================== c New solution: 6571 c Elapsed CPU time: 173.179 s Remaining CPU time: 6.82133 s c =============================================================================== c | 4593 | 1497 2168 903450 | 5000 4593 1217 | 0.200 % | c =============================================================================== c New solution: 6570 c Elapsed CPU time: 173.805 s Remaining CPU time: 6.19542 s c =============================================================================== c | 4626 | 1497 2169 904800 | 5000 4626 1217 | 0.200 % | c =============================================================================== c New solution: 6569 c Elapsed CPU time: 174.736 s Remaining CPU time: 5.26356 s c =============================================================================== c | 4666 | 1497 2170 906150 | 5000 4666 1217 | 0.200 % | c =============================================================================== c New solution: 6568 c Elapsed CPU time: 175.339 s Remaining CPU time: 4.66066 s c =============================================================================== c | 4696 | 1497 2171 907500 | 5000 4696 1217 | 0.200 % | c =============================================================================== c New solution: 6567 c Elapsed CPU time: 175.896 s Remaining CPU time: 4.10374 s c =============================================================================== c | 4724 | 1497 2172 908850 | 5000 4724 1217 | 0.200 % | c =============================================================================== c New solution: 6566 c Elapsed CPU time: 176.57 s Remaining CPU time: 3.42984 s c =============================================================================== c | 4753 | 1497 2173 910200 | 5000 4753 1217 | 0.200 % | c =============================================================================== c New solution: 6565 c Elapsed CPU time: 177.108 s Remaining CPU time: 2.89192 s c =============================================================================== c | 4770 | 1497 2174 911550 | 5000 4770 1217 | 0.200 % | c =============================================================================== c New solution: 6564 c Elapsed CPU time: 177.657 s Remaining CPU time: 2.34301 s c =============================================================================== c | 4820 | 1497 2175 912900 | 5000 4820 1217 | 0.200 % | c =============================================================================== c New solution: 6563 c Elapsed CPU time: 178.437 s Remaining CPU time: 1.56313 s c =============================================================================== c | 4848 | 1497 2176 914250 | 5000 4848 1217 | 0.200 % | c =============================================================================== c New solution: 6562 c Elapsed CPU time: 179.15 s Remaining CPU time: 0.850235 s c =============================================================================== c | 4890 | 1497 2177 915600 | 5000 4890 1216 | 0.200 % | c =============================================================================== c New solution: 6561 c Elapsed CPU time: 179.789 s Remaining CPU time: 0.211333 s c =============================================================================== c | 4917 | 1497 2178 916950 | 5000 4917 1216 | 0.200 % | c There are 3 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 676 3886 5073 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 688 3893 5098 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 701 3905 5118 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 716 3917 5149 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 724 3924 5164 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 731 3930 5174 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 742 3940 5196 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 749 3946 5206 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 758 3952 5227 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 767 3960 5237 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 776 3968 5247 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 786 3975 5271 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 796 3982 5301 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 806 3991 5312 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 817 3999 5327 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 826 4007 5345 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 838 4014 5382 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 848 4021 5406 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 859 4029 5433 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 867 4036 5442 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 876 4042 5463 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 882 4048 5473 | 5000 0 nan | 0.000 % | c ===============================================================================