c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 1500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1500 | c | Number Clauses: 1500 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1497 1502 4350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7285 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1497 1503 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7280 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1497 1504 7050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7277 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1497 1505 8400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7274 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1497 1506 9750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7273 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1497 1507 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7270 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1497 1508 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7268 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1497 1509 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7265 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1497 1510 15150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7262 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1497 1511 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7261 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1497 1512 17850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7260 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 1497 1513 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7259 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 1497 1514 20550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7257 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 1497 1515 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7256 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 1497 1516 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7255 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 1497 1517 24600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7250 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 1497 1518 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7249 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 1497 1519 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7248 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 1497 1520 28650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7247 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 0 | 1497 1521 30000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7246 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 1497 1522 31350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7245 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 0 | 1497 1523 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7244 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 1497 1524 34050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7243 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 1497 1525 35400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 1497 1526 36750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7241 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 1497 1527 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7240 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 0 | 1497 1528 39450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7239 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 0 | 1497 1529 40800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7238 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 1497 1530 42150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7237 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 0 | 1497 1531 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7236 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 1497 1532 44850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7235 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 0 | 1497 1533 46200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7234 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 0 | 1497 1534 47550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7233 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 0 | 1497 1535 48900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7232 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 1497 1536 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7230 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 0 | 1497 1537 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7228 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 0 | 1497 1538 52950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7225 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 0 | 1497 1539 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7224 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 0 | 1497 1540 55650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7223 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 1497 1541 57000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7222 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 0 | 1497 1542 58350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7221 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 0 | 1497 1543 59700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7219 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 0 | 1497 1544 61050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7217 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 0 | 1497 1545 62400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7216 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 0 | 1497 1546 63750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7215 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 0 | 1497 1547 65100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 0 | 1497 1548 66450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7213 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s c =============================================================================== c | 0 | 1497 1549 67800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7212 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 0 | 1497 1550 69150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7211 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 0 | 1497 1551 70500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7210 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 0 | 1497 1552 71850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7209 c Elapsed CPU time: 0.808877 s Remaining CPU time: 179.191 s c =============================================================================== c | 0 | 1497 1553 73200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7206 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 0 | 1497 1554 74550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7204 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 0 | 1497 1555 75900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7201 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 0 | 1497 1556 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7197 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 0 | 1497 1557 78600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7195 c Elapsed CPU time: 0.953854 s Remaining CPU time: 179.046 s c =============================================================================== c | 0 | 1497 1558 79950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7189 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 0 | 1497 1559 81300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7188 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 0 | 1497 1560 82650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7187 c Elapsed CPU time: 1.04884 s Remaining CPU time: 178.951 s c =============================================================================== c | 0 | 1497 1561 84000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7186 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 0 | 1497 1562 85350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7184 c Elapsed CPU time: 1.11683 s Remaining CPU time: 178.883 s c =============================================================================== c | 0 | 1497 1563 86700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7182 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 0 | 1497 1564 88050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7181 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 0 | 1497 1565 89400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7180 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s c =============================================================================== c | 0 | 1497 1566 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7179 c Elapsed CPU time: 1.26281 s Remaining CPU time: 178.737 s c =============================================================================== c | 0 | 1497 1567 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7176 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s c =============================================================================== c | 0 | 1497 1568 93450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7173 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 0 | 1497 1569 94800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7172 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 0 | 1497 1570 96150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7171 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s c =============================================================================== c | 0 | 1497 1571 97500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7170 c Elapsed CPU time: 1.46178 s Remaining CPU time: 178.538 s c =============================================================================== c | 0 | 1497 1572 98850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 1.50777 s Remaining CPU time: 178.492 s c =============================================================================== c | 0 | 1497 1573 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7168 c Elapsed CPU time: 1.55276 s Remaining CPU time: 178.447 s c =============================================================================== c | 0 | 1497 1574 101550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7167 c Elapsed CPU time: 1.59676 s Remaining CPU time: 178.403 s c =============================================================================== c | 0 | 1497 1575 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7166 c Elapsed CPU time: 1.64175 s Remaining CPU time: 178.358 s c =============================================================================== c | 0 | 1497 1576 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7165 c Elapsed CPU time: 1.68774 s Remaining CPU time: 178.312 s c =============================================================================== c | 0 | 1497 1577 105600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7164 c Elapsed CPU time: 1.73274 s Remaining CPU time: 178.267 s c =============================================================================== c | 0 | 1497 1578 106950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7162 c Elapsed CPU time: 1.78173 s Remaining CPU time: 178.218 s c =============================================================================== c | 0 | 1497 1579 108300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7161 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 0 | 1497 1580 109650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7156 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 0 | 1497 1581 111000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7152 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s c =============================================================================== c | 0 | 1497 1582 112350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7151 c Elapsed CPU time: 1.9737 s Remaining CPU time: 178.026 s c =============================================================================== c | 0 | 1497 1583 113700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7148 c Elapsed CPU time: 2.02369 s Remaining CPU time: 177.976 s c =============================================================================== c | 0 | 1497 1584 115050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7146 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 0 | 1497 1585 116400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 0 | 1497 1586 117750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7141 c Elapsed CPU time: 2.17667 s Remaining CPU time: 177.823 s c =============================================================================== c | 0 | 1497 1587 119100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7140 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 0 | 1497 1588 120450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7137 c Elapsed CPU time: 2.28465 s Remaining CPU time: 177.715 s c =============================================================================== c | 0 | 1497 1589 121800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7133 c Elapsed CPU time: 2.33864 s Remaining CPU time: 177.661 s c =============================================================================== c | 0 | 1497 1590 123150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7129 c Elapsed CPU time: 2.39364 s Remaining CPU time: 177.606 s c =============================================================================== c | 0 | 1497 1591 124500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7125 c Elapsed CPU time: 2.45163 s Remaining CPU time: 177.548 s c =============================================================================== c | 0 | 1497 1592 125850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7121 c Elapsed CPU time: 2.51162 s Remaining CPU time: 177.488 s c =============================================================================== c | 0 | 1497 1593 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7117 c Elapsed CPU time: 2.57161 s Remaining CPU time: 177.428 s c =============================================================================== c | 0 | 1497 1594 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7112 c Elapsed CPU time: 2.6336 s Remaining CPU time: 177.366 s c =============================================================================== c | 0 | 1497 1595 129900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7108 c Elapsed CPU time: 2.69659 s Remaining CPU time: 177.303 s c =============================================================================== c | 0 | 1497 1596 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7107 c Elapsed CPU time: 2.76258 s Remaining CPU time: 177.237 s c =============================================================================== c | 0 | 1497 1597 132600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7105 c Elapsed CPU time: 2.82557 s Remaining CPU time: 177.174 s c =============================================================================== c | 0 | 1497 1598 133950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7104 c Elapsed CPU time: 2.88856 s Remaining CPU time: 177.111 s c =============================================================================== c | 0 | 1497 1599 135300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7102 c Elapsed CPU time: 2.95755 s Remaining CPU time: 177.042 s c =============================================================================== c | 0 | 1497 1600 136650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7101 c Elapsed CPU time: 3.02754 s Remaining CPU time: 176.972 s c =============================================================================== c | 0 | 1497 1601 138000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7100 c Elapsed CPU time: 3.09353 s Remaining CPU time: 176.906 s c =============================================================================== c | 0 | 1497 1602 139350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7099 c Elapsed CPU time: 3.16752 s Remaining CPU time: 176.832 s c =============================================================================== c | 0 | 1497 1603 140700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 3.24251 s Remaining CPU time: 176.757 s c =============================================================================== c | 0 | 1497 1604 142050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7097 c Elapsed CPU time: 3.3115 s Remaining CPU time: 176.689 s c =============================================================================== c | 0 | 1497 1605 143400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7095 c Elapsed CPU time: 3.38449 s Remaining CPU time: 176.616 s c =============================================================================== c | 0 | 1497 1606 144750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7094 c Elapsed CPU time: 3.45747 s Remaining CPU time: 176.543 s c =============================================================================== c | 0 | 1497 1607 146100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7092 c Elapsed CPU time: 3.53046 s Remaining CPU time: 176.47 s c =============================================================================== c | 0 | 1497 1608 147450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7091 c Elapsed CPU time: 3.60245 s Remaining CPU time: 176.398 s c =============================================================================== c | 0 | 1497 1609 148800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 0 | 1497 1610 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7087 c Elapsed CPU time: 3.75743 s Remaining CPU time: 176.243 s c =============================================================================== c | 0 | 1497 1611 151500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7086 c Elapsed CPU time: 3.83342 s Remaining CPU time: 176.167 s c =============================================================================== c | 0 | 1497 1612 152850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7085 c Elapsed CPU time: 3.91141 s Remaining CPU time: 176.089 s c =============================================================================== c | 0 | 1497 1613 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7084 c Elapsed CPU time: 3.99039 s Remaining CPU time: 176.01 s c =============================================================================== c | 0 | 1497 1614 155550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7082 c Elapsed CPU time: 4.07038 s Remaining CPU time: 175.93 s c =============================================================================== c | 0 | 1497 1615 156900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7081 c Elapsed CPU time: 4.14737 s Remaining CPU time: 175.853 s c =============================================================================== c | 0 | 1497 1616 158250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7080 c Elapsed CPU time: 4.22736 s Remaining CPU time: 175.773 s c =============================================================================== c | 1 | 1497 1617 159600 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7079 c Elapsed CPU time: 4.32234 s Remaining CPU time: 175.678 s c =============================================================================== c | 1 | 1497 1618 160950 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7078 c Elapsed CPU time: 4.41833 s Remaining CPU time: 175.582 s c =============================================================================== c | 1 | 1497 1619 162300 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7077 c Elapsed CPU time: 4.51131 s Remaining CPU time: 175.489 s c =============================================================================== c | 1 | 1497 1620 163650 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7076 c Elapsed CPU time: 4.6003 s Remaining CPU time: 175.4 s c =============================================================================== c | 1 | 1497 1621 165000 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7075 c Elapsed CPU time: 4.68729 s Remaining CPU time: 175.313 s c =============================================================================== c | 1 | 1497 1622 166350 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7074 c Elapsed CPU time: 4.77627 s Remaining CPU time: 175.224 s c =============================================================================== c | 1 | 1497 1623 167700 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7072 c Elapsed CPU time: 4.86926 s Remaining CPU time: 175.131 s c =============================================================================== c | 1 | 1497 1624 169050 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7071 c Elapsed CPU time: 4.95925 s Remaining CPU time: 175.041 s c =============================================================================== c | 1 | 1497 1625 170400 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7068 c Elapsed CPU time: 5.04923 s Remaining CPU time: 174.951 s c =============================================================================== c | 1 | 1497 1626 171750 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7064 c Elapsed CPU time: 5.14822 s Remaining CPU time: 174.852 s c =============================================================================== c | 1 | 1497 1627 173100 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7062 c Elapsed CPU time: 5.2442 s Remaining CPU time: 174.756 s c =============================================================================== c | 1 | 1497 1628 174450 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7060 c Elapsed CPU time: 5.34619 s Remaining CPU time: 174.654 s c =============================================================================== c | 1 | 1497 1629 175800 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7058 c Elapsed CPU time: 5.43917 s Remaining CPU time: 174.561 s c =============================================================================== c | 1 | 1497 1630 177150 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7057 c Elapsed CPU time: 5.53716 s Remaining CPU time: 174.463 s c =============================================================================== c | 1 | 1497 1631 178500 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7056 c Elapsed CPU time: 5.64114 s Remaining CPU time: 174.359 s c =============================================================================== c | 1 | 1497 1632 179850 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7053 c Elapsed CPU time: 5.75213 s Remaining CPU time: 174.248 s c =============================================================================== c | 1 | 1497 1633 181200 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7052 c Elapsed CPU time: 5.85511 s Remaining CPU time: 174.145 s c =============================================================================== c | 1 | 1497 1634 182550 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7051 c Elapsed CPU time: 5.95709 s Remaining CPU time: 174.043 s c =============================================================================== c | 1 | 1497 1635 183900 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7050 c Elapsed CPU time: 6.05708 s Remaining CPU time: 173.943 s c =============================================================================== c | 1 | 1497 1636 185250 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7049 c Elapsed CPU time: 6.16906 s Remaining CPU time: 173.831 s c =============================================================================== c | 1 | 1497 1637 186600 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7048 c Elapsed CPU time: 6.27705 s Remaining CPU time: 173.723 s c =============================================================================== c | 1 | 1497 1638 187950 | 5000 1 1322 | 0.000 % | c =============================================================================== c New solution: 7047 c Elapsed CPU time: 6.39903 s Remaining CPU time: 173.601 s c =============================================================================== c | 2 | 1497 1639 189300 | 5000 2 662 | 0.000 % | c =============================================================================== c New solution: 7046 c Elapsed CPU time: 6.50601 s Remaining CPU time: 173.494 s c =============================================================================== c | 2 | 1497 1640 190650 | 5000 2 662 | 0.000 % | c =============================================================================== c New solution: 7045 c Elapsed CPU time: 6.61699 s Remaining CPU time: 173.383 s c =============================================================================== c | 2 | 1497 1641 192000 | 5000 2 662 | 0.000 % | c =============================================================================== c New solution: 7043 c Elapsed CPU time: 6.73698 s Remaining CPU time: 173.263 s c =============================================================================== c | 3 | 1497 1642 193350 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7042 c Elapsed CPU time: 6.86296 s Remaining CPU time: 173.137 s c =============================================================================== c | 3 | 1497 1643 194700 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7041 c Elapsed CPU time: 6.98094 s Remaining CPU time: 173.019 s c =============================================================================== c | 3 | 1497 1644 196050 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7039 c Elapsed CPU time: 7.09492 s Remaining CPU time: 172.905 s c =============================================================================== c | 3 | 1497 1645 197400 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7038 c Elapsed CPU time: 7.2039 s Remaining CPU time: 172.796 s c =============================================================================== c | 3 | 1497 1646 198750 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7037 c Elapsed CPU time: 7.31689 s Remaining CPU time: 172.683 s c =============================================================================== c | 3 | 1497 1647 200100 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7036 c Elapsed CPU time: 7.43787 s Remaining CPU time: 172.562 s c =============================================================================== c | 3 | 1497 1648 201450 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7034 c Elapsed CPU time: 7.55685 s Remaining CPU time: 172.443 s c =============================================================================== c | 3 | 1497 1649 202800 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7033 c Elapsed CPU time: 7.66683 s Remaining CPU time: 172.333 s c =============================================================================== c | 3 | 1497 1650 204150 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7032 c Elapsed CPU time: 7.77982 s Remaining CPU time: 172.22 s c =============================================================================== c | 3 | 1497 1651 205500 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7031 c Elapsed CPU time: 7.9168 s Remaining CPU time: 172.083 s c =============================================================================== c | 3 | 1497 1652 206850 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7029 c Elapsed CPU time: 8.04878 s Remaining CPU time: 171.951 s c =============================================================================== c | 3 | 1497 1653 208200 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7028 c Elapsed CPU time: 8.17076 s Remaining CPU time: 171.829 s c =============================================================================== c | 3 | 1497 1654 209550 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7027 c Elapsed CPU time: 8.29374 s Remaining CPU time: 171.706 s c =============================================================================== c | 3 | 1497 1655 210900 | 5000 3 442 | 0.000 % | c =============================================================================== c New solution: 7026 c Elapsed CPU time: 8.41172 s Remaining CPU time: 171.588 s c =============================================================================== c | 4 | 1497 1656 212250 | 5000 4 660 | 0.000 % | c =============================================================================== c New solution: 7025 c Elapsed CPU time: 8.5307 s Remaining CPU time: 171.469 s c =============================================================================== c | 4 | 1497 1657 213600 | 5000 4 660 | 0.000 % | c =============================================================================== c New solution: 7024 c Elapsed CPU time: 8.66068 s Remaining CPU time: 171.339 s c =============================================================================== c | 5 | 1497 1658 214950 | 5000 5 790 | 0.000 % | c =============================================================================== c New solution: 7023 c Elapsed CPU time: 8.78766 s Remaining CPU time: 171.212 s c =============================================================================== c | 5 | 1497 1659 216300 | 5000 5 790 | 0.000 % | c =============================================================================== c New solution: 7022 c Elapsed CPU time: 8.91464 s Remaining CPU time: 171.085 s c =============================================================================== c | 5 | 1497 1660 217650 | 5000 5 790 | 0.000 % | c =============================================================================== c New solution: 7021 c Elapsed CPU time: 9.03763 s Remaining CPU time: 170.962 s c =============================================================================== c | 5 | 1497 1661 219000 | 5000 5 790 | 0.000 % | c =============================================================================== c New solution: 7020 c Elapsed CPU time: 9.16061 s Remaining CPU time: 170.839 s c =============================================================================== c | 5 | 1497 1662 220350 | 5000 5 790 | 0.000 % | c =============================================================================== c New solution: 7019 c Elapsed CPU time: 9.28259 s Remaining CPU time: 170.717 s c =============================================================================== c | 6 | 1497 1663 221700 | 5000 6 876 | 0.000 % | c =============================================================================== c New solution: 7018 c Elapsed CPU time: 9.40557 s Remaining CPU time: 170.594 s c =============================================================================== c | 6 | 1497 1664 223050 | 5000 6 876 | 0.000 % | c =============================================================================== c New solution: 7017 c Elapsed CPU time: 9.53055 s Remaining CPU time: 170.469 s c =============================================================================== c | 6 | 1497 1665 224400 | 5000 6 876 | 0.000 % | c =============================================================================== c New solution: 7016 c Elapsed CPU time: 9.65253 s Remaining CPU time: 170.347 s c =============================================================================== c | 6 | 1497 1666 225750 | 5000 6 876 | 0.000 % | c =============================================================================== c New solution: 7015 c Elapsed CPU time: 9.78151 s Remaining CPU time: 170.218 s c =============================================================================== c | 6 | 1497 1667 227100 | 5000 6 876 | 0.000 % | c =============================================================================== c New solution: 7014 c Elapsed CPU time: 9.91549 s Remaining CPU time: 170.085 s c =============================================================================== c | 7 | 1497 1668 228450 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7013 c Elapsed CPU time: 10.0415 s Remaining CPU time: 169.959 s c =============================================================================== c | 7 | 1497 1669 229800 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7012 c Elapsed CPU time: 10.1745 s Remaining CPU time: 169.826 s c =============================================================================== c | 7 | 1497 1670 231150 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7011 c Elapsed CPU time: 10.3094 s Remaining CPU time: 169.691 s c =============================================================================== c | 7 | 1497 1671 232500 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7010 c Elapsed CPU time: 10.4444 s Remaining CPU time: 169.556 s c =============================================================================== c | 7 | 1497 1672 233850 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7009 c Elapsed CPU time: 10.5794 s Remaining CPU time: 169.421 s c =============================================================================== c | 7 | 1497 1673 235200 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7008 c Elapsed CPU time: 10.7074 s Remaining CPU time: 169.293 s c =============================================================================== c | 7 | 1497 1674 236550 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7007 c Elapsed CPU time: 10.8414 s Remaining CPU time: 169.159 s c =============================================================================== c | 7 | 1497 1675 237900 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7006 c Elapsed CPU time: 10.9703 s Remaining CPU time: 169.03 s c =============================================================================== c | 7 | 1497 1676 239250 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7005 c Elapsed CPU time: 11.1073 s Remaining CPU time: 168.893 s c =============================================================================== c | 7 | 1497 1677 240600 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7004 c Elapsed CPU time: 11.2403 s Remaining CPU time: 168.76 s c =============================================================================== c | 7 | 1497 1678 241950 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7003 c Elapsed CPU time: 11.3743 s Remaining CPU time: 168.626 s c =============================================================================== c | 7 | 1497 1679 243300 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7002 c Elapsed CPU time: 11.5242 s Remaining CPU time: 168.476 s c =============================================================================== c | 7 | 1497 1680 244650 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7001 c Elapsed CPU time: 11.6612 s Remaining CPU time: 168.339 s c =============================================================================== c | 7 | 1497 1681 246000 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 7000 c Elapsed CPU time: 11.8012 s Remaining CPU time: 168.199 s c =============================================================================== c | 7 | 1497 1682 247350 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6999 c Elapsed CPU time: 11.9442 s Remaining CPU time: 168.056 s c =============================================================================== c | 7 | 1497 1683 248700 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6998 c Elapsed CPU time: 12.0902 s Remaining CPU time: 167.91 s c =============================================================================== c | 7 | 1497 1684 250050 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6997 c Elapsed CPU time: 12.2311 s Remaining CPU time: 167.769 s c =============================================================================== c | 7 | 1497 1685 251400 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6996 c Elapsed CPU time: 12.3781 s Remaining CPU time: 167.622 s c =============================================================================== c | 7 | 1497 1686 252750 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6995 c Elapsed CPU time: 12.5241 s Remaining CPU time: 167.476 s c =============================================================================== c | 7 | 1497 1687 254100 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6994 c Elapsed CPU time: 12.6711 s Remaining CPU time: 167.329 s c =============================================================================== c | 7 | 1497 1688 255450 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6993 c Elapsed CPU time: 12.824 s Remaining CPU time: 167.176 s c =============================================================================== c | 7 | 1497 1689 256800 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6992 c Elapsed CPU time: 12.97 s Remaining CPU time: 167.03 s c =============================================================================== c | 7 | 1497 1690 258150 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6991 c Elapsed CPU time: 13.127 s Remaining CPU time: 166.873 s c =============================================================================== c | 7 | 1497 1691 259500 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6990 c Elapsed CPU time: 13.278 s Remaining CPU time: 166.722 s c =============================================================================== c | 7 | 1497 1692 260850 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6989 c Elapsed CPU time: 13.426 s Remaining CPU time: 166.574 s c =============================================================================== c | 7 | 1497 1693 262200 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6988 c Elapsed CPU time: 13.5789 s Remaining CPU time: 166.421 s c =============================================================================== c | 7 | 1497 1694 263550 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6987 c Elapsed CPU time: 13.7309 s Remaining CPU time: 166.269 s c =============================================================================== c | 7 | 1497 1695 264900 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6986 c Elapsed CPU time: 13.8799 s Remaining CPU time: 166.12 s c =============================================================================== c | 7 | 1497 1696 266250 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6985 c Elapsed CPU time: 14.0409 s Remaining CPU time: 165.959 s c =============================================================================== c | 7 | 1497 1697 267600 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6984 c Elapsed CPU time: 14.2028 s Remaining CPU time: 165.797 s c =============================================================================== c | 7 | 1497 1698 268950 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6983 c Elapsed CPU time: 14.3568 s Remaining CPU time: 165.643 s c =============================================================================== c | 7 | 1497 1699 270300 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6982 c Elapsed CPU time: 14.5138 s Remaining CPU time: 165.486 s c =============================================================================== c | 7 | 1497 1700 271650 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6981 c Elapsed CPU time: 14.6738 s Remaining CPU time: 165.326 s c =============================================================================== c | 7 | 1497 1701 273000 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6980 c Elapsed CPU time: 14.8387 s Remaining CPU time: 165.161 s c =============================================================================== c | 7 | 1497 1702 274350 | 5000 7 938 | 0.000 % | c =============================================================================== c New solution: 6979 c Elapsed CPU time: 15.0067 s Remaining CPU time: 164.993 s c =============================================================================== c | 8 | 1497 1703 275700 | 5000 8 984 | 0.000 % | c =============================================================================== c New solution: 6978 c Elapsed CPU time: 15.1707 s Remaining CPU time: 164.829 s c =============================================================================== c | 8 | 1497 1704 277050 | 5000 8 984 | 0.000 % | c =============================================================================== c New solution: 6977 c Elapsed CPU time: 15.3437 s Remaining CPU time: 164.656 s c =============================================================================== c | 9 | 1497 1705 278400 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6976 c Elapsed CPU time: 15.5116 s Remaining CPU time: 164.488 s c =============================================================================== c | 9 | 1497 1706 279750 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6975 c Elapsed CPU time: 15.6866 s Remaining CPU time: 164.313 s c =============================================================================== c | 9 | 1497 1707 281100 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6974 c Elapsed CPU time: 15.8526 s Remaining CPU time: 164.147 s c =============================================================================== c | 9 | 1497 1708 282450 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6973 c Elapsed CPU time: 16.0146 s Remaining CPU time: 163.985 s c =============================================================================== c | 9 | 1497 1709 283800 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6972 c Elapsed CPU time: 16.1855 s Remaining CPU time: 163.814 s c =============================================================================== c | 9 | 1497 1710 285150 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6971 c Elapsed CPU time: 16.3575 s Remaining CPU time: 163.642 s c =============================================================================== c | 9 | 1497 1711 286500 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6970 c Elapsed CPU time: 16.5265 s Remaining CPU time: 163.474 s c =============================================================================== c | 9 | 1497 1712 287850 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6969 c Elapsed CPU time: 16.6985 s Remaining CPU time: 163.302 s c =============================================================================== c | 9 | 1497 1713 289200 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6968 c Elapsed CPU time: 16.8684 s Remaining CPU time: 163.132 s c =============================================================================== c | 9 | 1497 1714 290550 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6967 c Elapsed CPU time: 17.0354 s Remaining CPU time: 162.965 s c =============================================================================== c | 9 | 1497 1715 291900 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6966 c Elapsed CPU time: 17.2024 s Remaining CPU time: 162.798 s c =============================================================================== c | 9 | 1497 1716 293250 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6965 c Elapsed CPU time: 17.3774 s Remaining CPU time: 162.623 s c =============================================================================== c | 9 | 1497 1717 294600 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6964 c Elapsed CPU time: 17.5603 s Remaining CPU time: 162.44 s c =============================================================================== c | 9 | 1497 1718 295950 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6963 c Elapsed CPU time: 17.7403 s Remaining CPU time: 162.26 s c =============================================================================== c | 9 | 1497 1719 297300 | 5000 9 1019 | 0.000 % | c =============================================================================== c New solution: 6962 c Elapsed CPU time: 17.9243 s Remaining CPU time: 162.076 s c =============================================================================== c | 11 | 1497 1720 298650 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6961 c Elapsed CPU time: 18.1102 s Remaining CPU time: 161.89 s c =============================================================================== c | 11 | 1497 1721 300000 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6960 c Elapsed CPU time: 18.2832 s Remaining CPU time: 161.717 s c =============================================================================== c | 11 | 1497 1722 301350 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6959 c Elapsed CPU time: 18.4642 s Remaining CPU time: 161.536 s c =============================================================================== c | 11 | 1497 1723 302700 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6958 c Elapsed CPU time: 18.6512 s Remaining CPU time: 161.349 s c =============================================================================== c | 11 | 1497 1724 304050 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6957 c Elapsed CPU time: 18.8401 s Remaining CPU time: 161.16 s c =============================================================================== c | 11 | 1497 1725 305400 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6956 c Elapsed CPU time: 19.0271 s Remaining CPU time: 160.973 s c =============================================================================== c | 11 | 1497 1726 306750 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6955 c Elapsed CPU time: 19.2131 s Remaining CPU time: 160.787 s c =============================================================================== c | 11 | 1497 1727 308100 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6954 c Elapsed CPU time: 19.3961 s Remaining CPU time: 160.604 s c =============================================================================== c | 11 | 1497 1728 309450 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6953 c Elapsed CPU time: 19.582 s Remaining CPU time: 160.418 s c =============================================================================== c | 11 | 1497 1729 310800 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6952 c Elapsed CPU time: 19.769 s Remaining CPU time: 160.231 s c =============================================================================== c | 11 | 1497 1730 312150 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6951 c Elapsed CPU time: 19.955 s Remaining CPU time: 160.045 s c =============================================================================== c | 11 | 1497 1731 313500 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6950 c Elapsed CPU time: 20.1329 s Remaining CPU time: 159.867 s c =============================================================================== c | 11 | 1497 1732 314850 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6949 c Elapsed CPU time: 20.3289 s Remaining CPU time: 159.671 s c =============================================================================== c | 11 | 1497 1733 316200 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6948 c Elapsed CPU time: 20.5209 s Remaining CPU time: 159.479 s c =============================================================================== c | 11 | 1497 1734 317550 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6947 c Elapsed CPU time: 20.7119 s Remaining CPU time: 159.288 s c =============================================================================== c | 11 | 1497 1735 318900 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6946 c Elapsed CPU time: 20.9168 s Remaining CPU time: 159.083 s c =============================================================================== c | 11 | 1497 1736 320250 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6945 c Elapsed CPU time: 21.1188 s Remaining CPU time: 158.881 s c =============================================================================== c | 11 | 1497 1737 321600 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6944 c Elapsed CPU time: 21.3198 s Remaining CPU time: 158.68 s c =============================================================================== c | 11 | 1497 1738 322950 | 5000 11 1071 | 0.000 % | c =============================================================================== c New solution: 6943 c Elapsed CPU time: 21.5257 s Remaining CPU time: 158.474 s c =============================================================================== c | 13 | 1497 1739 324300 | 5000 13 1006 | 0.000 % | c =============================================================================== c New solution: 6942 c Elapsed CPU time: 21.7177 s Remaining CPU time: 158.282 s c =============================================================================== c | 13 | 1497 1740 325650 | 5000 13 1006 | 0.000 % | c =============================================================================== c New solution: 6941 c Elapsed CPU time: 21.9107 s Remaining CPU time: 158.089 s c =============================================================================== c | 13 | 1497 1741 327000 | 5000 13 1006 | 0.000 % | c =============================================================================== c New solution: 6940 c Elapsed CPU time: 22.1026 s Remaining CPU time: 157.897 s c =============================================================================== c | 13 | 1497 1742 328350 | 5000 13 1006 | 0.000 % | c =============================================================================== c New solution: 6939 c Elapsed CPU time: 22.3036 s Remaining CPU time: 157.696 s c =============================================================================== c | 13 | 1497 1743 329700 | 5000 13 1006 | 0.000 % | c =============================================================================== c New solution: 6938 c Elapsed CPU time: 22.5116 s Remaining CPU time: 157.488 s c =============================================================================== c | 13 | 1497 1744 331050 | 5000 13 1006 | 0.000 % | c =============================================================================== c New solution: 6937 c Elapsed CPU time: 22.7245 s Remaining CPU time: 157.275 s c =============================================================================== c | 14 | 1497 1745 332400 | 5000 14 1026 | 0.000 % | c =============================================================================== c New solution: 6936 c Elapsed CPU time: 22.9335 s Remaining CPU time: 157.066 s c =============================================================================== c | 14 | 1497 1746 333750 | 5000 14 1026 | 0.000 % | c =============================================================================== c New solution: 6935 c Elapsed CPU time: 23.1265 s Remaining CPU time: 156.874 s c =============================================================================== c | 14 | 1497 1747 335100 | 5000 14 1026 | 0.000 % | c =============================================================================== c New solution: 6934 c Elapsed CPU time: 23.3265 s Remaining CPU time: 156.674 s c =============================================================================== c | 14 | 1497 1748 336450 | 5000 14 1026 | 0.000 % | c =============================================================================== c New solution: 6933 c Elapsed CPU time: 23.5374 s Remaining CPU time: 156.463 s c =============================================================================== c | 15 | 1497 1749 337800 | 5000 15 1044 | 0.000 % | c =============================================================================== c New solution: 6932 c Elapsed CPU time: 23.7364 s Remaining CPU time: 156.264 s c =============================================================================== c | 15 | 1497 1750 339150 | 5000 15 1044 | 0.000 % | c =============================================================================== c New solution: 6931 c Elapsed CPU time: 23.9354 s Remaining CPU time: 156.065 s c =============================================================================== c | 15 | 1497 1751 340500 | 5000 15 1044 | 0.000 % | c =============================================================================== c New solution: 6930 c Elapsed CPU time: 24.1483 s Remaining CPU time: 155.852 s c =============================================================================== c | 17 | 1497 1752 341850 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6929 c Elapsed CPU time: 24.3553 s Remaining CPU time: 155.645 s c =============================================================================== c | 17 | 1497 1753 343200 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6928 c Elapsed CPU time: 24.5563 s Remaining CPU time: 155.444 s c =============================================================================== c | 17 | 1497 1754 344550 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6927 c Elapsed CPU time: 24.7662 s Remaining CPU time: 155.234 s c =============================================================================== c | 17 | 1497 1755 345900 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6926 c Elapsed CPU time: 24.9742 s Remaining CPU time: 155.026 s c =============================================================================== c | 17 | 1497 1756 347250 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6925 c Elapsed CPU time: 25.1902 s Remaining CPU time: 154.81 s c =============================================================================== c | 17 | 1497 1757 348600 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6924 c Elapsed CPU time: 25.4031 s Remaining CPU time: 154.597 s c =============================================================================== c | 17 | 1497 1758 349950 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6923 c Elapsed CPU time: 25.6221 s Remaining CPU time: 154.378 s c =============================================================================== c | 17 | 1497 1759 351300 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6922 c Elapsed CPU time: 25.8441 s Remaining CPU time: 154.156 s c =============================================================================== c | 17 | 1497 1760 352650 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6921 c Elapsed CPU time: 26.065 s Remaining CPU time: 153.935 s c =============================================================================== c | 17 | 1497 1761 354000 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6920 c Elapsed CPU time: 26.279 s Remaining CPU time: 153.721 s c =============================================================================== c | 17 | 1497 1762 355350 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6919 c Elapsed CPU time: 26.505 s Remaining CPU time: 153.495 s c =============================================================================== c | 17 | 1497 1763 356700 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6918 c Elapsed CPU time: 26.7139 s Remaining CPU time: 153.286 s c =============================================================================== c | 17 | 1497 1764 358050 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6917 c Elapsed CPU time: 26.9379 s Remaining CPU time: 153.062 s c =============================================================================== c | 17 | 1497 1765 359400 | 5000 17 1074 | 0.000 % | c =============================================================================== c New solution: 6916 c Elapsed CPU time: 27.1589 s Remaining CPU time: 152.841 s c =============================================================================== c | 22 | 1497 1766 360750 | 5000 22 1123 | 0.000 % | c =============================================================================== c New solution: 6915 c Elapsed CPU time: 27.3798 s Remaining CPU time: 152.62 s c =============================================================================== c | 22 | 1497 1767 362100 | 5000 22 1123 | 0.000 % | c =============================================================================== c New solution: 6914 c Elapsed CPU time: 27.5938 s Remaining CPU time: 152.406 s c =============================================================================== c | 22 | 1497 1768 363450 | 5000 22 1123 | 0.000 % | c =============================================================================== c New solution: 6913 c Elapsed CPU time: 27.8218 s Remaining CPU time: 152.178 s c =============================================================================== c | 24 | 1497 1769 364800 | 5000 24 1137 | 0.000 % | c =============================================================================== c New solution: 6912 c Elapsed CPU time: 28.0527 s Remaining CPU time: 151.947 s c =============================================================================== c | 25 | 1497 1770 366150 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6911 c Elapsed CPU time: 28.2747 s Remaining CPU time: 151.725 s c =============================================================================== c | 25 | 1497 1771 367500 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6910 c Elapsed CPU time: 28.4997 s Remaining CPU time: 151.5 s c =============================================================================== c | 25 | 1497 1772 368850 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6909 c Elapsed CPU time: 28.7316 s Remaining CPU time: 151.268 s c =============================================================================== c | 25 | 1497 1773 370200 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6908 c Elapsed CPU time: 28.9726 s Remaining CPU time: 151.027 s c =============================================================================== c | 25 | 1497 1774 371550 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6907 c Elapsed CPU time: 29.2046 s Remaining CPU time: 150.795 s c =============================================================================== c | 25 | 1497 1775 372900 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6906 c Elapsed CPU time: 29.4325 s Remaining CPU time: 150.567 s c =============================================================================== c | 25 | 1497 1776 374250 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6905 c Elapsed CPU time: 29.6675 s Remaining CPU time: 150.333 s c =============================================================================== c | 25 | 1497 1777 375600 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6904 c Elapsed CPU time: 29.9065 s Remaining CPU time: 150.094 s c =============================================================================== c | 25 | 1497 1778 376950 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6903 c Elapsed CPU time: 30.1434 s Remaining CPU time: 149.857 s c =============================================================================== c | 25 | 1497 1779 378300 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6902 c Elapsed CPU time: 30.3824 s Remaining CPU time: 149.618 s c =============================================================================== c | 25 | 1497 1780 379650 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6901 c Elapsed CPU time: 30.6313 s Remaining CPU time: 149.369 s c =============================================================================== c | 25 | 1497 1781 381000 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6900 c Elapsed CPU time: 30.8753 s Remaining CPU time: 149.125 s c =============================================================================== c | 25 | 1497 1782 382350 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6899 c Elapsed CPU time: 31.1193 s Remaining CPU time: 148.881 s c =============================================================================== c | 25 | 1497 1783 383700 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6898 c Elapsed CPU time: 31.3552 s Remaining CPU time: 148.645 s c =============================================================================== c | 25 | 1497 1784 385050 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6897 c Elapsed CPU time: 31.5922 s Remaining CPU time: 148.408 s c =============================================================================== c | 25 | 1497 1785 386400 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6896 c Elapsed CPU time: 31.8322 s Remaining CPU time: 148.168 s c =============================================================================== c | 25 | 1497 1786 387750 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6895 c Elapsed CPU time: 32.0661 s Remaining CPU time: 147.934 s c =============================================================================== c | 25 | 1497 1787 389100 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6894 c Elapsed CPU time: 32.3071 s Remaining CPU time: 147.693 s c =============================================================================== c | 25 | 1497 1788 390450 | 5000 25 1144 | 0.000 % | c =============================================================================== c New solution: 6893 c Elapsed CPU time: 32.56 s Remaining CPU time: 147.44 s c =============================================================================== c | 26 | 1497 1789 391800 | 5000 26 1149 | 0.000 % | c =============================================================================== c New solution: 6892 c Elapsed CPU time: 32.812 s Remaining CPU time: 147.188 s c =============================================================================== c | 26 | 1497 1790 393150 | 5000 26 1149 | 0.000 % | c =============================================================================== c New solution: 6891 c Elapsed CPU time: 33.053 s Remaining CPU time: 146.947 s c =============================================================================== c | 26 | 1497 1791 394500 | 5000 26 1149 | 0.000 % | c =============================================================================== c New solution: 6890 c Elapsed CPU time: 33.2909 s Remaining CPU time: 146.709 s c =============================================================================== c | 28 | 1497 1792 395850 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6889 c Elapsed CPU time: 33.5379 s Remaining CPU time: 146.462 s c =============================================================================== c | 28 | 1497 1793 397200 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6888 c Elapsed CPU time: 33.7789 s Remaining CPU time: 146.221 s c =============================================================================== c | 28 | 1497 1794 398550 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6887 c Elapsed CPU time: 34.0298 s Remaining CPU time: 145.97 s c =============================================================================== c | 28 | 1497 1795 399900 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6886 c Elapsed CPU time: 34.2828 s Remaining CPU time: 145.717 s c =============================================================================== c | 28 | 1497 1796 401250 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6885 c Elapsed CPU time: 34.5357 s Remaining CPU time: 145.464 s c =============================================================================== c | 28 | 1497 1797 402600 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6884 c Elapsed CPU time: 34.7867 s Remaining CPU time: 145.213 s c =============================================================================== c | 28 | 1497 1798 403950 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6883 c Elapsed CPU time: 35.0427 s Remaining CPU time: 144.957 s c =============================================================================== c | 28 | 1497 1799 405300 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6882 c Elapsed CPU time: 35.2896 s Remaining CPU time: 144.71 s c =============================================================================== c | 28 | 1497 1800 406650 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6881 c Elapsed CPU time: 35.5496 s Remaining CPU time: 144.45 s c =============================================================================== c | 28 | 1497 1801 408000 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6880 c Elapsed CPU time: 35.8026 s Remaining CPU time: 144.197 s c =============================================================================== c | 28 | 1497 1802 409350 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6879 c Elapsed CPU time: 36.0705 s Remaining CPU time: 143.929 s c =============================================================================== c | 28 | 1497 1803 410700 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6878 c Elapsed CPU time: 36.3335 s Remaining CPU time: 143.667 s c =============================================================================== c | 28 | 1497 1804 412050 | 5000 28 1159 | 0.000 % | c =============================================================================== c New solution: 6877 c Elapsed CPU time: 36.5934 s Remaining CPU time: 143.407 s c =============================================================================== c | 29 | 1497 1805 413400 | 5000 29 1163 | 0.000 % | c =============================================================================== c New solution: 6876 c Elapsed CPU time: 36.8954 s Remaining CPU time: 143.105 s c =============================================================================== c | 32 | 1497 1806 414750 | 5000 32 1175 | 0.000 % | c =============================================================================== c New solution: 6875 c Elapsed CPU time: 37.1594 s Remaining CPU time: 142.841 s c =============================================================================== c | 32 | 1497 1807 416100 | 5000 32 1175 | 0.000 % | c =============================================================================== c New solution: 6874 c Elapsed CPU time: 37.4223 s Remaining CPU time: 142.578 s c =============================================================================== c | 32 | 1497 1808 417450 | 5000 32 1175 | 0.000 % | c =============================================================================== c New solution: 6873 c Elapsed CPU time: 37.6683 s Remaining CPU time: 142.332 s c =============================================================================== c | 32 | 1497 1809 418800 | 5000 32 1175 | 0.000 % | c =============================================================================== c New solution: 6872 c Elapsed CPU time: 37.9202 s Remaining CPU time: 142.08 s c =============================================================================== c | 32 | 1497 1810 420150 | 5000 32 1175 | 0.000 % | c =============================================================================== c New solution: 6871 c Elapsed CPU time: 38.1802 s Remaining CPU time: 141.82 s c =============================================================================== c | 32 | 1497 1811 421500 | 5000 32 1175 | 0.000 % | c =============================================================================== c New solution: 6870 c Elapsed CPU time: 38.4482 s Remaining CPU time: 141.552 s c =============================================================================== c | 32 | 1497 1812 422850 | 5000 32 1175 | 0.000 % | c =============================================================================== c New solution: 6869 c Elapsed CPU time: 38.7151 s Remaining CPU time: 141.285 s c =============================================================================== c | 32 | 1497 1813 424200 | 5000 32 1175 | 0.000 % | c =============================================================================== c New solution: 6868 c Elapsed CPU time: 38.9831 s Remaining CPU time: 141.017 s c =============================================================================== c | 33 | 1497 1814 425550 | 5000 33 1178 | 0.000 % | c =============================================================================== c New solution: 6867 c Elapsed CPU time: 39.273 s Remaining CPU time: 140.727 s c =============================================================================== c | 36 | 1497 1815 426900 | 5000 36 1187 | 0.000 % | c =============================================================================== c New solution: 6866 c Elapsed CPU time: 39.539 s Remaining CPU time: 140.461 s c =============================================================================== c | 36 | 1497 1816 428250 | 5000 36 1187 | 0.000 % | c =============================================================================== c New solution: 6865 c Elapsed CPU time: 39.8319 s Remaining CPU time: 140.168 s c =============================================================================== c | 37 | 1497 1817 429600 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6864 c Elapsed CPU time: 40.1039 s Remaining CPU time: 139.896 s c =============================================================================== c | 37 | 1497 1818 430950 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6863 c Elapsed CPU time: 40.3729 s Remaining CPU time: 139.627 s c =============================================================================== c | 37 | 1497 1819 432300 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6862 c Elapsed CPU time: 40.6408 s Remaining CPU time: 139.359 s c =============================================================================== c | 37 | 1497 1820 433650 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6861 c Elapsed CPU time: 40.9148 s Remaining CPU time: 139.085 s c =============================================================================== c | 37 | 1497 1821 435000 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6860 c Elapsed CPU time: 41.1847 s Remaining CPU time: 138.815 s c =============================================================================== c | 37 | 1497 1822 436350 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6859 c Elapsed CPU time: 41.4617 s Remaining CPU time: 138.538 s c =============================================================================== c | 37 | 1497 1823 437700 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6858 c Elapsed CPU time: 41.7387 s Remaining CPU time: 138.261 s c =============================================================================== c | 37 | 1497 1824 439050 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6857 c Elapsed CPU time: 42.0276 s Remaining CPU time: 137.972 s c =============================================================================== c | 37 | 1497 1825 440400 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6856 c Elapsed CPU time: 42.3056 s Remaining CPU time: 137.694 s c =============================================================================== c | 37 | 1497 1826 441750 | 5000 37 1190 | 0.000 % | c =============================================================================== c New solution: 6855 c Elapsed CPU time: 42.6265 s Remaining CPU time: 137.373 s c =============================================================================== c | 55 | 1497 1827 443100 | 5000 55 1221 | 0.000 % | c =============================================================================== c New solution: 6854 c Elapsed CPU time: 42.9345 s Remaining CPU time: 137.066 s c =============================================================================== c | 56 | 1497 1828 444450 | 5000 56 1199 | 0.000 % | c =============================================================================== c New solution: 6853 c Elapsed CPU time: 43.2194 s Remaining CPU time: 136.781 s c =============================================================================== c | 56 | 1497 1829 445800 | 5000 56 1199 | 0.000 % | c =============================================================================== c New solution: 6852 c Elapsed CPU time: 43.5264 s Remaining CPU time: 136.474 s c =============================================================================== c | 60 | 1497 1830 447150 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6851 c Elapsed CPU time: 43.8063 s Remaining CPU time: 136.194 s c =============================================================================== c | 60 | 1497 1831 448500 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6850 c Elapsed CPU time: 44.0763 s Remaining CPU time: 135.924 s c =============================================================================== c | 60 | 1497 1832 449850 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6849 c Elapsed CPU time: 44.3583 s Remaining CPU time: 135.642 s c =============================================================================== c | 60 | 1497 1833 451200 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6848 c Elapsed CPU time: 44.6682 s Remaining CPU time: 135.332 s c =============================================================================== c | 60 | 1497 1834 452550 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6847 c Elapsed CPU time: 44.9512 s Remaining CPU time: 135.049 s c =============================================================================== c | 60 | 1497 1835 453900 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6846 c Elapsed CPU time: 45.2481 s Remaining CPU time: 134.752 s c =============================================================================== c | 60 | 1497 1836 455250 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6845 c Elapsed CPU time: 45.5451 s Remaining CPU time: 134.455 s c =============================================================================== c | 60 | 1497 1837 456600 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6844 c Elapsed CPU time: 45.833 s Remaining CPU time: 134.167 s c =============================================================================== c | 60 | 1497 1838 457950 | 5000 60 1205 | 0.000 % | c =============================================================================== c New solution: 6843 c Elapsed CPU time: 46.139 s Remaining CPU time: 133.861 s c =============================================================================== c | 61 | 1497 1839 459300 | 5000 61 1206 | 0.000 % | c =============================================================================== c New solution: 6842 c Elapsed CPU time: 46.4399 s Remaining CPU time: 133.56 s c =============================================================================== c | 61 | 1497 1840 460650 | 5000 61 1206 | 0.000 % | c =============================================================================== c New solution: 6841 c Elapsed CPU time: 46.7449 s Remaining CPU time: 133.255 s c =============================================================================== c | 61 | 1497 1841 462000 | 5000 61 1206 | 0.000 % | c =============================================================================== c New solution: 6840 c Elapsed CPU time: 47.0249 s Remaining CPU time: 132.975 s c =============================================================================== c | 61 | 1497 1842 463350 | 5000 61 1206 | 0.000 % | c =============================================================================== c New solution: 6839 c Elapsed CPU time: 47.3288 s Remaining CPU time: 132.671 s c =============================================================================== c | 61 | 1497 1843 464700 | 5000 61 1206 | 0.000 % | c =============================================================================== c New solution: 6838 c Elapsed CPU time: 47.6338 s Remaining CPU time: 132.366 s c =============================================================================== c | 61 | 1497 1844 466050 | 5000 61 1206 | 0.000 % | c =============================================================================== c New solution: 6837 c Elapsed CPU time: 47.9397 s Remaining CPU time: 132.06 s c =============================================================================== c | 62 | 1497 1845 467400 | 5000 62 1207 | 0.000 % | c =============================================================================== c New solution: 6836 c Elapsed CPU time: 48.2597 s Remaining CPU time: 131.74 s c =============================================================================== c | 69 | 1497 1846 468750 | 5000 69 1215 | 0.000 % | c =============================================================================== c New solution: 6835 c Elapsed CPU time: 48.5556 s Remaining CPU time: 131.444 s c =============================================================================== c | 69 | 1497 1847 470100 | 5000 69 1215 | 0.000 % | c =============================================================================== c New solution: 6834 c Elapsed CPU time: 48.8606 s Remaining CPU time: 131.139 s c =============================================================================== c | 69 | 1497 1848 471450 | 5000 69 1215 | 0.000 % | c =============================================================================== c New solution: 6833 c Elapsed CPU time: 49.1675 s Remaining CPU time: 130.832 s c =============================================================================== c | 69 | 1497 1849 472800 | 5000 69 1215 | 0.000 % | c =============================================================================== c New solution: 6832 c Elapsed CPU time: 49.4615 s Remaining CPU time: 130.539 s c =============================================================================== c | 69 | 1497 1850 474150 | 5000 69 1215 | 0.000 % | c =============================================================================== c New solution: 6831 c Elapsed CPU time: 49.7514 s Remaining CPU time: 130.249 s c =============================================================================== c | 69 | 1497 1851 475500 | 5000 69 1215 | 0.000 % | c =============================================================================== c New solution: 6830 c Elapsed CPU time: 50.0544 s Remaining CPU time: 129.946 s c =============================================================================== c | 70 | 1497 1852 476850 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6829 c Elapsed CPU time: 50.3593 s Remaining CPU time: 129.641 s c =============================================================================== c | 70 | 1497 1853 478200 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6828 c Elapsed CPU time: 50.6683 s Remaining CPU time: 129.332 s c =============================================================================== c | 70 | 1497 1854 479550 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6827 c Elapsed CPU time: 50.9763 s Remaining CPU time: 129.024 s c =============================================================================== c | 70 | 1497 1855 480900 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6826 c Elapsed CPU time: 51.2792 s Remaining CPU time: 128.721 s c =============================================================================== c | 70 | 1497 1856 482250 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6825 c Elapsed CPU time: 51.5872 s Remaining CPU time: 128.413 s c =============================================================================== c | 70 | 1497 1857 483600 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6824 c Elapsed CPU time: 51.8881 s Remaining CPU time: 128.112 s c =============================================================================== c | 70 | 1497 1858 484950 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6823 c Elapsed CPU time: 52.2081 s Remaining CPU time: 127.792 s c =============================================================================== c | 70 | 1497 1859 486300 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6822 c Elapsed CPU time: 52.521 s Remaining CPU time: 127.479 s c =============================================================================== c | 70 | 1497 1860 487650 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6821 c Elapsed CPU time: 52.822 s Remaining CPU time: 127.178 s c =============================================================================== c | 70 | 1497 1861 489000 | 5000 70 1216 | 0.000 % | c =============================================================================== c New solution: 6820 c Elapsed CPU time: 53.1249 s Remaining CPU time: 126.875 s c =============================================================================== c | 71 | 1497 1862 490350 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6819 c Elapsed CPU time: 53.4249 s Remaining CPU time: 126.575 s c =============================================================================== c | 71 | 1497 1863 491700 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6818 c Elapsed CPU time: 53.7408 s Remaining CPU time: 126.259 s c =============================================================================== c | 71 | 1497 1864 493050 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6817 c Elapsed CPU time: 54.0468 s Remaining CPU time: 125.953 s c =============================================================================== c | 71 | 1497 1865 494400 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6816 c Elapsed CPU time: 54.3697 s Remaining CPU time: 125.63 s c =============================================================================== c | 71 | 1497 1866 495750 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6815 c Elapsed CPU time: 54.6787 s Remaining CPU time: 125.321 s c =============================================================================== c | 71 | 1497 1867 497100 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6814 c Elapsed CPU time: 54.9956 s Remaining CPU time: 125.004 s c =============================================================================== c | 71 | 1497 1868 498450 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6813 c Elapsed CPU time: 55.3056 s Remaining CPU time: 124.694 s c =============================================================================== c | 71 | 1497 1869 499800 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6812 c Elapsed CPU time: 55.6265 s Remaining CPU time: 124.373 s c =============================================================================== c | 71 | 1497 1870 501150 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6811 c Elapsed CPU time: 55.9385 s Remaining CPU time: 124.062 s c =============================================================================== c | 71 | 1497 1871 502500 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6810 c Elapsed CPU time: 56.2654 s Remaining CPU time: 123.735 s c =============================================================================== c | 71 | 1497 1872 503850 | 5000 71 1199 | 0.000 % | c =============================================================================== c New solution: 6809 c Elapsed CPU time: 56.6474 s Remaining CPU time: 123.353 s c =============================================================================== c | 78 | 1497 1873 505200 | 5000 78 1206 | 0.000 % | c =============================================================================== c New solution: 6808 c Elapsed CPU time: 56.9783 s Remaining CPU time: 123.022 s c =============================================================================== c | 78 | 1497 1874 506550 | 5000 78 1206 | 0.000 % | c =============================================================================== c New solution: 6807 c Elapsed CPU time: 57.3063 s Remaining CPU time: 122.694 s c =============================================================================== c | 78 | 1497 1875 507900 | 5000 78 1206 | 0.000 % | c =============================================================================== c New solution: 6806 c Elapsed CPU time: 57.6322 s Remaining CPU time: 122.368 s c =============================================================================== c | 80 | 1497 1876 509250 | 5000 80 1208 | 0.000 % | c =============================================================================== c New solution: 6805 c Elapsed CPU time: 57.9462 s Remaining CPU time: 122.054 s c =============================================================================== c | 81 | 1497 1877 510600 | 5000 81 1193 | 0.000 % | c =============================================================================== c New solution: 6804 c Elapsed CPU time: 58.2801 s Remaining CPU time: 121.72 s c =============================================================================== c | 81 | 1497 1878 511950 | 5000 81 1193 | 0.000 % | c =============================================================================== c New solution: 6803 c Elapsed CPU time: 58.6261 s Remaining CPU time: 121.374 s c =============================================================================== c | 81 | 1497 1879 513300 | 5000 81 1193 | 0.000 % | c =============================================================================== c New solution: 6802 c Elapsed CPU time: 58.954 s Remaining CPU time: 121.046 s c =============================================================================== c | 81 | 1497 1880 514650 | 5000 81 1193 | 0.000 % | c =============================================================================== c New solution: 6801 c Elapsed CPU time: 59.274 s Remaining CPU time: 120.726 s c =============================================================================== c | 81 | 1497 1881 516000 | 5000 81 1193 | 0.000 % | c =============================================================================== c New solution: 6800 c Elapsed CPU time: 59.6279 s Remaining CPU time: 120.372 s c =============================================================================== c | 83 | 1497 1882 517350 | 5000 83 1195 | 0.000 % | c =============================================================================== c New solution: 6799 c Elapsed CPU time: 59.9639 s Remaining CPU time: 120.036 s c =============================================================================== c | 83 | 1497 1883 518700 | 5000 83 1195 | 0.000 % | c =============================================================================== c New solution: 6798 c Elapsed CPU time: 60.2928 s Remaining CPU time: 119.707 s c =============================================================================== c | 83 | 1497 1884 520050 | 5000 83 1195 | 0.000 % | c =============================================================================== c New solution: 6797 c Elapsed CPU time: 60.6348 s Remaining CPU time: 119.365 s c =============================================================================== c | 83 | 1497 1885 521400 | 5000 83 1195 | 0.000 % | c =============================================================================== c New solution: 6796 c Elapsed CPU time: 60.9467 s Remaining CPU time: 119.053 s c =============================================================================== c | 83 | 1497 1886 522750 | 5000 83 1195 | 0.000 % | c =============================================================================== c New solution: 6795 c Elapsed CPU time: 61.2737 s Remaining CPU time: 118.726 s c =============================================================================== c | 83 | 1497 1887 524100 | 5000 83 1195 | 0.000 % | c =============================================================================== c New solution: 6794 c Elapsed CPU time: 61.6056 s Remaining CPU time: 118.394 s c =============================================================================== c | 83 | 1497 1888 525450 | 5000 83 1195 | 0.000 % | c =============================================================================== c New solution: 6793 c Elapsed CPU time: 61.9406 s Remaining CPU time: 118.059 s c =============================================================================== c | 83 | 1497 1889 526800 | 5000 83 1195 | 0.000 % | c =============================================================================== c New solution: 6792 c Elapsed CPU time: 62.2955 s Remaining CPU time: 117.704 s c =============================================================================== c | 84 | 1497 1890 528150 | 5000 84 1196 | 0.000 % | c =============================================================================== c New solution: 6791 c Elapsed CPU time: 62.6355 s Remaining CPU time: 117.365 s c =============================================================================== c | 84 | 1497 1891 529500 | 5000 84 1196 | 0.000 % | c =============================================================================== c New solution: 6790 c Elapsed CPU time: 62.9934 s Remaining CPU time: 117.007 s c =============================================================================== c | 87 | 1497 1892 530850 | 5000 87 1198 | 0.000 % | c =============================================================================== c New solution: 6789 c Elapsed CPU time: 63.3234 s Remaining CPU time: 116.677 s c =============================================================================== c | 87 | 1497 1893 532200 | 5000 87 1198 | 0.000 % | c =============================================================================== c New solution: 6788 c Elapsed CPU time: 63.6483 s Remaining CPU time: 116.352 s c =============================================================================== c | 88 | 1497 1894 533550 | 5000 88 1185 | 0.000 % | c =============================================================================== c New solution: 6787 c Elapsed CPU time: 63.9913 s Remaining CPU time: 116.009 s c =============================================================================== c | 88 | 1497 1895 534900 | 5000 88 1185 | 0.000 % | c =============================================================================== c New solution: 6786 c Elapsed CPU time: 64.3302 s Remaining CPU time: 115.67 s c =============================================================================== c | 90 | 1497 1896 536250 | 5000 90 1187 | 0.000 % | c =============================================================================== c New solution: 6785 c Elapsed CPU time: 64.6752 s Remaining CPU time: 115.325 s c =============================================================================== c | 91 | 1497 1897 537600 | 5000 91 1188 | 0.000 % | c =============================================================================== c New solution: 6784 c Elapsed CPU time: 65.0191 s Remaining CPU time: 114.981 s c =============================================================================== c | 91 | 1497 1898 538950 | 5000 91 1188 | 0.000 % | c =============================================================================== c New solution: 6783 c Elapsed CPU time: 65.3561 s Remaining CPU time: 114.644 s c =============================================================================== c | 91 | 1497 1899 540300 | 5000 91 1188 | 0.000 % | c =============================================================================== c New solution: 6782 c Elapsed CPU time: 65.71 s Remaining CPU time: 114.29 s c =============================================================================== c | 92 | 1497 1900 541650 | 5000 92 1189 | 0.000 % | c =============================================================================== c New solution: 6781 c Elapsed CPU time: 66.061 s Remaining CPU time: 113.939 s c =============================================================================== c | 92 | 1497 1901 543000 | 5000 92 1189 | 0.000 % | c =============================================================================== c New solution: 6780 c Elapsed CPU time: 66.4089 s Remaining CPU time: 113.591 s c =============================================================================== c | 92 | 1497 1902 544350 | 5000 92 1189 | 0.000 % | c =============================================================================== c New solution: 6779 c Elapsed CPU time: 66.7439 s Remaining CPU time: 113.256 s c =============================================================================== c | 92 | 1497 1903 545700 | 5000 92 1189 | 0.000 % | c =============================================================================== c New solution: 6778 c Elapsed CPU time: 67.0838 s Remaining CPU time: 112.916 s c =============================================================================== c | 92 | 1497 1904 547050 | 5000 92 1189 | 0.000 % | c =============================================================================== c New solution: 6777 c Elapsed CPU time: 67.4247 s Remaining CPU time: 112.575 s c =============================================================================== c | 94 | 1497 1905 548400 | 5000 94 1191 | 0.000 % | c =============================================================================== c New solution: 6776 c Elapsed CPU time: 67.7857 s Remaining CPU time: 112.214 s c =============================================================================== c | 97 | 1497 1906 549750 | 5000 97 1193 | 0.000 % | c =============================================================================== c New solution: 6775 c Elapsed CPU time: 68.1326 s Remaining CPU time: 111.867 s c =============================================================================== c | 97 | 1497 1907 551100 | 5000 97 1193 | 0.000 % | c =============================================================================== c New solution: 6774 c Elapsed CPU time: 68.5006 s Remaining CPU time: 111.499 s c =============================================================================== c | 97 | 1497 1908 552450 | 5000 97 1193 | 0.000 % | c =============================================================================== c New solution: 6773 c Elapsed CPU time: 68.8735 s Remaining CPU time: 111.126 s c =============================================================================== c | 99 | 1497 1909 553800 | 5000 99 1195 | 0.000 % | c =============================================================================== c New solution: 6772 c Elapsed CPU time: 69.2275 s Remaining CPU time: 110.773 s c =============================================================================== c | 99 | 1497 1910 555150 | 5000 99 1195 | 0.000 % | c =============================================================================== c New solution: 6771 c Elapsed CPU time: 69.6094 s Remaining CPU time: 110.391 s c =============================================================================== c | 101 | 1497 1911 556500 | 5000 101 1196 | 0.000 % | c =============================================================================== c New solution: 6770 c Elapsed CPU time: 69.9594 s Remaining CPU time: 110.041 s c =============================================================================== c | 101 | 1497 1912 557850 | 5000 101 1196 | 0.000 % | c =============================================================================== c New solution: 6769 c Elapsed CPU time: 70.3143 s Remaining CPU time: 109.686 s c =============================================================================== c | 101 | 1497 1913 559200 | 5000 101 1196 | 0.000 % | c =============================================================================== c New solution: 6768 c Elapsed CPU time: 70.6713 s Remaining CPU time: 109.329 s c =============================================================================== c | 102 | 1497 1914 560550 | 5000 102 1197 | 0.000 % | c =============================================================================== c New solution: 6767 c Elapsed CPU time: 71.0312 s Remaining CPU time: 108.969 s c =============================================================================== c | 102 | 1497 1915 561900 | 5000 102 1197 | 0.000 % | c =============================================================================== c New solution: 6766 c Elapsed CPU time: 71.4381 s Remaining CPU time: 108.562 s c =============================================================================== c | 109 | 1497 1916 563250 | 5000 109 1202 | 0.000 % | c =============================================================================== c New solution: 6765 c Elapsed CPU time: 71.8091 s Remaining CPU time: 108.191 s c =============================================================================== c | 110 | 1497 1917 564600 | 5000 110 1202 | 0.000 % | c =============================================================================== c New solution: 6764 c Elapsed CPU time: 72.261 s Remaining CPU time: 107.739 s c =============================================================================== c | 128 | 1497 1918 565950 | 5000 128 1212 | 0.000 % | c =============================================================================== c New solution: 6763 c Elapsed CPU time: 72.655 s Remaining CPU time: 107.345 s c =============================================================================== c | 130 | 1497 1919 567300 | 5000 130 1203 | 0.000 % | c =============================================================================== c New solution: 6762 c Elapsed CPU time: 73.0069 s Remaining CPU time: 106.993 s c =============================================================================== c | 130 | 1497 1920 568650 | 5000 130 1203 | 0.000 % | c =============================================================================== c New solution: 6761 c Elapsed CPU time: 73.3678 s Remaining CPU time: 106.632 s c =============================================================================== c | 131 | 1497 1921 570000 | 5000 131 1204 | 0.000 % | c =============================================================================== c New solution: 6760 c Elapsed CPU time: 73.7228 s Remaining CPU time: 106.277 s c =============================================================================== c | 131 | 1497 1922 571350 | 5000 131 1204 | 0.000 % | c =============================================================================== c New solution: 6759 c Elapsed CPU time: 74.0977 s Remaining CPU time: 105.902 s c =============================================================================== c | 132 | 1497 1923 572700 | 5000 132 1204 | 0.000 % | c =============================================================================== c New solution: 6758 c Elapsed CPU time: 74.5137 s Remaining CPU time: 105.486 s c =============================================================================== c | 135 | 1497 1924 574050 | 5000 135 1206 | 0.000 % | c =============================================================================== c New solution: 6757 c Elapsed CPU time: 74.8796 s Remaining CPU time: 105.12 s c =============================================================================== c | 137 | 1497 1925 575400 | 5000 137 1207 | 0.000 % | c =============================================================================== c New solution: 6756 c Elapsed CPU time: 75.2506 s Remaining CPU time: 104.749 s c =============================================================================== c | 138 | 1497 1926 576750 | 5000 138 1207 | 0.000 % | c =============================================================================== c New solution: 6755 c Elapsed CPU time: 75.5995 s Remaining CPU time: 104.4 s c =============================================================================== c | 138 | 1497 1927 578100 | 5000 138 1207 | 0.000 % | c =============================================================================== c New solution: 6754 c Elapsed CPU time: 75.9475 s Remaining CPU time: 104.053 s c =============================================================================== c | 138 | 1497 1928 579450 | 5000 138 1207 | 0.000 % | c =============================================================================== c New solution: 6753 c Elapsed CPU time: 76.3224 s Remaining CPU time: 103.678 s c =============================================================================== c | 141 | 1497 1929 580800 | 5000 141 1208 | 0.000 % | c =============================================================================== c New solution: 6752 c Elapsed CPU time: 76.7033 s Remaining CPU time: 103.297 s c =============================================================================== c | 145 | 1497 1930 582150 | 5000 145 1210 | 0.000 % | c =============================================================================== c New solution: 6751 c Elapsed CPU time: 77.0893 s Remaining CPU time: 102.911 s c =============================================================================== c | 145 | 1497 1931 583500 | 5000 145 1210 | 0.000 % | c =============================================================================== c New solution: 6750 c Elapsed CPU time: 77.4452 s Remaining CPU time: 102.555 s c =============================================================================== c | 145 | 1497 1932 584850 | 5000 145 1210 | 0.000 % | c =============================================================================== c New solution: 6749 c Elapsed CPU time: 77.8442 s Remaining CPU time: 102.156 s c =============================================================================== c | 148 | 1497 1933 586200 | 5000 148 1211 | 0.000 % | c =============================================================================== c New solution: 6748 c Elapsed CPU time: 78.2041 s Remaining CPU time: 101.796 s c =============================================================================== c | 148 | 1497 1934 587550 | 5000 148 1211 | 0.000 % | c =============================================================================== c New solution: 6747 c Elapsed CPU time: 78.5741 s Remaining CPU time: 101.426 s c =============================================================================== c | 148 | 1497 1935 588900 | 5000 148 1211 | 0.000 % | c =============================================================================== c New solution: 6746 c Elapsed CPU time: 78.99 s Remaining CPU time: 101.01 s c =============================================================================== c | 149 | 1497 1936 590250 | 5000 149 1211 | 0.000 % | c =============================================================================== c New solution: 6745 c Elapsed CPU time: 79.3819 s Remaining CPU time: 100.618 s c =============================================================================== c | 150 | 1497 1937 591600 | 5000 150 1212 | 0.000 % | c =============================================================================== c New solution: 6744 c Elapsed CPU time: 79.7919 s Remaining CPU time: 100.208 s c =============================================================================== c | 152 | 1497 1938 592950 | 5000 152 1213 | 0.000 % | c =============================================================================== c New solution: 6743 c Elapsed CPU time: 80.1618 s Remaining CPU time: 99.8382 s c =============================================================================== c | 152 | 1497 1939 594300 | 5000 152 1213 | 0.000 % | c =============================================================================== c New solution: 6742 c Elapsed CPU time: 80.5648 s Remaining CPU time: 99.4352 s c =============================================================================== c | 153 | 1497 1940 595650 | 5000 153 1213 | 0.000 % | c =============================================================================== c New solution: 6741 c Elapsed CPU time: 80.9607 s Remaining CPU time: 99.0393 s c =============================================================================== c | 153 | 1497 1941 597000 | 5000 153 1213 | 0.000 % | c =============================================================================== c New solution: 6740 c Elapsed CPU time: 81.3486 s Remaining CPU time: 98.6514 s c =============================================================================== c | 153 | 1497 1942 598350 | 5000 153 1213 | 0.000 % | c =============================================================================== c New solution: 6739 c Elapsed CPU time: 81.7446 s Remaining CPU time: 98.2554 s c =============================================================================== c | 156 | 1497 1943 599700 | 5000 156 1214 | 0.000 % | c =============================================================================== c New solution: 6738 c Elapsed CPU time: 82.1145 s Remaining CPU time: 97.8855 s c =============================================================================== c | 156 | 1497 1944 601050 | 5000 156 1214 | 0.000 % | c =============================================================================== c New solution: 6737 c Elapsed CPU time: 82.4915 s Remaining CPU time: 97.5085 s c =============================================================================== c | 157 | 1497 1945 602400 | 5000 157 1214 | 0.000 % | c =============================================================================== c New solution: 6736 c Elapsed CPU time: 82.8804 s Remaining CPU time: 97.1196 s c =============================================================================== c | 157 | 1497 1946 603750 | 5000 157 1214 | 0.000 % | c =============================================================================== c New solution: 6735 c Elapsed CPU time: 83.2733 s Remaining CPU time: 96.7267 s c =============================================================================== c | 157 | 1497 1947 605100 | 5000 157 1214 | 0.000 % | c =============================================================================== c New solution: 6734 c Elapsed CPU time: 83.6713 s Remaining CPU time: 96.3287 s c =============================================================================== c | 158 | 1497 1948 606450 | 5000 158 1215 | 0.000 % | c =============================================================================== c New solution: 6733 c Elapsed CPU time: 84.0712 s Remaining CPU time: 95.9288 s c =============================================================================== c | 158 | 1497 1949 607800 | 5000 158 1215 | 0.000 % | c =============================================================================== c New solution: 6732 c Elapsed CPU time: 84.4552 s Remaining CPU time: 95.5448 s c =============================================================================== c | 158 | 1497 1950 609150 | 5000 158 1215 | 0.000 % | c =============================================================================== c New solution: 6731 c Elapsed CPU time: 84.8451 s Remaining CPU time: 95.1549 s c =============================================================================== c | 159 | 1497 1951 610500 | 5000 159 1215 | 0.000 % | c =============================================================================== c New solution: 6730 c Elapsed CPU time: 85.246 s Remaining CPU time: 94.754 s c =============================================================================== c | 160 | 1497 1952 611850 | 5000 160 1215 | 0.000 % | c =============================================================================== c New solution: 6729 c Elapsed CPU time: 85.644 s Remaining CPU time: 94.356 s c =============================================================================== c | 164 | 1497 1953 613200 | 5000 164 1216 | 0.000 % | c =============================================================================== c New solution: 6728 c Elapsed CPU time: 86.0499 s Remaining CPU time: 93.9501 s c =============================================================================== c | 164 | 1497 1954 614550 | 5000 164 1216 | 0.000 % | c =============================================================================== c New solution: 6727 c Elapsed CPU time: 86.4769 s Remaining CPU time: 93.5231 s c =============================================================================== c | 166 | 1497 1955 615900 | 5000 166 1217 | 0.000 % | c =============================================================================== c New solution: 6726 c Elapsed CPU time: 86.8708 s Remaining CPU time: 93.1292 s c =============================================================================== c | 166 | 1497 1956 617250 | 5000 166 1217 | 0.000 % | c =============================================================================== c New solution: 6725 c Elapsed CPU time: 87.2597 s Remaining CPU time: 92.7403 s c =============================================================================== c | 166 | 1497 1957 618600 | 5000 166 1217 | 0.000 % | c =============================================================================== c New solution: 6724 c Elapsed CPU time: 87.6617 s Remaining CPU time: 92.3383 s c =============================================================================== c | 166 | 1497 1958 619950 | 5000 166 1217 | 0.000 % | c =============================================================================== c New solution: 6723 c Elapsed CPU time: 88.0616 s Remaining CPU time: 91.9384 s c =============================================================================== c | 167 | 1497 1959 621300 | 5000 167 1217 | 0.000 % | c =============================================================================== c New solution: 6722 c Elapsed CPU time: 88.4706 s Remaining CPU time: 91.5294 s c =============================================================================== c | 167 | 1497 1960 622650 | 5000 167 1217 | 0.000 % | c =============================================================================== c New solution: 6721 c Elapsed CPU time: 88.8635 s Remaining CPU time: 91.1365 s c =============================================================================== c | 169 | 1497 1961 624000 | 5000 169 1218 | 0.000 % | c =============================================================================== c New solution: 6720 c Elapsed CPU time: 89.2504 s Remaining CPU time: 90.7496 s c =============================================================================== c | 169 | 1497 1962 625350 | 5000 169 1218 | 0.000 % | c =============================================================================== c New solution: 6719 c Elapsed CPU time: 89.6464 s Remaining CPU time: 90.3536 s c =============================================================================== c | 169 | 1497 1963 626700 | 5000 169 1218 | 0.000 % | c =============================================================================== c New solution: 6718 c Elapsed CPU time: 90.0593 s Remaining CPU time: 89.9407 s c =============================================================================== c | 169 | 1497 1964 628050 | 5000 169 1218 | 0.000 % | c =============================================================================== c New solution: 6717 c Elapsed CPU time: 90.4872 s Remaining CPU time: 89.5128 s c =============================================================================== c | 170 | 1497 1965 629400 | 5000 170 1218 | 0.000 % | c =============================================================================== c New solution: 6716 c Elapsed CPU time: 90.9112 s Remaining CPU time: 89.0888 s c =============================================================================== c | 170 | 1497 1966 630750 | 5000 170 1218 | 0.000 % | c =============================================================================== c New solution: 6715 c Elapsed CPU time: 91.3221 s Remaining CPU time: 88.6779 s c =============================================================================== c | 170 | 1497 1967 632100 | 5000 170 1218 | 0.000 % | c =============================================================================== c New solution: 6714 c Elapsed CPU time: 91.7271 s Remaining CPU time: 88.2729 s c =============================================================================== c | 170 | 1497 1968 633450 | 5000 170 1218 | 0.000 % | c =============================================================================== c New solution: 6713 c Elapsed CPU time: 92.129 s Remaining CPU time: 87.871 s c =============================================================================== c | 170 | 1497 1969 634800 | 5000 170 1218 | 0.000 % | c =============================================================================== c New solution: 6712 c Elapsed CPU time: 92.5279 s Remaining CPU time: 87.4721 s c =============================================================================== c | 170 | 1497 1970 636150 | 5000 170 1218 | 0.000 % | c =============================================================================== c New solution: 6711 c Elapsed CPU time: 92.9709 s Remaining CPU time: 87.0291 s c =============================================================================== c | 173 | 1497 1971 637500 | 5000 173 1219 | 0.000 % | c =============================================================================== c New solution: 6710 c Elapsed CPU time: 93.3818 s Remaining CPU time: 86.6182 s c =============================================================================== c | 173 | 1497 1972 638850 | 5000 173 1219 | 0.000 % | c =============================================================================== c New solution: 6709 c Elapsed CPU time: 93.8107 s Remaining CPU time: 86.1893 s c =============================================================================== c | 174 | 1497 1973 640200 | 5000 174 1219 | 0.000 % | c =============================================================================== c New solution: 6708 c Elapsed CPU time: 94.2097 s Remaining CPU time: 85.7903 s c =============================================================================== c | 174 | 1497 1974 641550 | 5000 174 1219 | 0.000 % | c =============================================================================== c New solution: 6707 c Elapsed CPU time: 94.7136 s Remaining CPU time: 85.2864 s c =============================================================================== c | 180 | 1497 1975 642900 | 5000 180 1221 | 0.000 % | c =============================================================================== c New solution: 6706 c Elapsed CPU time: 95.1325 s Remaining CPU time: 84.8675 s c =============================================================================== c | 180 | 1497 1976 644250 | 5000 180 1221 | 0.000 % | c =============================================================================== c New solution: 6705 c Elapsed CPU time: 95.5465 s Remaining CPU time: 84.4535 s c =============================================================================== c | 180 | 1497 1977 645600 | 5000 180 1221 | 0.000 % | c =============================================================================== c New solution: 6704 c Elapsed CPU time: 95.9494 s Remaining CPU time: 84.0506 s c =============================================================================== c | 180 | 1497 1978 646950 | 5000 180 1221 | 0.000 % | c =============================================================================== c New solution: 6703 c Elapsed CPU time: 96.3673 s Remaining CPU time: 83.6327 s c =============================================================================== c | 180 | 1497 1979 648300 | 5000 180 1221 | 0.000 % | c =============================================================================== c New solution: 6702 c Elapsed CPU time: 96.7793 s Remaining CPU time: 83.2207 s c =============================================================================== c | 180 | 1497 1980 649650 | 5000 180 1221 | 0.000 % | c =============================================================================== c New solution: 6701 c Elapsed CPU time: 97.2122 s Remaining CPU time: 82.7878 s c =============================================================================== c | 180 | 1497 1981 651000 | 5000 180 1221 | 0.000 % | c =============================================================================== c New solution: 6700 c Elapsed CPU time: 97.7701 s Remaining CPU time: 82.2299 s c =============================================================================== c | 208 | 1497 1982 652350 | 5000 208 1220 | 0.000 % | c =============================================================================== c New solution: 6699 c Elapsed CPU time: 98.1921 s Remaining CPU time: 81.8079 s c =============================================================================== c | 217 | 1497 1983 653700 | 5000 217 1222 | 0.000 % | c =============================================================================== c New solution: 6698 c Elapsed CPU time: 98.645 s Remaining CPU time: 81.355 s c =============================================================================== c | 219 | 1497 1984 655050 | 5000 219 1222 | 0.000 % | c =============================================================================== c New solution: 6697 c Elapsed CPU time: 99.0699 s Remaining CPU time: 80.9301 s c =============================================================================== c | 228 | 1497 1985 656400 | 5000 228 1223 | 0.000 % | c =============================================================================== c New solution: 6696 c Elapsed CPU time: 99.4789 s Remaining CPU time: 80.5211 s c =============================================================================== c | 230 | 1497 1986 657750 | 5000 230 1224 | 0.000 % | c =============================================================================== c New solution: 6695 c Elapsed CPU time: 99.9108 s Remaining CPU time: 80.0892 s c =============================================================================== c | 230 | 1497 1987 659100 | 5000 230 1224 | 0.000 % | c =============================================================================== c New solution: 6694 c Elapsed CPU time: 100.357 s Remaining CPU time: 79.6433 s c =============================================================================== c | 232 | 1497 1988 660450 | 5000 232 1224 | 0.000 % | c =============================================================================== c New solution: 6693 c Elapsed CPU time: 100.793 s Remaining CPU time: 79.2073 s c =============================================================================== c | 241 | 1497 1989 661800 | 5000 241 1225 | 0.000 % | c =============================================================================== c New solution: 6692 c Elapsed CPU time: 101.21 s Remaining CPU time: 78.7904 s c =============================================================================== c | 241 | 1497 1990 663150 | 5000 241 1225 | 0.000 % | c =============================================================================== c New solution: 6691 c Elapsed CPU time: 101.671 s Remaining CPU time: 78.3295 s c =============================================================================== c | 244 | 1497 1991 664500 | 5000 244 1226 | 0.000 % | c =============================================================================== c New solution: 6690 c Elapsed CPU time: 102.113 s Remaining CPU time: 77.8865 s c =============================================================================== c | 245 | 1497 1992 665850 | 5000 245 1226 | 0.000 % | c =============================================================================== c New solution: 6689 c Elapsed CPU time: 102.606 s Remaining CPU time: 77.3936 s c =============================================================================== c | 270 | 1497 1993 667200 | 5000 270 1229 | 0.000 % | c =============================================================================== c New solution: 6688 c Elapsed CPU time: 103.135 s Remaining CPU time: 76.8647 s c =============================================================================== c | 297 | 1497 1994 668550 | 5000 297 1231 | 0.000 % | c =============================================================================== c New solution: 6687 c Elapsed CPU time: 103.579 s Remaining CPU time: 76.4207 s c =============================================================================== c | 305 | 1497 1995 669900 | 5000 305 1232 | 0.000 % | c =============================================================================== c New solution: 6686 c Elapsed CPU time: 104.022 s Remaining CPU time: 75.9778 s c =============================================================================== c | 314 | 1497 1996 671250 | 5000 314 1233 | 0.000 % | c =============================================================================== c New solution: 6685 c Elapsed CPU time: 104.433 s Remaining CPU time: 75.5669 s c =============================================================================== c | 314 | 1497 1997 672600 | 5000 314 1233 | 0.000 % | c =============================================================================== c New solution: 6684 c Elapsed CPU time: 104.878 s Remaining CPU time: 75.1219 s c =============================================================================== c | 315 | 1497 1998 673950 | 5000 315 1233 | 0.000 % | c =============================================================================== c New solution: 6683 c Elapsed CPU time: 105.304 s Remaining CPU time: 74.696 s c =============================================================================== c | 315 | 1497 1999 675300 | 5000 315 1233 | 0.000 % | c =============================================================================== c New solution: 6682 c Elapsed CPU time: 105.732 s Remaining CPU time: 74.2681 s c =============================================================================== c | 315 | 1497 2000 676650 | 5000 315 1233 | 0.000 % | c =============================================================================== c New solution: 6681 c Elapsed CPU time: 106.174 s Remaining CPU time: 73.8261 s c =============================================================================== c | 316 | 1497 2001 678000 | 5000 316 1233 | 0.000 % | c =============================================================================== c New solution: 6680 c Elapsed CPU time: 106.616 s Remaining CPU time: 73.3842 s c =============================================================================== c | 319 | 1497 2002 679350 | 5000 319 1233 | 0.000 % | c =============================================================================== c New solution: 6679 c Elapsed CPU time: 107.063 s Remaining CPU time: 72.9373 s c =============================================================================== c | 325 | 1497 2003 680700 | 5000 325 1233 | 0.000 % | c =============================================================================== c New solution: 6678 c Elapsed CPU time: 107.542 s Remaining CPU time: 72.4583 s c =============================================================================== c | 329 | 1497 2004 682050 | 5000 329 1234 | 0.000 % | c =============================================================================== c New solution: 6677 c Elapsed CPU time: 107.981 s Remaining CPU time: 72.0194 s c =============================================================================== c | 329 | 1497 2005 683400 | 5000 329 1234 | 0.000 % | c =============================================================================== c New solution: 6676 c Elapsed CPU time: 108.435 s Remaining CPU time: 71.5655 s c =============================================================================== c | 330 | 1497 2006 684750 | 5000 330 1234 | 0.000 % | c =============================================================================== c New solution: 6675 c Elapsed CPU time: 108.867 s Remaining CPU time: 71.1326 s c =============================================================================== c | 330 | 1497 2007 686100 | 5000 330 1234 | 0.000 % | c =============================================================================== c New solution: 6674 c Elapsed CPU time: 109.295 s Remaining CPU time: 70.7046 s c =============================================================================== c | 332 | 1497 2008 687450 | 5000 332 1234 | 0.000 % | c =============================================================================== c New solution: 6673 c Elapsed CPU time: 109.834 s Remaining CPU time: 70.1657 s c =============================================================================== c | 344 | 1497 2009 688800 | 5000 344 1235 | 0.000 % | c =============================================================================== c New solution: 6672 c Elapsed CPU time: 110.292 s Remaining CPU time: 69.7078 s c =============================================================================== c | 347 | 1497 2010 690150 | 5000 347 1235 | 0.000 % | c =============================================================================== c New solution: 6671 c Elapsed CPU time: 110.726 s Remaining CPU time: 69.2738 s c =============================================================================== c | 348 | 1497 2011 691500 | 5000 348 1235 | 0.000 % | c =============================================================================== c New solution: 6670 c Elapsed CPU time: 111.208 s Remaining CPU time: 68.7919 s c =============================================================================== c | 355 | 1497 2012 692850 | 5000 355 1235 | 0.000 % | c =============================================================================== c New solution: 6669 c Elapsed CPU time: 111.696 s Remaining CPU time: 68.304 s c =============================================================================== c | 363 | 1497 2013 694200 | 5000 363 1236 | 0.000 % | c =============================================================================== c New solution: 6668 c Elapsed CPU time: 112.159 s Remaining CPU time: 67.8411 s c =============================================================================== c | 364 | 1497 2014 695550 | 5000 364 1236 | 0.000 % | c =============================================================================== c New solution: 6667 c Elapsed CPU time: 112.654 s Remaining CPU time: 67.3461 s c =============================================================================== c | 386 | 1497 2015 696900 | 5000 386 1237 | 0.000 % | c =============================================================================== c New solution: 6666 c Elapsed CPU time: 113.116 s Remaining CPU time: 66.8842 s c =============================================================================== c | 388 | 1497 2016 698250 | 5000 388 1237 | 0.000 % | c =============================================================================== c New solution: 6665 c Elapsed CPU time: 113.558 s Remaining CPU time: 66.4423 s c =============================================================================== c | 388 | 1497 2017 699600 | 5000 388 1237 | 0.000 % | c =============================================================================== c New solution: 6664 c Elapsed CPU time: 114.06 s Remaining CPU time: 65.9403 s c =============================================================================== c | 395 | 1497 2018 700950 | 5000 395 1237 | 0.000 % | c =============================================================================== c New solution: 6663 c Elapsed CPU time: 114.536 s Remaining CPU time: 65.4644 s c =============================================================================== c | 400 | 1497 2019 702300 | 5000 400 1237 | 0.000 % | c =============================================================================== c New solution: 6662 c Elapsed CPU time: 115.008 s Remaining CPU time: 64.9925 s c =============================================================================== c | 402 | 1497 2020 703650 | 5000 402 1237 | 0.000 % | c =============================================================================== c New solution: 6661 c Elapsed CPU time: 115.502 s Remaining CPU time: 64.4976 s c =============================================================================== c | 412 | 1497 2021 705000 | 5000 412 1238 | 0.000 % | c =============================================================================== c New solution: 6660 c Elapsed CPU time: 115.962 s Remaining CPU time: 64.0376 s c =============================================================================== c | 414 | 1497 2022 706350 | 5000 414 1238 | 0.000 % | c =============================================================================== c New solution: 6659 c Elapsed CPU time: 116.419 s Remaining CPU time: 63.5807 s c =============================================================================== c | 414 | 1497 2023 707700 | 5000 414 1238 | 0.000 % | c =============================================================================== c New solution: 6658 c Elapsed CPU time: 116.883 s Remaining CPU time: 63.1168 s c =============================================================================== c | 415 | 1497 2024 709050 | 5000 415 1238 | 0.000 % | c =============================================================================== c New solution: 6657 c Elapsed CPU time: 117.37 s Remaining CPU time: 62.6298 s c =============================================================================== c | 430 | 1497 2025 710400 | 5000 430 1238 | 0.000 % | c =============================================================================== c New solution: 6656 c Elapsed CPU time: 117.886 s Remaining CPU time: 62.1139 s c =============================================================================== c | 437 | 1497 2026 711750 | 5000 437 1239 | 0.000 % | c =============================================================================== c New solution: 6655 c Elapsed CPU time: 118.38 s Remaining CPU time: 61.62 s c =============================================================================== c | 440 | 1497 2027 713100 | 5000 440 1239 | 0.000 % | c =============================================================================== c New solution: 6654 c Elapsed CPU time: 118.878 s Remaining CPU time: 61.1221 s c =============================================================================== c | 443 | 1497 2028 714450 | 5000 443 1239 | 0.000 % | c =============================================================================== c New solution: 6653 c Elapsed CPU time: 119.384 s Remaining CPU time: 60.6162 s c =============================================================================== c | 446 | 1497 2029 715800 | 5000 446 1236 | 0.000 % | c =============================================================================== c New solution: 6652 c Elapsed CPU time: 119.889 s Remaining CPU time: 60.1112 s c =============================================================================== c | 451 | 1497 2030 717150 | 5000 451 1236 | 0.000 % | c =============================================================================== c New solution: 6651 c Elapsed CPU time: 120.384 s Remaining CPU time: 59.6163 s c =============================================================================== c | 454 | 1497 2031 718500 | 5000 454 1236 | 0.000 % | c =============================================================================== c New solution: 6650 c Elapsed CPU time: 120.827 s Remaining CPU time: 59.1734 s c =============================================================================== c | 455 | 1497 2032 719850 | 5000 455 1236 | 0.000 % | c =============================================================================== c New solution: 6649 c Elapsed CPU time: 121.287 s Remaining CPU time: 58.7134 s c =============================================================================== c | 457 | 1497 2033 721200 | 5000 457 1236 | 0.000 % | c =============================================================================== c New solution: 6648 c Elapsed CPU time: 121.817 s Remaining CPU time: 58.1825 s c =============================================================================== c | 462 | 1497 2034 722550 | 5000 462 1237 | 0.000 % | c =============================================================================== c New solution: 6647 c Elapsed CPU time: 122.291 s Remaining CPU time: 57.7086 s c =============================================================================== c | 462 | 1497 2035 723900 | 5000 462 1237 | 0.000 % | c =============================================================================== c New solution: 6646 c Elapsed CPU time: 122.759 s Remaining CPU time: 57.2407 s c =============================================================================== c | 463 | 1497 2036 725250 | 5000 463 1237 | 0.000 % | c =============================================================================== c New solution: 6645 c Elapsed CPU time: 123.221 s Remaining CPU time: 56.7787 s c =============================================================================== c | 463 | 1497 2037 726600 | 5000 463 1237 | 0.000 % | c =============================================================================== c New solution: 6644 c Elapsed CPU time: 123.838 s Remaining CPU time: 56.1618 s c =============================================================================== c | 487 | 1497 2038 727950 | 5000 487 1237 | 0.000 % | c =============================================================================== c New solution: 6643 c Elapsed CPU time: 124.346 s Remaining CPU time: 55.6539 s c =============================================================================== c | 491 | 1497 2039 729300 | 5000 491 1237 | 0.000 % | c =============================================================================== c New solution: 6642 c Elapsed CPU time: 124.855 s Remaining CPU time: 55.145 s c =============================================================================== c | 497 | 1497 2040 730650 | 5000 497 1238 | 0.000 % | c =============================================================================== c New solution: 6641 c Elapsed CPU time: 125.41 s Remaining CPU time: 54.5901 s c =============================================================================== c | 500 | 1497 2041 732000 | 5000 500 1238 | 0.000 % | c =============================================================================== c New solution: 6640 c Elapsed CPU time: 125.941 s Remaining CPU time: 54.0591 s c =============================================================================== c | 511 | 1497 2042 733350 | 5000 511 1238 | 0.000 % | c =============================================================================== c New solution: 6639 c Elapsed CPU time: 126.441 s Remaining CPU time: 53.5592 s c =============================================================================== c | 512 | 1497 2043 734700 | 5000 512 1238 | 0.000 % | c =============================================================================== c New solution: 6638 c Elapsed CPU time: 126.958 s Remaining CPU time: 53.0423 s c =============================================================================== c | 522 | 1497 2044 736050 | 5000 522 1238 | 0.000 % | c =============================================================================== c New solution: 6637 c Elapsed CPU time: 127.425 s Remaining CPU time: 52.5754 s c =============================================================================== c | 522 | 1497 2045 737400 | 5000 522 1238 | 0.000 % | c =============================================================================== c New solution: 6636 c Elapsed CPU time: 127.898 s Remaining CPU time: 52.1024 s c =============================================================================== c | 523 | 1497 2046 738750 | 5000 523 1238 | 0.000 % | c =============================================================================== c New solution: 6635 c Elapsed CPU time: 128.362 s Remaining CPU time: 51.6375 s c =============================================================================== c | 523 | 1497 2047 740100 | 5000 523 1238 | 0.000 % | c =============================================================================== c New solution: 6634 c Elapsed CPU time: 128.833 s Remaining CPU time: 51.1666 s c =============================================================================== c | 523 | 1497 2048 741450 | 5000 523 1238 | 0.000 % | c =============================================================================== c New solution: 6633 c Elapsed CPU time: 129.303 s Remaining CPU time: 50.6967 s c =============================================================================== c | 523 | 1497 2049 742800 | 5000 523 1238 | 0.000 % | c =============================================================================== c New solution: 6632 c Elapsed CPU time: 129.824 s Remaining CPU time: 50.1757 s c =============================================================================== c | 530 | 1497 2050 744150 | 5000 530 1238 | 0.000 % | c =============================================================================== c New solution: 6631 c Elapsed CPU time: 130.33 s Remaining CPU time: 49.6698 s c =============================================================================== c | 531 | 1497 2051 745500 | 5000 531 1238 | 0.000 % | c =============================================================================== c New solution: 6630 c Elapsed CPU time: 131.015 s Remaining CPU time: 48.9849 s c =============================================================================== c | 558 | 1497 2052 746850 | 5000 558 1239 | 0.000 % | c =============================================================================== c New solution: 6629 c Elapsed CPU time: 131.593 s Remaining CPU time: 48.407 s c =============================================================================== c | 585 | 1497 2053 748200 | 5000 585 1239 | 0.000 % | c =============================================================================== c New solution: 6628 c Elapsed CPU time: 132.083 s Remaining CPU time: 47.9171 s c =============================================================================== c | 589 | 1497 2054 749550 | 5000 589 1239 | 0.000 % | c =============================================================================== c New solution: 6627 c Elapsed CPU time: 132.663 s Remaining CPU time: 47.3372 s c =============================================================================== c | 605 | 1497 2055 750900 | 5000 605 1239 | 0.000 % | c =============================================================================== c New solution: 6626 c Elapsed CPU time: 133.197 s Remaining CPU time: 46.8032 s c =============================================================================== c | 608 | 1497 2056 752250 | 5000 608 1239 | 0.000 % | c =============================================================================== c New solution: 6625 c Elapsed CPU time: 133.715 s Remaining CPU time: 46.2853 s c =============================================================================== c | 617 | 1497 2057 753600 | 5000 617 1240 | 0.000 % | c =============================================================================== c New solution: 6624 c Elapsed CPU time: 134.226 s Remaining CPU time: 45.7744 s c =============================================================================== c | 623 | 1497 2058 754950 | 5000 623 1240 | 0.000 % | c =============================================================================== c New solution: 6623 c Elapsed CPU time: 134.715 s Remaining CPU time: 45.2855 s c =============================================================================== c | 626 | 1497 2059 756300 | 5000 626 1240 | 0.000 % | c =============================================================================== c New solution: 6622 c Elapsed CPU time: 135.226 s Remaining CPU time: 44.7736 s c =============================================================================== c | 626 | 1497 2060 757650 | 5000 626 1240 | 0.000 % | c =============================================================================== c New solution: 6621 c Elapsed CPU time: 135.947 s Remaining CPU time: 44.0527 s c =============================================================================== c | 667 | 1497 2061 759000 | 5000 667 1240 | 0.000 % | c =============================================================================== c New solution: 6620 c Elapsed CPU time: 136.54 s Remaining CPU time: 43.4598 s c =============================================================================== c | 683 | 1497 2062 760350 | 5000 683 1240 | 0.000 % | c =============================================================================== c New solution: 6619 c Elapsed CPU time: 137.093 s Remaining CPU time: 42.9068 s c =============================================================================== c | 713 | 1497 2063 761700 | 5000 713 1240 | 0.000 % | c =============================================================================== c New solution: 6618 c Elapsed CPU time: 137.664 s Remaining CPU time: 42.3359 s c =============================================================================== c | 744 | 1497 2064 763050 | 5000 744 1241 | 0.000 % | c =============================================================================== c New solution: 6617 c Elapsed CPU time: 138.178 s Remaining CPU time: 41.822 s c =============================================================================== c | 758 | 1497 2065 764400 | 5000 758 1241 | 0.000 % | c =============================================================================== c New solution: 6616 c Elapsed CPU time: 138.736 s Remaining CPU time: 41.2641 s c =============================================================================== c | 765 | 1497 2066 765750 | 5000 765 1241 | 0.000 % | c =============================================================================== c New solution: 6615 c Elapsed CPU time: 139.258 s Remaining CPU time: 40.7422 s c =============================================================================== c | 768 | 1497 2067 767100 | 5000 768 1241 | 0.000 % | c =============================================================================== c New solution: 6614 c Elapsed CPU time: 139.839 s Remaining CPU time: 40.1613 s c =============================================================================== c | 799 | 1497 2068 768450 | 5000 799 1241 | 0.000 % | c =============================================================================== c New solution: 6613 c Elapsed CPU time: 140.38 s Remaining CPU time: 39.6203 s c =============================================================================== c | 810 | 1497 2069 769800 | 5000 810 1241 | 0.000 % | c =============================================================================== c New solution: 6612 c Elapsed CPU time: 140.912 s Remaining CPU time: 39.0884 s c =============================================================================== c | 823 | 1497 2070 771150 | 5000 823 1241 | 0.000 % | c =============================================================================== c New solution: 6611 c Elapsed CPU time: 141.394 s Remaining CPU time: 38.6065 s c =============================================================================== c | 825 | 1497 2071 772500 | 5000 825 1241 | 0.000 % | c =============================================================================== c New solution: 6610 c Elapsed CPU time: 141.934 s Remaining CPU time: 38.0656 s c =============================================================================== c | 846 | 1497 2072 773850 | 5000 846 1241 | 0.000 % | c =============================================================================== c New solution: 6609 c Elapsed CPU time: 142.84 s Remaining CPU time: 37.1597 s c =============================================================================== c | 899 | 1497 2073 775200 | 5000 899 1241 | 0.000 % | c =============================================================================== c New solution: 6608 c Elapsed CPU time: 143.413 s Remaining CPU time: 36.5868 s c =============================================================================== c | 918 | 1497 2074 776550 | 5000 918 1241 | 0.000 % | c =============================================================================== c New solution: 6607 c Elapsed CPU time: 143.979 s Remaining CPU time: 36.0209 s c =============================================================================== c | 922 | 1497 2075 777900 | 5000 922 1241 | 0.000 % | c =============================================================================== c New solution: 6606 c Elapsed CPU time: 144.481 s Remaining CPU time: 35.519 s c =============================================================================== c | 926 | 1497 2076 779250 | 5000 926 1241 | 0.000 % | c =============================================================================== c New solution: 6605 c Elapsed CPU time: 145.008 s Remaining CPU time: 34.992 s c =============================================================================== c | 930 | 1497 2077 780600 | 5000 930 1241 | 0.000 % | c =============================================================================== c New solution: 6604 c Elapsed CPU time: 145.508 s Remaining CPU time: 34.4921 s c =============================================================================== c | 932 | 1497 2078 781950 | 5000 932 1241 | 0.000 % | c =============================================================================== c New solution: 6603 c Elapsed CPU time: 146.106 s Remaining CPU time: 33.8942 s c =============================================================================== c | 944 | 1497 2079 783300 | 5000 944 1242 | 0.000 % | c =============================================================================== c New solution: 6602 c Elapsed CPU time: 146.671 s Remaining CPU time: 33.3293 s c =============================================================================== c | 963 | 1497 2080 784650 | 5000 963 1242 | 0.000 % | c =============================================================================== c New solution: 6601 c Elapsed CPU time: 147.271 s Remaining CPU time: 32.7294 s c =============================================================================== c | 970 | 1497 2081 786000 | 5000 970 1242 | 0.000 % | c =============================================================================== c New solution: 6600 c Elapsed CPU time: 147.913 s Remaining CPU time: 32.0875 s c =============================================================================== c | 985 | 1497 2082 787350 | 5000 985 1240 | 0.000 % | c =============================================================================== c New solution: 6599 c Elapsed CPU time: 148.428 s Remaining CPU time: 31.5716 s c =============================================================================== c | 985 | 1497 2083 788700 | 5000 985 1240 | 0.000 % | c =============================================================================== c New solution: 6598 c Elapsed CPU time: 149.017 s Remaining CPU time: 30.9827 s c =============================================================================== c | 1021 | 1497 2084 790050 | 5000 1021 1240 | 0.000 % | c =============================================================================== c New solution: 6597 c Elapsed CPU time: 149.688 s Remaining CPU time: 30.3118 s c =============================================================================== c | 1083 | 1497 2085 791400 | 5000 1083 1241 | 0.000 % | c =============================================================================== c New solution: 6596 c Elapsed CPU time: 150.219 s Remaining CPU time: 29.7808 s c =============================================================================== c | 1086 | 1497 2086 792750 | 5000 1086 1241 | 0.000 % | c =============================================================================== c New solution: 6595 c Elapsed CPU time: 150.779 s Remaining CPU time: 29.2209 s c =============================================================================== c | 1096 | 1497 2087 794100 | 5000 1096 1241 | 0.000 % | c =============================================================================== c New solution: 6594 c Elapsed CPU time: 151.286 s Remaining CPU time: 28.714 s c =============================================================================== c | 1096 | 1497 2088 795450 | 5000 1096 1241 | 0.000 % | c =============================================================================== c New solution: 6593 c Elapsed CPU time: 151.922 s Remaining CPU time: 28.0781 s c =============================================================================== c | 1120 | 1497 2089 796800 | 5000 1120 1241 | 0.000 % | c =============================================================================== c New solution: 6592 c Elapsed CPU time: 152.471 s Remaining CPU time: 27.5292 s c =============================================================================== c | 1126 | 1497 2090 798150 | 5000 1126 1241 | 0.000 % | c =============================================================================== c New solution: 6591 c Elapsed CPU time: 153.02 s Remaining CPU time: 26.9803 s c =============================================================================== c | 1128 | 1497 2091 799500 | 5000 1128 1240 | 0.000 % | c =============================================================================== c New solution: 6590 c Elapsed CPU time: 153.534 s Remaining CPU time: 26.4663 s c =============================================================================== c | 1130 | 1497 2092 800850 | 5000 1130 1240 | 0.000 % | c =============================================================================== c New solution: 6589 c Elapsed CPU time: 154.029 s Remaining CPU time: 25.9714 s c =============================================================================== c | 1137 | 1497 2093 802200 | 5000 1137 1240 | 0.000 % | c =============================================================================== c New solution: 6588 c Elapsed CPU time: 154.568 s Remaining CPU time: 25.4325 s c =============================================================================== c | 1156 | 1497 2094 803550 | 5000 1156 1240 | 0.000 % | c =============================================================================== c New solution: 6587 c Elapsed CPU time: 155.124 s Remaining CPU time: 24.8756 s c =============================================================================== c | 1163 | 1497 2095 804900 | 5000 1163 1240 | 0.000 % | c =============================================================================== c New solution: 6586 c Elapsed CPU time: 155.66 s Remaining CPU time: 24.3397 s c =============================================================================== c | 1174 | 1497 2096 806250 | 5000 1174 1240 | 0.000 % | c =============================================================================== c New solution: 6585 c Elapsed CPU time: 156.188 s Remaining CPU time: 23.8117 s c =============================================================================== c | 1175 | 1497 2097 807600 | 5000 1175 1239 | 0.000 % | c =============================================================================== c New solution: 6584 c Elapsed CPU time: 156.693 s Remaining CPU time: 23.3068 s c =============================================================================== c | 1176 | 1497 2098 808950 | 5000 1176 1239 | 0.000 % | c =============================================================================== c New solution: 6583 c Elapsed CPU time: 157.196 s Remaining CPU time: 22.8039 s c =============================================================================== c | 1176 | 1497 2099 810300 | 5000 1176 1239 | 0.000 % | c =============================================================================== c New solution: 6582 c Elapsed CPU time: 157.743 s Remaining CPU time: 22.257 s c =============================================================================== c | 1182 | 1497 2100 811650 | 5000 1182 1239 | 0.000 % | c =============================================================================== c New solution: 6581 c Elapsed CPU time: 158.356 s Remaining CPU time: 21.6441 s c =============================================================================== c | 1206 | 1497 2101 813000 | 5000 1206 1239 | 0.000 % | c =============================================================================== c New solution: 6580 c Elapsed CPU time: 158.897 s Remaining CPU time: 21.1032 s c =============================================================================== c | 1212 | 1497 2102 814350 | 5000 1212 1239 | 0.000 % | c =============================================================================== c New solution: 6579 c Elapsed CPU time: 159.479 s Remaining CPU time: 20.5212 s c =============================================================================== c | 1221 | 1497 2103 815700 | 5000 1221 1239 | 0.000 % | c =============================================================================== c New solution: 6578 c Elapsed CPU time: 160.027 s Remaining CPU time: 19.9733 s c =============================================================================== c | 1226 | 1497 2104 817050 | 5000 1226 1239 | 0.000 % | c =============================================================================== c New solution: 6577 c Elapsed CPU time: 160.558 s Remaining CPU time: 19.4424 s c =============================================================================== c | 1235 | 1497 2105 818400 | 5000 1235 1239 | 0.000 % | c =============================================================================== c New solution: 6576 c Elapsed CPU time: 161.163 s Remaining CPU time: 18.8365 s c =============================================================================== c | 1241 | 1497 2106 819750 | 5000 1241 1239 | 0.000 % | c =============================================================================== c New solution: 6575 c Elapsed CPU time: 161.709 s Remaining CPU time: 18.2906 s c =============================================================================== c | 1243 | 1497 2107 821100 | 5000 1243 1239 | 0.000 % | c =============================================================================== c New solution: 6574 c Elapsed CPU time: 162.313 s Remaining CPU time: 17.6867 s c =============================================================================== c | 1254 | 1497 2108 822450 | 5000 1254 1239 | 0.000 % | c =============================================================================== c New solution: 6573 c Elapsed CPU time: 162.862 s Remaining CPU time: 17.1378 s c =============================================================================== c | 1265 | 1497 2109 823800 | 5000 1265 1239 | 0.000 % | c =============================================================================== c New solution: 6572 c Elapsed CPU time: 163.414 s Remaining CPU time: 16.5858 s c =============================================================================== c | 1277 | 1497 2110 825150 | 5000 1277 1239 | 0.000 % | c =============================================================================== c New solution: 6571 c Elapsed CPU time: 163.938 s Remaining CPU time: 16.0619 s c =============================================================================== c | 1278 | 1497 2111 826500 | 5000 1278 1239 | 0.000 % | c =============================================================================== c New solution: 6570 c Elapsed CPU time: 164.475 s Remaining CPU time: 15.525 s c =============================================================================== c | 1278 | 1497 2112 827850 | 5000 1278 1239 | 0.000 % | c =============================================================================== c New solution: 6569 c Elapsed CPU time: 164.991 s Remaining CPU time: 15.0091 s c =============================================================================== c | 1278 | 1497 2113 829200 | 5000 1278 1239 | 0.000 % | c =============================================================================== c New solution: 6568 c Elapsed CPU time: 165.69 s Remaining CPU time: 14.3102 s c =============================================================================== c | 1297 | 1497 2114 830550 | 5000 1297 1239 | 0.000 % | c =============================================================================== c New solution: 6567 c Elapsed CPU time: 166.234 s Remaining CPU time: 13.7663 s c =============================================================================== c | 1298 | 1497 2115 831900 | 5000 1298 1239 | 0.000 % | c =============================================================================== c New solution: 6566 c Elapsed CPU time: 167.058 s Remaining CPU time: 12.9424 s c =============================================================================== c | 1356 | 1497 2116 833250 | 5000 1356 1239 | 0.000 % | c =============================================================================== c New solution: 6565 c Elapsed CPU time: 167.603 s Remaining CPU time: 12.3975 s c =============================================================================== c | 1357 | 1497 2117 834600 | 5000 1357 1239 | 0.000 % | c =============================================================================== c New solution: 6564 c Elapsed CPU time: 168.158 s Remaining CPU time: 11.8416 s c =============================================================================== c | 1358 | 1497 2118 835950 | 5000 1358 1239 | 0.000 % | c =============================================================================== c New solution: 6563 c Elapsed CPU time: 168.735 s Remaining CPU time: 11.2647 s c =============================================================================== c | 1360 | 1497 2119 837300 | 5000 1360 1239 | 0.000 % | c =============================================================================== c New solution: 6562 c Elapsed CPU time: 169.294 s Remaining CPU time: 10.7057 s c =============================================================================== c | 1361 | 1497 2120 838650 | 5000 1361 1239 | 0.000 % | c =============================================================================== c New solution: 6561 c Elapsed CPU time: 170.226 s Remaining CPU time: 9.77388 s c =============================================================================== c | 1428 | 1497 2121 840000 | 5000 1428 1238 | 0.000 % | c =============================================================================== c New solution: 6560 c Elapsed CPU time: 170.92 s Remaining CPU time: 9.07998 s c =============================================================================== c | 1475 | 1497 2122 841350 | 5000 1475 1238 | 0.000 % | c =============================================================================== c New solution: 6559 c Elapsed CPU time: 171.741 s Remaining CPU time: 8.25911 s c =============================================================================== c | 1510 | 1497 2123 842700 | 5000 1510 1238 | 0.000 % | c | 1610 | 1497 2123 842700 | 5500 1610 1238 | 0.200 % | c =============================================================================== c New solution: 6558 c Elapsed CPU time: 173.345 s Remaining CPU time: 6.65535 s c =============================================================================== c | 1621 | 1497 2124 844050 | 5000 1621 1238 | 0.200 % | c =============================================================================== c New solution: 6557 c Elapsed CPU time: 173.918 s Remaining CPU time: 6.08244 s c =============================================================================== c | 1640 | 1497 2125 845400 | 5000 1640 1238 | 0.200 % | c | 1740 | 1497 2125 845400 | 5500 1740 1238 | 0.200 % | c =============================================================================== c New solution: 6556 c Elapsed CPU time: 175.726 s Remaining CPU time: 4.27372 s c =============================================================================== c | 1774 | 1497 2126 846750 | 5000 1774 1238 | 0.200 % | c =============================================================================== c New solution: 6555 c Elapsed CPU time: 176.723 s Remaining CPU time: 3.27687 s c =============================================================================== c | 1872 | 1497 2127 848100 | 5000 1872 1238 | 0.200 % | c =============================================================================== c New solution: 6554 c Elapsed CPU time: 177.373 s Remaining CPU time: 2.62697 s c =============================================================================== c | 1892 | 1497 2128 849450 | 5000 1892 1238 | 0.200 % | c =============================================================================== c New solution: 6553 c Elapsed CPU time: 178.047 s Remaining CPU time: 1.95307 s c =============================================================================== c | 1934 | 1497 2129 850800 | 5000 1934 1238 | 0.200 % | c =============================================================================== c New solution: 6552 c Elapsed CPU time: 178.658 s Remaining CPU time: 1.34216 s c =============================================================================== c | 1957 | 1497 2130 852150 | 5000 1957 1237 | 0.200 % | c =============================================================================== c New solution: 6551 c Elapsed CPU time: 179.62 s Remaining CPU time: 0.380307 s c =============================================================================== c | 2019 | 1497 2131 853500 | 5000 2019 1237 | 0.200 % | c There are 3 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 802 3938 5306 | 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 | 810 3944 5319 | 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 | 819 3952 5329 | 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 | 830 3958 5347 | 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 | 844 3971 5372 | 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 | 853 3977 5397 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 876 3997 5434 | 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 | 884 4004 5443 | 5000 0 nan | 0.000 % | c ===============================================================================