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 | 1495 1502 4350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7670 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1495 1503 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7662 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1495 1504 7050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7655 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1495 1505 8400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7651 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1495 1506 9750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7649 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1495 1507 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7645 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1495 1508 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7644 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1495 1509 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7640 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1495 1510 15150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7639 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 1495 1511 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7638 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 1495 1512 17850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7637 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 1495 1513 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7636 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 1495 1514 20550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7634 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 1495 1515 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7632 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 1495 1516 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7631 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 1495 1517 24600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7630 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 1495 1518 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7629 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 1495 1519 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7628 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 0 | 1495 1520 28650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7627 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 0 | 1495 1521 30000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7626 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 1495 1522 31350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7625 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 0 | 1495 1523 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7624 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 1495 1524 34050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7623 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 1495 1525 35400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7622 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 0 | 1495 1526 36750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7621 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 1495 1527 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7620 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 1495 1528 39450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7618 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 1495 1529 40800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7617 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 0 | 1495 1530 42150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7615 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 0 | 1495 1531 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7614 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 1495 1532 44850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7612 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 1 | 1495 1533 46200 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7610 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 1 | 1495 1534 47550 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7609 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 1 | 1495 1535 48900 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7608 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 1 | 1495 1536 50250 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7606 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 1 | 1495 1537 51600 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7605 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 1 | 1495 1538 52950 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7604 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 1 | 1495 1539 54300 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7603 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 1 | 1495 1540 55650 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7602 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 1 | 1495 1541 57000 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7601 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 1 | 1495 1542 58350 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7600 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 1 | 1495 1543 59700 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7599 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 1 | 1495 1544 61050 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7598 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 1 | 1495 1545 62400 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7597 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 1 | 1495 1546 63750 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7596 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 1 | 1495 1547 65100 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7595 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 1 | 1495 1548 66450 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7594 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 1 | 1495 1549 67800 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7593 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 1 | 1495 1550 69150 | 5000 1 1342 | 0.000 % | c =============================================================================== c New solution: 7592 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 2 | 1495 1551 70500 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7591 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 2 | 1495 1552 71850 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7590 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s c =============================================================================== c | 2 | 1495 1553 73200 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7589 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s c =============================================================================== c | 2 | 1495 1554 74550 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7588 c Elapsed CPU time: 0.950855 s Remaining CPU time: 179.049 s c =============================================================================== c | 2 | 1495 1555 75900 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7586 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 2 | 1495 1556 77250 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7584 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 2 | 1495 1557 78600 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7583 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 2 | 1495 1558 79950 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7582 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 2 | 1495 1559 81300 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7581 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 2 | 1495 1560 82650 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7580 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s c =============================================================================== c | 2 | 1495 1561 84000 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7579 c Elapsed CPU time: 1.26381 s Remaining CPU time: 178.736 s c =============================================================================== c | 2 | 1495 1562 85350 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7578 c Elapsed CPU time: 1.3068 s Remaining CPU time: 178.693 s c =============================================================================== c | 2 | 1495 1563 86700 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7577 c Elapsed CPU time: 1.34979 s Remaining CPU time: 178.65 s c =============================================================================== c | 2 | 1495 1564 88050 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7576 c Elapsed CPU time: 1.38979 s Remaining CPU time: 178.61 s c =============================================================================== c | 2 | 1495 1565 89400 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7574 c Elapsed CPU time: 1.43578 s Remaining CPU time: 178.564 s c =============================================================================== c | 2 | 1495 1566 90750 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7573 c Elapsed CPU time: 1.47778 s Remaining CPU time: 178.522 s c =============================================================================== c | 2 | 1495 1567 92100 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7572 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s c =============================================================================== c | 2 | 1495 1568 93450 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7571 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 2 | 1495 1569 94800 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7570 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 2 | 1495 1570 96150 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7569 c Elapsed CPU time: 1.65675 s Remaining CPU time: 178.343 s c =============================================================================== c | 2 | 1495 1571 97500 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7568 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 2 | 1495 1572 98850 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7567 c Elapsed CPU time: 1.74673 s Remaining CPU time: 178.253 s c =============================================================================== c | 2 | 1495 1573 100200 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7566 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 2 | 1495 1574 101550 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7565 c Elapsed CPU time: 1.84372 s Remaining CPU time: 178.156 s c =============================================================================== c | 2 | 1495 1575 102900 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7564 c Elapsed CPU time: 1.89771 s Remaining CPU time: 178.102 s c =============================================================================== c | 2 | 1495 1576 104250 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7563 c Elapsed CPU time: 1.9547 s Remaining CPU time: 178.045 s c =============================================================================== c | 2 | 1495 1577 105600 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7562 c Elapsed CPU time: 2.00669 s Remaining CPU time: 177.993 s c =============================================================================== c | 2 | 1495 1578 106950 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7561 c Elapsed CPU time: 2.06269 s Remaining CPU time: 177.937 s c =============================================================================== c | 2 | 1495 1579 108300 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7560 c Elapsed CPU time: 2.12568 s Remaining CPU time: 177.874 s c =============================================================================== c | 2 | 1495 1580 109650 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 7559 c Elapsed CPU time: 2.18567 s Remaining CPU time: 177.814 s c =============================================================================== c | 3 | 1495 1581 111000 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7558 c Elapsed CPU time: 2.24866 s Remaining CPU time: 177.751 s c =============================================================================== c | 3 | 1495 1582 112350 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7557 c Elapsed CPU time: 2.30965 s Remaining CPU time: 177.69 s c =============================================================================== c | 3 | 1495 1583 113700 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7556 c Elapsed CPU time: 2.38664 s Remaining CPU time: 177.613 s c =============================================================================== c | 3 | 1495 1584 115050 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7555 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s c =============================================================================== c | 3 | 1495 1585 116400 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7554 c Elapsed CPU time: 2.50562 s Remaining CPU time: 177.494 s c =============================================================================== c | 3 | 1495 1586 117750 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7553 c Elapsed CPU time: 2.56261 s Remaining CPU time: 177.437 s c =============================================================================== c | 3 | 1495 1587 119100 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7552 c Elapsed CPU time: 2.6326 s Remaining CPU time: 177.367 s c =============================================================================== c | 3 | 1495 1588 120450 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7551 c Elapsed CPU time: 2.70959 s Remaining CPU time: 177.29 s c =============================================================================== c | 3 | 1495 1589 121800 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7550 c Elapsed CPU time: 2.77458 s Remaining CPU time: 177.225 s c =============================================================================== c | 3 | 1495 1590 123150 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7549 c Elapsed CPU time: 2.84457 s Remaining CPU time: 177.155 s c =============================================================================== c | 3 | 1495 1591 124500 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7548 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s c =============================================================================== c | 3 | 1495 1592 125850 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7546 c Elapsed CPU time: 2.97155 s Remaining CPU time: 177.028 s c =============================================================================== c | 3 | 1495 1593 127200 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7545 c Elapsed CPU time: 3.03454 s Remaining CPU time: 176.965 s c =============================================================================== c | 3 | 1495 1594 128550 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7544 c Elapsed CPU time: 3.10853 s Remaining CPU time: 176.891 s c =============================================================================== c | 3 | 1495 1595 129900 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7543 c Elapsed CPU time: 3.17652 s Remaining CPU time: 176.823 s c =============================================================================== c | 3 | 1495 1596 131250 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7542 c Elapsed CPU time: 3.2555 s Remaining CPU time: 176.744 s c =============================================================================== c | 3 | 1495 1597 132600 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7541 c Elapsed CPU time: 3.32649 s Remaining CPU time: 176.674 s c =============================================================================== c | 3 | 1495 1598 133950 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7540 c Elapsed CPU time: 3.39948 s Remaining CPU time: 176.601 s c =============================================================================== c | 3 | 1495 1599 135300 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7539 c Elapsed CPU time: 3.47547 s Remaining CPU time: 176.525 s c =============================================================================== c | 3 | 1495 1600 136650 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7538 c Elapsed CPU time: 3.55346 s Remaining CPU time: 176.447 s c =============================================================================== c | 3 | 1495 1601 138000 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7537 c Elapsed CPU time: 3.63545 s Remaining CPU time: 176.365 s c =============================================================================== c | 3 | 1495 1602 139350 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7536 c Elapsed CPU time: 3.71244 s Remaining CPU time: 176.288 s c =============================================================================== c | 3 | 1495 1603 140700 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7535 c Elapsed CPU time: 3.79542 s Remaining CPU time: 176.205 s c =============================================================================== c | 3 | 1495 1604 142050 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7534 c Elapsed CPU time: 3.87341 s Remaining CPU time: 176.127 s c =============================================================================== c | 3 | 1495 1605 143400 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7533 c Elapsed CPU time: 3.9574 s Remaining CPU time: 176.043 s c =============================================================================== c | 3 | 1495 1606 144750 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7532 c Elapsed CPU time: 4.03239 s Remaining CPU time: 175.968 s c =============================================================================== c | 3 | 1495 1607 146100 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7531 c Elapsed CPU time: 4.12037 s Remaining CPU time: 175.88 s c =============================================================================== c | 3 | 1495 1608 147450 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7530 c Elapsed CPU time: 4.20536 s Remaining CPU time: 175.795 s c =============================================================================== c | 3 | 1495 1609 148800 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7529 c Elapsed CPU time: 4.28735 s Remaining CPU time: 175.713 s c =============================================================================== c | 3 | 1495 1610 150150 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7528 c Elapsed CPU time: 4.37533 s Remaining CPU time: 175.625 s c =============================================================================== c | 3 | 1495 1611 151500 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7527 c Elapsed CPU time: 4.46232 s Remaining CPU time: 175.538 s c =============================================================================== c | 3 | 1495 1612 152850 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7526 c Elapsed CPU time: 4.55231 s Remaining CPU time: 175.448 s c =============================================================================== c | 3 | 1495 1613 154200 | 5000 3 892 | 0.000 % | c =============================================================================== c New solution: 7525 c Elapsed CPU time: 4.63929 s Remaining CPU time: 175.361 s c =============================================================================== c | 4 | 1495 1614 155550 | 5000 4 999 | 0.000 % | c =============================================================================== c New solution: 7524 c Elapsed CPU time: 4.72428 s Remaining CPU time: 175.276 s c =============================================================================== c | 4 | 1495 1615 156900 | 5000 4 999 | 0.000 % | c =============================================================================== c New solution: 7523 c Elapsed CPU time: 4.81027 s Remaining CPU time: 175.19 s c =============================================================================== c | 4 | 1495 1616 158250 | 5000 4 999 | 0.000 % | c =============================================================================== c New solution: 7522 c Elapsed CPU time: 4.90025 s Remaining CPU time: 175.1 s c =============================================================================== c | 4 | 1495 1617 159600 | 5000 4 999 | 0.000 % | c =============================================================================== c New solution: 7521 c Elapsed CPU time: 4.99124 s Remaining CPU time: 175.009 s c =============================================================================== c | 4 | 1495 1618 160950 | 5000 4 999 | 0.000 % | c =============================================================================== c New solution: 7520 c Elapsed CPU time: 5.09023 s Remaining CPU time: 174.91 s c =============================================================================== c | 5 | 1495 1619 162300 | 5000 5 1064 | 0.000 % | c =============================================================================== c New solution: 7519 c Elapsed CPU time: 5.17821 s Remaining CPU time: 174.822 s c =============================================================================== c | 5 | 1495 1620 163650 | 5000 5 1064 | 0.000 % | c =============================================================================== c New solution: 7518 c Elapsed CPU time: 5.2782 s Remaining CPU time: 174.722 s c =============================================================================== c | 5 | 1495 1621 165000 | 5000 5 1064 | 0.000 % | c =============================================================================== c New solution: 7517 c Elapsed CPU time: 5.38218 s Remaining CPU time: 174.618 s c =============================================================================== c | 6 | 1495 1622 166350 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7516 c Elapsed CPU time: 5.49216 s Remaining CPU time: 174.508 s c =============================================================================== c | 6 | 1495 1623 167700 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7515 c Elapsed CPU time: 5.59915 s Remaining CPU time: 174.401 s c =============================================================================== c | 6 | 1495 1624 169050 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7514 c Elapsed CPU time: 5.70913 s Remaining CPU time: 174.291 s c =============================================================================== c | 6 | 1495 1625 170400 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7513 c Elapsed CPU time: 5.80212 s Remaining CPU time: 174.198 s c =============================================================================== c | 6 | 1495 1626 171750 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7512 c Elapsed CPU time: 5.9111 s Remaining CPU time: 174.089 s c =============================================================================== c | 6 | 1495 1627 173100 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7511 c Elapsed CPU time: 6.01209 s Remaining CPU time: 173.988 s c =============================================================================== c | 6 | 1495 1628 174450 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7510 c Elapsed CPU time: 6.10707 s Remaining CPU time: 173.893 s c =============================================================================== c | 6 | 1495 1629 175800 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7509 c Elapsed CPU time: 6.20806 s Remaining CPU time: 173.792 s c =============================================================================== c | 6 | 1495 1630 177150 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7508 c Elapsed CPU time: 6.32604 s Remaining CPU time: 173.674 s c =============================================================================== c | 6 | 1495 1631 178500 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7507 c Elapsed CPU time: 6.43102 s Remaining CPU time: 173.569 s c =============================================================================== c | 6 | 1495 1632 179850 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7506 c Elapsed CPU time: 6.539 s Remaining CPU time: 173.461 s c =============================================================================== c | 6 | 1495 1633 181200 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7505 c Elapsed CPU time: 6.64499 s Remaining CPU time: 173.355 s c =============================================================================== c | 6 | 1495 1634 182550 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7504 c Elapsed CPU time: 6.75797 s Remaining CPU time: 173.242 s c =============================================================================== c | 6 | 1495 1635 183900 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7503 c Elapsed CPU time: 6.86396 s Remaining CPU time: 173.136 s c =============================================================================== c | 6 | 1495 1636 185250 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7502 c Elapsed CPU time: 6.96094 s Remaining CPU time: 173.039 s c =============================================================================== c | 6 | 1495 1637 186600 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7501 c Elapsed CPU time: 7.06893 s Remaining CPU time: 172.931 s c =============================================================================== c | 6 | 1495 1638 187950 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7500 c Elapsed CPU time: 7.17191 s Remaining CPU time: 172.828 s c =============================================================================== c | 6 | 1495 1639 189300 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7499 c Elapsed CPU time: 7.27389 s Remaining CPU time: 172.726 s c =============================================================================== c | 6 | 1495 1640 190650 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7498 c Elapsed CPU time: 7.38688 s Remaining CPU time: 172.613 s c =============================================================================== c | 6 | 1495 1641 192000 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7497 c Elapsed CPU time: 7.49486 s Remaining CPU time: 172.505 s c =============================================================================== c | 6 | 1495 1642 193350 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7496 c Elapsed CPU time: 7.60684 s Remaining CPU time: 172.393 s c =============================================================================== c | 6 | 1495 1643 194700 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7495 c Elapsed CPU time: 7.71983 s Remaining CPU time: 172.28 s c =============================================================================== c | 6 | 1495 1644 196050 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7494 c Elapsed CPU time: 7.83481 s Remaining CPU time: 172.165 s c =============================================================================== c | 6 | 1495 1645 197400 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7493 c Elapsed CPU time: 7.95279 s Remaining CPU time: 172.047 s c =============================================================================== c | 6 | 1495 1646 198750 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7492 c Elapsed CPU time: 8.05977 s Remaining CPU time: 171.94 s c =============================================================================== c | 6 | 1495 1647 200100 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7491 c Elapsed CPU time: 8.17476 s Remaining CPU time: 171.825 s c =============================================================================== c | 6 | 1495 1648 201450 | 5000 6 1107 | 0.000 % | c =============================================================================== c New solution: 7490 c Elapsed CPU time: 8.28974 s Remaining CPU time: 171.71 s c =============================================================================== c | 7 | 1495 1649 202800 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7489 c Elapsed CPU time: 8.40772 s Remaining CPU time: 171.592 s c =============================================================================== c | 7 | 1495 1650 204150 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7488 c Elapsed CPU time: 8.5297 s Remaining CPU time: 171.47 s c =============================================================================== c | 7 | 1495 1651 205500 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7487 c Elapsed CPU time: 8.64668 s Remaining CPU time: 171.353 s c =============================================================================== c | 7 | 1495 1652 206850 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7486 c Elapsed CPU time: 8.77666 s Remaining CPU time: 171.223 s c =============================================================================== c | 7 | 1495 1653 208200 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7485 c Elapsed CPU time: 8.92464 s Remaining CPU time: 171.075 s c =============================================================================== c | 7 | 1495 1654 209550 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7484 c Elapsed CPU time: 9.05262 s Remaining CPU time: 170.947 s c =============================================================================== c | 7 | 1495 1655 210900 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7483 c Elapsed CPU time: 9.1806 s Remaining CPU time: 170.819 s c =============================================================================== c | 7 | 1495 1656 212250 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7482 c Elapsed CPU time: 9.30358 s Remaining CPU time: 170.696 s c =============================================================================== c | 7 | 1495 1657 213600 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7481 c Elapsed CPU time: 9.42957 s Remaining CPU time: 170.57 s c =============================================================================== c | 7 | 1495 1658 214950 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7480 c Elapsed CPU time: 9.55455 s Remaining CPU time: 170.445 s c =============================================================================== c | 7 | 1495 1659 216300 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7479 c Elapsed CPU time: 9.69053 s Remaining CPU time: 170.309 s c =============================================================================== c | 7 | 1495 1660 217650 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7478 c Elapsed CPU time: 9.82751 s Remaining CPU time: 170.172 s c =============================================================================== c | 7 | 1495 1661 219000 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7477 c Elapsed CPU time: 9.96948 s Remaining CPU time: 170.031 s c =============================================================================== c | 7 | 1495 1662 220350 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7476 c Elapsed CPU time: 10.0985 s Remaining CPU time: 169.902 s c =============================================================================== c | 7 | 1495 1663 221700 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7475 c Elapsed CPU time: 10.2304 s Remaining CPU time: 169.77 s c =============================================================================== c | 7 | 1495 1664 223050 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7474 c Elapsed CPU time: 10.3704 s Remaining CPU time: 169.63 s c =============================================================================== c | 7 | 1495 1665 224400 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7473 c Elapsed CPU time: 10.5234 s Remaining CPU time: 169.477 s c =============================================================================== c | 7 | 1495 1666 225750 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7472 c Elapsed CPU time: 10.6734 s Remaining CPU time: 169.327 s c =============================================================================== c | 7 | 1495 1667 227100 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7471 c Elapsed CPU time: 10.8174 s Remaining CPU time: 169.183 s c =============================================================================== c | 7 | 1495 1668 228450 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7470 c Elapsed CPU time: 10.9563 s Remaining CPU time: 169.044 s c =============================================================================== c | 7 | 1495 1669 229800 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7469 c Elapsed CPU time: 11.1063 s Remaining CPU time: 168.894 s c =============================================================================== c | 7 | 1495 1670 231150 | 5000 7 1137 | 0.000 % | c =============================================================================== c New solution: 7468 c Elapsed CPU time: 11.2463 s Remaining CPU time: 168.754 s c =============================================================================== c | 9 | 1495 1671 232500 | 5000 9 1177 | 0.000 % | c =============================================================================== c New solution: 7467 c Elapsed CPU time: 11.3783 s Remaining CPU time: 168.622 s c =============================================================================== c | 9 | 1495 1672 233850 | 5000 9 1177 | 0.000 % | c =============================================================================== c New solution: 7466 c Elapsed CPU time: 11.5172 s Remaining CPU time: 168.483 s c =============================================================================== c | 9 | 1495 1673 235200 | 5000 9 1177 | 0.000 % | c =============================================================================== c New solution: 7465 c Elapsed CPU time: 11.6592 s Remaining CPU time: 168.341 s c =============================================================================== c | 9 | 1495 1674 236550 | 5000 9 1177 | 0.000 % | c =============================================================================== c New solution: 7464 c Elapsed CPU time: 11.8042 s Remaining CPU time: 168.196 s c =============================================================================== c | 9 | 1495 1675 237900 | 5000 9 1177 | 0.000 % | c =============================================================================== c New solution: 7463 c Elapsed CPU time: 11.9452 s Remaining CPU time: 168.055 s c =============================================================================== c | 9 | 1495 1676 239250 | 5000 9 1177 | 0.000 % | c =============================================================================== c New solution: 7462 c Elapsed CPU time: 12.0842 s Remaining CPU time: 167.916 s c =============================================================================== c | 9 | 1495 1677 240600 | 5000 9 1177 | 0.000 % | c =============================================================================== c New solution: 7461 c Elapsed CPU time: 12.2291 s Remaining CPU time: 167.771 s c =============================================================================== c | 10 | 1495 1678 241950 | 5000 10 1190 | 0.000 % | c =============================================================================== c New solution: 7460 c Elapsed CPU time: 12.3721 s Remaining CPU time: 167.628 s c =============================================================================== c | 10 | 1495 1679 243300 | 5000 10 1190 | 0.000 % | c =============================================================================== c New solution: 7459 c Elapsed CPU time: 12.5161 s Remaining CPU time: 167.484 s c =============================================================================== c | 10 | 1495 1680 244650 | 5000 10 1190 | 0.000 % | c =============================================================================== c New solution: 7458 c Elapsed CPU time: 12.6611 s Remaining CPU time: 167.339 s c =============================================================================== c | 10 | 1495 1681 246000 | 5000 10 1190 | 0.000 % | c =============================================================================== c New solution: 7457 c Elapsed CPU time: 12.8071 s Remaining CPU time: 167.193 s c =============================================================================== c | 10 | 1495 1682 247350 | 5000 10 1190 | 0.000 % | c =============================================================================== c New solution: 7456 c Elapsed CPU time: 12.948 s Remaining CPU time: 167.052 s c =============================================================================== c | 10 | 1495 1683 248700 | 5000 10 1190 | 0.000 % | c =============================================================================== c New solution: 7455 c Elapsed CPU time: 13.094 s Remaining CPU time: 166.906 s c =============================================================================== c | 10 | 1495 1684 250050 | 5000 10 1190 | 0.000 % | c =============================================================================== c New solution: 7454 c Elapsed CPU time: 13.234 s Remaining CPU time: 166.766 s c =============================================================================== c | 10 | 1495 1685 251400 | 5000 10 1190 | 0.000 % | c =============================================================================== c New solution: 7453 c Elapsed CPU time: 13.382 s Remaining CPU time: 166.618 s c =============================================================================== c | 11 | 1495 1686 252750 | 5000 11 1202 | 0.000 % | c =============================================================================== c New solution: 7452 c Elapsed CPU time: 13.5419 s Remaining CPU time: 166.458 s c =============================================================================== c | 11 | 1495 1687 254100 | 5000 11 1202 | 0.000 % | c =============================================================================== c New solution: 7451 c Elapsed CPU time: 13.7009 s Remaining CPU time: 166.299 s c =============================================================================== c | 12 | 1495 1688 255450 | 5000 12 1211 | 0.000 % | c =============================================================================== c New solution: 7450 c Elapsed CPU time: 13.8589 s Remaining CPU time: 166.141 s c =============================================================================== c | 12 | 1495 1689 256800 | 5000 12 1211 | 0.000 % | c =============================================================================== c New solution: 7449 c Elapsed CPU time: 14.0279 s Remaining CPU time: 165.972 s c =============================================================================== c | 13 | 1495 1690 258150 | 5000 13 1219 | 0.000 % | c =============================================================================== c New solution: 7448 c Elapsed CPU time: 14.2028 s Remaining CPU time: 165.797 s c =============================================================================== c | 13 | 1495 1691 259500 | 5000 13 1219 | 0.000 % | c =============================================================================== c New solution: 7447 c Elapsed CPU time: 14.3678 s Remaining CPU time: 165.632 s c =============================================================================== c | 13 | 1495 1692 260850 | 5000 13 1219 | 0.000 % | c =============================================================================== c New solution: 7446 c Elapsed CPU time: 14.5388 s Remaining CPU time: 165.461 s c =============================================================================== c | 13 | 1495 1693 262200 | 5000 13 1219 | 0.000 % | c =============================================================================== c New solution: 7445 c Elapsed CPU time: 14.6958 s Remaining CPU time: 165.304 s c =============================================================================== c | 13 | 1495 1694 263550 | 5000 13 1219 | 0.000 % | c =============================================================================== c New solution: 7444 c Elapsed CPU time: 14.8557 s Remaining CPU time: 165.144 s c =============================================================================== c | 13 | 1495 1695 264900 | 5000 13 1219 | 0.000 % | c =============================================================================== c New solution: 7443 c Elapsed CPU time: 15.0247 s Remaining CPU time: 164.975 s c =============================================================================== c | 14 | 1495 1696 266250 | 5000 14 1225 | 0.000 % | c =============================================================================== c New solution: 7442 c Elapsed CPU time: 15.1937 s Remaining CPU time: 164.806 s c =============================================================================== c | 14 | 1495 1697 267600 | 5000 14 1225 | 0.000 % | c =============================================================================== c New solution: 7441 c Elapsed CPU time: 15.3697 s Remaining CPU time: 164.63 s c =============================================================================== c | 17 | 1495 1698 268950 | 5000 17 1240 | 0.000 % | c =============================================================================== c New solution: 7440 c Elapsed CPU time: 15.5356 s Remaining CPU time: 164.464 s c =============================================================================== c | 18 | 1495 1699 270300 | 5000 18 1244 | 0.000 % | c =============================================================================== c New solution: 7439 c Elapsed CPU time: 15.7086 s Remaining CPU time: 164.291 s c =============================================================================== c | 20 | 1495 1700 271650 | 5000 20 1250 | 0.000 % | c =============================================================================== c New solution: 7438 c Elapsed CPU time: 15.8696 s Remaining CPU time: 164.13 s c =============================================================================== c | 20 | 1495 1701 273000 | 5000 20 1250 | 0.000 % | c =============================================================================== c New solution: 7437 c Elapsed CPU time: 16.0546 s Remaining CPU time: 163.945 s c =============================================================================== c | 25 | 1495 1702 274350 | 5000 25 1262 | 0.000 % | c =============================================================================== c New solution: 7436 c Elapsed CPU time: 16.2415 s Remaining CPU time: 163.758 s c =============================================================================== c | 25 | 1495 1703 275700 | 5000 25 1262 | 0.000 % | c =============================================================================== c New solution: 7435 c Elapsed CPU time: 16.4275 s Remaining CPU time: 163.572 s c =============================================================================== c | 25 | 1495 1704 277050 | 5000 25 1262 | 0.000 % | c =============================================================================== c New solution: 7434 c Elapsed CPU time: 16.6085 s Remaining CPU time: 163.392 s c =============================================================================== c | 25 | 1495 1705 278400 | 5000 25 1262 | 0.000 % | c =============================================================================== c New solution: 7433 c Elapsed CPU time: 16.7884 s Remaining CPU time: 163.212 s c =============================================================================== c | 25 | 1495 1706 279750 | 5000 25 1262 | 0.000 % | c =============================================================================== c New solution: 7432 c Elapsed CPU time: 16.9704 s Remaining CPU time: 163.03 s c =============================================================================== c | 25 | 1495 1707 281100 | 5000 25 1262 | 0.000 % | c =============================================================================== c New solution: 7431 c Elapsed CPU time: 17.1584 s Remaining CPU time: 162.842 s c =============================================================================== c | 26 | 1495 1708 282450 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7430 c Elapsed CPU time: 17.3374 s Remaining CPU time: 162.663 s c =============================================================================== c | 26 | 1495 1709 283800 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7429 c Elapsed CPU time: 17.5123 s Remaining CPU time: 162.488 s c =============================================================================== c | 26 | 1495 1710 285150 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7428 c Elapsed CPU time: 17.6883 s Remaining CPU time: 162.312 s c =============================================================================== c | 26 | 1495 1711 286500 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7427 c Elapsed CPU time: 17.8643 s Remaining CPU time: 162.136 s c =============================================================================== c | 26 | 1495 1712 287850 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7426 c Elapsed CPU time: 18.0393 s Remaining CPU time: 161.961 s c =============================================================================== c | 26 | 1495 1713 289200 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7425 c Elapsed CPU time: 18.2182 s Remaining CPU time: 161.782 s c =============================================================================== c | 26 | 1495 1714 290550 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7424 c Elapsed CPU time: 18.4042 s Remaining CPU time: 161.596 s c =============================================================================== c | 26 | 1495 1715 291900 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7423 c Elapsed CPU time: 18.5872 s Remaining CPU time: 161.413 s c =============================================================================== c | 26 | 1495 1716 293250 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7422 c Elapsed CPU time: 18.7701 s Remaining CPU time: 161.23 s c =============================================================================== c | 26 | 1495 1717 294600 | 5000 26 1264 | 0.000 % | c =============================================================================== c New solution: 7421 c Elapsed CPU time: 18.9681 s Remaining CPU time: 161.032 s c =============================================================================== c | 27 | 1495 1718 295950 | 5000 27 1266 | 0.000 % | c =============================================================================== c New solution: 7420 c Elapsed CPU time: 19.1601 s Remaining CPU time: 160.84 s c =============================================================================== c | 27 | 1495 1719 297300 | 5000 27 1266 | 0.000 % | c =============================================================================== c New solution: 7419 c Elapsed CPU time: 19.3411 s Remaining CPU time: 160.659 s c =============================================================================== c | 27 | 1495 1720 298650 | 5000 27 1266 | 0.000 % | c =============================================================================== c New solution: 7418 c Elapsed CPU time: 19.537 s Remaining CPU time: 160.463 s c =============================================================================== c | 28 | 1495 1721 300000 | 5000 28 1267 | 0.000 % | c =============================================================================== c New solution: 7417 c Elapsed CPU time: 19.738 s Remaining CPU time: 160.262 s c =============================================================================== c | 28 | 1495 1722 301350 | 5000 28 1267 | 0.000 % | c =============================================================================== c New solution: 7416 c Elapsed CPU time: 19.948 s Remaining CPU time: 160.052 s c =============================================================================== c | 30 | 1495 1723 302700 | 5000 30 1270 | 0.000 % | c =============================================================================== c New solution: 7415 c Elapsed CPU time: 20.1449 s Remaining CPU time: 159.855 s c =============================================================================== c | 30 | 1495 1724 304050 | 5000 30 1270 | 0.000 % | c =============================================================================== c New solution: 7414 c Elapsed CPU time: 20.3259 s Remaining CPU time: 159.674 s c =============================================================================== c | 30 | 1495 1725 305400 | 5000 30 1270 | 0.000 % | c =============================================================================== c New solution: 7413 c Elapsed CPU time: 20.5149 s Remaining CPU time: 159.485 s c =============================================================================== c | 30 | 1495 1726 306750 | 5000 30 1270 | 0.000 % | c =============================================================================== c New solution: 7412 c Elapsed CPU time: 20.6959 s Remaining CPU time: 159.304 s c =============================================================================== c | 30 | 1495 1727 308100 | 5000 30 1270 | 0.000 % | c =============================================================================== c New solution: 7411 c Elapsed CPU time: 20.8768 s Remaining CPU time: 159.123 s c =============================================================================== c | 30 | 1495 1728 309450 | 5000 30 1270 | 0.000 % | c =============================================================================== c New solution: 7410 c Elapsed CPU time: 21.0628 s Remaining CPU time: 158.937 s c =============================================================================== c | 30 | 1495 1729 310800 | 5000 30 1270 | 0.000 % | c =============================================================================== c New solution: 7409 c Elapsed CPU time: 21.2618 s Remaining CPU time: 158.738 s c =============================================================================== c | 30 | 1495 1730 312150 | 5000 30 1270 | 0.000 % | c =============================================================================== c New solution: 7408 c Elapsed CPU time: 21.4657 s Remaining CPU time: 158.534 s c =============================================================================== c | 31 | 1495 1731 313500 | 5000 31 1271 | 0.000 % | c =============================================================================== c New solution: 7407 c Elapsed CPU time: 21.6927 s Remaining CPU time: 158.307 s c =============================================================================== c | 35 | 1495 1732 314850 | 5000 35 1274 | 0.000 % | c =============================================================================== c New solution: 7406 c Elapsed CPU time: 21.9137 s Remaining CPU time: 158.086 s c =============================================================================== c | 36 | 1495 1733 316200 | 5000 36 1239 | 0.000 % | c =============================================================================== c New solution: 7405 c Elapsed CPU time: 22.1226 s Remaining CPU time: 157.877 s c =============================================================================== c | 37 | 1495 1734 317550 | 5000 37 1241 | 0.000 % | c =============================================================================== c New solution: 7404 c Elapsed CPU time: 22.3426 s Remaining CPU time: 157.657 s c =============================================================================== c | 38 | 1495 1735 318900 | 5000 38 1242 | 0.000 % | c =============================================================================== c New solution: 7403 c Elapsed CPU time: 22.5686 s Remaining CPU time: 157.431 s c =============================================================================== c | 38 | 1495 1736 320250 | 5000 38 1242 | 0.000 % | c =============================================================================== c New solution: 7402 c Elapsed CPU time: 22.7795 s Remaining CPU time: 157.22 s c =============================================================================== c | 39 | 1495 1737 321600 | 5000 39 1244 | 0.000 % | c =============================================================================== c New solution: 7401 c Elapsed CPU time: 22.9795 s Remaining CPU time: 157.02 s c =============================================================================== c | 39 | 1495 1738 322950 | 5000 39 1244 | 0.000 % | c =============================================================================== c New solution: 7400 c Elapsed CPU time: 23.2075 s Remaining CPU time: 156.793 s c =============================================================================== c | 41 | 1495 1739 324300 | 5000 41 1247 | 0.000 % | c =============================================================================== c New solution: 7399 c Elapsed CPU time: 23.4134 s Remaining CPU time: 156.587 s c =============================================================================== c | 41 | 1495 1740 325650 | 5000 41 1247 | 0.000 % | c =============================================================================== c New solution: 7398 c Elapsed CPU time: 23.6114 s Remaining CPU time: 156.389 s c =============================================================================== c | 41 | 1495 1741 327000 | 5000 41 1247 | 0.000 % | c =============================================================================== c New solution: 7397 c Elapsed CPU time: 23.8114 s Remaining CPU time: 156.189 s c =============================================================================== c | 41 | 1495 1742 328350 | 5000 41 1247 | 0.000 % | c =============================================================================== c New solution: 7396 c Elapsed CPU time: 24.0313 s Remaining CPU time: 155.969 s c =============================================================================== c | 41 | 1495 1743 329700 | 5000 41 1247 | 0.000 % | c =============================================================================== c New solution: 7395 c Elapsed CPU time: 24.2643 s Remaining CPU time: 155.736 s c =============================================================================== c | 42 | 1495 1744 331050 | 5000 42 1248 | 0.000 % | c =============================================================================== c New solution: 7394 c Elapsed CPU time: 24.4833 s Remaining CPU time: 155.517 s c =============================================================================== c | 42 | 1495 1745 332400 | 5000 42 1248 | 0.000 % | c =============================================================================== c New solution: 7393 c Elapsed CPU time: 24.7062 s Remaining CPU time: 155.294 s c =============================================================================== c | 47 | 1495 1746 333750 | 5000 47 1254 | 0.000 % | c =============================================================================== c New solution: 7392 c Elapsed CPU time: 24.9152 s Remaining CPU time: 155.085 s c =============================================================================== c | 47 | 1495 1747 335100 | 5000 47 1254 | 0.000 % | c =============================================================================== c New solution: 7391 c Elapsed CPU time: 25.1252 s Remaining CPU time: 154.875 s c =============================================================================== c | 49 | 1495 1748 336450 | 5000 49 1229 | 0.000 % | c =============================================================================== c New solution: 7390 c Elapsed CPU time: 25.3331 s Remaining CPU time: 154.667 s c =============================================================================== c | 50 | 1495 1749 337800 | 5000 50 1230 | 0.000 % | c =============================================================================== c New solution: 7389 c Elapsed CPU time: 25.5381 s Remaining CPU time: 154.462 s c =============================================================================== c | 50 | 1495 1750 339150 | 5000 50 1230 | 0.000 % | c =============================================================================== c New solution: 7388 c Elapsed CPU time: 25.7581 s Remaining CPU time: 154.242 s c =============================================================================== c | 50 | 1495 1751 340500 | 5000 50 1230 | 0.000 % | c =============================================================================== c New solution: 7387 c Elapsed CPU time: 25.983 s Remaining CPU time: 154.017 s c =============================================================================== c | 50 | 1495 1752 341850 | 5000 50 1230 | 0.000 % | c =============================================================================== c New solution: 7386 c Elapsed CPU time: 26.21 s Remaining CPU time: 153.79 s c =============================================================================== c | 50 | 1495 1753 343200 | 5000 50 1230 | 0.000 % | c =============================================================================== c New solution: 7385 c Elapsed CPU time: 26.421 s Remaining CPU time: 153.579 s c =============================================================================== c | 50 | 1495 1754 344550 | 5000 50 1230 | 0.000 % | c =============================================================================== c New solution: 7384 c Elapsed CPU time: 26.6409 s Remaining CPU time: 153.359 s c =============================================================================== c | 50 | 1495 1755 345900 | 5000 50 1230 | 0.000 % | c =============================================================================== c New solution: 7383 c Elapsed CPU time: 26.8629 s Remaining CPU time: 153.137 s c =============================================================================== c | 51 | 1495 1756 347250 | 5000 51 1232 | 0.000 % | c =============================================================================== c New solution: 7382 c Elapsed CPU time: 27.0909 s Remaining CPU time: 152.909 s c =============================================================================== c | 56 | 1495 1757 348600 | 5000 56 1238 | 0.000 % | c =============================================================================== c New solution: 7381 c Elapsed CPU time: 27.3228 s Remaining CPU time: 152.677 s c =============================================================================== c | 56 | 1495 1758 349950 | 5000 56 1238 | 0.000 % | c =============================================================================== c New solution: 7380 c Elapsed CPU time: 27.5638 s Remaining CPU time: 152.436 s c =============================================================================== c | 59 | 1495 1759 351300 | 5000 59 1241 | 0.000 % | c =============================================================================== c New solution: 7379 c Elapsed CPU time: 27.7978 s Remaining CPU time: 152.202 s c =============================================================================== c | 59 | 1495 1760 352650 | 5000 59 1241 | 0.000 % | c =============================================================================== c New solution: 7378 c Elapsed CPU time: 28.0267 s Remaining CPU time: 151.973 s c =============================================================================== c | 59 | 1495 1761 354000 | 5000 59 1241 | 0.000 % | c =============================================================================== c New solution: 7377 c Elapsed CPU time: 28.2627 s Remaining CPU time: 151.737 s c =============================================================================== c | 59 | 1495 1762 355350 | 5000 59 1241 | 0.000 % | c =============================================================================== c New solution: 7376 c Elapsed CPU time: 28.5087 s Remaining CPU time: 151.491 s c =============================================================================== c | 59 | 1495 1763 356700 | 5000 59 1241 | 0.000 % | c =============================================================================== c New solution: 7375 c Elapsed CPU time: 28.7586 s Remaining CPU time: 151.241 s c =============================================================================== c | 61 | 1495 1764 358050 | 5000 61 1243 | 0.000 % | c =============================================================================== c New solution: 7374 c Elapsed CPU time: 28.9826 s Remaining CPU time: 151.017 s c =============================================================================== c | 63 | 1495 1765 359400 | 5000 63 1244 | 0.000 % | c =============================================================================== c New solution: 7373 c Elapsed CPU time: 29.2036 s Remaining CPU time: 150.796 s c =============================================================================== c | 64 | 1495 1766 360750 | 5000 64 1245 | 0.000 % | c =============================================================================== c New solution: 7372 c Elapsed CPU time: 29.4405 s Remaining CPU time: 150.559 s c =============================================================================== c | 64 | 1495 1767 362100 | 5000 64 1245 | 0.000 % | c =============================================================================== c New solution: 7371 c Elapsed CPU time: 29.7075 s Remaining CPU time: 150.293 s c =============================================================================== c | 64 | 1495 1768 363450 | 5000 64 1245 | 0.000 % | c =============================================================================== c New solution: 7370 c Elapsed CPU time: 29.9864 s Remaining CPU time: 150.014 s c =============================================================================== c | 66 | 1495 1769 364800 | 5000 66 1247 | 0.000 % | c =============================================================================== c New solution: 7369 c Elapsed CPU time: 30.2524 s Remaining CPU time: 149.748 s c =============================================================================== c | 66 | 1495 1770 366150 | 5000 66 1247 | 0.000 % | c =============================================================================== c New solution: 7368 c Elapsed CPU time: 30.5544 s Remaining CPU time: 149.446 s c =============================================================================== c | 71 | 1495 1771 367500 | 5000 71 1250 | 0.000 % | c =============================================================================== c New solution: 7367 c Elapsed CPU time: 30.7903 s Remaining CPU time: 149.21 s c =============================================================================== c | 71 | 1495 1772 368850 | 5000 71 1250 | 0.000 % | c =============================================================================== c New solution: 7366 c Elapsed CPU time: 31.0313 s Remaining CPU time: 148.969 s c =============================================================================== c | 71 | 1495 1773 370200 | 5000 71 1250 | 0.000 % | c =============================================================================== c New solution: 7365 c Elapsed CPU time: 31.2922 s Remaining CPU time: 148.708 s c =============================================================================== c | 77 | 1495 1774 371550 | 5000 77 1254 | 0.000 % | c =============================================================================== c New solution: 7364 c Elapsed CPU time: 31.5472 s Remaining CPU time: 148.453 s c =============================================================================== c | 77 | 1495 1775 372900 | 5000 77 1254 | 0.000 % | c =============================================================================== c New solution: 7363 c Elapsed CPU time: 31.8162 s Remaining CPU time: 148.184 s c =============================================================================== c | 77 | 1495 1776 374250 | 5000 77 1254 | 0.000 % | c =============================================================================== c New solution: 7362 c Elapsed CPU time: 32.0861 s Remaining CPU time: 147.914 s c =============================================================================== c | 80 | 1495 1777 375600 | 5000 80 1255 | 0.000 % | c =============================================================================== c New solution: 7361 c Elapsed CPU time: 32.3261 s Remaining CPU time: 147.674 s c =============================================================================== c | 80 | 1495 1778 376950 | 5000 80 1255 | 0.000 % | c =============================================================================== c New solution: 7360 c Elapsed CPU time: 32.569 s Remaining CPU time: 147.431 s c =============================================================================== c | 80 | 1495 1779 378300 | 5000 80 1255 | 0.000 % | c =============================================================================== c New solution: 7359 c Elapsed CPU time: 32.828 s Remaining CPU time: 147.172 s c =============================================================================== c | 80 | 1495 1780 379650 | 5000 80 1255 | 0.000 % | c =============================================================================== c New solution: 7358 c Elapsed CPU time: 33.091 s Remaining CPU time: 146.909 s c =============================================================================== c | 80 | 1495 1781 381000 | 5000 80 1255 | 0.000 % | c =============================================================================== c New solution: 7357 c Elapsed CPU time: 33.3449 s Remaining CPU time: 146.655 s c =============================================================================== c | 83 | 1495 1782 382350 | 5000 83 1257 | 0.000 % | c =============================================================================== c New solution: 7356 c Elapsed CPU time: 33.5879 s Remaining CPU time: 146.412 s c =============================================================================== c | 83 | 1495 1783 383700 | 5000 83 1257 | 0.000 % | c =============================================================================== c New solution: 7355 c Elapsed CPU time: 33.8299 s Remaining CPU time: 146.17 s c =============================================================================== c | 83 | 1495 1784 385050 | 5000 83 1257 | 0.000 % | c =============================================================================== c New solution: 7354 c Elapsed CPU time: 34.0888 s Remaining CPU time: 145.911 s c =============================================================================== c | 84 | 1495 1785 386400 | 5000 84 1257 | 0.000 % | c =============================================================================== c New solution: 7353 c Elapsed CPU time: 34.3418 s Remaining CPU time: 145.658 s c =============================================================================== c | 85 | 1495 1786 387750 | 5000 85 1258 | 0.000 % | c =============================================================================== c New solution: 7352 c Elapsed CPU time: 34.5997 s Remaining CPU time: 145.4 s c =============================================================================== c | 85 | 1495 1787 389100 | 5000 85 1258 | 0.000 % | c =============================================================================== c New solution: 7351 c Elapsed CPU time: 34.8997 s Remaining CPU time: 145.1 s c =============================================================================== c | 85 | 1495 1788 390450 | 5000 85 1258 | 0.000 % | c =============================================================================== c New solution: 7350 c Elapsed CPU time: 35.1577 s Remaining CPU time: 144.842 s c =============================================================================== c | 86 | 1495 1789 391800 | 5000 86 1258 | 0.000 % | c =============================================================================== c New solution: 7349 c Elapsed CPU time: 35.4106 s Remaining CPU time: 144.589 s c =============================================================================== c | 86 | 1495 1790 393150 | 5000 86 1258 | 0.000 % | c =============================================================================== c New solution: 7348 c Elapsed CPU time: 35.6616 s Remaining CPU time: 144.338 s c =============================================================================== c | 86 | 1495 1791 394500 | 5000 86 1258 | 0.000 % | c =============================================================================== c New solution: 7347 c Elapsed CPU time: 35.9225 s Remaining CPU time: 144.077 s c =============================================================================== c | 86 | 1495 1792 395850 | 5000 86 1258 | 0.000 % | c =============================================================================== c New solution: 7346 c Elapsed CPU time: 36.1665 s Remaining CPU time: 143.833 s c =============================================================================== c | 86 | 1495 1793 397200 | 5000 86 1258 | 0.000 % | c =============================================================================== c New solution: 7345 c Elapsed CPU time: 36.4445 s Remaining CPU time: 143.556 s c =============================================================================== c | 92 | 1495 1794 398550 | 5000 92 1260 | 0.000 % | c =============================================================================== c New solution: 7344 c Elapsed CPU time: 36.6914 s Remaining CPU time: 143.309 s c =============================================================================== c | 92 | 1495 1795 399900 | 5000 92 1260 | 0.000 % | c =============================================================================== c New solution: 7343 c Elapsed CPU time: 36.9794 s Remaining CPU time: 143.021 s c =============================================================================== c | 98 | 1495 1796 401250 | 5000 98 1262 | 0.000 % | c =============================================================================== c New solution: 7342 c Elapsed CPU time: 37.2463 s Remaining CPU time: 142.754 s c =============================================================================== c | 99 | 1495 1797 402600 | 5000 99 1262 | 0.000 % | c =============================================================================== c New solution: 7341 c Elapsed CPU time: 37.5063 s Remaining CPU time: 142.494 s c =============================================================================== c | 99 | 1495 1798 403950 | 5000 99 1262 | 0.000 % | c =============================================================================== c New solution: 7340 c Elapsed CPU time: 37.7763 s Remaining CPU time: 142.224 s c =============================================================================== c | 100 | 1495 1799 405300 | 5000 100 1262 | 0.000 % | c =============================================================================== c New solution: 7339 c Elapsed CPU time: 38.0502 s Remaining CPU time: 141.95 s c =============================================================================== c | 100 | 1495 1800 406650 | 5000 100 1262 | 0.000 % | c =============================================================================== c New solution: 7338 c Elapsed CPU time: 38.3412 s Remaining CPU time: 141.659 s c =============================================================================== c | 100 | 1495 1801 408000 | 5000 100 1262 | 0.000 % | c =============================================================================== c New solution: 7337 c Elapsed CPU time: 38.6151 s Remaining CPU time: 141.385 s c =============================================================================== c | 100 | 1495 1802 409350 | 5000 100 1262 | 0.000 % | c =============================================================================== c New solution: 7336 c Elapsed CPU time: 38.9101 s Remaining CPU time: 141.09 s c =============================================================================== c | 100 | 1495 1803 410700 | 5000 100 1262 | 0.000 % | c =============================================================================== c New solution: 7335 c Elapsed CPU time: 39.204 s Remaining CPU time: 140.796 s c =============================================================================== c | 102 | 1495 1804 412050 | 5000 102 1263 | 0.000 % | c =============================================================================== c New solution: 7334 c Elapsed CPU time: 39.476 s Remaining CPU time: 140.524 s c =============================================================================== c | 103 | 1495 1805 413400 | 5000 103 1263 | 0.000 % | c =============================================================================== c New solution: 7333 c Elapsed CPU time: 39.743 s Remaining CPU time: 140.257 s c =============================================================================== c | 104 | 1495 1806 414750 | 5000 104 1263 | 0.000 % | c =============================================================================== c New solution: 7332 c Elapsed CPU time: 40.0059 s Remaining CPU time: 139.994 s c =============================================================================== c | 105 | 1495 1807 416100 | 5000 105 1264 | 0.000 % | c =============================================================================== c New solution: 7331 c Elapsed CPU time: 40.2949 s Remaining CPU time: 139.705 s c =============================================================================== c | 107 | 1495 1808 417450 | 5000 107 1264 | 0.000 % | c =============================================================================== c New solution: 7330 c Elapsed CPU time: 40.5798 s Remaining CPU time: 139.42 s c =============================================================================== c | 108 | 1495 1809 418800 | 5000 108 1264 | 0.000 % | c =============================================================================== c New solution: 7329 c Elapsed CPU time: 40.8558 s Remaining CPU time: 139.144 s c =============================================================================== c | 108 | 1495 1810 420150 | 5000 108 1264 | 0.000 % | c =============================================================================== c New solution: 7328 c Elapsed CPU time: 41.1577 s Remaining CPU time: 138.842 s c =============================================================================== c | 108 | 1495 1811 421500 | 5000 108 1264 | 0.000 % | c =============================================================================== c New solution: 7327 c Elapsed CPU time: 41.4737 s Remaining CPU time: 138.526 s c =============================================================================== c | 113 | 1495 1812 422850 | 5000 113 1265 | 0.000 % | c =============================================================================== c New solution: 7326 c Elapsed CPU time: 41.7647 s Remaining CPU time: 138.235 s c =============================================================================== c | 113 | 1495 1813 424200 | 5000 113 1265 | 0.000 % | c =============================================================================== c New solution: 7325 c Elapsed CPU time: 42.0646 s Remaining CPU time: 137.935 s c =============================================================================== c | 113 | 1495 1814 425550 | 5000 113 1265 | 0.000 % | c =============================================================================== c New solution: 7324 c Elapsed CPU time: 42.3776 s Remaining CPU time: 137.622 s c =============================================================================== c | 125 | 1495 1815 426900 | 5000 125 1267 | 0.000 % | c =============================================================================== c New solution: 7323 c Elapsed CPU time: 42.7065 s Remaining CPU time: 137.293 s c =============================================================================== c | 146 | 1495 1816 428250 | 5000 146 1270 | 0.000 % | c =============================================================================== c New solution: 7322 c Elapsed CPU time: 43.0025 s Remaining CPU time: 136.998 s c =============================================================================== c | 150 | 1495 1817 429600 | 5000 150 1270 | 0.000 % | c =============================================================================== c New solution: 7321 c Elapsed CPU time: 43.2844 s Remaining CPU time: 136.716 s c =============================================================================== c | 152 | 1495 1818 430950 | 5000 152 1270 | 0.000 % | c =============================================================================== c New solution: 7320 c Elapsed CPU time: 43.5704 s Remaining CPU time: 136.43 s c =============================================================================== c | 152 | 1495 1819 432300 | 5000 152 1270 | 0.000 % | c =============================================================================== c New solution: 7319 c Elapsed CPU time: 43.8593 s Remaining CPU time: 136.141 s c =============================================================================== c | 152 | 1495 1820 433650 | 5000 152 1270 | 0.000 % | c =============================================================================== c New solution: 7318 c Elapsed CPU time: 44.1643 s Remaining CPU time: 135.836 s c =============================================================================== c | 153 | 1495 1821 435000 | 5000 153 1271 | 0.000 % | c =============================================================================== c New solution: 7317 c Elapsed CPU time: 44.4602 s Remaining CPU time: 135.54 s c =============================================================================== c | 154 | 1495 1822 436350 | 5000 154 1271 | 0.000 % | c =============================================================================== c New solution: 7316 c Elapsed CPU time: 44.7512 s Remaining CPU time: 135.249 s c =============================================================================== c | 156 | 1495 1823 437700 | 5000 156 1271 | 0.000 % | c =============================================================================== c New solution: 7315 c Elapsed CPU time: 45.0691 s Remaining CPU time: 134.931 s c =============================================================================== c | 169 | 1495 1824 439050 | 5000 169 1272 | 0.000 % | c =============================================================================== c New solution: 7314 c Elapsed CPU time: 45.3741 s Remaining CPU time: 134.626 s c =============================================================================== c | 169 | 1495 1825 440400 | 5000 169 1272 | 0.000 % | c =============================================================================== c New solution: 7313 c Elapsed CPU time: 45.6771 s Remaining CPU time: 134.323 s c =============================================================================== c | 169 | 1495 1826 441750 | 5000 169 1272 | 0.000 % | c =============================================================================== c New solution: 7312 c Elapsed CPU time: 45.954 s Remaining CPU time: 134.046 s c =============================================================================== c | 169 | 1495 1827 443100 | 5000 169 1272 | 0.000 % | c =============================================================================== c New solution: 7311 c Elapsed CPU time: 46.26 s Remaining CPU time: 133.74 s c =============================================================================== c | 170 | 1495 1828 444450 | 5000 170 1272 | 0.000 % | c =============================================================================== c New solution: 7310 c Elapsed CPU time: 46.5659 s Remaining CPU time: 133.434 s c =============================================================================== c | 171 | 1495 1829 445800 | 5000 171 1272 | 0.000 % | c =============================================================================== c New solution: 7309 c Elapsed CPU time: 46.8709 s Remaining CPU time: 133.129 s c =============================================================================== c | 171 | 1495 1830 447150 | 5000 171 1272 | 0.000 % | c =============================================================================== c New solution: 7308 c Elapsed CPU time: 47.1678 s Remaining CPU time: 132.832 s c =============================================================================== c | 171 | 1495 1831 448500 | 5000 171 1272 | 0.000 % | c =============================================================================== c New solution: 7307 c Elapsed CPU time: 47.4608 s Remaining CPU time: 132.539 s c =============================================================================== c | 171 | 1495 1832 449850 | 5000 171 1272 | 0.000 % | c =============================================================================== c New solution: 7306 c Elapsed CPU time: 47.7837 s Remaining CPU time: 132.216 s c =============================================================================== c | 173 | 1495 1833 451200 | 5000 173 1272 | 0.000 % | c =============================================================================== c New solution: 7305 c Elapsed CPU time: 48.1017 s Remaining CPU time: 131.898 s c =============================================================================== c | 173 | 1495 1834 452550 | 5000 173 1272 | 0.000 % | c =============================================================================== c New solution: 7304 c Elapsed CPU time: 48.4466 s Remaining CPU time: 131.553 s c =============================================================================== c | 174 | 1495 1835 453900 | 5000 174 1272 | 0.000 % | c =============================================================================== c New solution: 7303 c Elapsed CPU time: 48.7856 s Remaining CPU time: 131.214 s c =============================================================================== c | 176 | 1495 1836 455250 | 5000 176 1272 | 0.000 % | c =============================================================================== c New solution: 7302 c Elapsed CPU time: 49.0965 s Remaining CPU time: 130.903 s c =============================================================================== c | 177 | 1495 1837 456600 | 5000 177 1273 | 0.000 % | c =============================================================================== c New solution: 7301 c Elapsed CPU time: 49.3955 s Remaining CPU time: 130.605 s c =============================================================================== c | 178 | 1495 1838 457950 | 5000 178 1273 | 0.000 % | c =============================================================================== c New solution: 7300 c Elapsed CPU time: 49.6984 s Remaining CPU time: 130.302 s c =============================================================================== c | 178 | 1495 1839 459300 | 5000 178 1273 | 0.000 % | c =============================================================================== c New solution: 7299 c Elapsed CPU time: 50.0464 s Remaining CPU time: 129.954 s c =============================================================================== c | 190 | 1495 1840 460650 | 5000 190 1273 | 0.000 % | c =============================================================================== c New solution: 7298 c Elapsed CPU time: 50.3853 s Remaining CPU time: 129.615 s c =============================================================================== c | 193 | 1495 1841 462000 | 5000 193 1273 | 0.000 % | c =============================================================================== c New solution: 7297 c Elapsed CPU time: 50.7163 s Remaining CPU time: 129.284 s c =============================================================================== c | 198 | 1495 1842 463350 | 5000 198 1274 | 0.000 % | c =============================================================================== c New solution: 7296 c Elapsed CPU time: 51.0382 s Remaining CPU time: 128.962 s c =============================================================================== c | 199 | 1495 1843 464700 | 5000 199 1274 | 0.000 % | c =============================================================================== c New solution: 7295 c Elapsed CPU time: 51.3722 s Remaining CPU time: 128.628 s c =============================================================================== c | 202 | 1495 1844 466050 | 5000 202 1274 | 0.000 % | c =============================================================================== c New solution: 7294 c Elapsed CPU time: 51.6921 s Remaining CPU time: 128.308 s c =============================================================================== c | 203 | 1495 1845 467400 | 5000 203 1274 | 0.000 % | c =============================================================================== c New solution: 7293 c Elapsed CPU time: 52.0031 s Remaining CPU time: 127.997 s c =============================================================================== c | 204 | 1495 1846 468750 | 5000 204 1274 | 0.000 % | c =============================================================================== c New solution: 7292 c Elapsed CPU time: 52.296 s Remaining CPU time: 127.704 s c =============================================================================== c | 205 | 1495 1847 470100 | 5000 205 1274 | 0.000 % | c =============================================================================== c New solution: 7291 c Elapsed CPU time: 52.597 s Remaining CPU time: 127.403 s c =============================================================================== c | 205 | 1495 1848 471450 | 5000 205 1274 | 0.000 % | c =============================================================================== c New solution: 7290 c Elapsed CPU time: 52.907 s Remaining CPU time: 127.093 s c =============================================================================== c | 206 | 1495 1849 472800 | 5000 206 1274 | 0.000 % | c =============================================================================== c New solution: 7289 c Elapsed CPU time: 53.2469 s Remaining CPU time: 126.753 s c =============================================================================== c | 208 | 1495 1850 474150 | 5000 208 1274 | 0.000 % | c =============================================================================== c New solution: 7288 c Elapsed CPU time: 53.5919 s Remaining CPU time: 126.408 s c =============================================================================== c | 208 | 1495 1851 475500 | 5000 208 1274 | 0.000 % | c =============================================================================== c New solution: 7287 c Elapsed CPU time: 53.9348 s Remaining CPU time: 126.065 s c =============================================================================== c | 210 | 1495 1852 476850 | 5000 210 1274 | 0.000 % | c =============================================================================== c New solution: 7286 c Elapsed CPU time: 54.2957 s Remaining CPU time: 125.704 s c =============================================================================== c | 212 | 1495 1853 478200 | 5000 212 1274 | 0.000 % | c =============================================================================== c New solution: 7285 c Elapsed CPU time: 54.6287 s Remaining CPU time: 125.371 s c =============================================================================== c | 212 | 1495 1854 479550 | 5000 212 1274 | 0.000 % | c =============================================================================== c New solution: 7284 c Elapsed CPU time: 54.9616 s Remaining CPU time: 125.038 s c =============================================================================== c | 213 | 1495 1855 480900 | 5000 213 1274 | 0.000 % | c =============================================================================== c New solution: 7283 c Elapsed CPU time: 55.3196 s Remaining CPU time: 124.68 s c =============================================================================== c | 214 | 1495 1856 482250 | 5000 214 1274 | 0.000 % | c =============================================================================== c New solution: 7282 c Elapsed CPU time: 55.7065 s Remaining CPU time: 124.293 s c =============================================================================== c | 221 | 1495 1857 483600 | 5000 221 1268 | 0.000 % | c =============================================================================== c New solution: 7281 c Elapsed CPU time: 56.0765 s Remaining CPU time: 123.924 s c =============================================================================== c | 227 | 1495 1858 484950 | 5000 227 1269 | 0.000 % | c =============================================================================== c New solution: 7280 c Elapsed CPU time: 56.4164 s Remaining CPU time: 123.584 s c =============================================================================== c | 228 | 1495 1859 486300 | 5000 228 1269 | 0.000 % | c =============================================================================== c New solution: 7279 c Elapsed CPU time: 56.7434 s Remaining CPU time: 123.257 s c =============================================================================== c | 228 | 1495 1860 487650 | 5000 228 1269 | 0.000 % | c =============================================================================== c New solution: 7278 c Elapsed CPU time: 57.0823 s Remaining CPU time: 122.918 s c =============================================================================== c | 228 | 1495 1861 489000 | 5000 228 1269 | 0.000 % | c =============================================================================== c New solution: 7277 c Elapsed CPU time: 57.5672 s Remaining CPU time: 122.433 s c =============================================================================== c | 246 | 1495 1862 490350 | 5000 246 1270 | 0.000 % | c =============================================================================== c New solution: 7276 c Elapsed CPU time: 57.9432 s Remaining CPU time: 122.057 s c =============================================================================== c | 250 | 1495 1863 491700 | 5000 250 1270 | 0.000 % | c =============================================================================== c New solution: 7275 c Elapsed CPU time: 58.2641 s Remaining CPU time: 121.736 s c =============================================================================== c | 250 | 1495 1864 493050 | 5000 250 1270 | 0.000 % | c =============================================================================== c New solution: 7274 c Elapsed CPU time: 58.6191 s Remaining CPU time: 121.381 s c =============================================================================== c | 255 | 1495 1865 494400 | 5000 255 1270 | 0.000 % | c =============================================================================== c New solution: 7273 c Elapsed CPU time: 59.003 s Remaining CPU time: 120.997 s c =============================================================================== c | 257 | 1495 1866 495750 | 5000 257 1270 | 0.000 % | c =============================================================================== c New solution: 7272 c Elapsed CPU time: 59.39 s Remaining CPU time: 120.61 s c =============================================================================== c | 261 | 1495 1867 497100 | 5000 261 1270 | 0.000 % | c =============================================================================== c New solution: 7271 c Elapsed CPU time: 59.7279 s Remaining CPU time: 120.272 s c =============================================================================== c | 261 | 1495 1868 498450 | 5000 261 1270 | 0.000 % | c =============================================================================== c New solution: 7270 c Elapsed CPU time: 60.1579 s Remaining CPU time: 119.842 s c =============================================================================== c | 268 | 1495 1869 499800 | 5000 268 1270 | 0.000 % | c =============================================================================== c New solution: 7269 c Elapsed CPU time: 60.5338 s Remaining CPU time: 119.466 s c =============================================================================== c | 272 | 1495 1870 501150 | 5000 272 1270 | 0.000 % | c =============================================================================== c New solution: 7268 c Elapsed CPU time: 60.8787 s Remaining CPU time: 119.121 s c =============================================================================== c | 272 | 1495 1871 502500 | 5000 272 1270 | 0.000 % | c =============================================================================== c New solution: 7267 c Elapsed CPU time: 61.2767 s Remaining CPU time: 118.723 s c =============================================================================== c | 274 | 1495 1872 503850 | 5000 274 1270 | 0.000 % | c =============================================================================== c New solution: 7266 c Elapsed CPU time: 61.6866 s Remaining CPU time: 118.313 s c =============================================================================== c | 277 | 1495 1873 505200 | 5000 277 1270 | 0.000 % | c =============================================================================== c New solution: 7265 c Elapsed CPU time: 62.0426 s Remaining CPU time: 117.957 s c =============================================================================== c | 279 | 1495 1874 506550 | 5000 279 1270 | 0.000 % | c =============================================================================== c New solution: 7264 c Elapsed CPU time: 62.4255 s Remaining CPU time: 117.574 s c =============================================================================== c | 281 | 1495 1875 507900 | 5000 281 1270 | 0.000 % | c =============================================================================== c New solution: 7263 c Elapsed CPU time: 62.7415 s Remaining CPU time: 117.259 s c =============================================================================== c | 281 | 1495 1876 509250 | 5000 281 1270 | 0.000 % | c =============================================================================== c New solution: 7262 c Elapsed CPU time: 63.0864 s Remaining CPU time: 116.914 s c =============================================================================== c | 285 | 1495 1877 510600 | 5000 285 1271 | 0.000 % | c =============================================================================== c New solution: 7261 c Elapsed CPU time: 63.4504 s Remaining CPU time: 116.55 s c =============================================================================== c | 290 | 1495 1878 511950 | 5000 290 1271 | 0.000 % | c =============================================================================== c New solution: 7260 c Elapsed CPU time: 63.7953 s Remaining CPU time: 116.205 s c =============================================================================== c | 290 | 1495 1879 513300 | 5000 290 1271 | 0.000 % | c =============================================================================== c New solution: 7259 c Elapsed CPU time: 64.1562 s Remaining CPU time: 115.844 s c =============================================================================== c | 294 | 1495 1880 514650 | 5000 294 1271 | 0.000 % | c =============================================================================== c New solution: 7258 c Elapsed CPU time: 64.4872 s Remaining CPU time: 115.513 s c =============================================================================== c | 294 | 1495 1881 516000 | 5000 294 1271 | 0.000 % | c =============================================================================== c New solution: 7257 c Elapsed CPU time: 64.8701 s Remaining CPU time: 115.13 s c =============================================================================== c | 294 | 1495 1882 517350 | 5000 294 1271 | 0.000 % | c =============================================================================== c New solution: 7256 c Elapsed CPU time: 65.2171 s Remaining CPU time: 114.783 s c =============================================================================== c | 294 | 1495 1883 518700 | 5000 294 1271 | 0.000 % | c =============================================================================== c New solution: 7255 c Elapsed CPU time: 65.572 s Remaining CPU time: 114.428 s c =============================================================================== c | 296 | 1495 1884 520050 | 5000 296 1271 | 0.000 % | c =============================================================================== c New solution: 7254 c Elapsed CPU time: 65.906 s Remaining CPU time: 114.094 s c =============================================================================== c | 297 | 1495 1885 521400 | 5000 297 1271 | 0.000 % | c =============================================================================== c New solution: 7253 c Elapsed CPU time: 66.2509 s Remaining CPU time: 113.749 s c =============================================================================== c | 297 | 1495 1886 522750 | 5000 297 1271 | 0.000 % | c =============================================================================== c New solution: 7252 c Elapsed CPU time: 66.5929 s Remaining CPU time: 113.407 s c =============================================================================== c | 298 | 1495 1887 524100 | 5000 298 1271 | 0.000 % | c =============================================================================== c New solution: 7251 c Elapsed CPU time: 66.9508 s Remaining CPU time: 113.049 s c =============================================================================== c | 302 | 1495 1888 525450 | 5000 302 1271 | 0.000 % | c =============================================================================== c New solution: 7250 c Elapsed CPU time: 67.3368 s Remaining CPU time: 112.663 s c =============================================================================== c | 304 | 1495 1889 526800 | 5000 304 1271 | 0.000 % | c =============================================================================== c New solution: 7249 c Elapsed CPU time: 67.7127 s Remaining CPU time: 112.287 s c =============================================================================== c | 308 | 1495 1890 528150 | 5000 308 1271 | 0.000 % | c =============================================================================== c New solution: 7248 c Elapsed CPU time: 68.2706 s Remaining CPU time: 111.729 s c =============================================================================== c | 320 | 1495 1891 529500 | 5000 320 1271 | 0.000 % | c =============================================================================== c New solution: 7247 c Elapsed CPU time: 68.6286 s Remaining CPU time: 111.371 s c =============================================================================== c | 320 | 1495 1892 530850 | 5000 320 1271 | 0.000 % | c =============================================================================== c New solution: 7246 c Elapsed CPU time: 69.0135 s Remaining CPU time: 110.986 s c =============================================================================== c | 323 | 1495 1893 532200 | 5000 323 1271 | 0.000 % | c =============================================================================== c New solution: 7245 c Elapsed CPU time: 69.3954 s Remaining CPU time: 110.605 s c =============================================================================== c | 325 | 1495 1894 533550 | 5000 325 1271 | 0.000 % | c =============================================================================== c New solution: 7244 c Elapsed CPU time: 69.7944 s Remaining CPU time: 110.206 s c =============================================================================== c | 343 | 1495 1895 534900 | 5000 343 1271 | 0.000 % | c =============================================================================== c New solution: 7243 c Elapsed CPU time: 70.1193 s Remaining CPU time: 109.881 s c =============================================================================== c | 343 | 1495 1896 536250 | 5000 343 1271 | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 70.4633 s Remaining CPU time: 109.537 s c =============================================================================== c | 343 | 1495 1897 537600 | 5000 343 1271 | 0.000 % | c =============================================================================== c New solution: 7241 c Elapsed CPU time: 70.8382 s Remaining CPU time: 109.162 s c =============================================================================== c | 344 | 1495 1898 538950 | 5000 344 1271 | 0.000 % | c =============================================================================== c New solution: 7240 c Elapsed CPU time: 71.2342 s Remaining CPU time: 108.766 s c =============================================================================== c | 349 | 1495 1899 540300 | 5000 349 1271 | 0.000 % | c =============================================================================== c New solution: 7239 c Elapsed CPU time: 71.6511 s Remaining CPU time: 108.349 s c =============================================================================== c | 353 | 1495 1900 541650 | 5000 353 1271 | 0.000 % | c =============================================================================== c New solution: 7238 c Elapsed CPU time: 72.025 s Remaining CPU time: 107.975 s c =============================================================================== c | 354 | 1495 1901 543000 | 5000 354 1271 | 0.000 % | c =============================================================================== c New solution: 7237 c Elapsed CPU time: 72.475 s Remaining CPU time: 107.525 s c =============================================================================== c | 364 | 1495 1902 544350 | 5000 364 1271 | 0.000 % | c =============================================================================== c New solution: 7236 c Elapsed CPU time: 72.8339 s Remaining CPU time: 107.166 s c =============================================================================== c | 367 | 1495 1903 545700 | 5000 367 1271 | 0.000 % | c =============================================================================== c New solution: 7235 c Elapsed CPU time: 73.3089 s Remaining CPU time: 106.691 s c =============================================================================== c | 376 | 1495 1904 547050 | 5000 376 1271 | 0.000 % | c =============================================================================== c New solution: 7234 c Elapsed CPU time: 73.6958 s Remaining CPU time: 106.304 s c =============================================================================== c | 377 | 1495 1905 548400 | 5000 377 1271 | 0.000 % | c =============================================================================== c New solution: 7233 c Elapsed CPU time: 74.1087 s Remaining CPU time: 105.891 s c =============================================================================== c | 380 | 1495 1906 549750 | 5000 380 1271 | 0.000 % | c =============================================================================== c New solution: 7232 c Elapsed CPU time: 74.4757 s Remaining CPU time: 105.524 s c =============================================================================== c | 381 | 1495 1907 551100 | 5000 381 1271 | 0.000 % | c =============================================================================== c New solution: 7231 c Elapsed CPU time: 74.8446 s Remaining CPU time: 105.155 s c =============================================================================== c | 381 | 1495 1908 552450 | 5000 381 1271 | 0.000 % | c =============================================================================== c New solution: 7230 c Elapsed CPU time: 75.2296 s Remaining CPU time: 104.77 s c =============================================================================== c | 383 | 1495 1909 553800 | 5000 383 1271 | 0.000 % | c =============================================================================== c New solution: 7229 c Elapsed CPU time: 75.6055 s Remaining CPU time: 104.394 s c =============================================================================== c | 383 | 1495 1910 555150 | 5000 383 1271 | 0.000 % | c =============================================================================== c New solution: 7228 c Elapsed CPU time: 75.9994 s Remaining CPU time: 104.001 s c =============================================================================== c | 385 | 1495 1911 556500 | 5000 385 1271 | 0.000 % | c =============================================================================== c New solution: 7227 c Elapsed CPU time: 76.4194 s Remaining CPU time: 103.581 s c =============================================================================== c | 389 | 1495 1912 557850 | 5000 389 1271 | 0.000 % | c =============================================================================== c New solution: 7226 c Elapsed CPU time: 76.8053 s Remaining CPU time: 103.195 s c =============================================================================== c | 389 | 1495 1913 559200 | 5000 389 1271 | 0.000 % | c =============================================================================== c New solution: 7225 c Elapsed CPU time: 77.2013 s Remaining CPU time: 102.799 s c =============================================================================== c | 389 | 1495 1914 560550 | 5000 389 1271 | 0.000 % | c =============================================================================== c New solution: 7224 c Elapsed CPU time: 77.6042 s Remaining CPU time: 102.396 s c =============================================================================== c | 390 | 1495 1915 561900 | 5000 390 1271 | 0.000 % | c =============================================================================== c New solution: 7223 c Elapsed CPU time: 77.9921 s Remaining CPU time: 102.008 s c =============================================================================== c | 392 | 1495 1916 563250 | 5000 392 1271 | 0.000 % | c =============================================================================== c New solution: 7222 c Elapsed CPU time: 78.3791 s Remaining CPU time: 101.621 s c =============================================================================== c | 395 | 1495 1917 564600 | 5000 395 1271 | 0.000 % | c =============================================================================== c New solution: 7221 c Elapsed CPU time: 78.786 s Remaining CPU time: 101.214 s c =============================================================================== c | 397 | 1495 1918 565950 | 5000 397 1271 | 0.000 % | c =============================================================================== c New solution: 7220 c Elapsed CPU time: 79.165 s Remaining CPU time: 100.835 s c =============================================================================== c | 399 | 1495 1919 567300 | 5000 399 1271 | 0.000 % | c =============================================================================== c New solution: 7219 c Elapsed CPU time: 79.5579 s Remaining CPU time: 100.442 s c =============================================================================== c | 400 | 1495 1920 568650 | 5000 400 1271 | 0.000 % | c =============================================================================== c New solution: 7218 c Elapsed CPU time: 79.9588 s Remaining CPU time: 100.041 s c =============================================================================== c | 400 | 1495 1921 570000 | 5000 400 1271 | 0.000 % | c =============================================================================== c New solution: 7217 c Elapsed CPU time: 80.3978 s Remaining CPU time: 99.6022 s c =============================================================================== c | 406 | 1495 1922 571350 | 5000 406 1271 | 0.000 % | c =============================================================================== c New solution: 7216 c Elapsed CPU time: 80.7867 s Remaining CPU time: 99.2133 s c =============================================================================== c | 409 | 1495 1923 572700 | 5000 409 1271 | 0.000 % | c =============================================================================== c New solution: 7215 c Elapsed CPU time: 81.1907 s Remaining CPU time: 98.8093 s c =============================================================================== c | 410 | 1495 1924 574050 | 5000 410 1271 | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 81.5616 s Remaining CPU time: 98.4384 s c =============================================================================== c | 410 | 1495 1925 575400 | 5000 410 1271 | 0.000 % | c =============================================================================== c New solution: 7213 c Elapsed CPU time: 81.9685 s Remaining CPU time: 98.0315 s c =============================================================================== c | 410 | 1495 1926 576750 | 5000 410 1271 | 0.000 % | c =============================================================================== c New solution: 7212 c Elapsed CPU time: 82.3755 s Remaining CPU time: 97.6245 s c =============================================================================== c | 410 | 1495 1927 578100 | 5000 410 1271 | 0.000 % | c =============================================================================== c New solution: 7211 c Elapsed CPU time: 82.7604 s Remaining CPU time: 97.2396 s c =============================================================================== c | 410 | 1495 1928 579450 | 5000 410 1271 | 0.000 % | c =============================================================================== c New solution: 7210 c Elapsed CPU time: 83.1464 s Remaining CPU time: 96.8536 s c =============================================================================== c | 410 | 1495 1929 580800 | 5000 410 1271 | 0.000 % | c =============================================================================== c New solution: 7209 c Elapsed CPU time: 83.5583 s Remaining CPU time: 96.4417 s c =============================================================================== c | 410 | 1495 1930 582150 | 5000 410 1271 | 0.000 % | c =============================================================================== c New solution: 7208 c Elapsed CPU time: 84.1812 s Remaining CPU time: 95.8188 s c =============================================================================== c | 445 | 1495 1931 583500 | 5000 445 1271 | 0.000 % | c =============================================================================== c New solution: 7207 c Elapsed CPU time: 84.6251 s Remaining CPU time: 95.3749 s c =============================================================================== c | 452 | 1495 1932 584850 | 5000 452 1271 | 0.000 % | c =============================================================================== c New solution: 7206 c Elapsed CPU time: 85.0651 s Remaining CPU time: 94.9349 s c =============================================================================== c | 457 | 1495 1933 586200 | 5000 457 1271 | 0.000 % | c =============================================================================== c New solution: 7205 c Elapsed CPU time: 85.454 s Remaining CPU time: 94.546 s c =============================================================================== c | 458 | 1495 1934 587550 | 5000 458 1271 | 0.000 % | c =============================================================================== c New solution: 7204 c Elapsed CPU time: 85.8819 s Remaining CPU time: 94.1181 s c =============================================================================== c | 465 | 1495 1935 588900 | 5000 465 1270 | 0.000 % | c =============================================================================== c New solution: 7203 c Elapsed CPU time: 86.4968 s Remaining CPU time: 93.5032 s c =============================================================================== c | 497 | 1495 1936 590250 | 5000 497 1270 | 0.000 % | c =============================================================================== c New solution: 7202 c Elapsed CPU time: 86.9298 s Remaining CPU time: 93.0702 s c =============================================================================== c | 499 | 1495 1937 591600 | 5000 499 1270 | 0.000 % | c =============================================================================== c New solution: 7201 c Elapsed CPU time: 87.3427 s Remaining CPU time: 92.6573 s c =============================================================================== c | 502 | 1495 1938 592950 | 5000 502 1270 | 0.000 % | c =============================================================================== c New solution: 7200 c Elapsed CPU time: 87.7717 s Remaining CPU time: 92.2283 s c =============================================================================== c | 509 | 1495 1939 594300 | 5000 509 1270 | 0.000 % | c =============================================================================== c New solution: 7199 c Elapsed CPU time: 88.2196 s Remaining CPU time: 91.7804 s c =============================================================================== c | 511 | 1495 1940 595650 | 5000 511 1270 | 0.000 % | c =============================================================================== c New solution: 7198 c Elapsed CPU time: 88.6335 s Remaining CPU time: 91.3665 s c =============================================================================== c | 511 | 1495 1941 597000 | 5000 511 1270 | 0.000 % | c =============================================================================== c New solution: 7197 c Elapsed CPU time: 89.0985 s Remaining CPU time: 90.9015 s c =============================================================================== c | 514 | 1495 1942 598350 | 5000 514 1270 | 0.000 % | c =============================================================================== c New solution: 7196 c Elapsed CPU time: 89.5774 s Remaining CPU time: 90.4226 s c =============================================================================== c | 523 | 1495 1943 599700 | 5000 523 1270 | 0.000 % | c =============================================================================== c New solution: 7195 c Elapsed CPU time: 90.0243 s Remaining CPU time: 89.9757 s c =============================================================================== c | 529 | 1495 1944 601050 | 5000 529 1270 | 0.000 % | c =============================================================================== c New solution: 7194 c Elapsed CPU time: 90.4243 s Remaining CPU time: 89.5757 s c =============================================================================== c | 529 | 1495 1945 602400 | 5000 529 1270 | 0.000 % | c =============================================================================== c New solution: 7193 c Elapsed CPU time: 90.8312 s Remaining CPU time: 89.1688 s c =============================================================================== c | 531 | 1495 1946 603750 | 5000 531 1270 | 0.000 % | c =============================================================================== c New solution: 7192 c Elapsed CPU time: 91.2321 s Remaining CPU time: 88.7679 s c =============================================================================== c | 533 | 1495 1947 605100 | 5000 533 1270 | 0.000 % | c =============================================================================== c New solution: 7191 c Elapsed CPU time: 91.6421 s Remaining CPU time: 88.3579 s c =============================================================================== c | 534 | 1495 1948 606450 | 5000 534 1267 | 0.000 % | c =============================================================================== c New solution: 7190 c Elapsed CPU time: 92.059 s Remaining CPU time: 87.941 s c =============================================================================== c | 535 | 1495 1949 607800 | 5000 535 1267 | 0.000 % | c =============================================================================== c New solution: 7189 c Elapsed CPU time: 92.5709 s Remaining CPU time: 87.4291 s c =============================================================================== c | 545 | 1495 1950 609150 | 5000 545 1267 | 0.000 % | c =============================================================================== c New solution: 7188 c Elapsed CPU time: 93.0369 s Remaining CPU time: 86.9631 s c =============================================================================== c | 551 | 1495 1951 610500 | 5000 551 1267 | 0.000 % | c =============================================================================== c New solution: 7187 c Elapsed CPU time: 93.4598 s Remaining CPU time: 86.5402 s c =============================================================================== c | 553 | 1495 1952 611850 | 5000 553 1267 | 0.000 % | c =============================================================================== c New solution: 7186 c Elapsed CPU time: 93.8797 s Remaining CPU time: 86.1203 s c =============================================================================== c | 555 | 1495 1953 613200 | 5000 555 1267 | 0.000 % | c =============================================================================== c New solution: 7185 c Elapsed CPU time: 94.2947 s Remaining CPU time: 85.7053 s c =============================================================================== c | 555 | 1495 1954 614550 | 5000 555 1267 | 0.000 % | c =============================================================================== c New solution: 7184 c Elapsed CPU time: 94.7466 s Remaining CPU time: 85.2534 s c =============================================================================== c | 556 | 1495 1955 615900 | 5000 556 1267 | 0.000 % | c =============================================================================== c New solution: 7183 c Elapsed CPU time: 95.1845 s Remaining CPU time: 84.8155 s c =============================================================================== c | 560 | 1495 1956 617250 | 5000 560 1267 | 0.000 % | c =============================================================================== c New solution: 7182 c Elapsed CPU time: 95.6145 s Remaining CPU time: 84.3855 s c =============================================================================== c | 561 | 1495 1957 618600 | 5000 561 1267 | 0.000 % | c =============================================================================== c New solution: 7181 c Elapsed CPU time: 96.1094 s Remaining CPU time: 83.8906 s c =============================================================================== c | 565 | 1495 1958 619950 | 5000 565 1265 | 0.000 % | c =============================================================================== c New solution: 7180 c Elapsed CPU time: 96.5363 s Remaining CPU time: 83.4637 s c =============================================================================== c | 566 | 1495 1959 621300 | 5000 566 1265 | 0.000 % | c =============================================================================== c New solution: 7179 c Elapsed CPU time: 96.9453 s Remaining CPU time: 83.0547 s c =============================================================================== c | 566 | 1495 1960 622650 | 5000 566 1265 | 0.000 % | c =============================================================================== c New solution: 7178 c Elapsed CPU time: 97.3892 s Remaining CPU time: 82.6108 s c =============================================================================== c | 568 | 1495 1961 624000 | 5000 568 1265 | 0.000 % | c =============================================================================== c New solution: 7177 c Elapsed CPU time: 97.8351 s Remaining CPU time: 82.1649 s c =============================================================================== c | 570 | 1495 1962 625350 | 5000 570 1265 | 0.000 % | c =============================================================================== c New solution: 7176 c Elapsed CPU time: 98.2471 s Remaining CPU time: 81.7529 s c =============================================================================== c | 571 | 1495 1963 626700 | 5000 571 1265 | 0.000 % | c =============================================================================== c New solution: 7175 c Elapsed CPU time: 98.755 s Remaining CPU time: 81.245 s c =============================================================================== c | 575 | 1495 1964 628050 | 5000 575 1265 | 0.000 % | c =============================================================================== c New solution: 7174 c Elapsed CPU time: 99.2839 s Remaining CPU time: 80.7161 s c =============================================================================== c | 590 | 1495 1965 629400 | 5000 590 1265 | 0.000 % | c =============================================================================== c New solution: 7173 c Elapsed CPU time: 99.8048 s Remaining CPU time: 80.1952 s c =============================================================================== c | 595 | 1495 1966 630750 | 5000 595 1263 | 0.000 % | c =============================================================================== c New solution: 7172 c Elapsed CPU time: 100.238 s Remaining CPU time: 79.7622 s c =============================================================================== c | 595 | 1495 1967 632100 | 5000 595 1263 | 0.000 % | c =============================================================================== c New solution: 7171 c Elapsed CPU time: 100.704 s Remaining CPU time: 79.2963 s c =============================================================================== c | 602 | 1495 1968 633450 | 5000 602 1263 | 0.000 % | c =============================================================================== c New solution: 7170 c Elapsed CPU time: 101.158 s Remaining CPU time: 78.8424 s c =============================================================================== c | 603 | 1495 1969 634800 | 5000 603 1263 | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 101.591 s Remaining CPU time: 78.4094 s c =============================================================================== c | 605 | 1495 1970 636150 | 5000 605 1262 | 0.000 % | c =============================================================================== c New solution: 7168 c Elapsed CPU time: 102.03 s Remaining CPU time: 77.9695 s c =============================================================================== c | 610 | 1495 1971 637500 | 5000 610 1262 | 0.000 % | c =============================================================================== c New solution: 7167 c Elapsed CPU time: 102.447 s Remaining CPU time: 77.5526 s c =============================================================================== c | 610 | 1495 1972 638850 | 5000 610 1262 | 0.000 % | c =============================================================================== c New solution: 7166 c Elapsed CPU time: 103.043 s Remaining CPU time: 76.9567 s c =============================================================================== c | 634 | 1495 1973 640200 | 5000 634 1262 | 0.000 % | c =============================================================================== c New solution: 7165 c Elapsed CPU time: 103.538 s Remaining CPU time: 76.4617 s c =============================================================================== c | 638 | 1495 1974 641550 | 5000 638 1262 | 0.000 % | c =============================================================================== c New solution: 7164 c Elapsed CPU time: 103.975 s Remaining CPU time: 76.0248 s c =============================================================================== c | 639 | 1495 1975 642900 | 5000 639 1262 | 0.000 % | c =============================================================================== c New solution: 7163 c Elapsed CPU time: 104.594 s Remaining CPU time: 75.4059 s c =============================================================================== c | 659 | 1495 1976 644250 | 5000 659 1262 | 0.000 % | c =============================================================================== c New solution: 7162 c Elapsed CPU time: 105.046 s Remaining CPU time: 74.954 s c =============================================================================== c | 666 | 1495 1977 645600 | 5000 666 1262 | 0.000 % | c =============================================================================== c New solution: 7161 c Elapsed CPU time: 105.565 s Remaining CPU time: 74.435 s c =============================================================================== c | 683 | 1495 1978 646950 | 5000 683 1262 | 0.000 % | c =============================================================================== c New solution: 7160 c Elapsed CPU time: 106.218 s Remaining CPU time: 73.7821 s c =============================================================================== c | 720 | 1495 1979 648300 | 5000 720 1262 | 0.000 % | c =============================================================================== c New solution: 7159 c Elapsed CPU time: 106.753 s Remaining CPU time: 73.2472 s c =============================================================================== c | 737 | 1495 1980 649650 | 5000 737 1262 | 0.000 % | c =============================================================================== c New solution: 7158 c Elapsed CPU time: 107.176 s Remaining CPU time: 72.8243 s c =============================================================================== c | 737 | 1495 1981 651000 | 5000 737 1262 | 0.000 % | c =============================================================================== c New solution: 7157 c Elapsed CPU time: 107.635 s Remaining CPU time: 72.3654 s c =============================================================================== c | 742 | 1495 1982 652350 | 5000 742 1262 | 0.000 % | c =============================================================================== c New solution: 7156 c Elapsed CPU time: 108.187 s Remaining CPU time: 71.8134 s c =============================================================================== c | 762 | 1495 1983 653700 | 5000 762 1262 | 0.000 % | c =============================================================================== c New solution: 7155 c Elapsed CPU time: 109.015 s Remaining CPU time: 70.9846 s c =============================================================================== c | 800 | 1495 1984 655050 | 5000 800 1261 | 0.000 % | c =============================================================================== c New solution: 7154 c Elapsed CPU time: 109.457 s Remaining CPU time: 70.5426 s c =============================================================================== c | 801 | 1495 1985 656400 | 5000 801 1261 | 0.000 % | c =============================================================================== c New solution: 7153 c Elapsed CPU time: 109.937 s Remaining CPU time: 70.0627 s c =============================================================================== c | 806 | 1495 1986 657750 | 5000 806 1260 | 0.000 % | c =============================================================================== c New solution: 7152 c Elapsed CPU time: 110.36 s Remaining CPU time: 69.6398 s c =============================================================================== c | 806 | 1495 1987 659100 | 5000 806 1260 | 0.000 % | c =============================================================================== c New solution: 7151 c Elapsed CPU time: 110.789 s Remaining CPU time: 69.2108 s c =============================================================================== c | 806 | 1495 1988 660450 | 5000 806 1260 | 0.000 % | c =============================================================================== c New solution: 7150 c Elapsed CPU time: 111.228 s Remaining CPU time: 68.7719 s c =============================================================================== c | 806 | 1495 1989 661800 | 5000 806 1260 | 0.000 % | c =============================================================================== c New solution: 7149 c Elapsed CPU time: 111.725 s Remaining CPU time: 68.275 s c =============================================================================== c | 806 | 1495 1990 663150 | 5000 806 1260 | 0.000 % | c =============================================================================== c New solution: 7148 c Elapsed CPU time: 112.232 s Remaining CPU time: 67.7681 s c =============================================================================== c | 811 | 1495 1991 664500 | 5000 811 1260 | 0.000 % | c =============================================================================== c New solution: 7147 c Elapsed CPU time: 112.67 s Remaining CPU time: 67.3301 s c =============================================================================== c | 811 | 1495 1992 665850 | 5000 811 1260 | 0.000 % | c =============================================================================== c New solution: 7146 c Elapsed CPU time: 113.156 s Remaining CPU time: 66.8442 s c =============================================================================== c | 814 | 1495 1993 667200 | 5000 814 1260 | 0.000 % | c =============================================================================== c New solution: 7145 c Elapsed CPU time: 113.613 s Remaining CPU time: 66.3873 s c =============================================================================== c | 814 | 1495 1994 668550 | 5000 814 1260 | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 114.15 s Remaining CPU time: 65.8504 s c =============================================================================== c | 829 | 1495 1995 669900 | 5000 829 1260 | 0.000 % | c =============================================================================== c New solution: 7143 c Elapsed CPU time: 114.61 s Remaining CPU time: 65.3904 s c =============================================================================== c | 829 | 1495 1996 671250 | 5000 829 1260 | 0.000 % | c =============================================================================== c New solution: 7142 c Elapsed CPU time: 115.052 s Remaining CPU time: 64.9485 s c =============================================================================== c | 831 | 1495 1997 672600 | 5000 831 1260 | 0.000 % | c =============================================================================== c New solution: 7141 c Elapsed CPU time: 115.821 s Remaining CPU time: 64.1786 s c =============================================================================== c | 860 | 1495 1998 673950 | 5000 860 1259 | 0.000 % | c =============================================================================== c New solution: 7140 c Elapsed CPU time: 116.266 s Remaining CPU time: 63.7337 s c =============================================================================== c | 860 | 1495 1999 675300 | 5000 860 1259 | 0.000 % | c =============================================================================== c New solution: 7139 c Elapsed CPU time: 116.763 s Remaining CPU time: 63.2368 s c =============================================================================== c | 866 | 1495 2000 676650 | 5000 866 1259 | 0.000 % | c =============================================================================== c New solution: 7138 c Elapsed CPU time: 117.872 s Remaining CPU time: 62.1279 s c =============================================================================== c | 932 | 1495 2001 678000 | 5000 932 1259 | 0.000 % | c | 1032 | 1495 2001 678000 | 5500 1032 1257 | 0.333 % | c =============================================================================== c New solution: 7137 c Elapsed CPU time: 119.451 s Remaining CPU time: 60.5492 s c =============================================================================== c | 1037 | 1495 2002 679350 | 5000 1037 1257 | 0.333 % | c =============================================================================== c New solution: 7136 c Elapsed CPU time: 120.038 s Remaining CPU time: 59.9622 s c =============================================================================== c | 1069 | 1495 2003 680700 | 5000 1069 1257 | 0.333 % | c =============================================================================== c New solution: 7135 c Elapsed CPU time: 120.53 s Remaining CPU time: 59.4703 s c =============================================================================== c | 1074 | 1495 2004 682050 | 5000 1074 1257 | 0.333 % | c =============================================================================== c New solution: 7134 c Elapsed CPU time: 121.145 s Remaining CPU time: 58.8554 s c =============================================================================== c | 1095 | 1495 2005 683400 | 5000 1095 1257 | 0.333 % | c =============================================================================== c New solution: 7133 c Elapsed CPU time: 121.709 s Remaining CPU time: 58.2905 s c =============================================================================== c | 1128 | 1495 2006 684750 | 5000 1128 1257 | 0.333 % | c =============================================================================== c New solution: 7132 c Elapsed CPU time: 122.219 s Remaining CPU time: 57.7806 s c =============================================================================== c | 1136 | 1495 2007 686100 | 5000 1136 1257 | 0.333 % | c =============================================================================== c New solution: 7131 c Elapsed CPU time: 122.689 s Remaining CPU time: 57.3107 s c =============================================================================== c | 1138 | 1495 2008 687450 | 5000 1138 1256 | 0.333 % | c =============================================================================== c New solution: 7130 c Elapsed CPU time: 123.33 s Remaining CPU time: 56.6697 s c =============================================================================== c | 1153 | 1495 2009 688800 | 5000 1153 1256 | 0.333 % | c =============================================================================== c New solution: 7129 c Elapsed CPU time: 123.812 s Remaining CPU time: 56.1878 s c =============================================================================== c | 1154 | 1495 2010 690150 | 5000 1154 1256 | 0.333 % | c =============================================================================== c New solution: 7128 c Elapsed CPU time: 124.302 s Remaining CPU time: 55.6979 s c =============================================================================== c | 1154 | 1495 2011 691500 | 5000 1154 1256 | 0.333 % | c =============================================================================== c New solution: 7127 c Elapsed CPU time: 125.414 s Remaining CPU time: 54.5861 s c =============================================================================== c | 1245 | 1495 2012 692850 | 5000 1245 1256 | 0.333 % | c =============================================================================== c New solution: 7126 c Elapsed CPU time: 126.07 s Remaining CPU time: 53.9302 s c =============================================================================== c | 1259 | 1495 2013 694200 | 5000 1259 1256 | 0.333 % | c =============================================================================== c New solution: 7125 c Elapsed CPU time: 126.737 s Remaining CPU time: 53.2633 s c =============================================================================== c | 1281 | 1495 2014 695550 | 5000 1281 1256 | 0.333 % | c =============================================================================== c New solution: 7124 c Elapsed CPU time: 127.279 s Remaining CPU time: 52.7214 s c =============================================================================== c | 1300 | 1495 2015 696900 | 5000 1300 1256 | 0.333 % | c =============================================================================== c New solution: 7123 c Elapsed CPU time: 127.717 s Remaining CPU time: 52.2834 s c =============================================================================== c | 1300 | 1495 2016 698250 | 5000 1300 1256 | 0.333 % | c =============================================================================== c New solution: 7122 c Elapsed CPU time: 128.221 s Remaining CPU time: 51.7795 s c =============================================================================== c | 1305 | 1495 2017 699600 | 5000 1305 1256 | 0.333 % | c =============================================================================== c New solution: 7121 c Elapsed CPU time: 128.695 s Remaining CPU time: 51.3046 s c =============================================================================== c | 1305 | 1495 2018 700950 | 5000 1305 1256 | 0.333 % | c =============================================================================== c New solution: 7120 c Elapsed CPU time: 129.261 s Remaining CPU time: 50.7387 s c =============================================================================== c | 1329 | 1495 2019 702300 | 5000 1329 1256 | 0.333 % | c =============================================================================== c New solution: 7119 c Elapsed CPU time: 129.753 s Remaining CPU time: 50.2467 s c =============================================================================== c | 1336 | 1495 2020 703650 | 5000 1336 1256 | 0.333 % | c =============================================================================== c New solution: 7118 c Elapsed CPU time: 130.222 s Remaining CPU time: 49.7778 s c =============================================================================== c | 1336 | 1495 2021 705000 | 5000 1336 1256 | 0.333 % | c =============================================================================== c New solution: 7117 c Elapsed CPU time: 130.699 s Remaining CPU time: 49.3009 s c =============================================================================== c | 1336 | 1495 2022 706350 | 5000 1336 1256 | 0.333 % | c =============================================================================== c New solution: 7116 c Elapsed CPU time: 131.233 s Remaining CPU time: 48.767 s c =============================================================================== c | 1341 | 1495 2023 707700 | 5000 1341 1255 | 0.333 % | c =============================================================================== c New solution: 7115 c Elapsed CPU time: 131.731 s Remaining CPU time: 48.269 s c =============================================================================== c | 1342 | 1495 2024 709050 | 5000 1342 1255 | 0.333 % | c =============================================================================== c New solution: 7114 c Elapsed CPU time: 132.179 s Remaining CPU time: 47.8211 s c =============================================================================== c | 1342 | 1495 2025 710400 | 5000 1342 1255 | 0.333 % | c =============================================================================== c New solution: 7113 c Elapsed CPU time: 132.644 s Remaining CPU time: 47.3562 s c =============================================================================== c | 1342 | 1495 2026 711750 | 5000 1342 1255 | 0.333 % | c =============================================================================== c New solution: 7112 c Elapsed CPU time: 133.109 s Remaining CPU time: 46.8912 s c =============================================================================== c | 1342 | 1495 2027 713100 | 5000 1342 1255 | 0.333 % | c =============================================================================== c New solution: 7111 c Elapsed CPU time: 133.634 s Remaining CPU time: 46.3663 s c =============================================================================== c | 1355 | 1495 2028 714450 | 5000 1355 1255 | 0.333 % | c =============================================================================== c New solution: 7110 c Elapsed CPU time: 134.386 s Remaining CPU time: 45.6144 s c =============================================================================== c | 1387 | 1495 2029 715800 | 5000 1387 1255 | 0.333 % | c =============================================================================== c New solution: 7109 c Elapsed CPU time: 134.966 s Remaining CPU time: 45.0335 s c =============================================================================== c | 1411 | 1495 2030 717150 | 5000 1411 1255 | 0.333 % | c =============================================================================== c New solution: 7108 c Elapsed CPU time: 135.52 s Remaining CPU time: 44.4796 s c =============================================================================== c | 1415 | 1495 2031 718500 | 5000 1415 1255 | 0.333 % | c =============================================================================== c New solution: 7107 c Elapsed CPU time: 136.052 s Remaining CPU time: 43.9477 s c =============================================================================== c | 1417 | 1495 2032 719850 | 5000 1417 1255 | 0.333 % | c =============================================================================== c New solution: 7106 c Elapsed CPU time: 136.536 s Remaining CPU time: 43.4638 s c =============================================================================== c | 1417 | 1495 2033 721200 | 5000 1417 1255 | 0.333 % | c =============================================================================== c New solution: 7105 c Elapsed CPU time: 137.045 s Remaining CPU time: 42.9548 s c =============================================================================== c | 1423 | 1495 2034 722550 | 5000 1423 1255 | 0.333 % | c =============================================================================== c New solution: 7104 c Elapsed CPU time: 137.526 s Remaining CPU time: 42.4739 s c =============================================================================== c | 1423 | 1495 2035 723900 | 5000 1423 1255 | 0.333 % | c =============================================================================== c New solution: 7103 c Elapsed CPU time: 137.988 s Remaining CPU time: 42.012 s c =============================================================================== c | 1423 | 1495 2036 725250 | 5000 1423 1255 | 0.333 % | c =============================================================================== c New solution: 7102 c Elapsed CPU time: 138.49 s Remaining CPU time: 41.5101 s c =============================================================================== c | 1424 | 1495 2037 726600 | 5000 1424 1255 | 0.333 % | c =============================================================================== c New solution: 7101 c Elapsed CPU time: 139.082 s Remaining CPU time: 40.9181 s c =============================================================================== c | 1440 | 1495 2038 727950 | 5000 1440 1255 | 0.333 % | c =============================================================================== c New solution: 7100 c Elapsed CPU time: 139.555 s Remaining CPU time: 40.4452 s c =============================================================================== c | 1441 | 1495 2039 729300 | 5000 1441 1255 | 0.333 % | c =============================================================================== c New solution: 7099 c Elapsed CPU time: 140.032 s Remaining CPU time: 39.9683 s c =============================================================================== c | 1442 | 1495 2040 730650 | 5000 1442 1255 | 0.333 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 140.694 s Remaining CPU time: 39.3064 s c =============================================================================== c | 1471 | 1495 2041 732000 | 5000 1471 1255 | 0.333 % | c =============================================================================== c New solution: 7097 c Elapsed CPU time: 141.183 s Remaining CPU time: 38.8175 s c =============================================================================== c | 1477 | 1495 2042 733350 | 5000 1477 1255 | 0.333 % | c =============================================================================== c New solution: 7096 c Elapsed CPU time: 141.736 s Remaining CPU time: 38.2635 s c =============================================================================== c | 1491 | 1495 2043 734700 | 5000 1491 1255 | 0.333 % | c =============================================================================== c New solution: 7095 c Elapsed CPU time: 142.342 s Remaining CPU time: 37.6576 s c =============================================================================== c | 1507 | 1495 2044 736050 | 5000 1507 1255 | 0.333 % | c =============================================================================== c New solution: 7094 c Elapsed CPU time: 143.232 s Remaining CPU time: 36.7678 s c =============================================================================== c | 1537 | 1495 2045 737400 | 5000 1537 1254 | 0.333 % | c =============================================================================== c New solution: 7093 c Elapsed CPU time: 143.858 s Remaining CPU time: 36.1419 s c =============================================================================== c | 1556 | 1495 2046 738750 | 5000 1556 1253 | 0.333 % | c =============================================================================== c New solution: 7092 c Elapsed CPU time: 144.372 s Remaining CPU time: 35.6279 s c =============================================================================== c | 1563 | 1495 2047 740100 | 5000 1563 1253 | 0.333 % | c =============================================================================== c New solution: 7091 c Elapsed CPU time: 145.07 s Remaining CPU time: 34.9301 s c =============================================================================== c | 1584 | 1495 2048 741450 | 5000 1584 1253 | 0.333 % | c =============================================================================== c New solution: 7090 c Elapsed CPU time: 145.675 s Remaining CPU time: 34.3251 s c =============================================================================== c | 1595 | 1495 2049 742800 | 5000 1595 1253 | 0.333 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 146.212 s Remaining CPU time: 33.7882 s c =============================================================================== c | 1598 | 1495 2050 744150 | 5000 1598 1253 | 0.333 % | c =============================================================================== c New solution: 7088 c Elapsed CPU time: 146.749 s Remaining CPU time: 33.2513 s c =============================================================================== c | 1600 | 1495 2051 745500 | 5000 1600 1253 | 0.333 % | c =============================================================================== c New solution: 7087 c Elapsed CPU time: 147.282 s Remaining CPU time: 32.7184 s c =============================================================================== c | 1603 | 1495 2052 746850 | 5000 1603 1253 | 0.333 % | c =============================================================================== c New solution: 7086 c Elapsed CPU time: 147.782 s Remaining CPU time: 32.2185 s c =============================================================================== c | 1605 | 1495 2053 748200 | 5000 1605 1253 | 0.333 % | c =============================================================================== c New solution: 7085 c Elapsed CPU time: 148.291 s Remaining CPU time: 31.7085 s c =============================================================================== c | 1606 | 1495 2054 749550 | 5000 1606 1253 | 0.333 % | c =============================================================================== c New solution: 7084 c Elapsed CPU time: 148.875 s Remaining CPU time: 31.1246 s c =============================================================================== c | 1610 | 1495 2055 750900 | 5000 1610 1253 | 0.333 % | c =============================================================================== c New solution: 7083 c Elapsed CPU time: 150.217 s Remaining CPU time: 29.7828 s c =============================================================================== c | 1693 | 1495 2056 752250 | 5000 1693 1253 | 0.333 % | c =============================================================================== c New solution: 7082 c Elapsed CPU time: 150.864 s Remaining CPU time: 29.1359 s c =============================================================================== c | 1706 | 1495 2057 753600 | 5000 1706 1253 | 0.333 % | c =============================================================================== c New solution: 7081 c Elapsed CPU time: 151.543 s Remaining CPU time: 28.457 s c =============================================================================== c | 1725 | 1495 2058 754950 | 5000 1725 1253 | 0.333 % | c =============================================================================== c New solution: 7080 c Elapsed CPU time: 152.042 s Remaining CPU time: 27.9581 s c =============================================================================== c | 1725 | 1495 2059 756300 | 5000 1725 1253 | 0.333 % | c =============================================================================== c New solution: 7079 c Elapsed CPU time: 152.547 s Remaining CPU time: 27.4532 s c =============================================================================== c | 1727 | 1495 2060 757650 | 5000 1727 1252 | 0.333 % | c =============================================================================== c New solution: 7078 c Elapsed CPU time: 153.632 s Remaining CPU time: 26.3684 s c =============================================================================== c | 1818 | 1495 2061 759000 | 5000 1818 1252 | 0.333 % | c =============================================================================== c New solution: 7077 c Elapsed CPU time: 154.176 s Remaining CPU time: 25.8244 s c =============================================================================== c | 1821 | 1495 2062 760350 | 5000 1821 1252 | 0.333 % | c =============================================================================== c New solution: 7076 c Elapsed CPU time: 154.841 s Remaining CPU time: 25.1585 s c =============================================================================== c | 1867 | 1495 2063 761700 | 5000 1867 1252 | 0.333 % | c =============================================================================== c New solution: 7075 c Elapsed CPU time: 155.488 s Remaining CPU time: 24.5116 s c =============================================================================== c | 1890 | 1495 2064 763050 | 5000 1890 1252 | 0.333 % | c =============================================================================== c New solution: 7074 c Elapsed CPU time: 156.155 s Remaining CPU time: 23.8447 s c =============================================================================== c | 1903 | 1495 2065 764400 | 5000 1903 1251 | 0.333 % | c =============================================================================== c New solution: 7073 c Elapsed CPU time: 156.662 s Remaining CPU time: 23.3378 s c =============================================================================== c | 1903 | 1495 2066 765750 | 5000 1903 1251 | 0.333 % | c =============================================================================== c New solution: 7072 c Elapsed CPU time: 157.7 s Remaining CPU time: 22.3 s c =============================================================================== c | 1982 | 1495 2067 767100 | 5000 1982 1251 | 0.333 % | c =============================================================================== c New solution: 7071 c Elapsed CPU time: 158.289 s Remaining CPU time: 21.7111 s c =============================================================================== c | 1990 | 1495 2068 768450 | 5000 1990 1251 | 0.333 % | c =============================================================================== c New solution: 7070 c Elapsed CPU time: 158.855 s Remaining CPU time: 21.1452 s c =============================================================================== c | 1993 | 1495 2069 769800 | 5000 1993 1251 | 0.333 % | c =============================================================================== c New solution: 7069 c Elapsed CPU time: 159.413 s Remaining CPU time: 20.5872 s c =============================================================================== c | 1995 | 1495 2070 771150 | 5000 1995 1251 | 0.333 % | c =============================================================================== c New solution: 7068 c Elapsed CPU time: 160.381 s Remaining CPU time: 19.6194 s c =============================================================================== c | 2040 | 1495 2071 772500 | 5000 2040 1251 | 0.333 % | c =============================================================================== c New solution: 7067 c Elapsed CPU time: 160.989 s Remaining CPU time: 19.0115 s c =============================================================================== c | 2052 | 1495 2072 773850 | 5000 2052 1251 | 0.333 % | c =============================================================================== c New solution: 7066 c Elapsed CPU time: 161.543 s Remaining CPU time: 18.4566 s c =============================================================================== c | 2053 | 1495 2073 775200 | 5000 2053 1251 | 0.333 % | c =============================================================================== c New solution: 7065 c Elapsed CPU time: 162.108 s Remaining CPU time: 17.8916 s c =============================================================================== c | 2060 | 1495 2074 776550 | 5000 2060 1251 | 0.333 % | c =============================================================================== c New solution: 7064 c Elapsed CPU time: 162.662 s Remaining CPU time: 17.3377 s c =============================================================================== c | 2061 | 1495 2075 777900 | 5000 2061 1251 | 0.333 % | c =============================================================================== c New solution: 7063 c Elapsed CPU time: 163.22 s Remaining CPU time: 16.7798 s c =============================================================================== c | 2065 | 1495 2076 779250 | 5000 2065 1251 | 0.333 % | c =============================================================================== c New solution: 7062 c Elapsed CPU time: 163.754 s Remaining CPU time: 16.2459 s c =============================================================================== c | 2067 | 1495 2077 780600 | 5000 2067 1251 | 0.333 % | c =============================================================================== c New solution: 7061 c Elapsed CPU time: 164.256 s Remaining CPU time: 15.744 s c =============================================================================== c | 2067 | 1495 2078 781950 | 5000 2067 1251 | 0.333 % | c =============================================================================== c New solution: 7060 c Elapsed CPU time: 164.855 s Remaining CPU time: 15.1451 s c =============================================================================== c | 2077 | 1495 2079 783300 | 5000 2077 1251 | 0.333 % | c =============================================================================== c New solution: 7059 c Elapsed CPU time: 165.513 s Remaining CPU time: 14.4872 s c =============================================================================== c | 2083 | 1495 2080 784650 | 5000 2083 1251 | 0.333 % | c =============================================================================== c New solution: 7058 c Elapsed CPU time: 166.215 s Remaining CPU time: 13.7853 s c =============================================================================== c | 2098 | 1495 2081 786000 | 5000 2098 1250 | 0.333 % | c =============================================================================== c New solution: 7057 c Elapsed CPU time: 166.743 s Remaining CPU time: 13.2573 s c =============================================================================== c | 2099 | 1495 2082 787350 | 5000 2099 1250 | 0.333 % | c =============================================================================== c New solution: 7056 c Elapsed CPU time: 167.252 s Remaining CPU time: 12.7484 s c =============================================================================== c | 2101 | 1495 2083 788700 | 5000 2101 1250 | 0.333 % | c =============================================================================== c New solution: 7055 c Elapsed CPU time: 167.783 s Remaining CPU time: 12.2165 s c =============================================================================== c | 2102 | 1495 2084 790050 | 5000 2102 1250 | 0.333 % | c =============================================================================== c New solution: 7054 c Elapsed CPU time: 168.449 s Remaining CPU time: 11.5506 s c =============================================================================== c | 2107 | 1495 2085 791400 | 5000 2107 1250 | 0.333 % | c =============================================================================== c New solution: 7053 c Elapsed CPU time: 169.033 s Remaining CPU time: 10.9667 s c =============================================================================== c | 2109 | 1495 2086 792750 | 5000 2109 1250 | 0.333 % | c =============================================================================== c New solution: 7052 c Elapsed CPU time: 169.615 s Remaining CPU time: 10.3848 s c =============================================================================== c | 2111 | 1495 2087 794100 | 5000 2111 1250 | 0.333 % | c =============================================================================== c New solution: 7051 c Elapsed CPU time: 170.272 s Remaining CPU time: 9.72789 s c =============================================================================== c | 2119 | 1495 2088 795450 | 5000 2119 1250 | 0.333 % | c =============================================================================== c New solution: 7050 c Elapsed CPU time: 170.811 s Remaining CPU time: 9.18897 s c =============================================================================== c | 2119 | 1495 2089 796800 | 5000 2119 1250 | 0.333 % | c =============================================================================== c New solution: 7049 c Elapsed CPU time: 171.347 s Remaining CPU time: 8.65305 s c =============================================================================== c | 2121 | 1495 2090 798150 | 5000 2121 1250 | 0.333 % | c =============================================================================== c New solution: 7048 c Elapsed CPU time: 171.927 s Remaining CPU time: 8.07314 s c =============================================================================== c | 2124 | 1495 2091 799500 | 5000 2124 1250 | 0.333 % | c =============================================================================== c New solution: 7047 c Elapsed CPU time: 172.463 s Remaining CPU time: 7.53722 s c =============================================================================== c | 2124 | 1495 2092 800850 | 5000 2124 1250 | 0.333 % | c =============================================================================== c New solution: 7046 c Elapsed CPU time: 172.997 s Remaining CPU time: 7.0033 s c =============================================================================== c | 2124 | 1495 2093 802200 | 5000 2124 1250 | 0.333 % | c =============================================================================== c New solution: 7045 c Elapsed CPU time: 173.527 s Remaining CPU time: 6.47338 s c =============================================================================== c | 2124 | 1495 2094 803550 | 5000 2124 1250 | 0.333 % | c =============================================================================== c New solution: 7044 c Elapsed CPU time: 174.243 s Remaining CPU time: 5.75749 s c =============================================================================== c | 2133 | 1495 2095 804900 | 5000 2133 1250 | 0.333 % | c =============================================================================== c New solution: 7043 c Elapsed CPU time: 174.797 s Remaining CPU time: 5.20257 s c =============================================================================== c | 2133 | 1495 2096 806250 | 5000 2133 1250 | 0.333 % | c =============================================================================== c New solution: 7042 c Elapsed CPU time: 175.345 s Remaining CPU time: 4.65466 s c =============================================================================== c | 2134 | 1495 2097 807600 | 5000 2134 1250 | 0.333 % | c =============================================================================== c New solution: 7041 c Elapsed CPU time: 176.362 s Remaining CPU time: 3.63781 s c =============================================================================== c | 2190 | 1495 2098 808950 | 5000 2190 1250 | 0.333 % | c =============================================================================== c New solution: 7040 c Elapsed CPU time: 176.933 s Remaining CPU time: 3.0669 s c =============================================================================== c | 2193 | 1495 2099 810300 | 5000 2193 1250 | 0.333 % | c =============================================================================== c New solution: 7039 c Elapsed CPU time: 177.544 s Remaining CPU time: 2.45599 s c =============================================================================== c | 2202 | 1495 2100 811650 | 5000 2202 1250 | 0.333 % | c =============================================================================== c New solution: 7038 c Elapsed CPU time: 178.085 s Remaining CPU time: 1.91507 s c =============================================================================== c | 2203 | 1495 2101 813000 | 5000 2203 1250 | 0.333 % | c =============================================================================== c New solution: 7037 c Elapsed CPU time: 178.66 s Remaining CPU time: 1.34016 s c =============================================================================== c | 2207 | 1495 2102 814350 | 5000 2207 1250 | 0.333 % | c =============================================================================== c New solution: 7036 c Elapsed CPU time: 179.293 s Remaining CPU time: 0.707257 s c =============================================================================== c | 2214 | 1495 2103 815700 | 5000 2214 1250 | 0.333 % | c =============================================================================== c New solution: 7035 c Elapsed CPU time: 179.844 s Remaining CPU time: 0.156341 s c =============================================================================== c | 2214 | 1495 2104 817050 | 5000 2214 1250 | 0.333 % | c There are 5 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 | 810 3879 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 | 817 3885 5214 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 825 3890 5228 | 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 | 832 3895 5246 | 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 | 840 3902 5255 | 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 | 850 3909 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 | 860 3916 5283 | 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 | 865 3921 5294 | 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 | 873 3928 5309 | 5000 0 nan | 0.000 % | c ===============================================================================