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 | 1494 1502 4346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7553 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1494 1503 5696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7543 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1494 1504 7046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7541 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1494 1505 8396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7540 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1494 1506 9746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7538 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1494 1507 11096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7537 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1494 1508 12446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7536 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 1494 1509 13796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7534 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1494 1510 15146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7532 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1494 1511 16496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7531 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 1494 1512 17846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7530 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 1494 1513 19196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7529 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 1494 1514 20546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7527 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 1494 1515 21896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7525 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 1494 1516 23246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7523 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 1494 1517 24596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7522 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 1494 1518 25946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7520 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 1494 1519 27296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7519 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 1494 1520 28646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7518 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 1494 1521 29996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7517 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 1494 1522 31346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7515 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 1494 1523 32696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7513 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 1494 1524 34046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7511 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 1494 1525 35396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7510 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 1494 1526 36746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7509 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 1494 1527 38096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7508 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 0 | 1494 1528 39446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7507 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 1494 1529 40796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7506 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 1494 1530 42146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7505 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 0 | 1494 1531 43496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7504 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 0 | 1494 1532 44846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7503 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 0 | 1494 1533 46196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7498 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 0 | 1494 1534 47546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7497 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 0 | 1494 1535 48896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7493 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 0 | 1494 1536 50246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7492 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 0 | 1494 1537 51596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7491 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 0 | 1494 1538 52946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7485 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 0 | 1494 1539 54296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7482 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 0 | 1494 1540 55646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7481 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 0 | 1494 1541 56996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7475 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 0 | 1494 1542 58346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7472 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 0 | 1494 1543 59696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7471 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 0 | 1494 1544 61046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7470 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 0 | 1494 1545 62396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7469 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 0 | 1494 1546 63746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7468 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 0 | 1494 1547 65096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7466 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 0 | 1494 1548 66446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7464 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s c =============================================================================== c | 0 | 1494 1549 67796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7462 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 0 | 1494 1550 69146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7461 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s c =============================================================================== c | 0 | 1494 1551 70496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7460 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 0 | 1494 1552 71846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7459 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 0 | 1494 1553 73196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7456 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 1494 1554 74546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7455 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 0 | 1494 1555 75896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7453 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 0 | 1494 1556 77246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7452 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 0 | 1494 1557 78596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7449 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 0 | 1494 1558 79946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7448 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 0 | 1494 1559 81296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7445 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 0 | 1494 1560 82646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7444 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 0 | 1494 1561 83996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7443 c Elapsed CPU time: 1.06484 s Remaining CPU time: 178.935 s c =============================================================================== c | 0 | 1494 1562 85346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7442 c Elapsed CPU time: 1.10083 s Remaining CPU time: 178.899 s c =============================================================================== c | 0 | 1494 1563 86696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7441 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 0 | 1494 1564 88046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7440 c Elapsed CPU time: 1.17782 s Remaining CPU time: 178.822 s c =============================================================================== c | 0 | 1494 1565 89396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7439 c Elapsed CPU time: 1.21681 s Remaining CPU time: 178.783 s c =============================================================================== c | 0 | 1494 1566 90746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7436 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 0 | 1494 1567 92096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7435 c Elapsed CPU time: 1.2958 s Remaining CPU time: 178.704 s c =============================================================================== c | 0 | 1494 1568 93446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7434 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 1494 1569 94796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7433 c Elapsed CPU time: 1.37479 s Remaining CPU time: 178.625 s c =============================================================================== c | 0 | 1494 1570 96146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7432 c Elapsed CPU time: 1.41478 s Remaining CPU time: 178.585 s c =============================================================================== c | 0 | 1494 1571 97496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7428 c Elapsed CPU time: 1.46178 s Remaining CPU time: 178.538 s c =============================================================================== c | 0 | 1494 1572 98846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7423 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 0 | 1494 1573 100196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7420 c Elapsed CPU time: 1.55276 s Remaining CPU time: 178.447 s c =============================================================================== c | 0 | 1494 1574 101546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7419 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s c =============================================================================== c | 0 | 1494 1575 102896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7415 c Elapsed CPU time: 1.65075 s Remaining CPU time: 178.349 s c =============================================================================== c | 0 | 1494 1576 104246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7414 c Elapsed CPU time: 1.69974 s Remaining CPU time: 178.3 s c =============================================================================== c | 0 | 1494 1577 105596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7413 c Elapsed CPU time: 1.74973 s Remaining CPU time: 178.25 s c =============================================================================== c | 0 | 1494 1578 106946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7412 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s c =============================================================================== c | 0 | 1494 1579 108296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7410 c Elapsed CPU time: 1.84872 s Remaining CPU time: 178.151 s c =============================================================================== c | 0 | 1494 1580 109646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7406 c Elapsed CPU time: 1.89871 s Remaining CPU time: 178.101 s c =============================================================================== c | 0 | 1494 1581 110996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7403 c Elapsed CPU time: 1.9497 s Remaining CPU time: 178.05 s c =============================================================================== c | 0 | 1494 1582 112346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7398 c Elapsed CPU time: 2.0027 s Remaining CPU time: 177.997 s c =============================================================================== c | 0 | 1494 1583 113696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7397 c Elapsed CPU time: 2.05769 s Remaining CPU time: 177.942 s c =============================================================================== c | 0 | 1494 1584 115046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7396 c Elapsed CPU time: 2.11368 s Remaining CPU time: 177.886 s c =============================================================================== c | 0 | 1494 1585 116396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7395 c Elapsed CPU time: 2.17467 s Remaining CPU time: 177.825 s c =============================================================================== c | 0 | 1494 1586 117746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7392 c Elapsed CPU time: 2.23266 s Remaining CPU time: 177.767 s c =============================================================================== c | 0 | 1494 1587 119096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7391 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 0 | 1494 1588 120446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7389 c Elapsed CPU time: 2.35364 s Remaining CPU time: 177.646 s c =============================================================================== c | 0 | 1494 1589 121796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7387 c Elapsed CPU time: 2.41363 s Remaining CPU time: 177.586 s c =============================================================================== c | 0 | 1494 1590 123146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7386 c Elapsed CPU time: 2.47662 s Remaining CPU time: 177.523 s c =============================================================================== c | 0 | 1494 1591 124496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7385 c Elapsed CPU time: 2.53861 s Remaining CPU time: 177.461 s c =============================================================================== c | 0 | 1494 1592 125846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7380 c Elapsed CPU time: 2.6006 s Remaining CPU time: 177.399 s c =============================================================================== c | 0 | 1494 1593 127196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7376 c Elapsed CPU time: 2.66459 s Remaining CPU time: 177.335 s c =============================================================================== c | 0 | 1494 1594 128546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7375 c Elapsed CPU time: 2.72858 s Remaining CPU time: 177.271 s c =============================================================================== c | 0 | 1494 1595 129896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7374 c Elapsed CPU time: 2.79557 s Remaining CPU time: 177.204 s c =============================================================================== c | 0 | 1494 1596 131246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7373 c Elapsed CPU time: 2.85956 s Remaining CPU time: 177.14 s c =============================================================================== c | 0 | 1494 1597 132596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7372 c Elapsed CPU time: 2.92755 s Remaining CPU time: 177.072 s c =============================================================================== c | 0 | 1494 1598 133946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7367 c Elapsed CPU time: 2.99454 s Remaining CPU time: 177.005 s c =============================================================================== c | 0 | 1494 1599 135296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7366 c Elapsed CPU time: 3.06453 s Remaining CPU time: 176.935 s c =============================================================================== c | 0 | 1494 1600 136646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7364 c Elapsed CPU time: 3.13352 s Remaining CPU time: 176.866 s c =============================================================================== c | 0 | 1494 1601 137996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7358 c Elapsed CPU time: 3.20151 s Remaining CPU time: 176.798 s c =============================================================================== c | 0 | 1494 1602 139346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7352 c Elapsed CPU time: 3.2715 s Remaining CPU time: 176.728 s c =============================================================================== c | 0 | 1494 1603 140696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7349 c Elapsed CPU time: 3.34249 s Remaining CPU time: 176.658 s c =============================================================================== c | 0 | 1494 1604 142046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7346 c Elapsed CPU time: 3.41148 s Remaining CPU time: 176.589 s c =============================================================================== c | 0 | 1494 1605 143396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7343 c Elapsed CPU time: 3.48447 s Remaining CPU time: 176.516 s c =============================================================================== c | 0 | 1494 1606 144746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7340 c Elapsed CPU time: 3.55946 s Remaining CPU time: 176.441 s c =============================================================================== c | 0 | 1494 1607 146096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7339 c Elapsed CPU time: 3.63345 s Remaining CPU time: 176.367 s c =============================================================================== c | 0 | 1494 1608 147446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7335 c Elapsed CPU time: 3.70744 s Remaining CPU time: 176.293 s c =============================================================================== c | 0 | 1494 1609 148796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7334 c Elapsed CPU time: 3.78242 s Remaining CPU time: 176.218 s c =============================================================================== c | 0 | 1494 1610 150146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7333 c Elapsed CPU time: 3.85941 s Remaining CPU time: 176.141 s c =============================================================================== c | 0 | 1494 1611 151496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7328 c Elapsed CPU time: 3.9354 s Remaining CPU time: 176.065 s c =============================================================================== c | 0 | 1494 1612 152846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7327 c Elapsed CPU time: 4.01239 s Remaining CPU time: 175.988 s c =============================================================================== c | 0 | 1494 1613 154196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7326 c Elapsed CPU time: 4.09038 s Remaining CPU time: 175.91 s c =============================================================================== c | 0 | 1494 1614 155546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7325 c Elapsed CPU time: 4.16937 s Remaining CPU time: 175.831 s c =============================================================================== c | 0 | 1494 1615 156896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7324 c Elapsed CPU time: 4.24935 s Remaining CPU time: 175.751 s c =============================================================================== c | 0 | 1494 1616 158246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7319 c Elapsed CPU time: 4.32934 s Remaining CPU time: 175.671 s c =============================================================================== c | 0 | 1494 1617 159596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7314 c Elapsed CPU time: 4.41133 s Remaining CPU time: 175.589 s c =============================================================================== c | 0 | 1494 1618 160946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7312 c Elapsed CPU time: 4.49632 s Remaining CPU time: 175.504 s c =============================================================================== c | 0 | 1494 1619 162296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7311 c Elapsed CPU time: 4.5823 s Remaining CPU time: 175.418 s c =============================================================================== c | 0 | 1494 1620 163646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7307 c Elapsed CPU time: 4.66529 s Remaining CPU time: 175.335 s c =============================================================================== c | 0 | 1494 1621 164996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7304 c Elapsed CPU time: 4.75228 s Remaining CPU time: 175.248 s c =============================================================================== c | 0 | 1494 1622 166346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7303 c Elapsed CPU time: 4.83926 s Remaining CPU time: 175.161 s c =============================================================================== c | 0 | 1494 1623 167696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7302 c Elapsed CPU time: 4.92725 s Remaining CPU time: 175.073 s c =============================================================================== c | 0 | 1494 1624 169046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7301 c Elapsed CPU time: 5.01624 s Remaining CPU time: 174.984 s c =============================================================================== c | 0 | 1494 1625 170396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7300 c Elapsed CPU time: 5.10822 s Remaining CPU time: 174.892 s c =============================================================================== c | 0 | 1494 1626 171746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7299 c Elapsed CPU time: 5.19521 s Remaining CPU time: 174.805 s c =============================================================================== c | 0 | 1494 1627 173096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7298 c Elapsed CPU time: 5.2842 s Remaining CPU time: 174.716 s c =============================================================================== c | 0 | 1494 1628 174446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7297 c Elapsed CPU time: 5.38018 s Remaining CPU time: 174.62 s c =============================================================================== c | 0 | 1494 1629 175796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7296 c Elapsed CPU time: 5.47717 s Remaining CPU time: 174.523 s c =============================================================================== c | 0 | 1494 1630 177146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7293 c Elapsed CPU time: 5.57215 s Remaining CPU time: 174.428 s c =============================================================================== c | 0 | 1494 1631 178496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7290 c Elapsed CPU time: 5.67014 s Remaining CPU time: 174.33 s c =============================================================================== c | 0 | 1494 1632 179846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7289 c Elapsed CPU time: 5.76512 s Remaining CPU time: 174.235 s c =============================================================================== c | 0 | 1494 1633 181196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7288 c Elapsed CPU time: 5.86411 s Remaining CPU time: 174.136 s c =============================================================================== c | 0 | 1494 1634 182546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7287 c Elapsed CPU time: 5.96209 s Remaining CPU time: 174.038 s c =============================================================================== c | 0 | 1494 1635 183896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7285 c Elapsed CPU time: 6.06508 s Remaining CPU time: 173.935 s c =============================================================================== c | 0 | 1494 1636 185246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7283 c Elapsed CPU time: 6.16306 s Remaining CPU time: 173.837 s c =============================================================================== c | 0 | 1494 1637 186596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7282 c Elapsed CPU time: 6.26605 s Remaining CPU time: 173.734 s c =============================================================================== c | 0 | 1494 1638 187946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7281 c Elapsed CPU time: 6.36803 s Remaining CPU time: 173.632 s c =============================================================================== c | 0 | 1494 1639 189296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7279 c Elapsed CPU time: 6.47302 s Remaining CPU time: 173.527 s c =============================================================================== c | 0 | 1494 1640 190646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7277 c Elapsed CPU time: 6.573 s Remaining CPU time: 173.427 s c =============================================================================== c | 0 | 1494 1641 191996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7276 c Elapsed CPU time: 6.67498 s Remaining CPU time: 173.325 s c =============================================================================== c | 0 | 1494 1642 193346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7273 c Elapsed CPU time: 6.77797 s Remaining CPU time: 173.222 s c =============================================================================== c | 0 | 1494 1643 194696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7272 c Elapsed CPU time: 6.88295 s Remaining CPU time: 173.117 s c =============================================================================== c | 0 | 1494 1644 196046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7268 c Elapsed CPU time: 6.98394 s Remaining CPU time: 173.016 s c =============================================================================== c | 0 | 1494 1645 197396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7265 c Elapsed CPU time: 7.08892 s Remaining CPU time: 172.911 s c =============================================================================== c | 0 | 1494 1646 198746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7264 c Elapsed CPU time: 7.19291 s Remaining CPU time: 172.807 s c =============================================================================== c | 0 | 1494 1647 200096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7262 c Elapsed CPU time: 7.30089 s Remaining CPU time: 172.699 s c =============================================================================== c | 1 | 1494 1648 201446 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7261 c Elapsed CPU time: 7.41287 s Remaining CPU time: 172.587 s c =============================================================================== c | 1 | 1494 1649 202796 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7260 c Elapsed CPU time: 7.53685 s Remaining CPU time: 172.463 s c =============================================================================== c | 1 | 1494 1650 204146 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7258 c Elapsed CPU time: 7.65784 s Remaining CPU time: 172.342 s c =============================================================================== c | 1 | 1494 1651 205496 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7257 c Elapsed CPU time: 7.77582 s Remaining CPU time: 172.224 s c =============================================================================== c | 1 | 1494 1652 206846 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7256 c Elapsed CPU time: 7.8938 s Remaining CPU time: 172.106 s c =============================================================================== c | 1 | 1494 1653 208196 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7255 c Elapsed CPU time: 8.01278 s Remaining CPU time: 171.987 s c =============================================================================== c | 1 | 1494 1654 209546 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7254 c Elapsed CPU time: 8.13276 s Remaining CPU time: 171.867 s c =============================================================================== c | 1 | 1494 1655 210896 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7253 c Elapsed CPU time: 8.26274 s Remaining CPU time: 171.737 s c =============================================================================== c | 1 | 1494 1656 212246 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7251 c Elapsed CPU time: 8.38573 s Remaining CPU time: 171.614 s c =============================================================================== c | 1 | 1494 1657 213596 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7249 c Elapsed CPU time: 8.50671 s Remaining CPU time: 171.493 s c =============================================================================== c | 1 | 1494 1658 214946 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7246 c Elapsed CPU time: 8.63469 s Remaining CPU time: 171.365 s c =============================================================================== c | 1 | 1494 1659 216296 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7245 c Elapsed CPU time: 8.76967 s Remaining CPU time: 171.23 s c =============================================================================== c | 1 | 1494 1660 217646 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7244 c Elapsed CPU time: 8.89665 s Remaining CPU time: 171.103 s c =============================================================================== c | 1 | 1494 1661 218996 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7242 c Elapsed CPU time: 9.03063 s Remaining CPU time: 170.969 s c =============================================================================== c | 1 | 1494 1662 220346 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7240 c Elapsed CPU time: 9.15961 s Remaining CPU time: 170.84 s c =============================================================================== c | 1 | 1494 1663 221696 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7239 c Elapsed CPU time: 9.28559 s Remaining CPU time: 170.714 s c =============================================================================== c | 1 | 1494 1664 223046 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7238 c Elapsed CPU time: 9.41257 s Remaining CPU time: 170.587 s c =============================================================================== c | 1 | 1494 1665 224396 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7236 c Elapsed CPU time: 9.54155 s Remaining CPU time: 170.458 s c =============================================================================== c | 1 | 1494 1666 225746 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7235 c Elapsed CPU time: 9.67053 s Remaining CPU time: 170.329 s c =============================================================================== c | 1 | 1494 1667 227096 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7234 c Elapsed CPU time: 9.80951 s Remaining CPU time: 170.19 s c =============================================================================== c | 1 | 1494 1668 228446 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7233 c Elapsed CPU time: 9.95249 s Remaining CPU time: 170.048 s c =============================================================================== c | 1 | 1494 1669 229796 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7232 c Elapsed CPU time: 10.0855 s Remaining CPU time: 169.915 s c =============================================================================== c | 1 | 1494 1670 231146 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7231 c Elapsed CPU time: 10.2224 s Remaining CPU time: 169.778 s c =============================================================================== c | 1 | 1494 1671 232496 | 5000 1 1314 | 0.000 % | c =============================================================================== c New solution: 7230 c Elapsed CPU time: 10.3664 s Remaining CPU time: 169.634 s c =============================================================================== c | 2 | 1494 1672 233846 | 5000 2 1310 | 0.000 % | c =============================================================================== c New solution: 7229 c Elapsed CPU time: 10.4994 s Remaining CPU time: 169.501 s c =============================================================================== c | 2 | 1494 1673 235196 | 5000 2 1310 | 0.000 % | c =============================================================================== c New solution: 7228 c Elapsed CPU time: 10.6334 s Remaining CPU time: 169.367 s c =============================================================================== c | 2 | 1494 1674 236546 | 5000 2 1310 | 0.000 % | c =============================================================================== c New solution: 7227 c Elapsed CPU time: 10.7684 s Remaining CPU time: 169.232 s c =============================================================================== c | 2 | 1494 1675 237896 | 5000 2 1310 | 0.000 % | c =============================================================================== c New solution: 7225 c Elapsed CPU time: 10.9063 s Remaining CPU time: 169.094 s c =============================================================================== c | 2 | 1494 1676 239246 | 5000 2 1310 | 0.000 % | c =============================================================================== c New solution: 7224 c Elapsed CPU time: 11.0593 s Remaining CPU time: 168.941 s c =============================================================================== c | 2 | 1494 1677 240596 | 5000 2 1310 | 0.000 % | c =============================================================================== c New solution: 7223 c Elapsed CPU time: 11.2093 s Remaining CPU time: 168.791 s c =============================================================================== c | 3 | 1494 1678 241946 | 5000 3 874 | 0.000 % | c =============================================================================== c New solution: 7222 c Elapsed CPU time: 11.3553 s Remaining CPU time: 168.645 s c =============================================================================== c | 3 | 1494 1679 243296 | 5000 3 874 | 0.000 % | c =============================================================================== c New solution: 7221 c Elapsed CPU time: 11.4943 s Remaining CPU time: 168.506 s c =============================================================================== c | 4 | 1494 1680 244646 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7220 c Elapsed CPU time: 11.6312 s Remaining CPU time: 168.369 s c =============================================================================== c | 4 | 1494 1681 245996 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7219 c Elapsed CPU time: 11.7762 s Remaining CPU time: 168.224 s c =============================================================================== c | 4 | 1494 1682 247346 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7218 c Elapsed CPU time: 11.9292 s Remaining CPU time: 168.071 s c =============================================================================== c | 4 | 1494 1683 248696 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7217 c Elapsed CPU time: 12.0722 s Remaining CPU time: 167.928 s c =============================================================================== c | 4 | 1494 1684 250046 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7216 c Elapsed CPU time: 12.2251 s Remaining CPU time: 167.775 s c =============================================================================== c | 4 | 1494 1685 251396 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7215 c Elapsed CPU time: 12.3871 s Remaining CPU time: 167.613 s c =============================================================================== c | 4 | 1494 1686 252746 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7214 c Elapsed CPU time: 12.5621 s Remaining CPU time: 167.438 s c =============================================================================== c | 4 | 1494 1687 254096 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7213 c Elapsed CPU time: 12.7331 s Remaining CPU time: 167.267 s c =============================================================================== c | 4 | 1494 1688 255446 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7212 c Elapsed CPU time: 12.893 s Remaining CPU time: 167.107 s c =============================================================================== c | 4 | 1494 1689 256796 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7211 c Elapsed CPU time: 13.05 s Remaining CPU time: 166.95 s c =============================================================================== c | 4 | 1494 1690 258146 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7210 c Elapsed CPU time: 13.202 s Remaining CPU time: 166.798 s c =============================================================================== c | 4 | 1494 1691 259496 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7209 c Elapsed CPU time: 13.35 s Remaining CPU time: 166.65 s c =============================================================================== c | 4 | 1494 1692 260846 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7208 c Elapsed CPU time: 13.5019 s Remaining CPU time: 166.498 s c =============================================================================== c | 4 | 1494 1693 262196 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7207 c Elapsed CPU time: 13.6599 s Remaining CPU time: 166.34 s c =============================================================================== c | 4 | 1494 1694 263546 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7206 c Elapsed CPU time: 13.8129 s Remaining CPU time: 166.187 s c =============================================================================== c | 4 | 1494 1695 264896 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7205 c Elapsed CPU time: 13.9779 s Remaining CPU time: 166.022 s c =============================================================================== c | 4 | 1494 1696 266246 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7204 c Elapsed CPU time: 14.1428 s Remaining CPU time: 165.857 s c =============================================================================== c | 4 | 1494 1697 267596 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7203 c Elapsed CPU time: 14.2998 s Remaining CPU time: 165.7 s c =============================================================================== c | 4 | 1494 1698 268946 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7202 c Elapsed CPU time: 14.4628 s Remaining CPU time: 165.537 s c =============================================================================== c | 4 | 1494 1699 270296 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7201 c Elapsed CPU time: 14.6308 s Remaining CPU time: 165.369 s c =============================================================================== c | 4 | 1494 1700 271646 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7200 c Elapsed CPU time: 14.8087 s Remaining CPU time: 165.191 s c =============================================================================== c | 4 | 1494 1701 272996 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7199 c Elapsed CPU time: 14.9937 s Remaining CPU time: 165.006 s c =============================================================================== c | 4 | 1494 1702 274346 | 5000 4 982 | 0.000 % | c =============================================================================== c New solution: 7198 c Elapsed CPU time: 15.1687 s Remaining CPU time: 164.831 s c =============================================================================== c | 5 | 1494 1703 275696 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7197 c Elapsed CPU time: 15.3317 s Remaining CPU time: 164.668 s c =============================================================================== c | 5 | 1494 1704 277046 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7196 c Elapsed CPU time: 15.4966 s Remaining CPU time: 164.503 s c =============================================================================== c | 5 | 1494 1705 278396 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7195 c Elapsed CPU time: 15.6626 s Remaining CPU time: 164.337 s c =============================================================================== c | 5 | 1494 1706 279746 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7194 c Elapsed CPU time: 15.8296 s Remaining CPU time: 164.17 s c =============================================================================== c | 5 | 1494 1707 281096 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7193 c Elapsed CPU time: 15.9966 s Remaining CPU time: 164.003 s c =============================================================================== c | 5 | 1494 1708 282446 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7192 c Elapsed CPU time: 16.1665 s Remaining CPU time: 163.833 s c =============================================================================== c | 5 | 1494 1709 283796 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7191 c Elapsed CPU time: 16.3385 s Remaining CPU time: 163.661 s c =============================================================================== c | 5 | 1494 1710 285146 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7190 c Elapsed CPU time: 16.5175 s Remaining CPU time: 163.483 s c =============================================================================== c | 5 | 1494 1711 286496 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7189 c Elapsed CPU time: 16.6995 s Remaining CPU time: 163.301 s c =============================================================================== c | 5 | 1494 1712 287846 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7188 c Elapsed CPU time: 16.8884 s Remaining CPU time: 163.112 s c =============================================================================== c | 5 | 1494 1713 289196 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7187 c Elapsed CPU time: 17.0684 s Remaining CPU time: 162.932 s c =============================================================================== c | 5 | 1494 1714 290546 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7186 c Elapsed CPU time: 17.2704 s Remaining CPU time: 162.73 s c =============================================================================== c | 5 | 1494 1715 291896 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7185 c Elapsed CPU time: 17.4693 s Remaining CPU time: 162.531 s c =============================================================================== c | 5 | 1494 1716 293246 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7184 c Elapsed CPU time: 17.6493 s Remaining CPU time: 162.351 s c =============================================================================== c | 5 | 1494 1717 294596 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7183 c Elapsed CPU time: 17.8453 s Remaining CPU time: 162.155 s c =============================================================================== c | 5 | 1494 1718 295946 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7182 c Elapsed CPU time: 18.0203 s Remaining CPU time: 161.98 s c =============================================================================== c | 5 | 1494 1719 297296 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7181 c Elapsed CPU time: 18.2032 s Remaining CPU time: 161.797 s c =============================================================================== c | 5 | 1494 1720 298646 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7180 c Elapsed CPU time: 18.3772 s Remaining CPU time: 161.623 s c =============================================================================== c | 5 | 1494 1721 299996 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7179 c Elapsed CPU time: 18.5712 s Remaining CPU time: 161.429 s c =============================================================================== c | 5 | 1494 1722 301346 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7178 c Elapsed CPU time: 18.7711 s Remaining CPU time: 161.229 s c =============================================================================== c | 5 | 1494 1723 302696 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7177 c Elapsed CPU time: 18.9661 s Remaining CPU time: 161.034 s c =============================================================================== c | 5 | 1494 1724 304046 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7176 c Elapsed CPU time: 19.1561 s Remaining CPU time: 160.844 s c =============================================================================== c | 5 | 1494 1725 305396 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7175 c Elapsed CPU time: 19.3631 s Remaining CPU time: 160.637 s c =============================================================================== c | 5 | 1494 1726 306746 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7174 c Elapsed CPU time: 19.572 s Remaining CPU time: 160.428 s c =============================================================================== c | 5 | 1494 1727 308096 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7173 c Elapsed CPU time: 19.779 s Remaining CPU time: 160.221 s c =============================================================================== c | 5 | 1494 1728 309446 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7172 c Elapsed CPU time: 19.969 s Remaining CPU time: 160.031 s c =============================================================================== c | 5 | 1494 1729 310796 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7171 c Elapsed CPU time: 20.1619 s Remaining CPU time: 159.838 s c =============================================================================== c | 5 | 1494 1730 312146 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7170 c Elapsed CPU time: 20.3609 s Remaining CPU time: 159.639 s c =============================================================================== c | 5 | 1494 1731 313496 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7169 c Elapsed CPU time: 20.5589 s Remaining CPU time: 159.441 s c =============================================================================== c | 5 | 1494 1732 314846 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7168 c Elapsed CPU time: 20.7478 s Remaining CPU time: 159.252 s c =============================================================================== c | 5 | 1494 1733 316196 | 5000 5 1044 | 0.000 % | c =============================================================================== c New solution: 7167 c Elapsed CPU time: 20.9448 s Remaining CPU time: 159.055 s c =============================================================================== c | 6 | 1494 1734 317546 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7166 c Elapsed CPU time: 21.1338 s Remaining CPU time: 158.866 s c =============================================================================== c | 6 | 1494 1735 318896 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7165 c Elapsed CPU time: 21.3408 s Remaining CPU time: 158.659 s c =============================================================================== c | 6 | 1494 1736 320246 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7164 c Elapsed CPU time: 21.5407 s Remaining CPU time: 158.459 s c =============================================================================== c | 6 | 1494 1737 321596 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7163 c Elapsed CPU time: 21.7357 s Remaining CPU time: 158.264 s c =============================================================================== c | 6 | 1494 1738 322946 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7162 c Elapsed CPU time: 21.9327 s Remaining CPU time: 158.067 s c =============================================================================== c | 6 | 1494 1739 324296 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7161 c Elapsed CPU time: 22.1196 s Remaining CPU time: 157.88 s c =============================================================================== c | 6 | 1494 1740 325646 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7160 c Elapsed CPU time: 22.3156 s Remaining CPU time: 157.684 s c =============================================================================== c | 6 | 1494 1741 326996 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7159 c Elapsed CPU time: 22.5206 s Remaining CPU time: 157.479 s c =============================================================================== c | 6 | 1494 1742 328346 | 5000 6 871 | 0.000 % | c =============================================================================== c New solution: 7158 c Elapsed CPU time: 22.7265 s Remaining CPU time: 157.273 s c =============================================================================== c | 7 | 1494 1743 329696 | 5000 7 747 | 0.000 % | c =============================================================================== c New solution: 7157 c Elapsed CPU time: 22.9355 s Remaining CPU time: 157.064 s c =============================================================================== c | 7 | 1494 1744 331046 | 5000 7 747 | 0.000 % | c =============================================================================== c New solution: 7156 c Elapsed CPU time: 23.1505 s Remaining CPU time: 156.85 s c =============================================================================== c | 8 | 1494 1745 332396 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7155 c Elapsed CPU time: 23.3654 s Remaining CPU time: 156.635 s c =============================================================================== c | 8 | 1494 1746 333746 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7154 c Elapsed CPU time: 23.5724 s Remaining CPU time: 156.428 s c =============================================================================== c | 8 | 1494 1747 335096 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7153 c Elapsed CPU time: 23.7774 s Remaining CPU time: 156.223 s c =============================================================================== c | 8 | 1494 1748 336446 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7152 c Elapsed CPU time: 23.9794 s Remaining CPU time: 156.021 s c =============================================================================== c | 8 | 1494 1749 337796 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7151 c Elapsed CPU time: 24.1873 s Remaining CPU time: 155.813 s c =============================================================================== c | 8 | 1494 1750 339146 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7150 c Elapsed CPU time: 24.4043 s Remaining CPU time: 155.596 s c =============================================================================== c | 8 | 1494 1751 340496 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7149 c Elapsed CPU time: 24.6183 s Remaining CPU time: 155.382 s c =============================================================================== c | 8 | 1494 1752 341846 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7148 c Elapsed CPU time: 24.8322 s Remaining CPU time: 155.168 s c =============================================================================== c | 8 | 1494 1753 343196 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7147 c Elapsed CPU time: 25.0342 s Remaining CPU time: 154.966 s c =============================================================================== c | 8 | 1494 1754 344546 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7146 c Elapsed CPU time: 25.2412 s Remaining CPU time: 154.759 s c =============================================================================== c | 8 | 1494 1755 345896 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7145 c Elapsed CPU time: 25.4571 s Remaining CPU time: 154.543 s c =============================================================================== c | 8 | 1494 1756 347246 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7144 c Elapsed CPU time: 25.6701 s Remaining CPU time: 154.33 s c =============================================================================== c | 8 | 1494 1757 348596 | 5000 8 815 | 0.000 % | c =============================================================================== c New solution: 7143 c Elapsed CPU time: 25.8821 s Remaining CPU time: 154.118 s c =============================================================================== c | 9 | 1494 1758 349946 | 5000 9 867 | 0.000 % | c =============================================================================== c New solution: 7142 c Elapsed CPU time: 26.094 s Remaining CPU time: 153.906 s c =============================================================================== c | 9 | 1494 1759 351296 | 5000 9 867 | 0.000 % | c =============================================================================== c New solution: 7141 c Elapsed CPU time: 26.335 s Remaining CPU time: 153.665 s c =============================================================================== c | 9 | 1494 1760 352646 | 5000 9 867 | 0.000 % | c =============================================================================== c New solution: 7140 c Elapsed CPU time: 26.593 s Remaining CPU time: 153.407 s c =============================================================================== c | 9 | 1494 1761 353996 | 5000 9 867 | 0.000 % | c =============================================================================== c New solution: 7139 c Elapsed CPU time: 26.8529 s Remaining CPU time: 153.147 s c =============================================================================== c | 11 | 1494 1762 355346 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7138 c Elapsed CPU time: 27.0999 s Remaining CPU time: 152.9 s c =============================================================================== c | 11 | 1494 1763 356696 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7137 c Elapsed CPU time: 27.3318 s Remaining CPU time: 152.668 s c =============================================================================== c | 11 | 1494 1764 358046 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7136 c Elapsed CPU time: 27.5618 s Remaining CPU time: 152.438 s c =============================================================================== c | 11 | 1494 1765 359396 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7135 c Elapsed CPU time: 27.7918 s Remaining CPU time: 152.208 s c =============================================================================== c | 11 | 1494 1766 360746 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7134 c Elapsed CPU time: 28.0117 s Remaining CPU time: 151.988 s c =============================================================================== c | 11 | 1494 1767 362096 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7133 c Elapsed CPU time: 28.2317 s Remaining CPU time: 151.768 s c =============================================================================== c | 11 | 1494 1768 363446 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7132 c Elapsed CPU time: 28.4427 s Remaining CPU time: 151.557 s c =============================================================================== c | 11 | 1494 1769 364796 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7131 c Elapsed CPU time: 28.6696 s Remaining CPU time: 151.33 s c =============================================================================== c | 11 | 1494 1770 366146 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7130 c Elapsed CPU time: 28.9006 s Remaining CPU time: 151.099 s c =============================================================================== c | 11 | 1494 1771 367496 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7129 c Elapsed CPU time: 29.1376 s Remaining CPU time: 150.862 s c =============================================================================== c | 11 | 1494 1772 368846 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7128 c Elapsed CPU time: 29.3695 s Remaining CPU time: 150.63 s c =============================================================================== c | 11 | 1494 1773 370196 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7127 c Elapsed CPU time: 29.5995 s Remaining CPU time: 150.4 s c =============================================================================== c | 11 | 1494 1774 371546 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7126 c Elapsed CPU time: 29.8255 s Remaining CPU time: 150.175 s c =============================================================================== c | 11 | 1494 1775 372896 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7125 c Elapsed CPU time: 30.0614 s Remaining CPU time: 149.939 s c =============================================================================== c | 11 | 1494 1776 374246 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7124 c Elapsed CPU time: 30.2944 s Remaining CPU time: 149.706 s c =============================================================================== c | 11 | 1494 1777 375596 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7123 c Elapsed CPU time: 30.5364 s Remaining CPU time: 149.464 s c =============================================================================== c | 11 | 1494 1778 376946 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7122 c Elapsed CPU time: 30.7813 s Remaining CPU time: 149.219 s c =============================================================================== c | 11 | 1494 1779 378296 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7121 c Elapsed CPU time: 31.0303 s Remaining CPU time: 148.97 s c =============================================================================== c | 11 | 1494 1780 379646 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7120 c Elapsed CPU time: 31.2612 s Remaining CPU time: 148.739 s c =============================================================================== c | 11 | 1494 1781 380996 | 5000 11 944 | 0.000 % | c =============================================================================== c New solution: 7119 c Elapsed CPU time: 31.5162 s Remaining CPU time: 148.484 s c =============================================================================== c | 12 | 1494 1782 382346 | 5000 12 972 | 0.000 % | c =============================================================================== c New solution: 7118 c Elapsed CPU time: 31.7572 s Remaining CPU time: 148.243 s c =============================================================================== c | 12 | 1494 1783 383696 | 5000 12 972 | 0.000 % | c =============================================================================== c New solution: 7117 c Elapsed CPU time: 32.0031 s Remaining CPU time: 147.997 s c =============================================================================== c | 12 | 1494 1784 385046 | 5000 12 972 | 0.000 % | c =============================================================================== c New solution: 7116 c Elapsed CPU time: 32.2591 s Remaining CPU time: 147.741 s c =============================================================================== c | 12 | 1494 1785 386396 | 5000 12 972 | 0.000 % | c =============================================================================== c New solution: 7115 c Elapsed CPU time: 32.5271 s Remaining CPU time: 147.473 s c =============================================================================== c | 12 | 1494 1786 387746 | 5000 12 972 | 0.000 % | c =============================================================================== c New solution: 7114 c Elapsed CPU time: 32.772 s Remaining CPU time: 147.228 s c =============================================================================== c | 12 | 1494 1787 389096 | 5000 12 972 | 0.000 % | c =============================================================================== c New solution: 7113 c Elapsed CPU time: 33.031 s Remaining CPU time: 146.969 s c =============================================================================== c | 12 | 1494 1788 390446 | 5000 12 972 | 0.000 % | c =============================================================================== c New solution: 7112 c Elapsed CPU time: 33.3019 s Remaining CPU time: 146.698 s c =============================================================================== c | 14 | 1494 1789 391796 | 5000 14 1016 | 0.000 % | c =============================================================================== c New solution: 7111 c Elapsed CPU time: 33.5929 s Remaining CPU time: 146.407 s c =============================================================================== c | 14 | 1494 1790 393146 | 5000 14 1016 | 0.000 % | c =============================================================================== c New solution: 7110 c Elapsed CPU time: 33.8569 s Remaining CPU time: 146.143 s c =============================================================================== c | 14 | 1494 1791 394496 | 5000 14 1016 | 0.000 % | c =============================================================================== c New solution: 7109 c Elapsed CPU time: 34.1548 s Remaining CPU time: 145.845 s c =============================================================================== c | 18 | 1494 1792 395846 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7108 c Elapsed CPU time: 34.4208 s Remaining CPU time: 145.579 s c =============================================================================== c | 18 | 1494 1793 397196 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7107 c Elapsed CPU time: 34.6657 s Remaining CPU time: 145.334 s c =============================================================================== c | 18 | 1494 1794 398546 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7106 c Elapsed CPU time: 34.9217 s Remaining CPU time: 145.078 s c =============================================================================== c | 18 | 1494 1795 399896 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7105 c Elapsed CPU time: 35.1747 s Remaining CPU time: 144.825 s c =============================================================================== c | 18 | 1494 1796 401246 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7104 c Elapsed CPU time: 35.4226 s Remaining CPU time: 144.577 s c =============================================================================== c | 18 | 1494 1797 402596 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7103 c Elapsed CPU time: 35.6726 s Remaining CPU time: 144.327 s c =============================================================================== c | 18 | 1494 1798 403946 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7102 c Elapsed CPU time: 35.9125 s Remaining CPU time: 144.087 s c =============================================================================== c | 18 | 1494 1799 405296 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7101 c Elapsed CPU time: 36.1595 s Remaining CPU time: 143.84 s c =============================================================================== c | 18 | 1494 1800 406646 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7100 c Elapsed CPU time: 36.4055 s Remaining CPU time: 143.595 s c =============================================================================== c | 18 | 1494 1801 407996 | 5000 18 1075 | 0.000 % | c =============================================================================== c New solution: 7099 c Elapsed CPU time: 36.6574 s Remaining CPU time: 143.343 s c =============================================================================== c | 19 | 1494 1802 409346 | 5000 19 1086 | 0.000 % | c =============================================================================== c New solution: 7098 c Elapsed CPU time: 36.9104 s Remaining CPU time: 143.09 s c =============================================================================== c | 19 | 1494 1803 410696 | 5000 19 1086 | 0.000 % | c =============================================================================== c New solution: 7097 c Elapsed CPU time: 37.1803 s Remaining CPU time: 142.82 s c =============================================================================== c | 19 | 1494 1804 412046 | 5000 19 1086 | 0.000 % | c =============================================================================== c New solution: 7096 c Elapsed CPU time: 37.4333 s Remaining CPU time: 142.567 s c =============================================================================== c | 19 | 1494 1805 413396 | 5000 19 1086 | 0.000 % | c =============================================================================== c New solution: 7095 c Elapsed CPU time: 37.6853 s Remaining CPU time: 142.315 s c =============================================================================== c | 19 | 1494 1806 414746 | 5000 19 1086 | 0.000 % | c =============================================================================== c New solution: 7094 c Elapsed CPU time: 37.9482 s Remaining CPU time: 142.052 s c =============================================================================== c | 19 | 1494 1807 416096 | 5000 19 1086 | 0.000 % | c =============================================================================== c New solution: 7093 c Elapsed CPU time: 38.2142 s Remaining CPU time: 141.786 s c =============================================================================== c | 19 | 1494 1808 417446 | 5000 19 1086 | 0.000 % | c =============================================================================== c New solution: 7092 c Elapsed CPU time: 38.5181 s Remaining CPU time: 141.482 s c =============================================================================== c | 19 | 1494 1809 418796 | 5000 19 1086 | 0.000 % | c =============================================================================== c New solution: 7091 c Elapsed CPU time: 38.8221 s Remaining CPU time: 141.178 s c =============================================================================== c | 20 | 1494 1810 420146 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7090 c Elapsed CPU time: 39.1051 s Remaining CPU time: 140.895 s c =============================================================================== c | 20 | 1494 1811 421496 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7089 c Elapsed CPU time: 39.398 s Remaining CPU time: 140.602 s c =============================================================================== c | 20 | 1494 1812 422846 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7088 c Elapsed CPU time: 39.682 s Remaining CPU time: 140.318 s c =============================================================================== c | 20 | 1494 1813 424196 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7087 c Elapsed CPU time: 39.9779 s Remaining CPU time: 140.022 s c =============================================================================== c | 20 | 1494 1814 425546 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7086 c Elapsed CPU time: 40.2609 s Remaining CPU time: 139.739 s c =============================================================================== c | 20 | 1494 1815 426896 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7085 c Elapsed CPU time: 40.5338 s Remaining CPU time: 139.466 s c =============================================================================== c | 20 | 1494 1816 428246 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7084 c Elapsed CPU time: 40.8108 s Remaining CPU time: 139.189 s c =============================================================================== c | 20 | 1494 1817 429596 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7083 c Elapsed CPU time: 41.0948 s Remaining CPU time: 138.905 s c =============================================================================== c | 20 | 1494 1818 430946 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7082 c Elapsed CPU time: 41.3967 s Remaining CPU time: 138.603 s c =============================================================================== c | 20 | 1494 1819 432296 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7081 c Elapsed CPU time: 41.6767 s Remaining CPU time: 138.323 s c =============================================================================== c | 20 | 1494 1820 433646 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7080 c Elapsed CPU time: 41.9686 s Remaining CPU time: 138.031 s c =============================================================================== c | 20 | 1494 1821 434996 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7079 c Elapsed CPU time: 42.2566 s Remaining CPU time: 137.743 s c =============================================================================== c | 20 | 1494 1822 436346 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7078 c Elapsed CPU time: 42.5305 s Remaining CPU time: 137.469 s c =============================================================================== c | 20 | 1494 1823 437696 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7077 c Elapsed CPU time: 42.8115 s Remaining CPU time: 137.189 s c =============================================================================== c | 20 | 1494 1824 439046 | 5000 20 1095 | 0.000 % | c =============================================================================== c New solution: 7076 c Elapsed CPU time: 43.0994 s Remaining CPU time: 136.901 s c =============================================================================== c | 22 | 1494 1825 440396 | 5000 22 1112 | 0.000 % | c =============================================================================== c New solution: 7075 c Elapsed CPU time: 43.3924 s Remaining CPU time: 136.608 s c =============================================================================== c | 22 | 1494 1826 441746 | 5000 22 1112 | 0.000 % | c =============================================================================== c New solution: 7074 c Elapsed CPU time: 43.6714 s Remaining CPU time: 136.329 s c =============================================================================== c | 22 | 1494 1827 443096 | 5000 22 1112 | 0.000 % | c =============================================================================== c New solution: 7073 c Elapsed CPU time: 43.9643 s Remaining CPU time: 136.036 s c =============================================================================== c | 23 | 1494 1828 444446 | 5000 23 1119 | 0.000 % | c =============================================================================== c New solution: 7072 c Elapsed CPU time: 44.2373 s Remaining CPU time: 135.763 s c =============================================================================== c | 23 | 1494 1829 445796 | 5000 23 1119 | 0.000 % | c =============================================================================== c New solution: 7071 c Elapsed CPU time: 44.5162 s Remaining CPU time: 135.484 s c =============================================================================== c | 23 | 1494 1830 447146 | 5000 23 1119 | 0.000 % | c =============================================================================== c New solution: 7070 c Elapsed CPU time: 44.7872 s Remaining CPU time: 135.213 s c =============================================================================== c | 23 | 1494 1831 448496 | 5000 23 1119 | 0.000 % | c =============================================================================== c New solution: 7069 c Elapsed CPU time: 45.0871 s Remaining CPU time: 134.913 s c =============================================================================== c | 23 | 1494 1832 449846 | 5000 23 1119 | 0.000 % | c =============================================================================== c New solution: 7068 c Elapsed CPU time: 45.3831 s Remaining CPU time: 134.617 s c =============================================================================== c | 23 | 1494 1833 451196 | 5000 23 1119 | 0.000 % | c =============================================================================== c New solution: 7067 c Elapsed CPU time: 45.6731 s Remaining CPU time: 134.327 s c =============================================================================== c | 24 | 1494 1834 452546 | 5000 24 1125 | 0.000 % | c =============================================================================== c New solution: 7066 c Elapsed CPU time: 45.973 s Remaining CPU time: 134.027 s c =============================================================================== c | 24 | 1494 1835 453896 | 5000 24 1125 | 0.000 % | c =============================================================================== c New solution: 7065 c Elapsed CPU time: 46.281 s Remaining CPU time: 133.719 s c =============================================================================== c | 24 | 1494 1836 455246 | 5000 24 1125 | 0.000 % | c =============================================================================== c New solution: 7064 c Elapsed CPU time: 46.5859 s Remaining CPU time: 133.414 s c =============================================================================== c | 24 | 1494 1837 456596 | 5000 24 1125 | 0.000 % | c =============================================================================== c New solution: 7063 c Elapsed CPU time: 46.8939 s Remaining CPU time: 133.106 s c =============================================================================== c | 24 | 1494 1838 457946 | 5000 24 1125 | 0.000 % | c =============================================================================== c New solution: 7062 c Elapsed CPU time: 47.1988 s Remaining CPU time: 132.801 s c =============================================================================== c | 26 | 1494 1839 459296 | 5000 26 1136 | 0.000 % | c =============================================================================== c New solution: 7061 c Elapsed CPU time: 47.5018 s Remaining CPU time: 132.498 s c =============================================================================== c | 26 | 1494 1840 460646 | 5000 26 1136 | 0.000 % | c =============================================================================== c New solution: 7060 c Elapsed CPU time: 47.8027 s Remaining CPU time: 132.197 s c =============================================================================== c | 26 | 1494 1841 461996 | 5000 26 1136 | 0.000 % | c =============================================================================== c New solution: 7059 c Elapsed CPU time: 48.1127 s Remaining CPU time: 131.887 s c =============================================================================== c | 26 | 1494 1842 463346 | 5000 26 1136 | 0.000 % | c =============================================================================== c New solution: 7058 c Elapsed CPU time: 48.4336 s Remaining CPU time: 131.566 s c =============================================================================== c | 26 | 1494 1843 464696 | 5000 26 1136 | 0.000 % | c =============================================================================== c New solution: 7057 c Elapsed CPU time: 48.7506 s Remaining CPU time: 131.249 s c =============================================================================== c | 31 | 1494 1844 466046 | 5000 31 1158 | 0.000 % | c =============================================================================== c New solution: 7056 c Elapsed CPU time: 49.0505 s Remaining CPU time: 130.949 s c =============================================================================== c | 31 | 1494 1845 467396 | 5000 31 1158 | 0.000 % | c =============================================================================== c New solution: 7055 c Elapsed CPU time: 49.3655 s Remaining CPU time: 130.635 s c =============================================================================== c | 32 | 1494 1846 468746 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7054 c Elapsed CPU time: 49.6724 s Remaining CPU time: 130.328 s c =============================================================================== c | 32 | 1494 1847 470096 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7053 c Elapsed CPU time: 49.9604 s Remaining CPU time: 130.04 s c =============================================================================== c | 32 | 1494 1848 471446 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7052 c Elapsed CPU time: 50.2684 s Remaining CPU time: 129.732 s c =============================================================================== c | 32 | 1494 1849 472796 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7051 c Elapsed CPU time: 50.5893 s Remaining CPU time: 129.411 s c =============================================================================== c | 32 | 1494 1850 474146 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7050 c Elapsed CPU time: 50.9163 s Remaining CPU time: 129.084 s c =============================================================================== c | 32 | 1494 1851 475496 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7049 c Elapsed CPU time: 51.2262 s Remaining CPU time: 128.774 s c =============================================================================== c | 32 | 1494 1852 476846 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7048 c Elapsed CPU time: 51.5452 s Remaining CPU time: 128.455 s c =============================================================================== c | 32 | 1494 1853 478196 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7047 c Elapsed CPU time: 51.8551 s Remaining CPU time: 128.145 s c =============================================================================== c | 32 | 1494 1854 479546 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7046 c Elapsed CPU time: 52.1701 s Remaining CPU time: 127.83 s c =============================================================================== c | 32 | 1494 1855 480896 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7045 c Elapsed CPU time: 52.475 s Remaining CPU time: 127.525 s c =============================================================================== c | 32 | 1494 1856 482246 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7044 c Elapsed CPU time: 52.758 s Remaining CPU time: 127.242 s c =============================================================================== c | 32 | 1494 1857 483596 | 5000 32 1162 | 0.000 % | c =============================================================================== c New solution: 7043 c Elapsed CPU time: 53.0829 s Remaining CPU time: 126.917 s c =============================================================================== c | 38 | 1494 1858 484946 | 5000 38 1179 | 0.000 % | c =============================================================================== c New solution: 7042 c Elapsed CPU time: 53.4009 s Remaining CPU time: 126.599 s c =============================================================================== c | 38 | 1494 1859 486296 | 5000 38 1179 | 0.000 % | c =============================================================================== c New solution: 7041 c Elapsed CPU time: 53.7318 s Remaining CPU time: 126.268 s c =============================================================================== c | 39 | 1494 1860 487646 | 5000 39 1148 | 0.000 % | c =============================================================================== c New solution: 7040 c Elapsed CPU time: 54.0768 s Remaining CPU time: 125.923 s c =============================================================================== c | 44 | 1494 1861 488996 | 5000 44 1162 | 0.000 % | c =============================================================================== c New solution: 7039 c Elapsed CPU time: 54.3767 s Remaining CPU time: 125.623 s c =============================================================================== c | 44 | 1494 1862 490346 | 5000 44 1162 | 0.000 % | c =============================================================================== c New solution: 7038 c Elapsed CPU time: 54.7287 s Remaining CPU time: 125.271 s c =============================================================================== c | 44 | 1494 1863 491696 | 5000 44 1162 | 0.000 % | c =============================================================================== c New solution: 7037 c Elapsed CPU time: 55.0626 s Remaining CPU time: 124.937 s c =============================================================================== c | 46 | 1494 1864 493046 | 5000 46 1167 | 0.000 % | c =============================================================================== c New solution: 7036 c Elapsed CPU time: 55.4026 s Remaining CPU time: 124.597 s c =============================================================================== c | 46 | 1494 1865 494396 | 5000 46 1167 | 0.000 % | c =============================================================================== c New solution: 7035 c Elapsed CPU time: 55.7345 s Remaining CPU time: 124.265 s c =============================================================================== c | 46 | 1494 1866 495746 | 5000 46 1167 | 0.000 % | c =============================================================================== c New solution: 7034 c Elapsed CPU time: 56.0465 s Remaining CPU time: 123.954 s c =============================================================================== c | 46 | 1494 1867 497096 | 5000 46 1167 | 0.000 % | c =============================================================================== c New solution: 7033 c Elapsed CPU time: 56.3684 s Remaining CPU time: 123.632 s c =============================================================================== c | 49 | 1494 1868 498446 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7032 c Elapsed CPU time: 56.6934 s Remaining CPU time: 123.307 s c =============================================================================== c | 49 | 1494 1869 499796 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7031 c Elapsed CPU time: 56.9953 s Remaining CPU time: 123.005 s c =============================================================================== c | 49 | 1494 1870 501146 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7030 c Elapsed CPU time: 57.2953 s Remaining CPU time: 122.705 s c =============================================================================== c | 49 | 1494 1871 502496 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7029 c Elapsed CPU time: 57.6242 s Remaining CPU time: 122.376 s c =============================================================================== c | 49 | 1494 1872 503846 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7028 c Elapsed CPU time: 57.9512 s Remaining CPU time: 122.049 s c =============================================================================== c | 49 | 1494 1873 505196 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7027 c Elapsed CPU time: 58.2721 s Remaining CPU time: 121.728 s c =============================================================================== c | 49 | 1494 1874 506546 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7026 c Elapsed CPU time: 58.5961 s Remaining CPU time: 121.404 s c =============================================================================== c | 49 | 1494 1875 507896 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7025 c Elapsed CPU time: 58.934 s Remaining CPU time: 121.066 s c =============================================================================== c | 49 | 1494 1876 509246 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7024 c Elapsed CPU time: 59.282 s Remaining CPU time: 120.718 s c =============================================================================== c | 49 | 1494 1877 510596 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7023 c Elapsed CPU time: 59.6319 s Remaining CPU time: 120.368 s c =============================================================================== c | 49 | 1494 1878 511946 | 5000 49 1173 | 0.000 % | c =============================================================================== c New solution: 7022 c Elapsed CPU time: 59.9839 s Remaining CPU time: 120.016 s c =============================================================================== c | 50 | 1494 1879 513296 | 5000 50 1175 | 0.000 % | c =============================================================================== c New solution: 7021 c Elapsed CPU time: 60.3218 s Remaining CPU time: 119.678 s c =============================================================================== c | 50 | 1494 1880 514646 | 5000 50 1175 | 0.000 % | c =============================================================================== c New solution: 7020 c Elapsed CPU time: 60.6728 s Remaining CPU time: 119.327 s c =============================================================================== c | 50 | 1494 1881 515996 | 5000 50 1175 | 0.000 % | c =============================================================================== c New solution: 7019 c Elapsed CPU time: 61.0197 s Remaining CPU time: 118.98 s c =============================================================================== c | 56 | 1494 1882 517346 | 5000 56 1184 | 0.000 % | c =============================================================================== c New solution: 7018 c Elapsed CPU time: 61.3637 s Remaining CPU time: 118.636 s c =============================================================================== c | 56 | 1494 1883 518696 | 5000 56 1184 | 0.000 % | c =============================================================================== c New solution: 7017 c Elapsed CPU time: 61.6926 s Remaining CPU time: 118.307 s c =============================================================================== c | 56 | 1494 1884 520046 | 5000 56 1184 | 0.000 % | c =============================================================================== c New solution: 7016 c Elapsed CPU time: 62.0356 s Remaining CPU time: 117.964 s c =============================================================================== c | 56 | 1494 1885 521396 | 5000 56 1184 | 0.000 % | c =============================================================================== c New solution: 7015 c Elapsed CPU time: 62.3605 s Remaining CPU time: 117.639 s c =============================================================================== c | 56 | 1494 1886 522746 | 5000 56 1184 | 0.000 % | c =============================================================================== c New solution: 7014 c Elapsed CPU time: 62.7175 s Remaining CPU time: 117.283 s c =============================================================================== c | 56 | 1494 1887 524096 | 5000 56 1184 | 0.000 % | c =============================================================================== c New solution: 7013 c Elapsed CPU time: 63.1104 s Remaining CPU time: 116.89 s c =============================================================================== c | 59 | 1494 1888 525446 | 5000 59 1188 | 0.000 % | c =============================================================================== c New solution: 7012 c Elapsed CPU time: 63.4614 s Remaining CPU time: 116.539 s c =============================================================================== c | 59 | 1494 1889 526796 | 5000 59 1188 | 0.000 % | c =============================================================================== c New solution: 7011 c Elapsed CPU time: 63.8213 s Remaining CPU time: 116.179 s c =============================================================================== c | 59 | 1494 1890 528146 | 5000 59 1188 | 0.000 % | c =============================================================================== c New solution: 7010 c Elapsed CPU time: 64.1782 s Remaining CPU time: 115.822 s c =============================================================================== c | 59 | 1494 1891 529496 | 5000 59 1188 | 0.000 % | c =============================================================================== c New solution: 7009 c Elapsed CPU time: 64.5412 s Remaining CPU time: 115.459 s c =============================================================================== c | 60 | 1494 1892 530846 | 5000 60 1190 | 0.000 % | c =============================================================================== c New solution: 7008 c Elapsed CPU time: 64.8671 s Remaining CPU time: 115.133 s c =============================================================================== c | 60 | 1494 1893 532196 | 5000 60 1190 | 0.000 % | c =============================================================================== c New solution: 7007 c Elapsed CPU time: 65.2171 s Remaining CPU time: 114.783 s c =============================================================================== c | 60 | 1494 1894 533546 | 5000 60 1190 | 0.000 % | c =============================================================================== c New solution: 7006 c Elapsed CPU time: 65.563 s Remaining CPU time: 114.437 s c =============================================================================== c | 60 | 1494 1895 534896 | 5000 60 1190 | 0.000 % | c =============================================================================== c New solution: 7005 c Elapsed CPU time: 65.907 s Remaining CPU time: 114.093 s c =============================================================================== c | 60 | 1494 1896 536246 | 5000 60 1190 | 0.000 % | c =============================================================================== c New solution: 7004 c Elapsed CPU time: 66.2709 s Remaining CPU time: 113.729 s c =============================================================================== c | 62 | 1494 1897 537596 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 7003 c Elapsed CPU time: 66.6139 s Remaining CPU time: 113.386 s c =============================================================================== c | 62 | 1494 1898 538946 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 7002 c Elapsed CPU time: 66.9738 s Remaining CPU time: 113.026 s c =============================================================================== c | 62 | 1494 1899 540296 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 7001 c Elapsed CPU time: 67.3428 s Remaining CPU time: 112.657 s c =============================================================================== c | 62 | 1494 1900 541646 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 7000 c Elapsed CPU time: 67.7197 s Remaining CPU time: 112.28 s c =============================================================================== c | 62 | 1494 1901 542996 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6999 c Elapsed CPU time: 68.0747 s Remaining CPU time: 111.925 s c =============================================================================== c | 62 | 1494 1902 544346 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6998 c Elapsed CPU time: 68.4316 s Remaining CPU time: 111.568 s c =============================================================================== c | 62 | 1494 1903 545696 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6997 c Elapsed CPU time: 68.7855 s Remaining CPU time: 111.214 s c =============================================================================== c | 62 | 1494 1904 547046 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6996 c Elapsed CPU time: 69.1415 s Remaining CPU time: 110.859 s c =============================================================================== c | 62 | 1494 1905 548396 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6995 c Elapsed CPU time: 69.5124 s Remaining CPU time: 110.488 s c =============================================================================== c | 62 | 1494 1906 549746 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6994 c Elapsed CPU time: 69.8724 s Remaining CPU time: 110.128 s c =============================================================================== c | 62 | 1494 1907 551096 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6993 c Elapsed CPU time: 70.2373 s Remaining CPU time: 109.763 s c =============================================================================== c | 62 | 1494 1908 552446 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6992 c Elapsed CPU time: 70.6223 s Remaining CPU time: 109.378 s c =============================================================================== c | 62 | 1494 1909 553796 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6991 c Elapsed CPU time: 71.0002 s Remaining CPU time: 109 s c =============================================================================== c | 62 | 1494 1910 555146 | 5000 62 1172 | 0.000 % | c =============================================================================== c New solution: 6990 c Elapsed CPU time: 71.3582 s Remaining CPU time: 108.642 s c =============================================================================== c | 68 | 1494 1911 556496 | 5000 68 1180 | 0.000 % | c =============================================================================== c New solution: 6989 c Elapsed CPU time: 71.7591 s Remaining CPU time: 108.241 s c =============================================================================== c | 71 | 1494 1912 557846 | 5000 71 1165 | 0.000 % | c =============================================================================== c New solution: 6988 c Elapsed CPU time: 72.161 s Remaining CPU time: 107.839 s c =============================================================================== c | 71 | 1494 1913 559196 | 5000 71 1165 | 0.000 % | c =============================================================================== c New solution: 6987 c Elapsed CPU time: 72.576 s Remaining CPU time: 107.424 s c =============================================================================== c | 73 | 1494 1914 560546 | 5000 73 1168 | 0.000 % | c =============================================================================== c New solution: 6986 c Elapsed CPU time: 72.9759 s Remaining CPU time: 107.024 s c =============================================================================== c | 73 | 1494 1915 561896 | 5000 73 1168 | 0.000 % | c =============================================================================== c New solution: 6985 c Elapsed CPU time: 73.3688 s Remaining CPU time: 106.631 s c =============================================================================== c | 73 | 1494 1916 563246 | 5000 73 1168 | 0.000 % | c =============================================================================== c New solution: 6984 c Elapsed CPU time: 73.7438 s Remaining CPU time: 106.256 s c =============================================================================== c | 73 | 1494 1917 564596 | 5000 73 1168 | 0.000 % | c =============================================================================== c New solution: 6983 c Elapsed CPU time: 74.1207 s Remaining CPU time: 105.879 s c =============================================================================== c | 73 | 1494 1918 565946 | 5000 73 1168 | 0.000 % | c =============================================================================== c New solution: 6982 c Elapsed CPU time: 74.5027 s Remaining CPU time: 105.497 s c =============================================================================== c | 73 | 1494 1919 567296 | 5000 73 1168 | 0.000 % | c =============================================================================== c New solution: 6981 c Elapsed CPU time: 74.8726 s Remaining CPU time: 105.127 s c =============================================================================== c | 73 | 1494 1920 568646 | 5000 73 1168 | 0.000 % | c =============================================================================== c New solution: 6980 c Elapsed CPU time: 75.2626 s Remaining CPU time: 104.737 s c =============================================================================== c | 74 | 1494 1921 569996 | 5000 74 1169 | 0.000 % | c =============================================================================== c New solution: 6979 c Elapsed CPU time: 75.6595 s Remaining CPU time: 104.341 s c =============================================================================== c | 74 | 1494 1922 571346 | 5000 74 1169 | 0.000 % | c =============================================================================== c New solution: 6978 c Elapsed CPU time: 76.0734 s Remaining CPU time: 103.927 s c =============================================================================== c | 75 | 1494 1923 572696 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6977 c Elapsed CPU time: 76.4694 s Remaining CPU time: 103.531 s c =============================================================================== c | 75 | 1494 1924 574046 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6976 c Elapsed CPU time: 76.8633 s Remaining CPU time: 103.137 s c =============================================================================== c | 75 | 1494 1925 575396 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6975 c Elapsed CPU time: 77.2463 s Remaining CPU time: 102.754 s c =============================================================================== c | 75 | 1494 1926 576746 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6974 c Elapsed CPU time: 77.6442 s Remaining CPU time: 102.356 s c =============================================================================== c | 75 | 1494 1927 578096 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6973 c Elapsed CPU time: 78.0421 s Remaining CPU time: 101.958 s c =============================================================================== c | 75 | 1494 1928 579446 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6972 c Elapsed CPU time: 78.4581 s Remaining CPU time: 101.542 s c =============================================================================== c | 75 | 1494 1929 580796 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6971 c Elapsed CPU time: 78.87 s Remaining CPU time: 101.13 s c =============================================================================== c | 75 | 1494 1930 582146 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6970 c Elapsed CPU time: 79.2779 s Remaining CPU time: 100.722 s c =============================================================================== c | 75 | 1494 1931 583496 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6969 c Elapsed CPU time: 79.6789 s Remaining CPU time: 100.321 s c =============================================================================== c | 75 | 1494 1932 584846 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6968 c Elapsed CPU time: 80.0808 s Remaining CPU time: 99.9192 s c =============================================================================== c | 75 | 1494 1933 586196 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6967 c Elapsed CPU time: 80.4888 s Remaining CPU time: 99.5112 s c =============================================================================== c | 75 | 1494 1934 587546 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6966 c Elapsed CPU time: 80.9147 s Remaining CPU time: 99.0853 s c =============================================================================== c | 75 | 1494 1935 588896 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6965 c Elapsed CPU time: 81.3286 s Remaining CPU time: 98.6714 s c =============================================================================== c | 75 | 1494 1936 590246 | 5000 75 1171 | 0.000 % | c =============================================================================== c New solution: 6964 c Elapsed CPU time: 81.7456 s Remaining CPU time: 98.2544 s c =============================================================================== c | 76 | 1494 1937 591596 | 5000 76 1172 | 0.000 % | c =============================================================================== c New solution: 6963 c Elapsed CPU time: 82.1525 s Remaining CPU time: 97.8475 s c =============================================================================== c | 76 | 1494 1938 592946 | 5000 76 1172 | 0.000 % | c =============================================================================== c New solution: 6962 c Elapsed CPU time: 82.5674 s Remaining CPU time: 97.4326 s c =============================================================================== c | 77 | 1494 1939 594296 | 5000 77 1156 | 0.000 % | c =============================================================================== c New solution: 6961 c Elapsed CPU time: 82.9694 s Remaining CPU time: 97.0306 s c =============================================================================== c | 77 | 1494 1940 595646 | 5000 77 1156 | 0.000 % | c =============================================================================== c New solution: 6960 c Elapsed CPU time: 83.3693 s Remaining CPU time: 96.6307 s c =============================================================================== c | 77 | 1494 1941 596996 | 5000 77 1156 | 0.000 % | c =============================================================================== c New solution: 6959 c Elapsed CPU time: 83.7533 s Remaining CPU time: 96.2467 s c =============================================================================== c | 77 | 1494 1942 598346 | 5000 77 1156 | 0.000 % | c =============================================================================== c New solution: 6958 c Elapsed CPU time: 84.3472 s Remaining CPU time: 95.6528 s c =============================================================================== c | 111 | 1494 1943 599696 | 5000 111 1187 | 0.000 % | c =============================================================================== c New solution: 6957 c Elapsed CPU time: 84.7401 s Remaining CPU time: 95.2599 s c =============================================================================== c | 112 | 1494 1944 601046 | 5000 112 1187 | 0.000 % | c =============================================================================== c New solution: 6956 c Elapsed CPU time: 85.1331 s Remaining CPU time: 94.8669 s c =============================================================================== c | 113 | 1494 1945 602396 | 5000 113 1177 | 0.000 % | c =============================================================================== c New solution: 6955 c Elapsed CPU time: 85.536 s Remaining CPU time: 94.464 s c =============================================================================== c | 114 | 1494 1946 603746 | 5000 114 1177 | 0.000 % | c =============================================================================== c New solution: 6954 c Elapsed CPU time: 85.9559 s Remaining CPU time: 94.0441 s c =============================================================================== c | 117 | 1494 1947 605096 | 5000 117 1179 | 0.000 % | c =============================================================================== c New solution: 6953 c Elapsed CPU time: 86.4509 s Remaining CPU time: 93.5491 s c =============================================================================== c | 125 | 1494 1948 606446 | 5000 125 1184 | 0.000 % | c =============================================================================== c New solution: 6952 c Elapsed CPU time: 86.8388 s Remaining CPU time: 93.1612 s c =============================================================================== c | 128 | 1494 1949 607796 | 5000 128 1166 | 0.000 % | c =============================================================================== c New solution: 6951 c Elapsed CPU time: 87.2467 s Remaining CPU time: 92.7533 s c =============================================================================== c | 128 | 1494 1950 609146 | 5000 128 1166 | 0.000 % | c =============================================================================== c New solution: 6950 c Elapsed CPU time: 87.6677 s Remaining CPU time: 92.3323 s c =============================================================================== c | 129 | 1494 1951 610496 | 5000 129 1167 | 0.000 % | c =============================================================================== c New solution: 6949 c Elapsed CPU time: 88.0606 s Remaining CPU time: 91.9394 s c =============================================================================== c | 129 | 1494 1952 611846 | 5000 129 1167 | 0.000 % | c =============================================================================== c New solution: 6948 c Elapsed CPU time: 88.4576 s Remaining CPU time: 91.5424 s c =============================================================================== c | 129 | 1494 1953 613196 | 5000 129 1167 | 0.000 % | c =============================================================================== c New solution: 6947 c Elapsed CPU time: 88.8535 s Remaining CPU time: 91.1465 s c =============================================================================== c | 133 | 1494 1954 614546 | 5000 133 1169 | 0.000 % | c =============================================================================== c New solution: 6946 c Elapsed CPU time: 89.2584 s Remaining CPU time: 90.7416 s c =============================================================================== c | 133 | 1494 1955 615896 | 5000 133 1169 | 0.000 % | c =============================================================================== c New solution: 6945 c Elapsed CPU time: 89.6704 s Remaining CPU time: 90.3296 s c =============================================================================== c | 142 | 1494 1956 617246 | 5000 142 1175 | 0.000 % | c =============================================================================== c New solution: 6944 c Elapsed CPU time: 90.0593 s Remaining CPU time: 89.9407 s c =============================================================================== c | 142 | 1494 1957 618596 | 5000 142 1175 | 0.000 % | c =============================================================================== c New solution: 6943 c Elapsed CPU time: 90.4992 s Remaining CPU time: 89.5008 s c =============================================================================== c | 145 | 1494 1958 619946 | 5000 145 1176 | 0.000 % | c =============================================================================== c New solution: 6942 c Elapsed CPU time: 90.9452 s Remaining CPU time: 89.0548 s c =============================================================================== c | 146 | 1494 1959 621296 | 5000 146 1177 | 0.000 % | c =============================================================================== c New solution: 6941 c Elapsed CPU time: 91.3751 s Remaining CPU time: 88.6249 s c =============================================================================== c | 146 | 1494 1960 622646 | 5000 146 1177 | 0.000 % | c =============================================================================== c New solution: 6940 c Elapsed CPU time: 91.798 s Remaining CPU time: 88.202 s c =============================================================================== c | 146 | 1494 1961 623996 | 5000 146 1177 | 0.000 % | c =============================================================================== c New solution: 6939 c Elapsed CPU time: 92.231 s Remaining CPU time: 87.769 s c =============================================================================== c | 152 | 1494 1962 625346 | 5000 152 1180 | 0.000 % | c =============================================================================== c New solution: 6938 c Elapsed CPU time: 92.6489 s Remaining CPU time: 87.3511 s c =============================================================================== c | 152 | 1494 1963 626696 | 5000 152 1180 | 0.000 % | c =============================================================================== c New solution: 6937 c Elapsed CPU time: 93.0579 s Remaining CPU time: 86.9421 s c =============================================================================== c | 152 | 1494 1964 628046 | 5000 152 1180 | 0.000 % | c =============================================================================== c New solution: 6936 c Elapsed CPU time: 93.4698 s Remaining CPU time: 86.5302 s c =============================================================================== c | 153 | 1494 1965 629396 | 5000 153 1180 | 0.000 % | c =============================================================================== c New solution: 6935 c Elapsed CPU time: 93.9357 s Remaining CPU time: 86.0643 s c =============================================================================== c | 157 | 1494 1966 630746 | 5000 157 1182 | 0.000 % | c =============================================================================== c New solution: 6934 c Elapsed CPU time: 94.3607 s Remaining CPU time: 85.6393 s c =============================================================================== c | 158 | 1494 1967 632096 | 5000 158 1182 | 0.000 % | c =============================================================================== c New solution: 6933 c Elapsed CPU time: 94.8066 s Remaining CPU time: 85.1934 s c =============================================================================== c | 160 | 1494 1968 633446 | 5000 160 1183 | 0.000 % | c =============================================================================== c New solution: 6932 c Elapsed CPU time: 95.2385 s Remaining CPU time: 84.7615 s c =============================================================================== c | 161 | 1494 1969 634796 | 5000 161 1184 | 0.000 % | c =============================================================================== c New solution: 6931 c Elapsed CPU time: 95.7074 s Remaining CPU time: 84.2926 s c =============================================================================== c | 163 | 1494 1970 636146 | 5000 163 1184 | 0.000 % | c =============================================================================== c New solution: 6930 c Elapsed CPU time: 96.1514 s Remaining CPU time: 83.8486 s c =============================================================================== c | 163 | 1494 1971 637496 | 5000 163 1184 | 0.000 % | c =============================================================================== c New solution: 6929 c Elapsed CPU time: 96.5963 s Remaining CPU time: 83.4037 s c =============================================================================== c | 164 | 1494 1972 638846 | 5000 164 1185 | 0.000 % | c =============================================================================== c New solution: 6928 c Elapsed CPU time: 96.9973 s Remaining CPU time: 83.0027 s c =============================================================================== c | 164 | 1494 1973 640196 | 5000 164 1185 | 0.000 % | c =============================================================================== c New solution: 6927 c Elapsed CPU time: 97.4162 s Remaining CPU time: 82.5838 s c =============================================================================== c | 164 | 1494 1974 641546 | 5000 164 1185 | 0.000 % | c =============================================================================== c New solution: 6926 c Elapsed CPU time: 97.8561 s Remaining CPU time: 82.1439 s c =============================================================================== c | 164 | 1494 1975 642896 | 5000 164 1185 | 0.000 % | c =============================================================================== c New solution: 6925 c Elapsed CPU time: 98.2971 s Remaining CPU time: 81.7029 s c =============================================================================== c | 164 | 1494 1976 644246 | 5000 164 1185 | 0.000 % | c =============================================================================== c New solution: 6924 c Elapsed CPU time: 98.737 s Remaining CPU time: 81.263 s c =============================================================================== c | 166 | 1494 1977 645596 | 5000 166 1186 | 0.000 % | c =============================================================================== c New solution: 6923 c Elapsed CPU time: 99.1849 s Remaining CPU time: 80.8151 s c =============================================================================== c | 166 | 1494 1978 646946 | 5000 166 1186 | 0.000 % | c =============================================================================== c New solution: 6922 c Elapsed CPU time: 99.6548 s Remaining CPU time: 80.3452 s c =============================================================================== c | 168 | 1494 1979 648296 | 5000 168 1186 | 0.000 % | c =============================================================================== c New solution: 6921 c Elapsed CPU time: 100.111 s Remaining CPU time: 79.8892 s c =============================================================================== c | 169 | 1494 1980 649646 | 5000 169 1187 | 0.000 % | c =============================================================================== c New solution: 6920 c Elapsed CPU time: 100.551 s Remaining CPU time: 79.4493 s c =============================================================================== c | 170 | 1494 1981 650996 | 5000 170 1187 | 0.000 % | c =============================================================================== c New solution: 6919 c Elapsed CPU time: 100.969 s Remaining CPU time: 79.0314 s c =============================================================================== c | 170 | 1494 1982 652346 | 5000 170 1187 | 0.000 % | c =============================================================================== c New solution: 6918 c Elapsed CPU time: 101.417 s Remaining CPU time: 78.5834 s c =============================================================================== c | 172 | 1494 1983 653696 | 5000 172 1188 | 0.000 % | c =============================================================================== c New solution: 6917 c Elapsed CPU time: 101.886 s Remaining CPU time: 78.1145 s c =============================================================================== c | 172 | 1494 1984 655046 | 5000 172 1188 | 0.000 % | c =============================================================================== c New solution: 6916 c Elapsed CPU time: 102.472 s Remaining CPU time: 77.5276 s c =============================================================================== c | 187 | 1494 1985 656396 | 5000 187 1192 | 0.000 % | c =============================================================================== c New solution: 6915 c Elapsed CPU time: 102.922 s Remaining CPU time: 77.0776 s c =============================================================================== c | 188 | 1494 1986 657746 | 5000 188 1193 | 0.000 % | c =============================================================================== c New solution: 6914 c Elapsed CPU time: 103.341 s Remaining CPU time: 76.6587 s c =============================================================================== c | 189 | 1494 1987 659096 | 5000 189 1193 | 0.000 % | c =============================================================================== c New solution: 6913 c Elapsed CPU time: 103.797 s Remaining CPU time: 76.2028 s c =============================================================================== c | 193 | 1494 1988 660446 | 5000 193 1194 | 0.000 % | c =============================================================================== c New solution: 6912 c Elapsed CPU time: 104.235 s Remaining CPU time: 75.7648 s c =============================================================================== c | 193 | 1494 1989 661796 | 5000 193 1194 | 0.000 % | c =============================================================================== c New solution: 6911 c Elapsed CPU time: 104.716 s Remaining CPU time: 75.2839 s c =============================================================================== c | 204 | 1494 1990 663146 | 5000 204 1197 | 0.000 % | c =============================================================================== c New solution: 6910 c Elapsed CPU time: 105.166 s Remaining CPU time: 74.834 s c =============================================================================== c | 204 | 1494 1991 664496 | 5000 204 1197 | 0.000 % | c =============================================================================== c New solution: 6909 c Elapsed CPU time: 105.622 s Remaining CPU time: 74.3781 s c =============================================================================== c | 207 | 1494 1992 665846 | 5000 207 1198 | 0.000 % | c =============================================================================== c New solution: 6908 c Elapsed CPU time: 106.048 s Remaining CPU time: 73.9521 s c =============================================================================== c | 209 | 1494 1993 667196 | 5000 209 1198 | 0.000 % | c =============================================================================== c New solution: 6907 c Elapsed CPU time: 106.481 s Remaining CPU time: 73.5192 s c =============================================================================== c | 209 | 1494 1994 668546 | 5000 209 1198 | 0.000 % | c =============================================================================== c New solution: 6906 c Elapsed CPU time: 106.944 s Remaining CPU time: 73.0563 s c =============================================================================== c | 209 | 1494 1995 669896 | 5000 209 1198 | 0.000 % | c =============================================================================== c New solution: 6905 c Elapsed CPU time: 107.385 s Remaining CPU time: 72.6153 s c =============================================================================== c | 210 | 1494 1996 671246 | 5000 210 1199 | 0.000 % | c =============================================================================== c New solution: 6904 c Elapsed CPU time: 107.869 s Remaining CPU time: 72.1314 s c =============================================================================== c | 213 | 1494 1997 672596 | 5000 213 1199 | 0.000 % | c =============================================================================== c New solution: 6903 c Elapsed CPU time: 108.289 s Remaining CPU time: 71.7115 s c =============================================================================== c | 213 | 1494 1998 673946 | 5000 213 1199 | 0.000 % | c =============================================================================== c New solution: 6902 c Elapsed CPU time: 108.765 s Remaining CPU time: 71.2345 s c =============================================================================== c | 214 | 1494 1999 675296 | 5000 214 1200 | 0.000 % | c =============================================================================== c New solution: 6901 c Elapsed CPU time: 109.26 s Remaining CPU time: 70.7396 s c =============================================================================== c | 217 | 1494 2000 676646 | 5000 217 1200 | 0.000 % | c =============================================================================== c New solution: 6900 c Elapsed CPU time: 109.736 s Remaining CPU time: 70.2637 s c =============================================================================== c | 217 | 1494 2001 677996 | 5000 217 1200 | 0.000 % | c =============================================================================== c New solution: 6899 c Elapsed CPU time: 110.217 s Remaining CPU time: 69.7828 s c =============================================================================== c | 218 | 1494 2002 679346 | 5000 218 1200 | 0.000 % | c =============================================================================== c New solution: 6898 c Elapsed CPU time: 110.69 s Remaining CPU time: 69.3098 s c =============================================================================== c | 221 | 1494 2003 680696 | 5000 221 1201 | 0.000 % | c =============================================================================== c New solution: 6897 c Elapsed CPU time: 111.156 s Remaining CPU time: 68.8439 s c =============================================================================== c | 221 | 1494 2004 682046 | 5000 221 1201 | 0.000 % | c =============================================================================== c New solution: 6896 c Elapsed CPU time: 111.603 s Remaining CPU time: 68.397 s c =============================================================================== c | 221 | 1494 2005 683396 | 5000 221 1201 | 0.000 % | c =============================================================================== c New solution: 6895 c Elapsed CPU time: 112.067 s Remaining CPU time: 67.933 s c =============================================================================== c | 221 | 1494 2006 684746 | 5000 221 1201 | 0.000 % | c =============================================================================== c New solution: 6894 c Elapsed CPU time: 112.555 s Remaining CPU time: 67.4451 s c =============================================================================== c | 224 | 1494 2007 686096 | 5000 224 1202 | 0.000 % | c =============================================================================== c New solution: 6893 c Elapsed CPU time: 113.004 s Remaining CPU time: 66.9962 s c =============================================================================== c | 224 | 1494 2008 687446 | 5000 224 1202 | 0.000 % | c =============================================================================== c New solution: 6892 c Elapsed CPU time: 113.486 s Remaining CPU time: 66.5143 s c =============================================================================== c | 224 | 1494 2009 688796 | 5000 224 1202 | 0.000 % | c =============================================================================== c New solution: 6891 c Elapsed CPU time: 113.989 s Remaining CPU time: 66.0113 s c =============================================================================== c | 227 | 1494 2010 690146 | 5000 227 1202 | 0.000 % | c =============================================================================== c New solution: 6890 c Elapsed CPU time: 114.501 s Remaining CPU time: 65.4994 s c =============================================================================== c | 227 | 1494 2011 691496 | 5000 227 1202 | 0.000 % | c =============================================================================== c New solution: 6889 c Elapsed CPU time: 114.993 s Remaining CPU time: 65.0075 s c =============================================================================== c | 229 | 1494 2012 692846 | 5000 229 1203 | 0.000 % | c =============================================================================== c New solution: 6888 c Elapsed CPU time: 115.547 s Remaining CPU time: 64.4526 s c =============================================================================== c | 237 | 1494 2013 694196 | 5000 237 1204 | 0.000 % | c =============================================================================== c New solution: 6887 c Elapsed CPU time: 115.99 s Remaining CPU time: 64.0096 s c =============================================================================== c | 237 | 1494 2014 695546 | 5000 237 1204 | 0.000 % | c =============================================================================== c New solution: 6886 c Elapsed CPU time: 116.631 s Remaining CPU time: 63.3687 s c =============================================================================== c | 253 | 1494 2015 696896 | 5000 253 1202 | 0.000 % | c =============================================================================== c New solution: 6885 c Elapsed CPU time: 117.114 s Remaining CPU time: 62.8858 s c =============================================================================== c | 255 | 1494 2016 698246 | 5000 255 1202 | 0.000 % | c =============================================================================== c New solution: 6884 c Elapsed CPU time: 117.564 s Remaining CPU time: 62.4359 s c =============================================================================== c | 255 | 1494 2017 699596 | 5000 255 1202 | 0.000 % | c =============================================================================== c New solution: 6883 c Elapsed CPU time: 118.026 s Remaining CPU time: 61.9739 s c =============================================================================== c | 255 | 1494 2018 700946 | 5000 255 1202 | 0.000 % | c =============================================================================== c New solution: 6882 c Elapsed CPU time: 118.526 s Remaining CPU time: 61.474 s c =============================================================================== c | 256 | 1494 2019 702296 | 5000 256 1202 | 0.000 % | c =============================================================================== c New solution: 6881 c Elapsed CPU time: 119.065 s Remaining CPU time: 60.9351 s c =============================================================================== c | 256 | 1494 2020 703646 | 5000 256 1202 | 0.000 % | c =============================================================================== c New solution: 6880 c Elapsed CPU time: 119.538 s Remaining CPU time: 60.4622 s c =============================================================================== c | 258 | 1494 2021 704996 | 5000 258 1202 | 0.000 % | c =============================================================================== c New solution: 6879 c Elapsed CPU time: 120.04 s Remaining CPU time: 59.9602 s c =============================================================================== c | 259 | 1494 2022 706346 | 5000 259 1203 | 0.000 % | c =============================================================================== c New solution: 6878 c Elapsed CPU time: 120.558 s Remaining CPU time: 59.4423 s c =============================================================================== c | 259 | 1494 2023 707696 | 5000 259 1203 | 0.000 % | c =============================================================================== c New solution: 6877 c Elapsed CPU time: 121.048 s Remaining CPU time: 58.9524 s c =============================================================================== c | 259 | 1494 2024 709046 | 5000 259 1203 | 0.000 % | c =============================================================================== c New solution: 6876 c Elapsed CPU time: 121.667 s Remaining CPU time: 58.3335 s c =============================================================================== c | 265 | 1494 2025 710396 | 5000 265 1203 | 0.000 % | c =============================================================================== c New solution: 6875 c Elapsed CPU time: 122.197 s Remaining CPU time: 57.8026 s c =============================================================================== c | 267 | 1494 2026 711746 | 5000 267 1204 | 0.000 % | c =============================================================================== c New solution: 6874 c Elapsed CPU time: 122.689 s Remaining CPU time: 57.3107 s c =============================================================================== c | 269 | 1494 2027 713096 | 5000 269 1204 | 0.000 % | c =============================================================================== c New solution: 6873 c Elapsed CPU time: 123.236 s Remaining CPU time: 56.7637 s c =============================================================================== c | 273 | 1494 2028 714446 | 5000 273 1204 | 0.000 % | c =============================================================================== c New solution: 6872 c Elapsed CPU time: 123.711 s Remaining CPU time: 56.2888 s c =============================================================================== c | 273 | 1494 2029 715796 | 5000 273 1204 | 0.000 % | c =============================================================================== c New solution: 6871 c Elapsed CPU time: 124.256 s Remaining CPU time: 55.7439 s c =============================================================================== c | 276 | 1494 2030 717146 | 5000 276 1205 | 0.000 % | c =============================================================================== c New solution: 6870 c Elapsed CPU time: 124.792 s Remaining CPU time: 55.208 s c =============================================================================== c | 278 | 1494 2031 718496 | 5000 278 1205 | 0.000 % | c =============================================================================== c New solution: 6869 c Elapsed CPU time: 125.279 s Remaining CPU time: 54.721 s c =============================================================================== c | 278 | 1494 2032 719846 | 5000 278 1205 | 0.000 % | c =============================================================================== c New solution: 6868 c Elapsed CPU time: 125.788 s Remaining CPU time: 54.2121 s c =============================================================================== c | 281 | 1494 2033 721196 | 5000 281 1206 | 0.000 % | c =============================================================================== c New solution: 6867 c Elapsed CPU time: 126.27 s Remaining CPU time: 53.7302 s c =============================================================================== c | 284 | 1494 2034 722546 | 5000 284 1202 | 0.000 % | c =============================================================================== c New solution: 6866 c Elapsed CPU time: 126.747 s Remaining CPU time: 53.2533 s c =============================================================================== c | 284 | 1494 2035 723896 | 5000 284 1202 | 0.000 % | c =============================================================================== c New solution: 6865 c Elapsed CPU time: 127.337 s Remaining CPU time: 52.6634 s c =============================================================================== c | 290 | 1494 2036 725246 | 5000 290 1202 | 0.000 % | c =============================================================================== c New solution: 6864 c Elapsed CPU time: 127.953 s Remaining CPU time: 52.0475 s c =============================================================================== c | 296 | 1494 2037 726596 | 5000 296 1203 | 0.000 % | c =============================================================================== c New solution: 6863 c Elapsed CPU time: 128.506 s Remaining CPU time: 51.4935 s c =============================================================================== c | 299 | 1494 2038 727946 | 5000 299 1203 | 0.000 % | c =============================================================================== c New solution: 6862 c Elapsed CPU time: 128.981 s Remaining CPU time: 51.0186 s c =============================================================================== c | 300 | 1494 2039 729296 | 5000 300 1204 | 0.000 % | c =============================================================================== c New solution: 6861 c Elapsed CPU time: 129.51 s Remaining CPU time: 50.4897 s c =============================================================================== c | 305 | 1494 2040 730646 | 5000 305 1200 | 0.000 % | c =============================================================================== c New solution: 6860 c Elapsed CPU time: 130.002 s Remaining CPU time: 49.9978 s c =============================================================================== c | 306 | 1494 2041 731996 | 5000 306 1200 | 0.000 % | c =============================================================================== c New solution: 6859 c Elapsed CPU time: 130.531 s Remaining CPU time: 49.4688 s c =============================================================================== c | 312 | 1494 2042 733346 | 5000 312 1201 | 0.000 % | c =============================================================================== c New solution: 6858 c Elapsed CPU time: 131.082 s Remaining CPU time: 48.9179 s c =============================================================================== c | 314 | 1494 2043 734696 | 5000 314 1201 | 0.000 % | c =============================================================================== c New solution: 6857 c Elapsed CPU time: 131.671 s Remaining CPU time: 48.329 s c =============================================================================== c | 321 | 1494 2044 736046 | 5000 321 1202 | 0.000 % | c =============================================================================== c New solution: 6856 c Elapsed CPU time: 132.15 s Remaining CPU time: 47.8501 s c =============================================================================== c | 323 | 1494 2045 737396 | 5000 323 1202 | 0.000 % | c =============================================================================== c New solution: 6855 c Elapsed CPU time: 132.803 s Remaining CPU time: 47.1972 s c =============================================================================== c | 335 | 1494 2046 738746 | 5000 335 1203 | 0.000 % | c =============================================================================== c New solution: 6854 c Elapsed CPU time: 133.356 s Remaining CPU time: 46.6443 s c =============================================================================== c | 338 | 1494 2047 740096 | 5000 338 1204 | 0.000 % | c =============================================================================== c New solution: 6853 c Elapsed CPU time: 133.876 s Remaining CPU time: 46.1244 s c =============================================================================== c | 342 | 1494 2048 741446 | 5000 342 1204 | 0.000 % | c =============================================================================== c New solution: 6852 c Elapsed CPU time: 134.387 s Remaining CPU time: 45.6134 s c =============================================================================== c | 347 | 1494 2049 742796 | 5000 347 1205 | 0.000 % | c =============================================================================== c New solution: 6851 c Elapsed CPU time: 135.047 s Remaining CPU time: 44.9525 s c =============================================================================== c | 356 | 1494 2050 744146 | 5000 356 1205 | 0.000 % | c =============================================================================== c New solution: 6850 c Elapsed CPU time: 135.537 s Remaining CPU time: 44.4626 s c =============================================================================== c | 356 | 1494 2051 745496 | 5000 356 1205 | 0.000 % | c =============================================================================== c New solution: 6849 c Elapsed CPU time: 136.053 s Remaining CPU time: 43.9467 s c =============================================================================== c | 356 | 1494 2052 746846 | 5000 356 1205 | 0.000 % | c =============================================================================== c New solution: 6848 c Elapsed CPU time: 136.553 s Remaining CPU time: 43.4468 s c =============================================================================== c | 358 | 1494 2053 748196 | 5000 358 1206 | 0.000 % | c =============================================================================== c New solution: 6847 c Elapsed CPU time: 137.061 s Remaining CPU time: 42.9388 s c =============================================================================== c | 358 | 1494 2054 749546 | 5000 358 1206 | 0.000 % | c =============================================================================== c New solution: 6846 c Elapsed CPU time: 137.572 s Remaining CPU time: 42.4279 s c =============================================================================== c | 358 | 1494 2055 750896 | 5000 358 1206 | 0.000 % | c =============================================================================== c New solution: 6845 c Elapsed CPU time: 138.135 s Remaining CPU time: 41.865 s c =============================================================================== c | 361 | 1494 2056 752246 | 5000 361 1206 | 0.000 % | c =============================================================================== c New solution: 6844 c Elapsed CPU time: 138.675 s Remaining CPU time: 41.3251 s c =============================================================================== c | 363 | 1494 2057 753596 | 5000 363 1206 | 0.000 % | c =============================================================================== c New solution: 6843 c Elapsed CPU time: 139.203 s Remaining CPU time: 40.7972 s c =============================================================================== c | 366 | 1494 2058 754946 | 5000 366 1206 | 0.000 % | c =============================================================================== c New solution: 6842 c Elapsed CPU time: 139.853 s Remaining CPU time: 40.1473 s c =============================================================================== c | 379 | 1494 2059 756296 | 5000 379 1207 | 0.000 % | c =============================================================================== c New solution: 6841 c Elapsed CPU time: 140.396 s Remaining CPU time: 39.6043 s c =============================================================================== c | 380 | 1494 2060 757646 | 5000 380 1207 | 0.000 % | c =============================================================================== c New solution: 6840 c Elapsed CPU time: 141.238 s Remaining CPU time: 38.7625 s c =============================================================================== c | 409 | 1494 2061 758996 | 5000 409 1209 | 0.000 % | c =============================================================================== c New solution: 6839 c Elapsed CPU time: 141.765 s Remaining CPU time: 38.2346 s c =============================================================================== c | 425 | 1494 2062 760346 | 5000 425 1210 | 0.000 % | c =============================================================================== c New solution: 6838 c Elapsed CPU time: 142.392 s Remaining CPU time: 37.6076 s c =============================================================================== c | 433 | 1494 2063 761696 | 5000 433 1210 | 0.000 % | c =============================================================================== c New solution: 6837 c Elapsed CPU time: 142.889 s Remaining CPU time: 37.1107 s c =============================================================================== c | 433 | 1494 2064 763046 | 5000 433 1210 | 0.000 % | c =============================================================================== c New solution: 6836 c Elapsed CPU time: 143.563 s Remaining CPU time: 36.4368 s c =============================================================================== c | 441 | 1494 2065 764396 | 5000 441 1211 | 0.000 % | c =============================================================================== c New solution: 6835 c Elapsed CPU time: 144.106 s Remaining CPU time: 35.8939 s c =============================================================================== c | 442 | 1494 2066 765746 | 5000 442 1211 | 0.000 % | c =============================================================================== c New solution: 6834 c Elapsed CPU time: 144.762 s Remaining CPU time: 35.238 s c =============================================================================== c | 454 | 1494 2067 767096 | 5000 454 1211 | 0.000 % | c =============================================================================== c New solution: 6833 c Elapsed CPU time: 145.294 s Remaining CPU time: 34.7061 s c =============================================================================== c | 455 | 1494 2068 768446 | 5000 455 1211 | 0.000 % | c =============================================================================== c New solution: 6832 c Elapsed CPU time: 145.852 s Remaining CPU time: 34.1482 s c =============================================================================== c | 457 | 1494 2069 769796 | 5000 457 1211 | 0.000 % | c =============================================================================== c New solution: 6831 c Elapsed CPU time: 146.355 s Remaining CPU time: 33.6453 s c =============================================================================== c | 458 | 1494 2070 771146 | 5000 458 1211 | 0.000 % | c =============================================================================== c New solution: 6830 c Elapsed CPU time: 146.86 s Remaining CPU time: 33.1403 s c =============================================================================== c | 462 | 1494 2071 772496 | 5000 462 1212 | 0.000 % | c =============================================================================== c New solution: 6829 c Elapsed CPU time: 147.412 s Remaining CPU time: 32.5884 s c =============================================================================== c | 466 | 1494 2072 773846 | 5000 466 1212 | 0.000 % | c =============================================================================== c New solution: 6828 c Elapsed CPU time: 147.93 s Remaining CPU time: 32.0705 s c =============================================================================== c | 468 | 1494 2073 775196 | 5000 468 1212 | 0.000 % | c =============================================================================== c New solution: 6827 c Elapsed CPU time: 148.506 s Remaining CPU time: 31.4936 s c =============================================================================== c | 471 | 1494 2074 776546 | 5000 471 1212 | 0.000 % | c =============================================================================== c New solution: 6826 c Elapsed CPU time: 149.058 s Remaining CPU time: 30.9417 s c =============================================================================== c | 472 | 1494 2075 777896 | 5000 472 1212 | 0.000 % | c =============================================================================== c New solution: 6825 c Elapsed CPU time: 149.56 s Remaining CPU time: 30.4397 s c =============================================================================== c | 472 | 1494 2076 779246 | 5000 472 1212 | 0.000 % | c =============================================================================== c New solution: 6824 c Elapsed CPU time: 150.048 s Remaining CPU time: 29.9518 s c =============================================================================== c | 472 | 1494 2077 780596 | 5000 472 1212 | 0.000 % | c =============================================================================== c New solution: 6823 c Elapsed CPU time: 150.615 s Remaining CPU time: 29.3849 s c =============================================================================== c | 481 | 1494 2078 781946 | 5000 481 1212 | 0.000 % | c =============================================================================== c New solution: 6822 c Elapsed CPU time: 151.113 s Remaining CPU time: 28.887 s c =============================================================================== c | 481 | 1494 2079 783296 | 5000 481 1212 | 0.000 % | c =============================================================================== c New solution: 6821 c Elapsed CPU time: 151.651 s Remaining CPU time: 28.3491 s c =============================================================================== c | 482 | 1494 2080 784646 | 5000 482 1212 | 0.000 % | c =============================================================================== c New solution: 6820 c Elapsed CPU time: 152.189 s Remaining CPU time: 27.8111 s c =============================================================================== c | 494 | 1494 2081 785996 | 5000 494 1213 | 0.000 % | c =============================================================================== c New solution: 6819 c Elapsed CPU time: 152.749 s Remaining CPU time: 27.2512 s c =============================================================================== c | 496 | 1494 2082 787346 | 5000 496 1213 | 0.000 % | c =============================================================================== c New solution: 6818 c Elapsed CPU time: 153.27 s Remaining CPU time: 26.7303 s c =============================================================================== c | 496 | 1494 2083 788696 | 5000 496 1213 | 0.000 % | c =============================================================================== c New solution: 6817 c Elapsed CPU time: 153.93 s Remaining CPU time: 26.0704 s c =============================================================================== c | 499 | 1494 2084 790046 | 5000 499 1213 | 0.000 % | c =============================================================================== c New solution: 6816 c Elapsed CPU time: 154.451 s Remaining CPU time: 25.5495 s c =============================================================================== c | 499 | 1494 2085 791396 | 5000 499 1213 | 0.000 % | c =============================================================================== c New solution: 6815 c Elapsed CPU time: 155.001 s Remaining CPU time: 24.9986 s c =============================================================================== c | 501 | 1494 2086 792746 | 5000 501 1213 | 0.000 % | c =============================================================================== c New solution: 6814 c Elapsed CPU time: 155.606 s Remaining CPU time: 24.3937 s c =============================================================================== c | 505 | 1494 2087 794096 | 5000 505 1213 | 0.000 % | c =============================================================================== c New solution: 6813 c Elapsed CPU time: 156.282 s Remaining CPU time: 23.7178 s c =============================================================================== c | 513 | 1494 2088 795446 | 5000 513 1213 | 0.000 % | c =============================================================================== c New solution: 6812 c Elapsed CPU time: 156.874 s Remaining CPU time: 23.1258 s c =============================================================================== c | 514 | 1494 2089 796796 | 5000 514 1213 | 0.000 % | c =============================================================================== c New solution: 6811 c Elapsed CPU time: 157.404 s Remaining CPU time: 22.5959 s c =============================================================================== c | 514 | 1494 2090 798146 | 5000 514 1213 | 0.000 % | c =============================================================================== c New solution: 6810 c Elapsed CPU time: 157.946 s Remaining CPU time: 22.054 s c =============================================================================== c | 516 | 1494 2091 799496 | 5000 516 1213 | 0.000 % | c =============================================================================== c New solution: 6809 c Elapsed CPU time: 158.514 s Remaining CPU time: 21.4861 s c =============================================================================== c | 532 | 1494 2092 800846 | 5000 532 1213 | 0.000 % | c =============================================================================== c New solution: 6808 c Elapsed CPU time: 159.054 s Remaining CPU time: 20.9462 s c =============================================================================== c | 533 | 1494 2093 802196 | 5000 533 1214 | 0.000 % | c =============================================================================== c New solution: 6807 c Elapsed CPU time: 159.624 s Remaining CPU time: 20.3763 s c =============================================================================== c | 542 | 1494 2094 803546 | 5000 542 1214 | 0.000 % | c =============================================================================== c New solution: 6806 c Elapsed CPU time: 160.201 s Remaining CPU time: 19.7994 s c =============================================================================== c | 545 | 1494 2095 804896 | 5000 545 1214 | 0.000 % | c =============================================================================== c New solution: 6805 c Elapsed CPU time: 160.755 s Remaining CPU time: 19.2454 s c =============================================================================== c | 546 | 1494 2096 806246 | 5000 546 1214 | 0.000 % | c =============================================================================== c New solution: 6804 c Elapsed CPU time: 161.301 s Remaining CPU time: 18.6985 s c =============================================================================== c | 547 | 1494 2097 807596 | 5000 547 1214 | 0.000 % | c =============================================================================== c New solution: 6803 c Elapsed CPU time: 161.878 s Remaining CPU time: 18.1216 s c =============================================================================== c | 547 | 1494 2098 808946 | 5000 547 1214 | 0.000 % | c =============================================================================== c New solution: 6802 c Elapsed CPU time: 162.438 s Remaining CPU time: 17.5617 s c =============================================================================== c | 548 | 1494 2099 810296 | 5000 548 1214 | 0.000 % | c =============================================================================== c New solution: 6801 c Elapsed CPU time: 162.982 s Remaining CPU time: 17.0178 s c =============================================================================== c | 552 | 1494 2100 811646 | 5000 552 1214 | 0.000 % | c =============================================================================== c New solution: 6800 c Elapsed CPU time: 163.515 s Remaining CPU time: 16.4849 s c =============================================================================== c | 553 | 1494 2101 812996 | 5000 553 1214 | 0.000 % | c =============================================================================== c New solution: 6799 c Elapsed CPU time: 164.059 s Remaining CPU time: 15.9409 s c =============================================================================== c | 554 | 1494 2102 814346 | 5000 554 1214 | 0.000 % | c =============================================================================== c New solution: 6798 c Elapsed CPU time: 164.867 s Remaining CPU time: 15.1331 s c =============================================================================== c | 569 | 1494 2103 815696 | 5000 569 1214 | 0.000 % | c =============================================================================== c New solution: 6797 c Elapsed CPU time: 165.443 s Remaining CPU time: 14.5572 s c =============================================================================== c | 572 | 1494 2104 817046 | 5000 572 1214 | 0.000 % | c =============================================================================== c New solution: 6796 c Elapsed CPU time: 165.973 s Remaining CPU time: 14.0272 s c =============================================================================== c | 573 | 1494 2105 818396 | 5000 573 1214 | 0.000 % | c =============================================================================== c New solution: 6795 c Elapsed CPU time: 166.517 s Remaining CPU time: 13.4833 s c =============================================================================== c | 573 | 1494 2106 819746 | 5000 573 1214 | 0.000 % | c =============================================================================== c New solution: 6794 c Elapsed CPU time: 167.091 s Remaining CPU time: 12.9094 s c =============================================================================== c | 574 | 1494 2107 821096 | 5000 574 1214 | 0.000 % | c =============================================================================== c New solution: 6793 c Elapsed CPU time: 167.643 s Remaining CPU time: 12.3575 s c =============================================================================== c | 575 | 1494 2108 822446 | 5000 575 1214 | 0.000 % | c =============================================================================== c New solution: 6792 c Elapsed CPU time: 168.181 s Remaining CPU time: 11.8186 s c =============================================================================== c | 576 | 1494 2109 823796 | 5000 576 1214 | 0.000 % | c =============================================================================== c New solution: 6791 c Elapsed CPU time: 168.727 s Remaining CPU time: 11.2727 s c =============================================================================== c | 576 | 1494 2110 825146 | 5000 576 1214 | 0.000 % | c =============================================================================== c New solution: 6790 c Elapsed CPU time: 169.26 s Remaining CPU time: 10.7397 s c =============================================================================== c | 577 | 1494 2111 826496 | 5000 577 1214 | 0.000 % | c =============================================================================== c New solution: 6789 c Elapsed CPU time: 169.871 s Remaining CPU time: 10.1288 s c =============================================================================== c | 580 | 1494 2112 827846 | 5000 580 1214 | 0.000 % | c =============================================================================== c New solution: 6788 c Elapsed CPU time: 170.452 s Remaining CPU time: 9.54791 s c =============================================================================== c | 581 | 1494 2113 829196 | 5000 581 1214 | 0.000 % | c =============================================================================== c New solution: 6787 c Elapsed CPU time: 170.997 s Remaining CPU time: 9.003 s c =============================================================================== c | 584 | 1494 2114 830546 | 5000 584 1214 | 0.000 % | c =============================================================================== c New solution: 6786 c Elapsed CPU time: 171.551 s Remaining CPU time: 8.44908 s c =============================================================================== c | 585 | 1494 2115 831896 | 5000 585 1214 | 0.000 % | c =============================================================================== c New solution: 6785 c Elapsed CPU time: 172.391 s Remaining CPU time: 7.60921 s c =============================================================================== c | 603 | 1494 2116 833246 | 5000 603 1214 | 0.000 % | c =============================================================================== c New solution: 6784 c Elapsed CPU time: 172.981 s Remaining CPU time: 7.0193 s c =============================================================================== c | 607 | 1494 2117 834596 | 5000 607 1215 | 0.000 % | c =============================================================================== c New solution: 6783 c Elapsed CPU time: 173.537 s Remaining CPU time: 6.46338 s c =============================================================================== c | 609 | 1494 2118 835946 | 5000 609 1215 | 0.000 % | c =============================================================================== c New solution: 6782 c Elapsed CPU time: 174.164 s Remaining CPU time: 5.83648 s c =============================================================================== c | 613 | 1494 2119 837296 | 5000 613 1215 | 0.000 % | c =============================================================================== c New solution: 6781 c Elapsed CPU time: 174.721 s Remaining CPU time: 5.27856 s c =============================================================================== c | 614 | 1494 2120 838646 | 5000 614 1215 | 0.000 % | c =============================================================================== c New solution: 6780 c Elapsed CPU time: 175.791 s Remaining CPU time: 4.20872 s c =============================================================================== c | 683 | 1494 2121 839996 | 5000 683 1215 | 0.000 % | c =============================================================================== c New solution: 6779 c Elapsed CPU time: 176.574 s Remaining CPU time: 3.42584 s c =============================================================================== c | 704 | 1494 2122 841346 | 5000 704 1215 | 0.000 % | c =============================================================================== c New solution: 6778 c Elapsed CPU time: 177.107 s Remaining CPU time: 2.89292 s c =============================================================================== c | 705 | 1494 2123 842696 | 5000 705 1215 | 0.000 % | c =============================================================================== c New solution: 6777 c Elapsed CPU time: 177.773 s Remaining CPU time: 2.22703 s c =============================================================================== c | 710 | 1494 2124 844046 | 5000 710 1215 | 0.000 % | c =============================================================================== c New solution: 6776 c Elapsed CPU time: 178.352 s Remaining CPU time: 1.64811 s c =============================================================================== c | 710 | 1494 2125 845396 | 5000 710 1215 | 0.000 % | c =============================================================================== c New solution: 6775 c Elapsed CPU time: 179.292 s Remaining CPU time: 0.708257 s c =============================================================================== c | 756 | 1494 2126 846746 | 5000 756 1216 | 0.000 % | c =============================================================================== c New solution: 6774 c Elapsed CPU time: 179.868 s Remaining CPU time: 0.132345 s c =============================================================================== c | 758 | 1494 2127 848096 | 5000 758 1216 | 0.000 % | c There are 6 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 746 3855 5127 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 752 3861 5137 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 761 3865 5153 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 768 3871 5161 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 784 3880 5199 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 794 3885 5214 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 800 3890 5221 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 808 3895 5235 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 815 3899 5250 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 823 3904 5260 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 830 3910 5270 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 837 3916 5278 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 845 3919 5301 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 853 3924 5315 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 859 3929 5324 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 867 3934 5338 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 875 3941 5347 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 882 3947 5363 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 889 3953 5373 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 898 3959 5386 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 905 3965 5394 | 5000 0 nan | 0.000 % | c ===============================================================================