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 | 1472 1502 4350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7488 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1472 1503 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7480 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1472 1504 7050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7473 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1472 1505 8400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7471 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1472 1506 9750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7467 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1472 1507 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7465 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1472 1508 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7463 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1472 1509 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7462 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1472 1510 15150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7461 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 1472 1511 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7460 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1472 1512 17850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7459 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 1472 1513 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7458 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 1472 1514 20550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7457 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 1472 1515 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7456 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 1472 1516 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7455 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 1472 1517 24600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7454 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 1472 1518 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7453 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 1472 1519 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7451 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 1472 1520 28650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7450 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 0 | 1472 1521 30000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7449 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 1472 1522 31350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7448 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 1472 1523 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7447 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 1472 1524 34050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7446 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 1472 1525 35400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7445 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 0 | 1472 1526 36750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7444 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 1472 1527 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7443 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 0 | 1472 1528 39450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7441 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 1472 1529 40800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7440 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 0 | 1472 1530 42150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7439 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 0 | 1472 1531 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7438 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 0 | 1472 1532 44850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7437 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 0 | 1472 1533 46200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7435 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 0 | 1472 1534 47550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7433 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 1472 1535 48900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7432 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 0 | 1472 1536 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7430 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 0 | 1472 1537 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7429 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 1472 1538 52950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7428 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 0 | 1472 1539 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7427 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 0 | 1472 1540 55650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7426 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 0 | 1472 1541 57000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7422 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 0 | 1472 1542 58350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7421 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 0 | 1472 1543 59700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7420 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 0 | 1472 1544 61050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7415 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 0 | 1472 1545 62400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7414 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 0 | 1472 1546 63750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7409 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 0 | 1472 1547 65100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7404 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 0 | 1472 1548 66450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7403 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 0 | 1472 1549 67800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7402 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s c =============================================================================== c | 0 | 1472 1550 69150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7401 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 0 | 1472 1551 70500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7400 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 0 | 1472 1552 71850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7398 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 0 | 1472 1553 73200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7397 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 0 | 1472 1554 74550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7396 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 0 | 1472 1555 75900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7390 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 0 | 1472 1556 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7386 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 0 | 1472 1557 78600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7384 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 0 | 1472 1558 79950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7381 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 0 | 1472 1559 81300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7380 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 0 | 1472 1560 82650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7379 c Elapsed CPU time: 1.09583 s Remaining CPU time: 178.904 s c =============================================================================== c | 0 | 1472 1561 84000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7377 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s c =============================================================================== c | 0 | 1472 1562 85350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7376 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s c =============================================================================== c | 0 | 1472 1563 86700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7375 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 0 | 1472 1564 88050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7372 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 0 | 1472 1565 89400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7371 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 0 | 1472 1566 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7370 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 1472 1567 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7369 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 0 | 1472 1568 93450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7366 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 0 | 1472 1569 94800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7365 c Elapsed CPU time: 1.46778 s Remaining CPU time: 178.532 s c =============================================================================== c | 0 | 1472 1570 96150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7362 c Elapsed CPU time: 1.51377 s Remaining CPU time: 178.486 s c =============================================================================== c | 0 | 1472 1571 97500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7357 c Elapsed CPU time: 1.55876 s Remaining CPU time: 178.441 s c =============================================================================== c | 0 | 1472 1572 98850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7353 c Elapsed CPU time: 1.60376 s Remaining CPU time: 178.396 s c =============================================================================== c | 0 | 1472 1573 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7352 c Elapsed CPU time: 1.64875 s Remaining CPU time: 178.351 s c =============================================================================== c | 0 | 1472 1574 101550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7350 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 0 | 1472 1575 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7348 c Elapsed CPU time: 1.74174 s Remaining CPU time: 178.258 s c =============================================================================== c | 0 | 1472 1576 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7347 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 0 | 1472 1577 105600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7345 c Elapsed CPU time: 1.84172 s Remaining CPU time: 178.158 s c =============================================================================== c | 0 | 1472 1578 106950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7343 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 0 | 1472 1579 108300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7342 c Elapsed CPU time: 1.9487 s Remaining CPU time: 178.051 s c =============================================================================== c | 0 | 1472 1580 109650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7341 c Elapsed CPU time: 2.0027 s Remaining CPU time: 177.997 s c =============================================================================== c | 0 | 1472 1581 111000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7337 c Elapsed CPU time: 2.06169 s Remaining CPU time: 177.938 s c =============================================================================== c | 0 | 1472 1582 112350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7335 c Elapsed CPU time: 2.11868 s Remaining CPU time: 177.881 s c =============================================================================== c | 0 | 1472 1583 113700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7334 c Elapsed CPU time: 2.17567 s Remaining CPU time: 177.824 s c =============================================================================== c | 0 | 1472 1584 115050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7333 c Elapsed CPU time: 2.23566 s Remaining CPU time: 177.764 s c =============================================================================== c | 0 | 1472 1585 116400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7331 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 0 | 1472 1586 117750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7330 c Elapsed CPU time: 2.35964 s Remaining CPU time: 177.64 s c =============================================================================== c | 0 | 1472 1587 119100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7329 c Elapsed CPU time: 2.42063 s Remaining CPU time: 177.579 s c =============================================================================== c | 0 | 1472 1588 120450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7328 c Elapsed CPU time: 2.48262 s Remaining CPU time: 177.517 s c =============================================================================== c | 0 | 1472 1589 121800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7327 c Elapsed CPU time: 2.54761 s Remaining CPU time: 177.452 s c =============================================================================== c | 0 | 1472 1590 123150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7326 c Elapsed CPU time: 2.6106 s Remaining CPU time: 177.389 s c =============================================================================== c | 0 | 1472 1591 124500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7323 c Elapsed CPU time: 2.67659 s Remaining CPU time: 177.323 s c =============================================================================== c | 0 | 1472 1592 125850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7322 c Elapsed CPU time: 2.74158 s Remaining CPU time: 177.258 s c =============================================================================== c | 0 | 1472 1593 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7320 c Elapsed CPU time: 2.81057 s Remaining CPU time: 177.189 s c =============================================================================== c | 0 | 1472 1594 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7319 c Elapsed CPU time: 2.87656 s Remaining CPU time: 177.123 s c =============================================================================== c | 0 | 1472 1595 129900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7318 c Elapsed CPU time: 2.94855 s Remaining CPU time: 177.051 s c =============================================================================== c | 0 | 1472 1596 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7317 c Elapsed CPU time: 3.02154 s Remaining CPU time: 176.978 s c =============================================================================== c | 0 | 1472 1597 132600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7316 c Elapsed CPU time: 3.09153 s Remaining CPU time: 176.908 s c =============================================================================== c | 0 | 1472 1598 133950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7312 c Elapsed CPU time: 3.16152 s Remaining CPU time: 176.838 s c =============================================================================== c | 0 | 1472 1599 135300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7308 c Elapsed CPU time: 3.23451 s Remaining CPU time: 176.765 s c =============================================================================== c | 0 | 1472 1600 136650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7304 c Elapsed CPU time: 3.3085 s Remaining CPU time: 176.692 s c =============================================================================== c | 0 | 1472 1601 138000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7301 c Elapsed CPU time: 3.38449 s Remaining CPU time: 176.616 s c =============================================================================== c | 0 | 1472 1602 139350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7298 c Elapsed CPU time: 3.46147 s Remaining CPU time: 176.539 s c =============================================================================== c | 0 | 1472 1603 140700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7297 c Elapsed CPU time: 3.53846 s Remaining CPU time: 176.462 s c =============================================================================== c | 0 | 1472 1604 142050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7294 c Elapsed CPU time: 3.61645 s Remaining CPU time: 176.384 s c =============================================================================== c | 0 | 1472 1605 143400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7292 c Elapsed CPU time: 3.69844 s Remaining CPU time: 176.302 s c =============================================================================== c | 0 | 1472 1606 144750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7289 c Elapsed CPU time: 3.77942 s Remaining CPU time: 176.221 s c =============================================================================== c | 0 | 1472 1607 146100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7288 c Elapsed CPU time: 3.85941 s Remaining CPU time: 176.141 s c =============================================================================== c | 0 | 1472 1608 147450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7287 c Elapsed CPU time: 3.9424 s Remaining CPU time: 176.058 s c =============================================================================== c | 0 | 1472 1609 148800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7286 c Elapsed CPU time: 4.02839 s Remaining CPU time: 175.972 s c =============================================================================== c | 0 | 1472 1610 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7284 c Elapsed CPU time: 4.11237 s Remaining CPU time: 175.888 s c =============================================================================== c | 0 | 1472 1611 151500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7283 c Elapsed CPU time: 4.19736 s Remaining CPU time: 175.803 s c =============================================================================== c | 0 | 1472 1612 152850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7280 c Elapsed CPU time: 4.28235 s Remaining CPU time: 175.718 s c =============================================================================== c | 0 | 1472 1613 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7278 c Elapsed CPU time: 4.36734 s Remaining CPU time: 175.633 s c =============================================================================== c | 0 | 1472 1614 155550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7276 c Elapsed CPU time: 4.45432 s Remaining CPU time: 175.546 s c =============================================================================== c | 0 | 1472 1615 156900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7275 c Elapsed CPU time: 4.54031 s Remaining CPU time: 175.46 s c =============================================================================== c | 0 | 1472 1616 158250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7274 c Elapsed CPU time: 4.6333 s Remaining CPU time: 175.367 s c =============================================================================== c | 0 | 1472 1617 159600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7271 c Elapsed CPU time: 4.72028 s Remaining CPU time: 175.28 s c =============================================================================== c | 0 | 1472 1618 160950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7270 c Elapsed CPU time: 4.80827 s Remaining CPU time: 175.192 s c =============================================================================== c | 0 | 1472 1619 162300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7269 c Elapsed CPU time: 4.89525 s Remaining CPU time: 175.105 s c =============================================================================== c | 0 | 1472 1620 163650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7268 c Elapsed CPU time: 4.98524 s Remaining CPU time: 175.015 s c =============================================================================== c | 0 | 1472 1621 165000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7267 c Elapsed CPU time: 5.07623 s Remaining CPU time: 174.924 s c =============================================================================== c | 0 | 1472 1622 166350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7265 c Elapsed CPU time: 5.17621 s Remaining CPU time: 174.824 s c =============================================================================== c | 0 | 1472 1623 167700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7264 c Elapsed CPU time: 5.2722 s Remaining CPU time: 174.728 s c =============================================================================== c | 0 | 1472 1624 169050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7263 c Elapsed CPU time: 5.37318 s Remaining CPU time: 174.627 s c =============================================================================== c | 0 | 1472 1625 170400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7262 c Elapsed CPU time: 5.47017 s Remaining CPU time: 174.53 s c =============================================================================== c | 0 | 1472 1626 171750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7261 c Elapsed CPU time: 5.56715 s Remaining CPU time: 174.433 s c =============================================================================== c | 0 | 1472 1627 173100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7259 c Elapsed CPU time: 5.66714 s Remaining CPU time: 174.333 s c =============================================================================== c | 0 | 1472 1628 174450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7258 c Elapsed CPU time: 5.76912 s Remaining CPU time: 174.231 s c =============================================================================== c | 0 | 1472 1629 175800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7257 c Elapsed CPU time: 5.86711 s Remaining CPU time: 174.133 s c =============================================================================== c | 0 | 1472 1630 177150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7255 c Elapsed CPU time: 5.96909 s Remaining CPU time: 174.031 s c =============================================================================== c | 0 | 1472 1631 178500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7254 c Elapsed CPU time: 6.07108 s Remaining CPU time: 173.929 s c =============================================================================== c | 0 | 1472 1632 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7253 c Elapsed CPU time: 6.16806 s Remaining CPU time: 173.832 s c =============================================================================== c | 0 | 1472 1633 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7252 c Elapsed CPU time: 6.27005 s Remaining CPU time: 173.73 s c =============================================================================== c | 0 | 1472 1634 182550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7248 c Elapsed CPU time: 6.37103 s Remaining CPU time: 173.629 s c =============================================================================== c | 0 | 1472 1635 183900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7247 c Elapsed CPU time: 6.47302 s Remaining CPU time: 173.527 s c =============================================================================== c | 0 | 1472 1636 185250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7246 c Elapsed CPU time: 6.577 s Remaining CPU time: 173.423 s c =============================================================================== c | 0 | 1472 1637 186600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7244 c Elapsed CPU time: 6.67498 s Remaining CPU time: 173.325 s c =============================================================================== c | 0 | 1472 1638 187950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 6.77997 s Remaining CPU time: 173.22 s c =============================================================================== c | 0 | 1472 1639 189300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7241 c Elapsed CPU time: 6.88495 s Remaining CPU time: 173.115 s c =============================================================================== c | 0 | 1472 1640 190650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7240 c Elapsed CPU time: 6.99094 s Remaining CPU time: 173.009 s c =============================================================================== c | 0 | 1472 1641 192000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7239 c Elapsed CPU time: 7.09492 s Remaining CPU time: 172.905 s c =============================================================================== c | 0 | 1472 1642 193350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7236 c Elapsed CPU time: 7.2009 s Remaining CPU time: 172.799 s c =============================================================================== c | 0 | 1472 1643 194700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7235 c Elapsed CPU time: 7.30989 s Remaining CPU time: 172.69 s c =============================================================================== c | 0 | 1472 1644 196050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7234 c Elapsed CPU time: 7.41787 s Remaining CPU time: 172.582 s c =============================================================================== c | 0 | 1472 1645 197400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7232 c Elapsed CPU time: 7.52785 s Remaining CPU time: 172.472 s c =============================================================================== c | 0 | 1472 1646 198750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7231 c Elapsed CPU time: 7.64184 s Remaining CPU time: 172.358 s c =============================================================================== c | 0 | 1472 1647 200100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7229 c Elapsed CPU time: 7.75382 s Remaining CPU time: 172.246 s c =============================================================================== c | 0 | 1472 1648 201450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7228 c Elapsed CPU time: 7.8658 s Remaining CPU time: 172.134 s c =============================================================================== c | 0 | 1472 1649 202800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7227 c Elapsed CPU time: 7.97879 s Remaining CPU time: 172.021 s c =============================================================================== c | 0 | 1472 1650 204150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7226 c Elapsed CPU time: 8.10777 s Remaining CPU time: 171.892 s c =============================================================================== c | 0 | 1472 1651 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7225 c Elapsed CPU time: 8.23475 s Remaining CPU time: 171.765 s c =============================================================================== c | 0 | 1472 1652 206850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7224 c Elapsed CPU time: 8.36473 s Remaining CPU time: 171.635 s c =============================================================================== c | 0 | 1472 1653 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7223 c Elapsed CPU time: 8.49371 s Remaining CPU time: 171.506 s c =============================================================================== c | 0 | 1472 1654 209550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7222 c Elapsed CPU time: 8.62469 s Remaining CPU time: 171.375 s c =============================================================================== c | 0 | 1472 1655 210900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7220 c Elapsed CPU time: 8.75267 s Remaining CPU time: 171.247 s c =============================================================================== c | 0 | 1472 1656 212250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7219 c Elapsed CPU time: 8.88165 s Remaining CPU time: 171.118 s c =============================================================================== c | 0 | 1472 1657 213600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7218 c Elapsed CPU time: 9.01463 s Remaining CPU time: 170.985 s c =============================================================================== c | 0 | 1472 1658 214950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7217 c Elapsed CPU time: 9.14361 s Remaining CPU time: 170.856 s c =============================================================================== c | 0 | 1472 1659 216300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7216 c Elapsed CPU time: 9.27959 s Remaining CPU time: 170.72 s c =============================================================================== c | 0 | 1472 1660 217650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7215 c Elapsed CPU time: 9.41357 s Remaining CPU time: 170.586 s c =============================================================================== c | 0 | 1472 1661 219000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 9.54755 s Remaining CPU time: 170.452 s c =============================================================================== c | 0 | 1472 1662 220350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7212 c Elapsed CPU time: 9.67653 s Remaining CPU time: 170.323 s c =============================================================================== c | 0 | 1472 1663 221700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7209 c Elapsed CPU time: 9.80651 s Remaining CPU time: 170.193 s c =============================================================================== c | 0 | 1472 1664 223050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7208 c Elapsed CPU time: 9.93949 s Remaining CPU time: 170.061 s c =============================================================================== c | 0 | 1472 1665 224400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7207 c Elapsed CPU time: 10.0725 s Remaining CPU time: 169.928 s c =============================================================================== c | 0 | 1472 1666 225750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7206 c Elapsed CPU time: 10.2104 s Remaining CPU time: 169.79 s c =============================================================================== c | 0 | 1472 1667 227100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7203 c Elapsed CPU time: 10.3454 s Remaining CPU time: 169.655 s c =============================================================================== c | 0 | 1472 1668 228450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7202 c Elapsed CPU time: 10.4804 s Remaining CPU time: 169.52 s c =============================================================================== c | 0 | 1472 1669 229800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7201 c Elapsed CPU time: 10.6154 s Remaining CPU time: 169.385 s c =============================================================================== c | 0 | 1472 1670 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7200 c Elapsed CPU time: 10.7474 s Remaining CPU time: 169.253 s c =============================================================================== c | 0 | 1472 1671 232500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7197 c Elapsed CPU time: 10.8813 s Remaining CPU time: 169.119 s c =============================================================================== c | 0 | 1472 1672 233850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7196 c Elapsed CPU time: 11.0183 s Remaining CPU time: 168.982 s c =============================================================================== c | 0 | 1472 1673 235200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7195 c Elapsed CPU time: 11.1513 s Remaining CPU time: 168.849 s c =============================================================================== c | 0 | 1472 1674 236550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7193 c Elapsed CPU time: 11.2803 s Remaining CPU time: 168.72 s c =============================================================================== c | 0 | 1472 1675 237900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7190 c Elapsed CPU time: 11.4103 s Remaining CPU time: 168.59 s c =============================================================================== c | 0 | 1472 1676 239250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7187 c Elapsed CPU time: 11.5422 s Remaining CPU time: 168.458 s c =============================================================================== c | 0 | 1472 1677 240600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7186 c Elapsed CPU time: 11.6782 s Remaining CPU time: 168.322 s c =============================================================================== c | 0 | 1472 1678 241950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7184 c Elapsed CPU time: 11.8162 s Remaining CPU time: 168.184 s c =============================================================================== c | 0 | 1472 1679 243300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7183 c Elapsed CPU time: 11.9572 s Remaining CPU time: 168.043 s c =============================================================================== c | 0 | 1472 1680 244650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7182 c Elapsed CPU time: 12.0962 s Remaining CPU time: 167.904 s c =============================================================================== c | 0 | 1472 1681 246000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7178 c Elapsed CPU time: 12.2361 s Remaining CPU time: 167.764 s c =============================================================================== c | 0 | 1472 1682 247350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7176 c Elapsed CPU time: 12.3821 s Remaining CPU time: 167.618 s c =============================================================================== c | 0 | 1472 1683 248700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7175 c Elapsed CPU time: 12.5261 s Remaining CPU time: 167.474 s c =============================================================================== c | 0 | 1472 1684 250050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7174 c Elapsed CPU time: 12.6731 s Remaining CPU time: 167.327 s c =============================================================================== c | 0 | 1472 1685 251400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7172 c Elapsed CPU time: 12.8161 s Remaining CPU time: 167.184 s c =============================================================================== c | 0 | 1472 1686 252750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7170 c Elapsed CPU time: 12.958 s Remaining CPU time: 167.042 s c =============================================================================== c | 0 | 1472 1687 254100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 13.101 s Remaining CPU time: 166.899 s c =============================================================================== c | 0 | 1472 1688 255450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7168 c Elapsed CPU time: 13.25 s Remaining CPU time: 166.75 s c =============================================================================== c | 0 | 1472 1689 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7167 c Elapsed CPU time: 13.397 s Remaining CPU time: 166.603 s c =============================================================================== c | 0 | 1472 1690 258150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7166 c Elapsed CPU time: 13.5479 s Remaining CPU time: 166.452 s c =============================================================================== c | 0 | 1472 1691 259500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7165 c Elapsed CPU time: 13.6999 s Remaining CPU time: 166.3 s c =============================================================================== c | 0 | 1472 1692 260850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7163 c Elapsed CPU time: 13.8539 s Remaining CPU time: 166.146 s c =============================================================================== c | 0 | 1472 1693 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7162 c Elapsed CPU time: 14.0039 s Remaining CPU time: 165.996 s c =============================================================================== c | 0 | 1472 1694 263550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7161 c Elapsed CPU time: 14.1608 s Remaining CPU time: 165.839 s c =============================================================================== c | 0 | 1472 1695 264900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7160 c Elapsed CPU time: 14.3188 s Remaining CPU time: 165.681 s c =============================================================================== c | 0 | 1472 1696 266250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7159 c Elapsed CPU time: 14.4808 s Remaining CPU time: 165.519 s c =============================================================================== c | 0 | 1472 1697 267600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7157 c Elapsed CPU time: 14.6428 s Remaining CPU time: 165.357 s c =============================================================================== c | 0 | 1472 1698 268950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7156 c Elapsed CPU time: 14.8007 s Remaining CPU time: 165.199 s c =============================================================================== c | 0 | 1472 1699 270300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7155 c Elapsed CPU time: 14.9687 s Remaining CPU time: 165.031 s c =============================================================================== c | 0 | 1472 1700 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7154 c Elapsed CPU time: 15.1267 s Remaining CPU time: 164.873 s c =============================================================================== c | 0 | 1472 1701 273000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7153 c Elapsed CPU time: 15.2867 s Remaining CPU time: 164.713 s c =============================================================================== c | 0 | 1472 1702 274350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7151 c Elapsed CPU time: 15.4527 s Remaining CPU time: 164.547 s c =============================================================================== c | 0 | 1472 1703 275700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7150 c Elapsed CPU time: 15.6206 s Remaining CPU time: 164.379 s c =============================================================================== c | 0 | 1472 1704 277050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7149 c Elapsed CPU time: 15.7896 s Remaining CPU time: 164.21 s c =============================================================================== c | 0 | 1472 1705 278400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7147 c Elapsed CPU time: 15.9596 s Remaining CPU time: 164.04 s c =============================================================================== c | 0 | 1472 1706 279750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7145 c Elapsed CPU time: 16.1335 s Remaining CPU time: 163.866 s c =============================================================================== c | 0 | 1472 1707 281100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 16.3005 s Remaining CPU time: 163.699 s c =============================================================================== c | 0 | 1472 1708 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7143 c Elapsed CPU time: 16.4715 s Remaining CPU time: 163.529 s c =============================================================================== c | 0 | 1472 1709 283800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7142 c Elapsed CPU time: 16.6405 s Remaining CPU time: 163.36 s c =============================================================================== c | 0 | 1472 1710 285150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7141 c Elapsed CPU time: 16.8214 s Remaining CPU time: 163.179 s c =============================================================================== c | 0 | 1472 1711 286500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7140 c Elapsed CPU time: 17.0004 s Remaining CPU time: 163 s c =============================================================================== c | 0 | 1472 1712 287850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7139 c Elapsed CPU time: 17.1874 s Remaining CPU time: 162.813 s c =============================================================================== c | 0 | 1472 1713 289200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7135 c Elapsed CPU time: 17.3724 s Remaining CPU time: 162.628 s c =============================================================================== c | 0 | 1472 1714 290550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7132 c Elapsed CPU time: 17.5563 s Remaining CPU time: 162.444 s c =============================================================================== c | 0 | 1472 1715 291900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7130 c Elapsed CPU time: 17.7423 s Remaining CPU time: 162.258 s c =============================================================================== c | 0 | 1472 1716 293250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7129 c Elapsed CPU time: 17.9303 s Remaining CPU time: 162.07 s c =============================================================================== c | 0 | 1472 1717 294600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7128 c Elapsed CPU time: 18.1222 s Remaining CPU time: 161.878 s c =============================================================================== c | 0 | 1472 1718 295950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7127 c Elapsed CPU time: 18.3162 s Remaining CPU time: 161.684 s c =============================================================================== c | 0 | 1472 1719 297300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7125 c Elapsed CPU time: 18.5052 s Remaining CPU time: 161.495 s c =============================================================================== c | 0 | 1472 1720 298650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7124 c Elapsed CPU time: 18.6972 s Remaining CPU time: 161.303 s c =============================================================================== c | 0 | 1472 1721 300000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7122 c Elapsed CPU time: 18.8861 s Remaining CPU time: 161.114 s c =============================================================================== c | 0 | 1472 1722 301350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7120 c Elapsed CPU time: 19.0761 s Remaining CPU time: 160.924 s c =============================================================================== c | 0 | 1472 1723 302700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7119 c Elapsed CPU time: 19.2631 s Remaining CPU time: 160.737 s c =============================================================================== c | 0 | 1472 1724 304050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7118 c Elapsed CPU time: 19.46 s Remaining CPU time: 160.54 s c =============================================================================== c | 0 | 1472 1725 305400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7117 c Elapsed CPU time: 19.647 s Remaining CPU time: 160.353 s c =============================================================================== c | 0 | 1472 1726 306750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7115 c Elapsed CPU time: 19.831 s Remaining CPU time: 160.169 s c =============================================================================== c | 0 | 1472 1727 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7112 c Elapsed CPU time: 20.02 s Remaining CPU time: 159.98 s c =============================================================================== c | 0 | 1472 1728 309450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7111 c Elapsed CPU time: 20.2099 s Remaining CPU time: 159.79 s c =============================================================================== c | 0 | 1472 1729 310800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7110 c Elapsed CPU time: 20.4009 s Remaining CPU time: 159.599 s c =============================================================================== c | 0 | 1472 1730 312150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7109 c Elapsed CPU time: 20.5899 s Remaining CPU time: 159.41 s c =============================================================================== c | 0 | 1472 1731 313500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7108 c Elapsed CPU time: 20.7788 s Remaining CPU time: 159.221 s c =============================================================================== c | 0 | 1472 1732 314850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7107 c Elapsed CPU time: 20.9708 s Remaining CPU time: 159.029 s c =============================================================================== c | 0 | 1472 1733 316200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7104 c Elapsed CPU time: 21.1668 s Remaining CPU time: 158.833 s c =============================================================================== c | 0 | 1472 1734 317550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7102 c Elapsed CPU time: 21.3618 s Remaining CPU time: 158.638 s c =============================================================================== c | 0 | 1472 1735 318900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7100 c Elapsed CPU time: 21.5567 s Remaining CPU time: 158.443 s c =============================================================================== c | 0 | 1472 1736 320250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7099 c Elapsed CPU time: 21.7567 s Remaining CPU time: 158.243 s c =============================================================================== c | 0 | 1472 1737 321600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 21.9557 s Remaining CPU time: 158.044 s c =============================================================================== c | 0 | 1472 1738 322950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7097 c Elapsed CPU time: 22.1526 s Remaining CPU time: 157.847 s c =============================================================================== c | 0 | 1472 1739 324300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7096 c Elapsed CPU time: 22.3516 s Remaining CPU time: 157.648 s c =============================================================================== c | 0 | 1472 1740 325650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7094 c Elapsed CPU time: 22.5526 s Remaining CPU time: 157.447 s c =============================================================================== c | 0 | 1472 1741 327000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7093 c Elapsed CPU time: 22.7525 s Remaining CPU time: 157.247 s c =============================================================================== c | 1 | 1472 1742 328350 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7092 c Elapsed CPU time: 22.9555 s Remaining CPU time: 157.044 s c =============================================================================== c | 1 | 1472 1743 329700 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7090 c Elapsed CPU time: 23.1775 s Remaining CPU time: 156.823 s c =============================================================================== c | 1 | 1472 1744 331050 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 23.4104 s Remaining CPU time: 156.59 s c =============================================================================== c | 1 | 1472 1745 332400 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7087 c Elapsed CPU time: 23.6344 s Remaining CPU time: 156.366 s c =============================================================================== c | 1 | 1472 1746 333750 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7086 c Elapsed CPU time: 23.8514 s Remaining CPU time: 156.149 s c =============================================================================== c | 1 | 1472 1747 335100 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7085 c Elapsed CPU time: 24.0563 s Remaining CPU time: 155.944 s c =============================================================================== c | 1 | 1472 1748 336450 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7083 c Elapsed CPU time: 24.2683 s Remaining CPU time: 155.732 s c =============================================================================== c | 1 | 1472 1749 337800 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7082 c Elapsed CPU time: 24.4963 s Remaining CPU time: 155.504 s c =============================================================================== c | 1 | 1472 1750 339150 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7080 c Elapsed CPU time: 24.7272 s Remaining CPU time: 155.273 s c =============================================================================== c | 1 | 1472 1751 340500 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7079 c Elapsed CPU time: 24.9502 s Remaining CPU time: 155.05 s c =============================================================================== c | 1 | 1472 1752 341850 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7078 c Elapsed CPU time: 25.1692 s Remaining CPU time: 154.831 s c =============================================================================== c | 1 | 1472 1753 343200 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7077 c Elapsed CPU time: 25.3791 s Remaining CPU time: 154.621 s c =============================================================================== c | 1 | 1472 1754 344550 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7076 c Elapsed CPU time: 25.5821 s Remaining CPU time: 154.418 s c =============================================================================== c | 1 | 1472 1755 345900 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7075 c Elapsed CPU time: 25.7971 s Remaining CPU time: 154.203 s c =============================================================================== c | 1 | 1472 1756 347250 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7073 c Elapsed CPU time: 26.036 s Remaining CPU time: 153.964 s c =============================================================================== c | 1 | 1472 1757 348600 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7072 c Elapsed CPU time: 26.253 s Remaining CPU time: 153.747 s c =============================================================================== c | 1 | 1472 1758 349950 | 5000 1 1296 | 0.000 % | c =============================================================================== c New solution: 7071 c Elapsed CPU time: 26.476 s Remaining CPU time: 153.524 s c =============================================================================== c | 2 | 1472 1759 351300 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7070 c Elapsed CPU time: 26.6889 s Remaining CPU time: 153.311 s c =============================================================================== c | 2 | 1472 1760 352650 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7069 c Elapsed CPU time: 26.9119 s Remaining CPU time: 153.088 s c =============================================================================== c | 2 | 1472 1761 354000 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7068 c Elapsed CPU time: 27.1419 s Remaining CPU time: 152.858 s c =============================================================================== c | 2 | 1472 1762 355350 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7067 c Elapsed CPU time: 27.3758 s Remaining CPU time: 152.624 s c =============================================================================== c | 2 | 1472 1763 356700 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7066 c Elapsed CPU time: 27.6078 s Remaining CPU time: 152.392 s c =============================================================================== c | 2 | 1472 1764 358050 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7065 c Elapsed CPU time: 27.8328 s Remaining CPU time: 152.167 s c =============================================================================== c | 2 | 1472 1765 359400 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7064 c Elapsed CPU time: 28.0517 s Remaining CPU time: 151.948 s c =============================================================================== c | 2 | 1472 1766 360750 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7063 c Elapsed CPU time: 28.2867 s Remaining CPU time: 151.713 s c =============================================================================== c | 2 | 1472 1767 362100 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7062 c Elapsed CPU time: 28.5337 s Remaining CPU time: 151.466 s c =============================================================================== c | 2 | 1472 1768 363450 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7061 c Elapsed CPU time: 28.7616 s Remaining CPU time: 151.238 s c =============================================================================== c | 2 | 1472 1769 364800 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7060 c Elapsed CPU time: 28.9986 s Remaining CPU time: 151.001 s c =============================================================================== c | 2 | 1472 1770 366150 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7059 c Elapsed CPU time: 29.2396 s Remaining CPU time: 150.76 s c =============================================================================== c | 2 | 1472 1771 367500 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7058 c Elapsed CPU time: 29.4745 s Remaining CPU time: 150.525 s c =============================================================================== c | 2 | 1472 1772 368850 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7057 c Elapsed CPU time: 29.7155 s Remaining CPU time: 150.285 s c =============================================================================== c | 2 | 1472 1773 370200 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7056 c Elapsed CPU time: 29.9644 s Remaining CPU time: 150.036 s c =============================================================================== c | 2 | 1472 1774 371550 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7055 c Elapsed CPU time: 30.2304 s Remaining CPU time: 149.77 s c =============================================================================== c | 2 | 1472 1775 372900 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7054 c Elapsed CPU time: 30.4834 s Remaining CPU time: 149.517 s c =============================================================================== c | 2 | 1472 1776 374250 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7053 c Elapsed CPU time: 30.7403 s Remaining CPU time: 149.26 s c =============================================================================== c | 2 | 1472 1777 375600 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7052 c Elapsed CPU time: 30.9753 s Remaining CPU time: 149.025 s c =============================================================================== c | 2 | 1472 1778 376950 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7051 c Elapsed CPU time: 31.2103 s Remaining CPU time: 148.79 s c =============================================================================== c | 2 | 1472 1779 378300 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7050 c Elapsed CPU time: 31.4382 s Remaining CPU time: 148.562 s c =============================================================================== c | 2 | 1472 1780 379650 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7049 c Elapsed CPU time: 31.6752 s Remaining CPU time: 148.325 s c =============================================================================== c | 2 | 1472 1781 381000 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7048 c Elapsed CPU time: 31.9331 s Remaining CPU time: 148.067 s c =============================================================================== c | 2 | 1472 1782 382350 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7047 c Elapsed CPU time: 32.1981 s Remaining CPU time: 147.802 s c =============================================================================== c | 2 | 1472 1783 383700 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7046 c Elapsed CPU time: 32.4471 s Remaining CPU time: 147.553 s c =============================================================================== c | 2 | 1472 1784 385050 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7045 c Elapsed CPU time: 32.699 s Remaining CPU time: 147.301 s c =============================================================================== c | 2 | 1472 1785 386400 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7044 c Elapsed CPU time: 32.988 s Remaining CPU time: 147.012 s c =============================================================================== c | 2 | 1472 1786 387750 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7043 c Elapsed CPU time: 33.2569 s Remaining CPU time: 146.743 s c =============================================================================== c | 2 | 1472 1787 389100 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7042 c Elapsed CPU time: 33.5189 s Remaining CPU time: 146.481 s c =============================================================================== c | 2 | 1472 1788 390450 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7041 c Elapsed CPU time: 33.7679 s Remaining CPU time: 146.232 s c =============================================================================== c | 2 | 1472 1789 391800 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7040 c Elapsed CPU time: 34.0318 s Remaining CPU time: 145.968 s c =============================================================================== c | 2 | 1472 1790 393150 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7039 c Elapsed CPU time: 34.2798 s Remaining CPU time: 145.72 s c =============================================================================== c | 2 | 1472 1791 394500 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7038 c Elapsed CPU time: 34.5397 s Remaining CPU time: 145.46 s c =============================================================================== c | 2 | 1472 1792 395850 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7037 c Elapsed CPU time: 34.7857 s Remaining CPU time: 145.214 s c =============================================================================== c | 2 | 1472 1793 397200 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7036 c Elapsed CPU time: 35.0547 s Remaining CPU time: 144.945 s c =============================================================================== c | 2 | 1472 1794 398550 | 5000 2 1292 | 0.000 % | c =============================================================================== c New solution: 7035 c Elapsed CPU time: 35.3126 s Remaining CPU time: 144.687 s c =============================================================================== c | 3 | 1472 1795 399900 | 5000 3 1290 | 0.000 % | c =============================================================================== c New solution: 7034 c Elapsed CPU time: 35.5846 s Remaining CPU time: 144.415 s c =============================================================================== c | 3 | 1472 1796 401250 | 5000 3 1290 | 0.000 % | c =============================================================================== c New solution: 7033 c Elapsed CPU time: 35.8356 s Remaining CPU time: 144.164 s c =============================================================================== c | 4 | 1472 1797 402600 | 5000 4 1288 | 0.000 % | c =============================================================================== c New solution: 7032 c Elapsed CPU time: 36.0825 s Remaining CPU time: 143.917 s c =============================================================================== c | 4 | 1472 1798 403950 | 5000 4 1288 | 0.000 % | c =============================================================================== c New solution: 7031 c Elapsed CPU time: 36.3275 s Remaining CPU time: 143.673 s c =============================================================================== c | 4 | 1472 1799 405300 | 5000 4 1288 | 0.000 % | c =============================================================================== c New solution: 7030 c Elapsed CPU time: 36.5914 s Remaining CPU time: 143.409 s c =============================================================================== c | 5 | 1472 1800 406650 | 5000 5 1287 | 0.000 % | c =============================================================================== c New solution: 7029 c Elapsed CPU time: 36.8504 s Remaining CPU time: 143.15 s c =============================================================================== c | 5 | 1472 1801 408000 | 5000 5 1287 | 0.000 % | c =============================================================================== c New solution: 7028 c Elapsed CPU time: 37.1054 s Remaining CPU time: 142.895 s c =============================================================================== c | 5 | 1472 1802 409350 | 5000 5 1287 | 0.000 % | c =============================================================================== c New solution: 7027 c Elapsed CPU time: 37.3813 s Remaining CPU time: 142.619 s c =============================================================================== c | 5 | 1472 1803 410700 | 5000 5 1287 | 0.000 % | c =============================================================================== c New solution: 7026 c Elapsed CPU time: 37.6503 s Remaining CPU time: 142.35 s c =============================================================================== c | 5 | 1472 1804 412050 | 5000 5 1287 | 0.000 % | c =============================================================================== c New solution: 7025 c Elapsed CPU time: 37.9032 s Remaining CPU time: 142.097 s c =============================================================================== c | 5 | 1472 1805 413400 | 5000 5 1287 | 0.000 % | c =============================================================================== c New solution: 7024 c Elapsed CPU time: 38.1612 s Remaining CPU time: 141.839 s c =============================================================================== c | 6 | 1472 1806 414750 | 5000 6 1286 | 0.000 % | c =============================================================================== c New solution: 7023 c Elapsed CPU time: 38.4182 s Remaining CPU time: 141.582 s c =============================================================================== c | 7 | 1472 1807 416100 | 5000 7 1286 | 0.000 % | c =============================================================================== c New solution: 7022 c Elapsed CPU time: 38.6841 s Remaining CPU time: 141.316 s c =============================================================================== c | 7 | 1472 1808 417450 | 5000 7 1286 | 0.000 % | c =============================================================================== c New solution: 7021 c Elapsed CPU time: 38.9481 s Remaining CPU time: 141.052 s c =============================================================================== c | 7 | 1472 1809 418800 | 5000 7 1286 | 0.000 % | c =============================================================================== c New solution: 7020 c Elapsed CPU time: 39.208 s Remaining CPU time: 140.792 s c =============================================================================== c | 8 | 1472 1810 420150 | 5000 8 1285 | 0.000 % | c =============================================================================== c New solution: 7019 c Elapsed CPU time: 39.471 s Remaining CPU time: 140.529 s c =============================================================================== c | 9 | 1472 1811 421500 | 5000 9 1285 | 0.000 % | c =============================================================================== c New solution: 7018 c Elapsed CPU time: 39.736 s Remaining CPU time: 140.264 s c =============================================================================== c | 9 | 1472 1812 422850 | 5000 9 1285 | 0.000 % | c =============================================================================== c New solution: 7017 c Elapsed CPU time: 40.0139 s Remaining CPU time: 139.986 s c =============================================================================== c | 9 | 1472 1813 424200 | 5000 9 1285 | 0.000 % | c =============================================================================== c New solution: 7016 c Elapsed CPU time: 40.2839 s Remaining CPU time: 139.716 s c =============================================================================== c | 10 | 1472 1814 425550 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7015 c Elapsed CPU time: 40.5578 s Remaining CPU time: 139.442 s c =============================================================================== c | 10 | 1472 1815 426900 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7014 c Elapsed CPU time: 40.8268 s Remaining CPU time: 139.173 s c =============================================================================== c | 10 | 1472 1816 428250 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7013 c Elapsed CPU time: 41.0908 s Remaining CPU time: 138.909 s c =============================================================================== c | 10 | 1472 1817 429600 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7012 c Elapsed CPU time: 41.3657 s Remaining CPU time: 138.634 s c =============================================================================== c | 10 | 1472 1818 430950 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7011 c Elapsed CPU time: 41.6317 s Remaining CPU time: 138.368 s c =============================================================================== c | 10 | 1472 1819 432300 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7010 c Elapsed CPU time: 41.8896 s Remaining CPU time: 138.11 s c =============================================================================== c | 10 | 1472 1820 433650 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7009 c Elapsed CPU time: 42.1616 s Remaining CPU time: 137.838 s c =============================================================================== c | 10 | 1472 1821 435000 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7008 c Elapsed CPU time: 42.4186 s Remaining CPU time: 137.581 s c =============================================================================== c | 10 | 1472 1822 436350 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7007 c Elapsed CPU time: 42.6905 s Remaining CPU time: 137.309 s c =============================================================================== c | 10 | 1472 1823 437700 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7006 c Elapsed CPU time: 42.9545 s Remaining CPU time: 137.046 s c =============================================================================== c | 10 | 1472 1824 439050 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7005 c Elapsed CPU time: 43.2384 s Remaining CPU time: 136.762 s c =============================================================================== c | 10 | 1472 1825 440400 | 5000 10 1284 | 0.000 % | c =============================================================================== c New solution: 7004 c Elapsed CPU time: 43.5184 s Remaining CPU time: 136.482 s c =============================================================================== c | 11 | 1472 1826 441750 | 5000 11 1284 | 0.000 % | c =============================================================================== c New solution: 7003 c Elapsed CPU time: 43.7973 s Remaining CPU time: 136.203 s c =============================================================================== c | 11 | 1472 1827 443100 | 5000 11 1284 | 0.000 % | c =============================================================================== c New solution: 7002 c Elapsed CPU time: 44.0733 s Remaining CPU time: 135.927 s c =============================================================================== c | 12 | 1472 1828 444450 | 5000 12 1283 | 0.000 % | c =============================================================================== c New solution: 7001 c Elapsed CPU time: 44.3453 s Remaining CPU time: 135.655 s c =============================================================================== c | 12 | 1472 1829 445800 | 5000 12 1283 | 0.000 % | c =============================================================================== c New solution: 7000 c Elapsed CPU time: 44.6252 s Remaining CPU time: 135.375 s c =============================================================================== c | 12 | 1472 1830 447150 | 5000 12 1283 | 0.000 % | c =============================================================================== c New solution: 6999 c Elapsed CPU time: 44.9142 s Remaining CPU time: 135.086 s c =============================================================================== c | 12 | 1472 1831 448500 | 5000 12 1283 | 0.000 % | c =============================================================================== c New solution: 6998 c Elapsed CPU time: 45.2061 s Remaining CPU time: 134.794 s c =============================================================================== c | 15 | 1472 1832 449850 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6997 c Elapsed CPU time: 45.4971 s Remaining CPU time: 134.503 s c =============================================================================== c | 15 | 1472 1833 451200 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6996 c Elapsed CPU time: 45.785 s Remaining CPU time: 134.215 s c =============================================================================== c | 15 | 1472 1834 452550 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6995 c Elapsed CPU time: 46.076 s Remaining CPU time: 133.924 s c =============================================================================== c | 15 | 1472 1835 453900 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6994 c Elapsed CPU time: 46.356 s Remaining CPU time: 133.644 s c =============================================================================== c | 15 | 1472 1836 455250 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6993 c Elapsed CPU time: 46.6479 s Remaining CPU time: 133.352 s c =============================================================================== c | 15 | 1472 1837 456600 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6992 c Elapsed CPU time: 46.9399 s Remaining CPU time: 133.06 s c =============================================================================== c | 15 | 1472 1838 457950 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6991 c Elapsed CPU time: 47.2348 s Remaining CPU time: 132.765 s c =============================================================================== c | 15 | 1472 1839 459300 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6990 c Elapsed CPU time: 47.5328 s Remaining CPU time: 132.467 s c =============================================================================== c | 15 | 1472 1840 460650 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6989 c Elapsed CPU time: 47.8257 s Remaining CPU time: 132.174 s c =============================================================================== c | 15 | 1472 1841 462000 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6988 c Elapsed CPU time: 48.1117 s Remaining CPU time: 131.888 s c =============================================================================== c | 15 | 1472 1842 463350 | 5000 15 1282 | 0.000 % | c =============================================================================== c New solution: 6987 c Elapsed CPU time: 48.4156 s Remaining CPU time: 131.584 s c =============================================================================== c | 16 | 1472 1843 464700 | 5000 16 1281 | 0.000 % | c =============================================================================== c New solution: 6986 c Elapsed CPU time: 48.7266 s Remaining CPU time: 131.273 s c =============================================================================== c | 16 | 1472 1844 466050 | 5000 16 1281 | 0.000 % | c =============================================================================== c New solution: 6985 c Elapsed CPU time: 49.0255 s Remaining CPU time: 130.974 s c =============================================================================== c | 16 | 1472 1845 467400 | 5000 16 1281 | 0.000 % | c =============================================================================== c New solution: 6984 c Elapsed CPU time: 49.3275 s Remaining CPU time: 130.672 s c =============================================================================== c | 16 | 1472 1846 468750 | 5000 16 1281 | 0.000 % | c =============================================================================== c New solution: 6983 c Elapsed CPU time: 49.6315 s Remaining CPU time: 130.369 s c =============================================================================== c | 16 | 1472 1847 470100 | 5000 16 1281 | 0.000 % | c =============================================================================== c New solution: 6982 c Elapsed CPU time: 49.9364 s Remaining CPU time: 130.064 s c =============================================================================== c | 16 | 1472 1848 471450 | 5000 16 1281 | 0.000 % | c =============================================================================== c New solution: 6981 c Elapsed CPU time: 50.2404 s Remaining CPU time: 129.76 s c =============================================================================== c | 16 | 1472 1849 472800 | 5000 16 1281 | 0.000 % | c =============================================================================== c New solution: 6980 c Elapsed CPU time: 50.5483 s Remaining CPU time: 129.452 s c =============================================================================== c | 18 | 1472 1850 474150 | 5000 18 1281 | 0.000 % | c =============================================================================== c New solution: 6979 c Elapsed CPU time: 50.8483 s Remaining CPU time: 129.152 s c =============================================================================== c | 18 | 1472 1851 475500 | 5000 18 1281 | 0.000 % | c =============================================================================== c New solution: 6978 c Elapsed CPU time: 51.1752 s Remaining CPU time: 128.825 s c =============================================================================== c | 23 | 1472 1852 476850 | 5000 23 1279 | 0.000 % | c =============================================================================== c New solution: 6977 c Elapsed CPU time: 51.4642 s Remaining CPU time: 128.536 s c =============================================================================== c | 23 | 1472 1853 478200 | 5000 23 1279 | 0.000 % | c =============================================================================== c New solution: 6976 c Elapsed CPU time: 51.7771 s Remaining CPU time: 128.223 s c =============================================================================== c | 23 | 1472 1854 479550 | 5000 23 1279 | 0.000 % | c =============================================================================== c New solution: 6975 c Elapsed CPU time: 52.0791 s Remaining CPU time: 127.921 s c =============================================================================== c | 23 | 1472 1855 480900 | 5000 23 1279 | 0.000 % | c =============================================================================== c New solution: 6974 c Elapsed CPU time: 52.389 s Remaining CPU time: 127.611 s c =============================================================================== c | 23 | 1472 1856 482250 | 5000 23 1279 | 0.000 % | c =============================================================================== c New solution: 6973 c Elapsed CPU time: 52.689 s Remaining CPU time: 127.311 s c =============================================================================== c | 23 | 1472 1857 483600 | 5000 23 1279 | 0.000 % | c =============================================================================== c New solution: 6972 c Elapsed CPU time: 53.0179 s Remaining CPU time: 126.982 s c =============================================================================== c | 26 | 1472 1858 484950 | 5000 26 1278 | 0.000 % | c =============================================================================== c New solution: 6971 c Elapsed CPU time: 53.3209 s Remaining CPU time: 126.679 s c =============================================================================== c | 26 | 1472 1859 486300 | 5000 26 1278 | 0.000 % | c =============================================================================== c New solution: 6970 c Elapsed CPU time: 53.6478 s Remaining CPU time: 126.352 s c =============================================================================== c | 26 | 1472 1860 487650 | 5000 26 1278 | 0.000 % | c =============================================================================== c New solution: 6969 c Elapsed CPU time: 53.9638 s Remaining CPU time: 126.036 s c =============================================================================== c | 27 | 1472 1861 489000 | 5000 27 1278 | 0.000 % | c =============================================================================== c New solution: 6968 c Elapsed CPU time: 54.2897 s Remaining CPU time: 125.71 s c =============================================================================== c | 30 | 1472 1862 490350 | 5000 30 1278 | 0.000 % | c =============================================================================== c New solution: 6967 c Elapsed CPU time: 54.6107 s Remaining CPU time: 125.389 s c =============================================================================== c | 30 | 1472 1863 491700 | 5000 30 1278 | 0.000 % | c =============================================================================== c New solution: 6966 c Elapsed CPU time: 54.9276 s Remaining CPU time: 125.072 s c =============================================================================== c | 31 | 1472 1864 493050 | 5000 31 1277 | 0.000 % | c =============================================================================== c New solution: 6965 c Elapsed CPU time: 55.2756 s Remaining CPU time: 124.724 s c =============================================================================== c | 34 | 1472 1865 494400 | 5000 34 1277 | 0.000 % | c =============================================================================== c New solution: 6964 c Elapsed CPU time: 55.5945 s Remaining CPU time: 124.405 s c =============================================================================== c | 34 | 1472 1866 495750 | 5000 34 1277 | 0.000 % | c =============================================================================== c New solution: 6963 c Elapsed CPU time: 55.9995 s Remaining CPU time: 124.001 s c =============================================================================== c | 50 | 1472 1867 497100 | 5000 50 1274 | 0.000 % | c =============================================================================== c New solution: 6962 c Elapsed CPU time: 56.3174 s Remaining CPU time: 123.683 s c =============================================================================== c | 50 | 1472 1868 498450 | 5000 50 1274 | 0.000 % | c =============================================================================== c New solution: 6961 c Elapsed CPU time: 56.6214 s Remaining CPU time: 123.379 s c =============================================================================== c | 50 | 1472 1869 499800 | 5000 50 1274 | 0.000 % | c =============================================================================== c New solution: 6960 c Elapsed CPU time: 56.9413 s Remaining CPU time: 123.059 s c =============================================================================== c | 50 | 1472 1870 501150 | 5000 50 1274 | 0.000 % | c =============================================================================== c New solution: 6959 c Elapsed CPU time: 57.3153 s Remaining CPU time: 122.685 s c =============================================================================== c | 61 | 1472 1871 502500 | 5000 61 1273 | 0.000 % | c =============================================================================== c New solution: 6958 c Elapsed CPU time: 57.6352 s Remaining CPU time: 122.365 s c =============================================================================== c | 64 | 1472 1872 503850 | 5000 64 1273 | 0.000 % | c =============================================================================== c New solution: 6957 c Elapsed CPU time: 57.9512 s Remaining CPU time: 122.049 s c =============================================================================== c | 64 | 1472 1873 505200 | 5000 64 1273 | 0.000 % | c =============================================================================== c New solution: 6956 c Elapsed CPU time: 58.2661 s Remaining CPU time: 121.734 s c =============================================================================== c | 64 | 1472 1874 506550 | 5000 64 1273 | 0.000 % | c =============================================================================== c New solution: 6955 c Elapsed CPU time: 58.5881 s Remaining CPU time: 121.412 s c =============================================================================== c | 64 | 1472 1875 507900 | 5000 64 1273 | 0.000 % | c =============================================================================== c New solution: 6954 c Elapsed CPU time: 58.93 s Remaining CPU time: 121.07 s c =============================================================================== c | 66 | 1472 1876 509250 | 5000 66 1273 | 0.000 % | c =============================================================================== c New solution: 6953 c Elapsed CPU time: 59.278 s Remaining CPU time: 120.722 s c =============================================================================== c | 77 | 1472 1877 510600 | 5000 77 1271 | 0.000 % | c =============================================================================== c New solution: 6952 c Elapsed CPU time: 59.5819 s Remaining CPU time: 120.418 s c =============================================================================== c | 77 | 1472 1878 511950 | 5000 77 1271 | 0.000 % | c =============================================================================== c New solution: 6951 c Elapsed CPU time: 59.9069 s Remaining CPU time: 120.093 s c =============================================================================== c | 77 | 1472 1879 513300 | 5000 77 1271 | 0.000 % | c =============================================================================== c New solution: 6950 c Elapsed CPU time: 60.2248 s Remaining CPU time: 119.775 s c =============================================================================== c | 77 | 1472 1880 514650 | 5000 77 1271 | 0.000 % | c =============================================================================== c New solution: 6949 c Elapsed CPU time: 60.5688 s Remaining CPU time: 119.431 s c =============================================================================== c | 77 | 1472 1881 516000 | 5000 77 1271 | 0.000 % | c =============================================================================== c New solution: 6948 c Elapsed CPU time: 60.8937 s Remaining CPU time: 119.106 s c =============================================================================== c | 78 | 1472 1882 517350 | 5000 78 1271 | 0.000 % | c =============================================================================== c New solution: 6947 c Elapsed CPU time: 61.2167 s Remaining CPU time: 118.783 s c =============================================================================== c | 78 | 1472 1883 518700 | 5000 78 1271 | 0.000 % | c =============================================================================== c New solution: 6946 c Elapsed CPU time: 61.5306 s Remaining CPU time: 118.469 s c =============================================================================== c | 78 | 1472 1884 520050 | 5000 78 1271 | 0.000 % | c =============================================================================== c New solution: 6945 c Elapsed CPU time: 61.8496 s Remaining CPU time: 118.15 s c =============================================================================== c | 79 | 1472 1885 521400 | 5000 79 1271 | 0.000 % | c =============================================================================== c New solution: 6944 c Elapsed CPU time: 62.1865 s Remaining CPU time: 117.813 s c =============================================================================== c | 79 | 1472 1886 522750 | 5000 79 1271 | 0.000 % | c =============================================================================== c New solution: 6943 c Elapsed CPU time: 62.5265 s Remaining CPU time: 117.474 s c =============================================================================== c | 79 | 1472 1887 524100 | 5000 79 1271 | 0.000 % | c =============================================================================== c New solution: 6942 c Elapsed CPU time: 62.8564 s Remaining CPU time: 117.144 s c =============================================================================== c | 79 | 1472 1888 525450 | 5000 79 1271 | 0.000 % | c =============================================================================== c New solution: 6941 c Elapsed CPU time: 63.1924 s Remaining CPU time: 116.808 s c =============================================================================== c | 79 | 1472 1889 526800 | 5000 79 1271 | 0.000 % | c =============================================================================== c New solution: 6940 c Elapsed CPU time: 63.5263 s Remaining CPU time: 116.474 s c =============================================================================== c | 79 | 1472 1890 528150 | 5000 79 1271 | 0.000 % | c =============================================================================== c New solution: 6939 c Elapsed CPU time: 63.8783 s Remaining CPU time: 116.122 s c =============================================================================== c | 81 | 1472 1891 529500 | 5000 81 1271 | 0.000 % | c =============================================================================== c New solution: 6938 c Elapsed CPU time: 64.2502 s Remaining CPU time: 115.75 s c =============================================================================== c | 81 | 1472 1892 530850 | 5000 81 1271 | 0.000 % | c =============================================================================== c New solution: 6937 c Elapsed CPU time: 64.6022 s Remaining CPU time: 115.398 s c =============================================================================== c | 81 | 1472 1893 532200 | 5000 81 1271 | 0.000 % | c =============================================================================== c New solution: 6936 c Elapsed CPU time: 64.9441 s Remaining CPU time: 115.056 s c =============================================================================== c | 81 | 1472 1894 533550 | 5000 81 1271 | 0.000 % | c =============================================================================== c New solution: 6935 c Elapsed CPU time: 65.2781 s Remaining CPU time: 114.722 s c =============================================================================== c | 83 | 1472 1895 534900 | 5000 83 1271 | 0.000 % | c =============================================================================== c New solution: 6934 c Elapsed CPU time: 65.624 s Remaining CPU time: 114.376 s c =============================================================================== c | 83 | 1472 1896 536250 | 5000 83 1271 | 0.000 % | c =============================================================================== c New solution: 6933 c Elapsed CPU time: 65.941 s Remaining CPU time: 114.059 s c =============================================================================== c | 83 | 1472 1897 537600 | 5000 83 1271 | 0.000 % | c =============================================================================== c New solution: 6932 c Elapsed CPU time: 66.2779 s Remaining CPU time: 113.722 s c =============================================================================== c | 88 | 1472 1898 538950 | 5000 88 1270 | 0.000 % | c =============================================================================== c New solution: 6931 c Elapsed CPU time: 66.6279 s Remaining CPU time: 113.372 s c =============================================================================== c | 89 | 1472 1899 540300 | 5000 89 1270 | 0.000 % | c =============================================================================== c New solution: 6930 c Elapsed CPU time: 66.9788 s Remaining CPU time: 113.021 s c =============================================================================== c | 93 | 1472 1900 541650 | 5000 93 1270 | 0.000 % | c =============================================================================== c New solution: 6929 c Elapsed CPU time: 67.3208 s Remaining CPU time: 112.679 s c =============================================================================== c | 93 | 1472 1901 543000 | 5000 93 1270 | 0.000 % | c =============================================================================== c New solution: 6928 c Elapsed CPU time: 67.6697 s Remaining CPU time: 112.33 s c =============================================================================== c | 93 | 1472 1902 544350 | 5000 93 1270 | 0.000 % | c =============================================================================== c New solution: 6927 c Elapsed CPU time: 68.0187 s Remaining CPU time: 111.981 s c =============================================================================== c | 93 | 1472 1903 545700 | 5000 93 1270 | 0.000 % | c =============================================================================== c New solution: 6926 c Elapsed CPU time: 68.3596 s Remaining CPU time: 111.64 s c =============================================================================== c | 93 | 1472 1904 547050 | 5000 93 1270 | 0.000 % | c =============================================================================== c New solution: 6925 c Elapsed CPU time: 68.7166 s Remaining CPU time: 111.283 s c =============================================================================== c | 93 | 1472 1905 548400 | 5000 93 1270 | 0.000 % | c =============================================================================== c New solution: 6924 c Elapsed CPU time: 69.0665 s Remaining CPU time: 110.933 s c =============================================================================== c | 93 | 1472 1906 549750 | 5000 93 1270 | 0.000 % | c =============================================================================== c New solution: 6923 c Elapsed CPU time: 69.4214 s Remaining CPU time: 110.579 s c =============================================================================== c | 93 | 1472 1907 551100 | 5000 93 1270 | 0.000 % | c =============================================================================== c New solution: 6922 c Elapsed CPU time: 69.7874 s Remaining CPU time: 110.213 s c =============================================================================== c | 96 | 1472 1908 552450 | 5000 96 1270 | 0.000 % | c =============================================================================== c New solution: 6921 c Elapsed CPU time: 70.1343 s Remaining CPU time: 109.866 s c =============================================================================== c | 97 | 1472 1909 553800 | 5000 97 1269 | 0.000 % | c =============================================================================== c New solution: 6920 c Elapsed CPU time: 70.4813 s Remaining CPU time: 109.519 s c =============================================================================== c | 97 | 1472 1910 555150 | 5000 97 1269 | 0.000 % | c =============================================================================== c New solution: 6919 c Elapsed CPU time: 70.8432 s Remaining CPU time: 109.157 s c =============================================================================== c | 97 | 1472 1911 556500 | 5000 97 1269 | 0.000 % | c =============================================================================== c New solution: 6918 c Elapsed CPU time: 71.1902 s Remaining CPU time: 108.81 s c =============================================================================== c | 97 | 1472 1912 557850 | 5000 97 1269 | 0.000 % | c =============================================================================== c New solution: 6917 c Elapsed CPU time: 71.5471 s Remaining CPU time: 108.453 s c =============================================================================== c | 98 | 1472 1913 559200 | 5000 98 1269 | 0.000 % | c =============================================================================== c New solution: 6916 c Elapsed CPU time: 71.8921 s Remaining CPU time: 108.108 s c =============================================================================== c | 99 | 1472 1914 560550 | 5000 99 1269 | 0.000 % | c =============================================================================== c New solution: 6915 c Elapsed CPU time: 72.233 s Remaining CPU time: 107.767 s c =============================================================================== c | 100 | 1472 1915 561900 | 5000 100 1269 | 0.000 % | c =============================================================================== c New solution: 6914 c Elapsed CPU time: 72.585 s Remaining CPU time: 107.415 s c =============================================================================== c | 101 | 1472 1916 563250 | 5000 101 1269 | 0.000 % | c =============================================================================== c New solution: 6913 c Elapsed CPU time: 72.9359 s Remaining CPU time: 107.064 s c =============================================================================== c | 101 | 1472 1917 564600 | 5000 101 1269 | 0.000 % | c =============================================================================== c New solution: 6912 c Elapsed CPU time: 73.2769 s Remaining CPU time: 106.723 s c =============================================================================== c | 101 | 1472 1918 565950 | 5000 101 1269 | 0.000 % | c =============================================================================== c New solution: 6911 c Elapsed CPU time: 73.6398 s Remaining CPU time: 106.36 s c =============================================================================== c | 101 | 1472 1919 567300 | 5000 101 1269 | 0.000 % | c =============================================================================== c New solution: 6910 c Elapsed CPU time: 74.0197 s Remaining CPU time: 105.98 s c =============================================================================== c | 101 | 1472 1920 568650 | 5000 101 1269 | 0.000 % | c =============================================================================== c New solution: 6909 c Elapsed CPU time: 74.4087 s Remaining CPU time: 105.591 s c =============================================================================== c | 104 | 1472 1921 570000 | 5000 104 1269 | 0.000 % | c =============================================================================== c New solution: 6908 c Elapsed CPU time: 74.7986 s Remaining CPU time: 105.201 s c =============================================================================== c | 104 | 1472 1922 571350 | 5000 104 1269 | 0.000 % | c =============================================================================== c New solution: 6907 c Elapsed CPU time: 75.1826 s Remaining CPU time: 104.817 s c =============================================================================== c | 105 | 1472 1923 572700 | 5000 105 1268 | 0.000 % | c =============================================================================== c New solution: 6906 c Elapsed CPU time: 75.5585 s Remaining CPU time: 104.441 s c =============================================================================== c | 107 | 1472 1924 574050 | 5000 107 1268 | 0.000 % | c =============================================================================== c New solution: 6905 c Elapsed CPU time: 75.9325 s Remaining CPU time: 104.068 s c =============================================================================== c | 107 | 1472 1925 575400 | 5000 107 1268 | 0.000 % | c =============================================================================== c New solution: 6904 c Elapsed CPU time: 76.2904 s Remaining CPU time: 103.71 s c =============================================================================== c | 107 | 1472 1926 576750 | 5000 107 1268 | 0.000 % | c =============================================================================== c New solution: 6903 c Elapsed CPU time: 76.6563 s Remaining CPU time: 103.344 s c =============================================================================== c | 107 | 1472 1927 578100 | 5000 107 1268 | 0.000 % | c =============================================================================== c New solution: 6902 c Elapsed CPU time: 77.0153 s Remaining CPU time: 102.985 s c =============================================================================== c | 107 | 1472 1928 579450 | 5000 107 1268 | 0.000 % | c =============================================================================== c New solution: 6901 c Elapsed CPU time: 77.3762 s Remaining CPU time: 102.624 s c =============================================================================== c | 108 | 1472 1929 580800 | 5000 108 1268 | 0.000 % | c =============================================================================== c New solution: 6900 c Elapsed CPU time: 77.7262 s Remaining CPU time: 102.274 s c =============================================================================== c | 108 | 1472 1930 582150 | 5000 108 1268 | 0.000 % | c =============================================================================== c New solution: 6899 c Elapsed CPU time: 78.0871 s Remaining CPU time: 101.913 s c =============================================================================== c | 108 | 1472 1931 583500 | 5000 108 1268 | 0.000 % | c =============================================================================== c New solution: 6898 c Elapsed CPU time: 78.4591 s Remaining CPU time: 101.541 s c =============================================================================== c | 111 | 1472 1932 584850 | 5000 111 1268 | 0.000 % | c =============================================================================== c New solution: 6897 c Elapsed CPU time: 78.816 s Remaining CPU time: 101.184 s c =============================================================================== c | 111 | 1472 1933 586200 | 5000 111 1268 | 0.000 % | c =============================================================================== c New solution: 6896 c Elapsed CPU time: 79.193 s Remaining CPU time: 100.807 s c =============================================================================== c | 111 | 1472 1934 587550 | 5000 111 1268 | 0.000 % | c =============================================================================== c New solution: 6895 c Elapsed CPU time: 79.5669 s Remaining CPU time: 100.433 s c =============================================================================== c | 111 | 1472 1935 588900 | 5000 111 1268 | 0.000 % | c =============================================================================== c New solution: 6894 c Elapsed CPU time: 79.9408 s Remaining CPU time: 100.059 s c =============================================================================== c | 112 | 1472 1936 590250 | 5000 112 1268 | 0.000 % | c =============================================================================== c New solution: 6893 c Elapsed CPU time: 80.3168 s Remaining CPU time: 99.6832 s c =============================================================================== c | 113 | 1472 1937 591600 | 5000 113 1267 | 0.000 % | c =============================================================================== c New solution: 6892 c Elapsed CPU time: 80.6947 s Remaining CPU time: 99.3053 s c =============================================================================== c | 114 | 1472 1938 592950 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6891 c Elapsed CPU time: 81.0917 s Remaining CPU time: 98.9083 s c =============================================================================== c | 114 | 1472 1939 594300 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6890 c Elapsed CPU time: 81.4656 s Remaining CPU time: 98.5344 s c =============================================================================== c | 114 | 1472 1940 595650 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6889 c Elapsed CPU time: 81.8586 s Remaining CPU time: 98.1414 s c =============================================================================== c | 114 | 1472 1941 597000 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6888 c Elapsed CPU time: 82.2615 s Remaining CPU time: 97.7385 s c =============================================================================== c | 114 | 1472 1942 598350 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6887 c Elapsed CPU time: 82.6364 s Remaining CPU time: 97.3636 s c =============================================================================== c | 114 | 1472 1943 599700 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6886 c Elapsed CPU time: 83.0034 s Remaining CPU time: 96.9966 s c =============================================================================== c | 114 | 1472 1944 601050 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6885 c Elapsed CPU time: 83.3853 s Remaining CPU time: 96.6147 s c =============================================================================== c | 114 | 1472 1945 602400 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6884 c Elapsed CPU time: 83.7833 s Remaining CPU time: 96.2167 s c =============================================================================== c | 114 | 1472 1946 603750 | 5000 114 1267 | 0.000 % | c =============================================================================== c New solution: 6883 c Elapsed CPU time: 84.1592 s Remaining CPU time: 95.8408 s c =============================================================================== c | 115 | 1472 1947 605100 | 5000 115 1267 | 0.000 % | c =============================================================================== c New solution: 6882 c Elapsed CPU time: 84.5431 s Remaining CPU time: 95.4569 s c =============================================================================== c | 115 | 1472 1948 606450 | 5000 115 1267 | 0.000 % | c =============================================================================== c New solution: 6881 c Elapsed CPU time: 84.9741 s Remaining CPU time: 95.0259 s c =============================================================================== c | 121 | 1472 1949 607800 | 5000 121 1266 | 0.000 % | c =============================================================================== c New solution: 6880 c Elapsed CPU time: 85.36 s Remaining CPU time: 94.64 s c =============================================================================== c | 122 | 1472 1950 609150 | 5000 122 1266 | 0.000 % | c =============================================================================== c New solution: 6879 c Elapsed CPU time: 85.743 s Remaining CPU time: 94.257 s c =============================================================================== c | 122 | 1472 1951 610500 | 5000 122 1266 | 0.000 % | c =============================================================================== c New solution: 6878 c Elapsed CPU time: 86.1349 s Remaining CPU time: 93.8651 s c =============================================================================== c | 122 | 1472 1952 611850 | 5000 122 1266 | 0.000 % | c =============================================================================== c New solution: 6877 c Elapsed CPU time: 86.5448 s Remaining CPU time: 93.4552 s c =============================================================================== c | 122 | 1472 1953 613200 | 5000 122 1266 | 0.000 % | c =============================================================================== c New solution: 6876 c Elapsed CPU time: 86.9418 s Remaining CPU time: 93.0582 s c =============================================================================== c | 122 | 1472 1954 614550 | 5000 122 1266 | 0.000 % | c =============================================================================== c New solution: 6875 c Elapsed CPU time: 87.3507 s Remaining CPU time: 92.6493 s c =============================================================================== c | 125 | 1472 1955 615900 | 5000 125 1266 | 0.000 % | c =============================================================================== c New solution: 6874 c Elapsed CPU time: 87.7407 s Remaining CPU time: 92.2593 s c =============================================================================== c | 125 | 1472 1956 617250 | 5000 125 1266 | 0.000 % | c =============================================================================== c New solution: 6873 c Elapsed CPU time: 88.1416 s Remaining CPU time: 91.8584 s c =============================================================================== c | 127 | 1472 1957 618600 | 5000 127 1265 | 0.000 % | c =============================================================================== c New solution: 6872 c Elapsed CPU time: 88.5375 s Remaining CPU time: 91.4625 s c =============================================================================== c | 127 | 1472 1958 619950 | 5000 127 1265 | 0.000 % | c =============================================================================== c New solution: 6871 c Elapsed CPU time: 88.9185 s Remaining CPU time: 91.0815 s c =============================================================================== c | 127 | 1472 1959 621300 | 5000 127 1265 | 0.000 % | c =============================================================================== c New solution: 6870 c Elapsed CPU time: 89.3024 s Remaining CPU time: 90.6976 s c =============================================================================== c | 127 | 1472 1960 622650 | 5000 127 1265 | 0.000 % | c =============================================================================== c New solution: 6869 c Elapsed CPU time: 89.7104 s Remaining CPU time: 90.2896 s c =============================================================================== c | 128 | 1472 1961 624000 | 5000 128 1265 | 0.000 % | c =============================================================================== c New solution: 6868 c Elapsed CPU time: 90.1343 s Remaining CPU time: 89.8657 s c =============================================================================== c | 129 | 1472 1962 625350 | 5000 129 1265 | 0.000 % | c =============================================================================== c New solution: 6867 c Elapsed CPU time: 90.5492 s Remaining CPU time: 89.4508 s c =============================================================================== c | 129 | 1472 1963 626700 | 5000 129 1265 | 0.000 % | c =============================================================================== c New solution: 6866 c Elapsed CPU time: 90.9772 s Remaining CPU time: 89.0228 s c =============================================================================== c | 130 | 1472 1964 628050 | 5000 130 1265 | 0.000 % | c =============================================================================== c New solution: 6865 c Elapsed CPU time: 91.3791 s Remaining CPU time: 88.6209 s c =============================================================================== c | 132 | 1472 1965 629400 | 5000 132 1265 | 0.000 % | c =============================================================================== c New solution: 6864 c Elapsed CPU time: 91.794 s Remaining CPU time: 88.206 s c =============================================================================== c | 132 | 1472 1966 630750 | 5000 132 1265 | 0.000 % | c =============================================================================== c New solution: 6863 c Elapsed CPU time: 92.201 s Remaining CPU time: 87.799 s c =============================================================================== c | 134 | 1472 1967 632100 | 5000 134 1255 | 0.000 % | c =============================================================================== c New solution: 6862 c Elapsed CPU time: 92.6149 s Remaining CPU time: 87.3851 s c =============================================================================== c | 135 | 1472 1968 633450 | 5000 135 1255 | 0.000 % | c =============================================================================== c New solution: 6861 c Elapsed CPU time: 93.0359 s Remaining CPU time: 86.9641 s c =============================================================================== c | 135 | 1472 1969 634800 | 5000 135 1255 | 0.000 % | c =============================================================================== c New solution: 6860 c Elapsed CPU time: 93.4558 s Remaining CPU time: 86.5442 s c =============================================================================== c | 135 | 1472 1970 636150 | 5000 135 1255 | 0.000 % | c =============================================================================== c New solution: 6859 c Elapsed CPU time: 93.8727 s Remaining CPU time: 86.1273 s c =============================================================================== c | 135 | 1472 1971 637500 | 5000 135 1255 | 0.000 % | c =============================================================================== c New solution: 6858 c Elapsed CPU time: 94.3037 s Remaining CPU time: 85.6963 s c =============================================================================== c | 135 | 1472 1972 638850 | 5000 135 1255 | 0.000 % | c =============================================================================== c New solution: 6857 c Elapsed CPU time: 94.7216 s Remaining CPU time: 85.2784 s c =============================================================================== c | 137 | 1472 1973 640200 | 5000 137 1255 | 0.000 % | c =============================================================================== c New solution: 6856 c Elapsed CPU time: 95.1375 s Remaining CPU time: 84.8625 s c =============================================================================== c | 137 | 1472 1974 641550 | 5000 137 1255 | 0.000 % | c =============================================================================== c New solution: 6855 c Elapsed CPU time: 95.5495 s Remaining CPU time: 84.4505 s c =============================================================================== c | 137 | 1472 1975 642900 | 5000 137 1255 | 0.000 % | c =============================================================================== c New solution: 6854 c Elapsed CPU time: 95.9694 s Remaining CPU time: 84.0306 s c =============================================================================== c | 137 | 1472 1976 644250 | 5000 137 1255 | 0.000 % | c =============================================================================== c New solution: 6853 c Elapsed CPU time: 96.5203 s Remaining CPU time: 83.4797 s c =============================================================================== c | 164 | 1472 1977 645600 | 5000 164 1253 | 0.000 % | c =============================================================================== c New solution: 6852 c Elapsed CPU time: 96.9443 s Remaining CPU time: 83.0557 s c =============================================================================== c | 166 | 1472 1978 646950 | 5000 166 1253 | 0.000 % | c =============================================================================== c New solution: 6851 c Elapsed CPU time: 97.4732 s Remaining CPU time: 82.5268 s c =============================================================================== c | 174 | 1472 1979 648300 | 5000 174 1252 | 0.000 % | c =============================================================================== c New solution: 6850 c Elapsed CPU time: 97.9591 s Remaining CPU time: 82.0409 s c =============================================================================== c | 183 | 1472 1980 649650 | 5000 183 1252 | 0.000 % | c =============================================================================== c New solution: 6849 c Elapsed CPU time: 98.368 s Remaining CPU time: 81.632 s c =============================================================================== c | 183 | 1472 1981 651000 | 5000 183 1252 | 0.000 % | c =============================================================================== c New solution: 6848 c Elapsed CPU time: 98.814 s Remaining CPU time: 81.186 s c =============================================================================== c | 184 | 1472 1982 652350 | 5000 184 1252 | 0.000 % | c =============================================================================== c New solution: 6847 c Elapsed CPU time: 99.2519 s Remaining CPU time: 80.7481 s c =============================================================================== c | 185 | 1472 1983 653700 | 5000 185 1252 | 0.000 % | c =============================================================================== c New solution: 6846 c Elapsed CPU time: 99.7108 s Remaining CPU time: 80.2892 s c =============================================================================== c | 187 | 1472 1984 655050 | 5000 187 1252 | 0.000 % | c =============================================================================== c New solution: 6845 c Elapsed CPU time: 100.149 s Remaining CPU time: 79.8512 s c =============================================================================== c | 187 | 1472 1985 656400 | 5000 187 1252 | 0.000 % | c =============================================================================== c New solution: 6844 c Elapsed CPU time: 100.589 s Remaining CPU time: 79.4113 s c =============================================================================== c | 189 | 1472 1986 657750 | 5000 189 1252 | 0.000 % | c =============================================================================== c New solution: 6843 c Elapsed CPU time: 100.992 s Remaining CPU time: 79.0084 s c =============================================================================== c | 189 | 1472 1987 659100 | 5000 189 1252 | 0.000 % | c =============================================================================== c New solution: 6842 c Elapsed CPU time: 101.424 s Remaining CPU time: 78.5764 s c =============================================================================== c | 189 | 1472 1988 660450 | 5000 189 1252 | 0.000 % | c =============================================================================== c New solution: 6841 c Elapsed CPU time: 101.847 s Remaining CPU time: 78.1535 s c =============================================================================== c | 189 | 1472 1989 661800 | 5000 189 1252 | 0.000 % | c =============================================================================== c New solution: 6840 c Elapsed CPU time: 102.309 s Remaining CPU time: 77.6906 s c =============================================================================== c | 192 | 1472 1990 663150 | 5000 192 1251 | 0.000 % | c =============================================================================== c New solution: 6839 c Elapsed CPU time: 102.735 s Remaining CPU time: 77.2646 s c =============================================================================== c | 192 | 1472 1991 664500 | 5000 192 1251 | 0.000 % | c =============================================================================== c New solution: 6838 c Elapsed CPU time: 103.177 s Remaining CPU time: 76.8227 s c =============================================================================== c | 193 | 1472 1992 665850 | 5000 193 1245 | 0.000 % | c =============================================================================== c New solution: 6837 c Elapsed CPU time: 103.615 s Remaining CPU time: 76.3848 s c =============================================================================== c | 194 | 1472 1993 667200 | 5000 194 1245 | 0.000 % | c =============================================================================== c New solution: 6836 c Elapsed CPU time: 104.076 s Remaining CPU time: 75.9238 s c =============================================================================== c | 196 | 1472 1994 668550 | 5000 196 1245 | 0.000 % | c =============================================================================== c New solution: 6835 c Elapsed CPU time: 104.497 s Remaining CPU time: 75.5029 s c =============================================================================== c | 197 | 1472 1995 669900 | 5000 197 1245 | 0.000 % | c =============================================================================== c New solution: 6834 c Elapsed CPU time: 104.933 s Remaining CPU time: 75.067 s c =============================================================================== c | 197 | 1472 1996 671250 | 5000 197 1245 | 0.000 % | c =============================================================================== c New solution: 6833 c Elapsed CPU time: 105.371 s Remaining CPU time: 74.629 s c =============================================================================== c | 197 | 1472 1997 672600 | 5000 197 1245 | 0.000 % | c =============================================================================== c New solution: 6832 c Elapsed CPU time: 105.801 s Remaining CPU time: 74.1991 s c =============================================================================== c | 197 | 1472 1998 673950 | 5000 197 1245 | 0.000 % | c =============================================================================== c New solution: 6831 c Elapsed CPU time: 106.219 s Remaining CPU time: 73.7811 s c =============================================================================== c | 198 | 1472 1999 675300 | 5000 198 1245 | 0.000 % | c =============================================================================== c New solution: 6830 c Elapsed CPU time: 106.681 s Remaining CPU time: 73.3192 s c =============================================================================== c | 203 | 1472 2000 676650 | 5000 203 1245 | 0.000 % | c =============================================================================== c New solution: 6829 c Elapsed CPU time: 107.109 s Remaining CPU time: 72.8913 s c =============================================================================== c | 203 | 1472 2001 678000 | 5000 203 1245 | 0.000 % | c =============================================================================== c New solution: 6828 c Elapsed CPU time: 107.546 s Remaining CPU time: 72.4544 s c =============================================================================== c | 204 | 1472 2002 679350 | 5000 204 1245 | 0.000 % | c =============================================================================== c New solution: 6827 c Elapsed CPU time: 107.976 s Remaining CPU time: 72.0244 s c =============================================================================== c | 205 | 1472 2003 680700 | 5000 205 1245 | 0.000 % | c =============================================================================== c New solution: 6826 c Elapsed CPU time: 108.43 s Remaining CPU time: 71.5705 s c =============================================================================== c | 206 | 1472 2004 682050 | 5000 206 1245 | 0.000 % | c =============================================================================== c New solution: 6825 c Elapsed CPU time: 108.853 s Remaining CPU time: 71.1465 s c =============================================================================== c | 206 | 1472 2005 683400 | 5000 206 1245 | 0.000 % | c =============================================================================== c New solution: 6824 c Elapsed CPU time: 109.352 s Remaining CPU time: 70.6476 s c =============================================================================== c | 211 | 1472 2006 684750 | 5000 211 1244 | 0.000 % | c =============================================================================== c New solution: 6823 c Elapsed CPU time: 109.844 s Remaining CPU time: 70.1557 s c =============================================================================== c | 217 | 1472 2007 686100 | 5000 217 1244 | 0.000 % | c =============================================================================== c New solution: 6822 c Elapsed CPU time: 110.265 s Remaining CPU time: 69.7348 s c =============================================================================== c | 218 | 1472 2008 687450 | 5000 218 1244 | 0.000 % | c =============================================================================== c New solution: 6821 c Elapsed CPU time: 110.697 s Remaining CPU time: 69.3028 s c =============================================================================== c | 218 | 1472 2009 688800 | 5000 218 1244 | 0.000 % | c =============================================================================== c New solution: 6820 c Elapsed CPU time: 111.151 s Remaining CPU time: 68.8489 s c =============================================================================== c | 218 | 1472 2010 690150 | 5000 218 1244 | 0.000 % | c =============================================================================== c New solution: 6819 c Elapsed CPU time: 111.707 s Remaining CPU time: 68.293 s c =============================================================================== c | 229 | 1472 2011 691500 | 5000 229 1244 | 0.000 % | c =============================================================================== c New solution: 6818 c Elapsed CPU time: 112.19 s Remaining CPU time: 67.8101 s c =============================================================================== c | 229 | 1472 2012 692850 | 5000 229 1244 | 0.000 % | c =============================================================================== c New solution: 6817 c Elapsed CPU time: 112.648 s Remaining CPU time: 67.3521 s c =============================================================================== c | 229 | 1472 2013 694200 | 5000 229 1244 | 0.000 % | c =============================================================================== c New solution: 6816 c Elapsed CPU time: 113.093 s Remaining CPU time: 66.9072 s c =============================================================================== c | 229 | 1472 2014 695550 | 5000 229 1244 | 0.000 % | c =============================================================================== c New solution: 6815 c Elapsed CPU time: 113.537 s Remaining CPU time: 66.4633 s c =============================================================================== c | 229 | 1472 2015 696900 | 5000 229 1244 | 0.000 % | c =============================================================================== c New solution: 6814 c Elapsed CPU time: 114.036 s Remaining CPU time: 65.9643 s c =============================================================================== c | 233 | 1472 2016 698250 | 5000 233 1244 | 0.000 % | c =============================================================================== c New solution: 6813 c Elapsed CPU time: 114.509 s Remaining CPU time: 65.4914 s c =============================================================================== c | 235 | 1472 2017 699600 | 5000 235 1244 | 0.000 % | c =============================================================================== c New solution: 6812 c Elapsed CPU time: 114.982 s Remaining CPU time: 65.0185 s c =============================================================================== c | 240 | 1472 2018 700950 | 5000 240 1244 | 0.000 % | c =============================================================================== c New solution: 6811 c Elapsed CPU time: 115.457 s Remaining CPU time: 64.5426 s c =============================================================================== c | 241 | 1472 2019 702300 | 5000 241 1243 | 0.000 % | c =============================================================================== c New solution: 6810 c Elapsed CPU time: 115.953 s Remaining CPU time: 64.0466 s c =============================================================================== c | 249 | 1472 2020 703650 | 5000 249 1243 | 0.000 % | c =============================================================================== c New solution: 6809 c Elapsed CPU time: 116.415 s Remaining CPU time: 63.5847 s c =============================================================================== c | 250 | 1472 2021 705000 | 5000 250 1243 | 0.000 % | c =============================================================================== c New solution: 6808 c Elapsed CPU time: 116.9 s Remaining CPU time: 63.0998 s c =============================================================================== c | 252 | 1472 2022 706350 | 5000 252 1243 | 0.000 % | c =============================================================================== c New solution: 6807 c Elapsed CPU time: 117.37 s Remaining CPU time: 62.6298 s c =============================================================================== c | 255 | 1472 2023 707700 | 5000 255 1243 | 0.000 % | c =============================================================================== c New solution: 6806 c Elapsed CPU time: 117.83 s Remaining CPU time: 62.1699 s c =============================================================================== c | 260 | 1472 2024 709050 | 5000 260 1243 | 0.000 % | c =============================================================================== c New solution: 6805 c Elapsed CPU time: 118.322 s Remaining CPU time: 61.678 s c =============================================================================== c | 261 | 1472 2025 710400 | 5000 261 1243 | 0.000 % | c =============================================================================== c New solution: 6804 c Elapsed CPU time: 118.935 s Remaining CPU time: 61.0651 s c =============================================================================== c | 294 | 1472 2026 711750 | 5000 294 1242 | 0.000 % | c =============================================================================== c New solution: 6803 c Elapsed CPU time: 119.516 s Remaining CPU time: 60.4842 s c =============================================================================== c | 306 | 1472 2027 713100 | 5000 306 1241 | 0.000 % | c =============================================================================== c New solution: 6802 c Elapsed CPU time: 120.004 s Remaining CPU time: 59.9962 s c =============================================================================== c | 308 | 1472 2028 714450 | 5000 308 1241 | 0.000 % | c =============================================================================== c New solution: 6801 c Elapsed CPU time: 120.593 s Remaining CPU time: 59.4073 s c =============================================================================== c | 315 | 1472 2029 715800 | 5000 315 1241 | 0.000 % | c =============================================================================== c New solution: 6800 c Elapsed CPU time: 121.092 s Remaining CPU time: 58.9084 s c =============================================================================== c | 318 | 1472 2030 717150 | 5000 318 1241 | 0.000 % | c =============================================================================== c New solution: 6799 c Elapsed CPU time: 121.686 s Remaining CPU time: 58.3135 s c =============================================================================== c | 323 | 1472 2031 718500 | 5000 323 1241 | 0.000 % | c =============================================================================== c New solution: 6798 c Elapsed CPU time: 122.166 s Remaining CPU time: 57.8336 s c =============================================================================== c | 325 | 1472 2032 719850 | 5000 325 1241 | 0.000 % | c =============================================================================== c New solution: 6797 c Elapsed CPU time: 122.65 s Remaining CPU time: 57.3496 s c =============================================================================== c | 329 | 1472 2033 721200 | 5000 329 1241 | 0.000 % | c =============================================================================== c New solution: 6796 c Elapsed CPU time: 123.158 s Remaining CPU time: 56.8417 s c =============================================================================== c | 334 | 1472 2034 722550 | 5000 334 1241 | 0.000 % | c =============================================================================== c New solution: 6795 c Elapsed CPU time: 123.608 s Remaining CPU time: 56.3918 s c =============================================================================== c | 335 | 1472 2035 723900 | 5000 335 1241 | 0.000 % | c =============================================================================== c New solution: 6794 c Elapsed CPU time: 124.059 s Remaining CPU time: 55.9409 s c =============================================================================== c | 336 | 1472 2036 725250 | 5000 336 1241 | 0.000 % | c =============================================================================== c New solution: 6793 c Elapsed CPU time: 124.545 s Remaining CPU time: 55.4549 s c =============================================================================== c | 338 | 1472 2037 726600 | 5000 338 1241 | 0.000 % | c =============================================================================== c New solution: 6792 c Elapsed CPU time: 125.36 s Remaining CPU time: 54.6401 s c =============================================================================== c | 390 | 1472 2038 727950 | 5000 390 1239 | 0.000 % | c =============================================================================== c New solution: 6791 c Elapsed CPU time: 125.949 s Remaining CPU time: 54.0511 s c =============================================================================== c | 395 | 1472 2039 729300 | 5000 395 1239 | 0.000 % | c =============================================================================== c New solution: 6790 c Elapsed CPU time: 126.545 s Remaining CPU time: 53.4552 s c =============================================================================== c | 404 | 1472 2040 730650 | 5000 404 1239 | 0.000 % | c =============================================================================== c New solution: 6789 c Elapsed CPU time: 127.18 s Remaining CPU time: 52.8203 s c =============================================================================== c | 413 | 1472 2041 732000 | 5000 413 1239 | 0.000 % | c =============================================================================== c New solution: 6788 c Elapsed CPU time: 127.803 s Remaining CPU time: 52.1974 s c =============================================================================== c | 426 | 1472 2042 733350 | 5000 426 1239 | 0.000 % | c =============================================================================== c New solution: 6787 c Elapsed CPU time: 128.313 s Remaining CPU time: 51.6865 s c =============================================================================== c | 428 | 1472 2043 734700 | 5000 428 1239 | 0.000 % | c =============================================================================== c New solution: 6786 c Elapsed CPU time: 128.772 s Remaining CPU time: 51.2276 s c =============================================================================== c | 434 | 1472 2044 736050 | 5000 434 1239 | 0.000 % | c =============================================================================== c New solution: 6785 c Elapsed CPU time: 129.227 s Remaining CPU time: 50.7726 s c =============================================================================== c | 434 | 1472 2045 737400 | 5000 434 1239 | 0.000 % | c =============================================================================== c New solution: 6784 c Elapsed CPU time: 129.719 s Remaining CPU time: 50.2807 s c =============================================================================== c | 437 | 1472 2046 738750 | 5000 437 1239 | 0.000 % | c =============================================================================== c New solution: 6783 c Elapsed CPU time: 130.186 s Remaining CPU time: 49.8138 s c =============================================================================== c | 438 | 1472 2047 740100 | 5000 438 1239 | 0.000 % | c =============================================================================== c New solution: 6782 c Elapsed CPU time: 130.701 s Remaining CPU time: 49.2989 s c =============================================================================== c | 442 | 1472 2048 741450 | 5000 442 1238 | 0.000 % | c =============================================================================== c New solution: 6781 c Elapsed CPU time: 131.835 s Remaining CPU time: 48.165 s c =============================================================================== c | 511 | 1472 2049 742800 | 5000 511 1237 | 0.000 % | c =============================================================================== c New solution: 6780 c Elapsed CPU time: 132.409 s Remaining CPU time: 47.5911 s c =============================================================================== c | 523 | 1472 2050 744150 | 5000 523 1237 | 0.000 % | c =============================================================================== c New solution: 6779 c Elapsed CPU time: 133.071 s Remaining CPU time: 46.9292 s c =============================================================================== c | 550 | 1472 2051 745500 | 5000 550 1237 | 0.000 % | c =============================================================================== c New solution: 6778 c Elapsed CPU time: 133.769 s Remaining CPU time: 46.2313 s c =============================================================================== c | 582 | 1472 2052 746850 | 5000 582 1236 | 0.000 % | c =============================================================================== c New solution: 6777 c Elapsed CPU time: 134.355 s Remaining CPU time: 45.6454 s c =============================================================================== c | 603 | 1472 2053 748200 | 5000 603 1236 | 0.000 % | c =============================================================================== c New solution: 6776 c Elapsed CPU time: 135.179 s Remaining CPU time: 44.8206 s c =============================================================================== c | 669 | 1472 2054 749550 | 5000 669 1235 | 0.000 % | c =============================================================================== c New solution: 6775 c Elapsed CPU time: 135.678 s Remaining CPU time: 44.3216 s c =============================================================================== c | 676 | 1472 2055 750900 | 5000 676 1235 | 0.000 % | c =============================================================================== c New solution: 6774 c Elapsed CPU time: 136.365 s Remaining CPU time: 43.6347 s c =============================================================================== c | 702 | 1472 2056 752250 | 5000 702 1235 | 0.000 % | c =============================================================================== c New solution: 6773 c Elapsed CPU time: 137.295 s Remaining CPU time: 42.7049 s c =============================================================================== c | 760 | 1472 2057 753600 | 5000 760 1234 | 0.000 % | c =============================================================================== c New solution: 6772 c Elapsed CPU time: 138.162 s Remaining CPU time: 41.838 s c =============================================================================== c | 781 | 1472 2058 754950 | 5000 781 1234 | 0.000 % | c =============================================================================== c New solution: 6771 c Elapsed CPU time: 138.74 s Remaining CPU time: 41.2601 s c =============================================================================== c | 786 | 1472 2059 756300 | 5000 786 1234 | 0.000 % | c =============================================================================== c New solution: 6770 c Elapsed CPU time: 139.469 s Remaining CPU time: 40.5312 s c =============================================================================== c | 829 | 1472 2060 757650 | 5000 829 1233 | 0.000 % | c =============================================================================== c New solution: 6769 c Elapsed CPU time: 140.03 s Remaining CPU time: 39.9703 s c =============================================================================== c | 840 | 1472 2061 759000 | 5000 840 1233 | 0.000 % | c =============================================================================== c New solution: 6768 c Elapsed CPU time: 140.586 s Remaining CPU time: 39.4144 s c =============================================================================== c | 856 | 1472 2062 760350 | 5000 856 1233 | 0.000 % | c =============================================================================== c New solution: 6767 c Elapsed CPU time: 141.134 s Remaining CPU time: 38.8665 s c =============================================================================== c | 860 | 1472 2063 761700 | 5000 860 1233 | 0.000 % | c =============================================================================== c New solution: 6766 c Elapsed CPU time: 142.183 s Remaining CPU time: 37.8166 s c =============================================================================== c | 955 | 1472 2064 763050 | 5000 955 1232 | 0.000 % | c =============================================================================== c New solution: 6765 c Elapsed CPU time: 142.912 s Remaining CPU time: 37.0877 s c =============================================================================== c | 973 | 1472 2065 764400 | 5000 973 1232 | 0.000 % | c =============================================================================== c New solution: 6764 c Elapsed CPU time: 143.443 s Remaining CPU time: 36.5568 s c =============================================================================== c | 983 | 1472 2066 765750 | 5000 983 1232 | 0.000 % | c =============================================================================== c New solution: 6763 c Elapsed CPU time: 144.418 s Remaining CPU time: 35.582 s c =============================================================================== c | 1040 | 1472 2067 767100 | 5000 1040 1231 | 0.000 % | c =============================================================================== c New solution: 6762 c Elapsed CPU time: 144.988 s Remaining CPU time: 35.012 s c =============================================================================== c | 1046 | 1472 2068 768450 | 5000 1046 1231 | 0.000 % | c =============================================================================== c New solution: 6761 c Elapsed CPU time: 145.537 s Remaining CPU time: 34.4631 s c =============================================================================== c | 1052 | 1472 2069 769800 | 5000 1052 1231 | 0.000 % | c =============================================================================== c New solution: 6760 c Elapsed CPU time: 146.234 s Remaining CPU time: 33.7662 s c =============================================================================== c | 1075 | 1472 2070 771150 | 5000 1075 1231 | 0.000 % | c =============================================================================== c New solution: 6759 c Elapsed CPU time: 147.064 s Remaining CPU time: 32.9364 s c =============================================================================== c | 1153 | 1472 2071 772500 | 5000 1153 1230 | 0.000 % | c =============================================================================== c New solution: 6758 c Elapsed CPU time: 147.962 s Remaining CPU time: 32.0385 s c =============================================================================== c | 1185 | 1472 2072 773850 | 5000 1185 1230 | 0.000 % | c =============================================================================== c New solution: 6757 c Elapsed CPU time: 149.225 s Remaining CPU time: 30.7747 s c =============================================================================== c | 1274 | 1472 2073 775200 | 5000 1274 1229 | 0.000 % | c =============================================================================== c New solution: 6756 c Elapsed CPU time: 150.039 s Remaining CPU time: 29.9608 s c =============================================================================== c | 1304 | 1472 2074 776550 | 5000 1304 1229 | 0.000 % | c =============================================================================== c New solution: 6755 c Elapsed CPU time: 150.546 s Remaining CPU time: 29.4539 s c =============================================================================== c | 1307 | 1472 2075 777900 | 5000 1307 1229 | 0.000 % | c =============================================================================== c New solution: 6754 c Elapsed CPU time: 151.033 s Remaining CPU time: 28.967 s c =============================================================================== c | 1307 | 1472 2076 779250 | 5000 1307 1229 | 0.000 % | c =============================================================================== c New solution: 6753 c Elapsed CPU time: 151.538 s Remaining CPU time: 28.462 s c =============================================================================== c | 1309 | 1472 2077 780600 | 5000 1309 1229 | 0.000 % | c =============================================================================== c New solution: 6752 c Elapsed CPU time: 152.156 s Remaining CPU time: 27.8441 s c =============================================================================== c | 1318 | 1472 2078 781950 | 5000 1318 1229 | 0.000 % | c =============================================================================== c New solution: 6751 c Elapsed CPU time: 152.782 s Remaining CPU time: 27.2182 s c =============================================================================== c | 1335 | 1472 2079 783300 | 5000 1335 1229 | 0.000 % | c =============================================================================== c New solution: 6750 c Elapsed CPU time: 153.676 s Remaining CPU time: 26.3244 s c =============================================================================== c | 1407 | 1472 2080 784650 | 5000 1407 1228 | 0.000 % | c =============================================================================== c New solution: 6749 c Elapsed CPU time: 154.745 s Remaining CPU time: 25.2545 s c =============================================================================== c | 1438 | 1472 2081 786000 | 5000 1438 1228 | 0.000 % | c =============================================================================== c New solution: 6748 c Elapsed CPU time: 155.407 s Remaining CPU time: 24.5926 s c =============================================================================== c | 1460 | 1472 2082 787350 | 5000 1460 1228 | 0.000 % | c =============================================================================== c New solution: 6747 c Elapsed CPU time: 156.33 s Remaining CPU time: 23.6698 s c =============================================================================== c | 1515 | 1472 2083 788700 | 5000 1515 1228 | 0.000 % | c =============================================================================== c New solution: 6746 c Elapsed CPU time: 156.951 s Remaining CPU time: 23.0489 s c =============================================================================== c | 1539 | 1472 2084 790050 | 5000 1539 1227 | 0.000 % | c =============================================================================== c New solution: 6745 c Elapsed CPU time: 157.49 s Remaining CPU time: 22.5099 s c =============================================================================== c | 1541 | 1472 2085 791400 | 5000 1541 1227 | 0.000 % | c =============================================================================== c New solution: 6744 c Elapsed CPU time: 158.077 s Remaining CPU time: 21.923 s c =============================================================================== c | 1543 | 1472 2086 792750 | 5000 1543 1227 | 0.000 % | c =============================================================================== c New solution: 6743 c Elapsed CPU time: 158.573 s Remaining CPU time: 21.4271 s c =============================================================================== c | 1544 | 1472 2087 794100 | 5000 1544 1227 | 0.000 % | c =============================================================================== c New solution: 6742 c Elapsed CPU time: 159.304 s Remaining CPU time: 20.6962 s c =============================================================================== c | 1566 | 1472 2088 795450 | 5000 1566 1227 | 0.000 % | c =============================================================================== c New solution: 6741 c Elapsed CPU time: 159.946 s Remaining CPU time: 20.0543 s c =============================================================================== c | 1572 | 1472 2089 796800 | 5000 1572 1227 | 0.000 % | c =============================================================================== c New solution: 6740 c Elapsed CPU time: 160.502 s Remaining CPU time: 19.4984 s c =============================================================================== c | 1575 | 1472 2090 798150 | 5000 1575 1227 | 0.000 % | c =============================================================================== c New solution: 6739 c Elapsed CPU time: 161.011 s Remaining CPU time: 18.9895 s c =============================================================================== c | 1575 | 1472 2091 799500 | 5000 1575 1227 | 0.000 % | c =============================================================================== c New solution: 6738 c Elapsed CPU time: 161.516 s Remaining CPU time: 18.4836 s c =============================================================================== c | 1575 | 1472 2092 800850 | 5000 1575 1227 | 0.000 % | c =============================================================================== c New solution: 6737 c Elapsed CPU time: 162.214 s Remaining CPU time: 17.7857 s c =============================================================================== c | 1597 | 1472 2093 802200 | 5000 1597 1227 | 0.000 % | c | 1697 | 1472 2093 802200 | 5500 1697 1226 | 1.867 % | c =============================================================================== c New solution: 6736 c Elapsed CPU time: 163.94 s Remaining CPU time: 16.0599 s c =============================================================================== c | 1714 | 1472 2094 803550 | 5000 1714 1226 | 1.867 % | c =============================================================================== c New solution: 6735 c Elapsed CPU time: 164.569 s Remaining CPU time: 15.431 s c =============================================================================== c | 1722 | 1472 2095 804900 | 5000 1722 1226 | 1.867 % | c =============================================================================== c New solution: 6734 c Elapsed CPU time: 165.135 s Remaining CPU time: 14.8651 s c =============================================================================== c | 1723 | 1472 2096 806250 | 5000 1723 1226 | 1.867 % | c =============================================================================== c New solution: 6733 c Elapsed CPU time: 165.672 s Remaining CPU time: 14.3282 s c =============================================================================== c | 1723 | 1472 2097 807600 | 5000 1723 1226 | 1.867 % | c =============================================================================== c New solution: 6732 c Elapsed CPU time: 166.314 s Remaining CPU time: 13.6863 s c =============================================================================== c | 1737 | 1472 2098 808950 | 5000 1737 1226 | 1.867 % | c =============================================================================== c New solution: 6731 c Elapsed CPU time: 166.959 s Remaining CPU time: 13.0414 s c =============================================================================== c | 1741 | 1472 2099 810300 | 5000 1741 1226 | 1.867 % | c =============================================================================== c New solution: 6730 c Elapsed CPU time: 167.705 s Remaining CPU time: 12.2955 s c =============================================================================== c | 1763 | 1472 2100 811650 | 5000 1763 1225 | 1.867 % | c =============================================================================== c New solution: 6729 c Elapsed CPU time: 168.628 s Remaining CPU time: 11.3716 s c =============================================================================== c | 1796 | 1472 2101 813000 | 5000 1796 1225 | 1.867 % | c =============================================================================== c New solution: 6728 c Elapsed CPU time: 169.211 s Remaining CPU time: 10.7887 s c =============================================================================== c | 1800 | 1472 2102 814350 | 5000 1800 1225 | 1.867 % | c =============================================================================== c New solution: 6727 c Elapsed CPU time: 170.205 s Remaining CPU time: 9.79488 s c =============================================================================== c | 1822 | 1472 2103 815700 | 5000 1822 1225 | 1.867 % | c =============================================================================== c New solution: 6726 c Elapsed CPU time: 170.868 s Remaining CPU time: 9.13198 s c =============================================================================== c | 1827 | 1472 2104 817050 | 5000 1827 1225 | 1.867 % | c =============================================================================== c New solution: 6725 c Elapsed CPU time: 171.588 s Remaining CPU time: 8.41209 s c =============================================================================== c | 1848 | 1472 2105 818400 | 5000 1848 1225 | 1.867 % | c =============================================================================== c New solution: 6724 c Elapsed CPU time: 172.224 s Remaining CPU time: 7.77618 s c =============================================================================== c | 1854 | 1472 2106 819750 | 5000 1854 1225 | 1.867 % | c =============================================================================== c New solution: 6723 c Elapsed CPU time: 172.771 s Remaining CPU time: 7.22927 s c =============================================================================== c | 1854 | 1472 2107 821100 | 5000 1854 1225 | 1.867 % | c =============================================================================== c New solution: 6722 c Elapsed CPU time: 173.414 s Remaining CPU time: 6.58636 s c =============================================================================== c | 1866 | 1472 2108 822450 | 5000 1866 1225 | 1.867 % | c =============================================================================== c New solution: 6721 c Elapsed CPU time: 174.017 s Remaining CPU time: 5.98345 s c =============================================================================== c | 1877 | 1472 2109 823800 | 5000 1877 1224 | 1.867 % | c =============================================================================== c New solution: 6720 c Elapsed CPU time: 174.744 s Remaining CPU time: 5.25557 s c =============================================================================== c | 1893 | 1472 2110 825150 | 5000 1893 1224 | 1.867 % | c =============================================================================== c New solution: 6719 c Elapsed CPU time: 175.51 s Remaining CPU time: 4.48968 s c =============================================================================== c | 1900 | 1472 2111 826500 | 5000 1900 1224 | 1.867 % | c =============================================================================== c New solution: 6718 c Elapsed CPU time: 176.159 s Remaining CPU time: 3.84078 s c =============================================================================== c | 1908 | 1472 2112 827850 | 5000 1908 1224 | 1.867 % | c =============================================================================== c New solution: 6717 c Elapsed CPU time: 176.722 s Remaining CPU time: 3.27787 s c =============================================================================== c | 1909 | 1472 2113 829200 | 5000 1909 1224 | 1.867 % | c =============================================================================== c New solution: 6716 c Elapsed CPU time: 177.317 s Remaining CPU time: 2.68296 s c =============================================================================== c | 1911 | 1472 2114 830550 | 5000 1911 1224 | 1.867 % | c =============================================================================== c New solution: 6715 c Elapsed CPU time: 177.87 s Remaining CPU time: 2.13004 s c =============================================================================== c | 1917 | 1472 2115 831900 | 5000 1917 1224 | 1.867 % | c =============================================================================== c New solution: 6714 c Elapsed CPU time: 178.442 s Remaining CPU time: 1.55813 s c =============================================================================== c | 1918 | 1472 2116 833250 | 5000 1918 1224 | 1.867 % | c =============================================================================== c New solution: 6713 c Elapsed CPU time: 179.03 s Remaining CPU time: 0.970217 s c =============================================================================== c | 1919 | 1472 2117 834600 | 5000 1919 1224 | 1.867 % | c =============================================================================== c New solution: 6712 c Elapsed CPU time: 179.686 s Remaining CPU time: 0.314317 s c =============================================================================== c | 1930 | 1472 2118 835950 | 5000 1930 1224 | 1.867 % | c There are 28 assigned variables. 6 in cost function.