c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 2500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2500 | c | Number Clauses: 2500 | 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 | 2382 2517 7273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12727 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 2382 2518 9623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12726 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 2382 2519 11973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12721 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 2382 2520 14323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12720 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 2382 2521 16673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12718 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 0 | 2382 2522 19023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12717 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 2382 2523 21373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12715 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 2382 2524 23723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12714 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 2382 2525 26073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12712 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 0 | 2382 2526 28423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12711 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 0 | 2382 2527 30773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12710 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 2382 2528 33123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12708 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 0 | 2382 2529 35473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12707 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 2382 2530 37823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 2382 2531 40173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12701 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 0 | 2382 2532 42523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12699 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 0 | 2382 2533 44873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12698 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 0 | 2382 2534 47223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12696 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 2382 2535 49573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12693 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 0 | 2382 2536 51923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12692 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 0 | 2382 2537 54273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12691 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 0 | 2382 2538 56623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12690 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 0 | 2382 2539 58973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12689 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 0 | 2382 2540 61323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12688 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 0 | 2382 2541 63673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12687 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s c =============================================================================== c | 0 | 2382 2542 66023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12683 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 0 | 2382 2543 68373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12682 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s c =============================================================================== c | 0 | 2382 2544 70723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12678 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 0 | 2382 2545 73073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12675 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 0 | 2382 2546 75423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12674 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 0 | 2382 2547 77773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12673 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 0 | 2382 2548 80123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12668 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 0 | 2382 2549 82473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12664 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s c =============================================================================== c | 0 | 2382 2550 84823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12663 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 0 | 2382 2551 87173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12662 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 0 | 2382 2552 89523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12659 c Elapsed CPU time: 1.15382 s Remaining CPU time: 178.846 s c =============================================================================== c | 0 | 2382 2553 91873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12656 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 0 | 2382 2554 94223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12653 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 0 | 2382 2555 96573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12649 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 0 | 2382 2556 98923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12646 c Elapsed CPU time: 1.35679 s Remaining CPU time: 178.643 s c =============================================================================== c | 0 | 2382 2557 101273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12645 c Elapsed CPU time: 1.41278 s Remaining CPU time: 178.587 s c =============================================================================== c | 0 | 2382 2558 103623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12644 c Elapsed CPU time: 1.46778 s Remaining CPU time: 178.532 s c =============================================================================== c | 0 | 2382 2559 105973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12642 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s c =============================================================================== c | 0 | 2382 2560 108323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12641 c Elapsed CPU time: 1.58176 s Remaining CPU time: 178.418 s c =============================================================================== c | 0 | 2382 2561 110673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12640 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 0 | 2382 2562 113023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12638 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 0 | 2382 2563 115373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12636 c Elapsed CPU time: 1.76573 s Remaining CPU time: 178.234 s c =============================================================================== c | 0 | 2382 2564 117723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12635 c Elapsed CPU time: 1.83172 s Remaining CPU time: 178.168 s c =============================================================================== c | 0 | 2382 2565 120073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12634 c Elapsed CPU time: 1.89471 s Remaining CPU time: 178.105 s c =============================================================================== c | 0 | 2382 2566 122423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12633 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 0 | 2382 2567 124773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12632 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s c =============================================================================== c | 0 | 2382 2568 127123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12630 c Elapsed CPU time: 2.09468 s Remaining CPU time: 177.905 s c =============================================================================== c | 0 | 2382 2569 129473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12629 c Elapsed CPU time: 2.16567 s Remaining CPU time: 177.834 s c =============================================================================== c | 0 | 2382 2570 131823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12627 c Elapsed CPU time: 2.23666 s Remaining CPU time: 177.763 s c =============================================================================== c | 0 | 2382 2571 134173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12626 c Elapsed CPU time: 2.30965 s Remaining CPU time: 177.69 s c =============================================================================== c | 0 | 2382 2572 136523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12623 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s c =============================================================================== c | 0 | 2382 2573 138873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12622 c Elapsed CPU time: 2.45363 s Remaining CPU time: 177.546 s c =============================================================================== c | 0 | 2382 2574 141223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12621 c Elapsed CPU time: 2.53062 s Remaining CPU time: 177.469 s c =============================================================================== c | 0 | 2382 2575 143573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12618 c Elapsed CPU time: 2.6076 s Remaining CPU time: 177.392 s c =============================================================================== c | 0 | 2382 2576 145923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12617 c Elapsed CPU time: 2.68859 s Remaining CPU time: 177.311 s c =============================================================================== c | 0 | 2382 2577 148273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12612 c Elapsed CPU time: 2.77058 s Remaining CPU time: 177.229 s c =============================================================================== c | 0 | 2382 2578 150623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12610 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s c =============================================================================== c | 0 | 2382 2579 152973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12606 c Elapsed CPU time: 2.93655 s Remaining CPU time: 177.063 s c =============================================================================== c | 0 | 2382 2580 155323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12605 c Elapsed CPU time: 3.02854 s Remaining CPU time: 176.971 s c =============================================================================== c | 0 | 2382 2581 157673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12603 c Elapsed CPU time: 3.11852 s Remaining CPU time: 176.881 s c =============================================================================== c | 0 | 2382 2582 160023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12602 c Elapsed CPU time: 3.20851 s Remaining CPU time: 176.791 s c =============================================================================== c | 0 | 2382 2583 162373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12601 c Elapsed CPU time: 3.2995 s Remaining CPU time: 176.701 s c =============================================================================== c | 0 | 2382 2584 164723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12598 c Elapsed CPU time: 3.39148 s Remaining CPU time: 176.609 s c =============================================================================== c | 0 | 2382 2585 167073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12596 c Elapsed CPU time: 3.48447 s Remaining CPU time: 176.516 s c =============================================================================== c | 0 | 2382 2586 169423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12595 c Elapsed CPU time: 3.58345 s Remaining CPU time: 176.417 s c =============================================================================== c | 0 | 2382 2587 171773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12594 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 0 | 2382 2588 174123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 3.77343 s Remaining CPU time: 176.227 s c =============================================================================== c | 0 | 2382 2589 176473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12591 c Elapsed CPU time: 3.87341 s Remaining CPU time: 176.127 s c =============================================================================== c | 0 | 2382 2590 178823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12587 c Elapsed CPU time: 3.9714 s Remaining CPU time: 176.029 s c =============================================================================== c | 0 | 2382 2591 181173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12586 c Elapsed CPU time: 4.07738 s Remaining CPU time: 175.923 s c =============================================================================== c | 0 | 2382 2592 183523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12585 c Elapsed CPU time: 4.17936 s Remaining CPU time: 175.821 s c =============================================================================== c | 0 | 2382 2593 185873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12582 c Elapsed CPU time: 4.28135 s Remaining CPU time: 175.719 s c =============================================================================== c | 0 | 2382 2594 188223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12581 c Elapsed CPU time: 4.40033 s Remaining CPU time: 175.6 s c =============================================================================== c | 0 | 2382 2595 190573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12580 c Elapsed CPU time: 4.51631 s Remaining CPU time: 175.484 s c =============================================================================== c | 0 | 2382 2596 192923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12579 c Elapsed CPU time: 4.6333 s Remaining CPU time: 175.367 s c =============================================================================== c | 0 | 2382 2597 195273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12577 c Elapsed CPU time: 4.74628 s Remaining CPU time: 175.254 s c =============================================================================== c | 0 | 2382 2598 197623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12576 c Elapsed CPU time: 4.86126 s Remaining CPU time: 175.139 s c =============================================================================== c | 0 | 2382 2599 199973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12573 c Elapsed CPU time: 4.97624 s Remaining CPU time: 175.024 s c =============================================================================== c | 0 | 2382 2600 202323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12571 c Elapsed CPU time: 5.09223 s Remaining CPU time: 174.908 s c =============================================================================== c | 0 | 2382 2601 204673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12570 c Elapsed CPU time: 5.21021 s Remaining CPU time: 174.79 s c =============================================================================== c | 0 | 2382 2602 207023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12567 c Elapsed CPU time: 5.32419 s Remaining CPU time: 174.676 s c =============================================================================== c | 0 | 2382 2603 209373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12563 c Elapsed CPU time: 5.44217 s Remaining CPU time: 174.558 s c =============================================================================== c | 0 | 2382 2604 211723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12560 c Elapsed CPU time: 5.56715 s Remaining CPU time: 174.433 s c =============================================================================== c | 0 | 2382 2605 214073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12559 c Elapsed CPU time: 5.69413 s Remaining CPU time: 174.306 s c =============================================================================== c | 0 | 2382 2606 216423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 5.82311 s Remaining CPU time: 174.177 s c =============================================================================== c | 0 | 2382 2607 218773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12557 c Elapsed CPU time: 5.95409 s Remaining CPU time: 174.046 s c =============================================================================== c | 0 | 2382 2608 221123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 6.08607 s Remaining CPU time: 173.914 s c =============================================================================== c | 0 | 2382 2609 223473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12554 c Elapsed CPU time: 6.21705 s Remaining CPU time: 173.783 s c =============================================================================== c | 0 | 2382 2610 225823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12553 c Elapsed CPU time: 6.34504 s Remaining CPU time: 173.655 s c =============================================================================== c | 0 | 2382 2611 228173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 6.47902 s Remaining CPU time: 173.521 s c =============================================================================== c | 0 | 2382 2612 230523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12549 c Elapsed CPU time: 6.61299 s Remaining CPU time: 173.387 s c =============================================================================== c | 0 | 2382 2613 232873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12547 c Elapsed CPU time: 6.74697 s Remaining CPU time: 173.253 s c =============================================================================== c | 0 | 2382 2614 235223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12543 c Elapsed CPU time: 6.88295 s Remaining CPU time: 173.117 s c =============================================================================== c | 0 | 2382 2615 237573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12542 c Elapsed CPU time: 7.02293 s Remaining CPU time: 172.977 s c =============================================================================== c | 0 | 2382 2616 239923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12541 c Elapsed CPU time: 7.15791 s Remaining CPU time: 172.842 s c =============================================================================== c | 0 | 2382 2617 242273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12538 c Elapsed CPU time: 7.30589 s Remaining CPU time: 172.694 s c =============================================================================== c | 0 | 2382 2618 244623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 7.45487 s Remaining CPU time: 172.545 s c =============================================================================== c | 0 | 2382 2619 246973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12535 c Elapsed CPU time: 7.61284 s Remaining CPU time: 172.387 s c =============================================================================== c | 0 | 2382 2620 249323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12533 c Elapsed CPU time: 7.77582 s Remaining CPU time: 172.224 s c =============================================================================== c | 0 | 2382 2621 251673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12532 c Elapsed CPU time: 7.94179 s Remaining CPU time: 172.058 s c =============================================================================== c | 0 | 2382 2622 254023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12529 c Elapsed CPU time: 8.10577 s Remaining CPU time: 171.894 s c =============================================================================== c | 0 | 2382 2623 256373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12526 c Elapsed CPU time: 8.27474 s Remaining CPU time: 171.725 s c =============================================================================== c | 0 | 2382 2624 258723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12524 c Elapsed CPU time: 8.44072 s Remaining CPU time: 171.559 s c =============================================================================== c | 0 | 2382 2625 261073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 8.60869 s Remaining CPU time: 171.391 s c =============================================================================== c | 0 | 2382 2626 263423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12521 c Elapsed CPU time: 8.78067 s Remaining CPU time: 171.219 s c =============================================================================== c | 0 | 2382 2627 265773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12517 c Elapsed CPU time: 8.94764 s Remaining CPU time: 171.052 s c =============================================================================== c | 0 | 2382 2628 268123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12516 c Elapsed CPU time: 9.12261 s Remaining CPU time: 170.877 s c =============================================================================== c | 0 | 2382 2629 270473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12514 c Elapsed CPU time: 9.29859 s Remaining CPU time: 170.701 s c =============================================================================== c | 0 | 2382 2630 272823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12511 c Elapsed CPU time: 9.46956 s Remaining CPU time: 170.53 s c =============================================================================== c | 0 | 2382 2631 275173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12510 c Elapsed CPU time: 9.64753 s Remaining CPU time: 170.352 s c =============================================================================== c | 0 | 2382 2632 277523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12509 c Elapsed CPU time: 9.82551 s Remaining CPU time: 170.174 s c =============================================================================== c | 0 | 2382 2633 279873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12506 c Elapsed CPU time: 10.0035 s Remaining CPU time: 169.997 s c =============================================================================== c | 0 | 2382 2634 282223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12505 c Elapsed CPU time: 10.1935 s Remaining CPU time: 169.807 s c =============================================================================== c | 0 | 2382 2635 284573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12504 c Elapsed CPU time: 10.3754 s Remaining CPU time: 169.625 s c =============================================================================== c | 0 | 2382 2636 286923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12503 c Elapsed CPU time: 10.5654 s Remaining CPU time: 169.435 s c =============================================================================== c | 0 | 2382 2637 289273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12502 c Elapsed CPU time: 10.7534 s Remaining CPU time: 169.247 s c =============================================================================== c | 0 | 2382 2638 291623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12501 c Elapsed CPU time: 10.9363 s Remaining CPU time: 169.064 s c =============================================================================== c | 0 | 2382 2639 293973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12500 c Elapsed CPU time: 11.1213 s Remaining CPU time: 168.879 s c =============================================================================== c | 0 | 2382 2640 296323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12497 c Elapsed CPU time: 11.3043 s Remaining CPU time: 168.696 s c =============================================================================== c | 0 | 2382 2641 298673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12496 c Elapsed CPU time: 11.4923 s Remaining CPU time: 168.508 s c =============================================================================== c | 0 | 2382 2642 301023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12493 c Elapsed CPU time: 11.6882 s Remaining CPU time: 168.312 s c =============================================================================== c | 0 | 2382 2643 303373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12492 c Elapsed CPU time: 11.8842 s Remaining CPU time: 168.116 s c =============================================================================== c | 0 | 2382 2644 305723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12491 c Elapsed CPU time: 12.0762 s Remaining CPU time: 167.924 s c =============================================================================== c | 0 | 2382 2645 308073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 12.2711 s Remaining CPU time: 167.729 s c =============================================================================== c | 0 | 2382 2646 310423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12488 c Elapsed CPU time: 12.4681 s Remaining CPU time: 167.532 s c =============================================================================== c | 0 | 2382 2647 312773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12487 c Elapsed CPU time: 12.6691 s Remaining CPU time: 167.331 s c =============================================================================== c | 0 | 2382 2648 315123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12485 c Elapsed CPU time: 12.868 s Remaining CPU time: 167.132 s c =============================================================================== c | 0 | 2382 2649 317473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12483 c Elapsed CPU time: 13.076 s Remaining CPU time: 166.924 s c =============================================================================== c | 0 | 2382 2650 319823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12482 c Elapsed CPU time: 13.28 s Remaining CPU time: 166.72 s c =============================================================================== c | 0 | 2382 2651 322173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12481 c Elapsed CPU time: 13.4789 s Remaining CPU time: 166.521 s c =============================================================================== c | 0 | 2382 2652 324523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12480 c Elapsed CPU time: 13.6839 s Remaining CPU time: 166.316 s c =============================================================================== c | 0 | 2382 2653 326873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12479 c Elapsed CPU time: 13.8929 s Remaining CPU time: 166.107 s c =============================================================================== c | 0 | 2382 2654 329223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12477 c Elapsed CPU time: 14.0999 s Remaining CPU time: 165.9 s c =============================================================================== c | 0 | 2382 2655 331573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 14.3088 s Remaining CPU time: 165.691 s c =============================================================================== c | 0 | 2382 2656 333923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12475 c Elapsed CPU time: 14.5148 s Remaining CPU time: 165.485 s c =============================================================================== c | 0 | 2382 2657 336273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12474 c Elapsed CPU time: 14.7328 s Remaining CPU time: 165.267 s c =============================================================================== c | 0 | 2382 2658 338623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12472 c Elapsed CPU time: 14.9447 s Remaining CPU time: 165.055 s c =============================================================================== c | 0 | 2382 2659 340973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12471 c Elapsed CPU time: 15.1657 s Remaining CPU time: 164.834 s c =============================================================================== c | 0 | 2382 2660 343323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 15.3857 s Remaining CPU time: 164.614 s c =============================================================================== c | 0 | 2382 2661 345673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12469 c Elapsed CPU time: 15.6086 s Remaining CPU time: 164.391 s c =============================================================================== c | 0 | 2382 2662 348023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12468 c Elapsed CPU time: 15.8266 s Remaining CPU time: 164.173 s c =============================================================================== c | 0 | 2382 2663 350373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12466 c Elapsed CPU time: 16.0466 s Remaining CPU time: 163.953 s c =============================================================================== c | 0 | 2382 2664 352723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12464 c Elapsed CPU time: 16.2685 s Remaining CPU time: 163.731 s c =============================================================================== c | 0 | 2382 2665 355073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12463 c Elapsed CPU time: 16.5025 s Remaining CPU time: 163.498 s c =============================================================================== c | 0 | 2382 2666 357423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12462 c Elapsed CPU time: 16.7355 s Remaining CPU time: 163.265 s c =============================================================================== c | 0 | 2382 2667 359773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12461 c Elapsed CPU time: 16.9654 s Remaining CPU time: 163.035 s c =============================================================================== c | 0 | 2382 2668 362123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12459 c Elapsed CPU time: 17.1914 s Remaining CPU time: 162.809 s c =============================================================================== c | 0 | 2382 2669 364473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12457 c Elapsed CPU time: 17.4204 s Remaining CPU time: 162.58 s c =============================================================================== c | 0 | 2382 2670 366823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12455 c Elapsed CPU time: 17.6573 s Remaining CPU time: 162.343 s c =============================================================================== c | 0 | 2382 2671 369173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12454 c Elapsed CPU time: 17.9023 s Remaining CPU time: 162.098 s c =============================================================================== c | 0 | 2382 2672 371523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12453 c Elapsed CPU time: 18.1332 s Remaining CPU time: 161.867 s c =============================================================================== c | 0 | 2382 2673 373873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 18.3712 s Remaining CPU time: 161.629 s c =============================================================================== c | 0 | 2382 2674 376223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12451 c Elapsed CPU time: 18.6222 s Remaining CPU time: 161.378 s c =============================================================================== c | 0 | 2382 2675 378573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12450 c Elapsed CPU time: 18.8701 s Remaining CPU time: 161.13 s c =============================================================================== c | 0 | 2382 2676 380923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12449 c Elapsed CPU time: 19.1191 s Remaining CPU time: 160.881 s c =============================================================================== c | 0 | 2382 2677 383273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12448 c Elapsed CPU time: 19.3701 s Remaining CPU time: 160.63 s c =============================================================================== c | 0 | 2382 2678 385623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12447 c Elapsed CPU time: 19.631 s Remaining CPU time: 160.369 s c =============================================================================== c | 0 | 2382 2679 387973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12446 c Elapsed CPU time: 19.897 s Remaining CPU time: 160.103 s c =============================================================================== c | 0 | 2382 2680 390323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12445 c Elapsed CPU time: 20.1559 s Remaining CPU time: 159.844 s c =============================================================================== c | 0 | 2382 2681 392673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12444 c Elapsed CPU time: 20.4099 s Remaining CPU time: 159.59 s c =============================================================================== c | 0 | 2382 2682 395023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12442 c Elapsed CPU time: 20.6659 s Remaining CPU time: 159.334 s c =============================================================================== c | 0 | 2382 2683 397373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12441 c Elapsed CPU time: 20.9228 s Remaining CPU time: 159.077 s c =============================================================================== c | 0 | 2382 2684 399723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12440 c Elapsed CPU time: 21.1848 s Remaining CPU time: 158.815 s c =============================================================================== c | 0 | 2382 2685 402073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12439 c Elapsed CPU time: 21.4557 s Remaining CPU time: 158.544 s c =============================================================================== c | 0 | 2382 2686 404423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12438 c Elapsed CPU time: 21.7217 s Remaining CPU time: 158.278 s c =============================================================================== c | 0 | 2382 2687 406773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12437 c Elapsed CPU time: 21.9827 s Remaining CPU time: 158.017 s c =============================================================================== c | 0 | 2382 2688 409123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12436 c Elapsed CPU time: 22.2486 s Remaining CPU time: 157.751 s c =============================================================================== c | 0 | 2382 2689 411473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12435 c Elapsed CPU time: 22.5156 s Remaining CPU time: 157.484 s c =============================================================================== c | 0 | 2382 2690 413823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12434 c Elapsed CPU time: 22.7765 s Remaining CPU time: 157.223 s c =============================================================================== c | 0 | 2382 2691 416173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12433 c Elapsed CPU time: 23.0415 s Remaining CPU time: 156.959 s c =============================================================================== c | 0 | 2382 2692 418523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 23.3175 s Remaining CPU time: 156.683 s c =============================================================================== c | 0 | 2382 2693 420873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12431 c Elapsed CPU time: 23.6094 s Remaining CPU time: 156.391 s c =============================================================================== c | 0 | 2382 2694 423223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12430 c Elapsed CPU time: 23.8924 s Remaining CPU time: 156.108 s c =============================================================================== c | 0 | 2382 2695 425573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12429 c Elapsed CPU time: 24.1703 s Remaining CPU time: 155.83 s c =============================================================================== c | 0 | 2382 2696 427923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12428 c Elapsed CPU time: 24.4493 s Remaining CPU time: 155.551 s c =============================================================================== c | 0 | 2382 2697 430273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12425 c Elapsed CPU time: 24.7342 s Remaining CPU time: 155.266 s c =============================================================================== c | 0 | 2382 2698 432623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12424 c Elapsed CPU time: 25.0222 s Remaining CPU time: 154.978 s c =============================================================================== c | 0 | 2382 2699 434973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12423 c Elapsed CPU time: 25.3241 s Remaining CPU time: 154.676 s c =============================================================================== c | 0 | 2382 2700 437323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12422 c Elapsed CPU time: 25.6201 s Remaining CPU time: 154.38 s c =============================================================================== c | 0 | 2382 2701 439673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 25.9101 s Remaining CPU time: 154.09 s c =============================================================================== c | 0 | 2382 2702 442023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12418 c Elapsed CPU time: 26.201 s Remaining CPU time: 153.799 s c =============================================================================== c | 0 | 2382 2703 444373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12416 c Elapsed CPU time: 26.487 s Remaining CPU time: 153.513 s c =============================================================================== c | 0 | 2382 2704 446723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12415 c Elapsed CPU time: 26.7779 s Remaining CPU time: 153.222 s c =============================================================================== c | 0 | 2382 2705 449073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12414 c Elapsed CPU time: 27.0619 s Remaining CPU time: 152.938 s c =============================================================================== c | 0 | 2382 2706 451423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12413 c Elapsed CPU time: 27.3558 s Remaining CPU time: 152.644 s c =============================================================================== c | 0 | 2382 2707 453773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12411 c Elapsed CPU time: 27.6558 s Remaining CPU time: 152.344 s c =============================================================================== c | 0 | 2382 2708 456123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12410 c Elapsed CPU time: 27.9478 s Remaining CPU time: 152.052 s c =============================================================================== c | 0 | 2382 2709 458473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12409 c Elapsed CPU time: 28.2507 s Remaining CPU time: 151.749 s c =============================================================================== c | 0 | 2382 2710 460823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12408 c Elapsed CPU time: 28.5547 s Remaining CPU time: 151.445 s c =============================================================================== c | 0 | 2382 2711 463173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12407 c Elapsed CPU time: 28.8486 s Remaining CPU time: 151.151 s c =============================================================================== c | 0 | 2382 2712 465523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12406 c Elapsed CPU time: 29.1366 s Remaining CPU time: 150.863 s c =============================================================================== c | 0 | 2382 2713 467873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12404 c Elapsed CPU time: 29.4255 s Remaining CPU time: 150.574 s c =============================================================================== c | 0 | 2382 2714 470223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12403 c Elapsed CPU time: 29.7215 s Remaining CPU time: 150.279 s c =============================================================================== c | 0 | 2382 2715 472573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12401 c Elapsed CPU time: 30.0124 s Remaining CPU time: 149.988 s c =============================================================================== c | 0 | 2382 2716 474923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12398 c Elapsed CPU time: 30.3084 s Remaining CPU time: 149.692 s c =============================================================================== c | 0 | 2382 2717 477273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12396 c Elapsed CPU time: 30.5943 s Remaining CPU time: 149.406 s c =============================================================================== c | 0 | 2382 2718 479623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12395 c Elapsed CPU time: 30.9033 s Remaining CPU time: 149.097 s c =============================================================================== c | 0 | 2382 2719 481973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12394 c Elapsed CPU time: 31.2053 s Remaining CPU time: 148.795 s c =============================================================================== c | 0 | 2382 2720 484323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12391 c Elapsed CPU time: 31.5492 s Remaining CPU time: 148.451 s c =============================================================================== c | 0 | 2382 2721 486673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12389 c Elapsed CPU time: 31.8862 s Remaining CPU time: 148.114 s c =============================================================================== c | 0 | 2382 2722 489023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12387 c Elapsed CPU time: 32.2321 s Remaining CPU time: 147.768 s c =============================================================================== c | 0 | 2382 2723 491373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12384 c Elapsed CPU time: 32.574 s Remaining CPU time: 147.426 s c =============================================================================== c | 0 | 2382 2724 493723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12383 c Elapsed CPU time: 32.92 s Remaining CPU time: 147.08 s c =============================================================================== c | 0 | 2382 2725 496073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12381 c Elapsed CPU time: 33.2569 s Remaining CPU time: 146.743 s c =============================================================================== c | 0 | 2382 2726 498423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12377 c Elapsed CPU time: 33.5939 s Remaining CPU time: 146.406 s c =============================================================================== c | 0 | 2382 2727 500773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12375 c Elapsed CPU time: 33.9478 s Remaining CPU time: 146.052 s c =============================================================================== c | 0 | 2382 2728 503123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12373 c Elapsed CPU time: 34.2998 s Remaining CPU time: 145.7 s c =============================================================================== c | 0 | 2382 2729 505473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12372 c Elapsed CPU time: 34.6637 s Remaining CPU time: 145.336 s c =============================================================================== c | 0 | 2382 2730 507823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12371 c Elapsed CPU time: 35.0067 s Remaining CPU time: 144.993 s c =============================================================================== c | 0 | 2382 2731 510173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12368 c Elapsed CPU time: 35.3506 s Remaining CPU time: 144.649 s c =============================================================================== c | 0 | 2382 2732 512523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12366 c Elapsed CPU time: 35.7226 s Remaining CPU time: 144.277 s c =============================================================================== c | 0 | 2382 2733 514873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12365 c Elapsed CPU time: 36.0905 s Remaining CPU time: 143.909 s c =============================================================================== c | 0 | 2382 2734 517223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12364 c Elapsed CPU time: 36.4395 s Remaining CPU time: 143.561 s c =============================================================================== c | 0 | 2382 2735 519573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12362 c Elapsed CPU time: 36.7894 s Remaining CPU time: 143.211 s c =============================================================================== c | 0 | 2382 2736 521923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12361 c Elapsed CPU time: 37.1414 s Remaining CPU time: 142.859 s c =============================================================================== c | 0 | 2382 2737 524273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12358 c Elapsed CPU time: 37.5003 s Remaining CPU time: 142.5 s c =============================================================================== c | 0 | 2382 2738 526623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12357 c Elapsed CPU time: 37.8512 s Remaining CPU time: 142.149 s c =============================================================================== c | 0 | 2382 2739 528973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12356 c Elapsed CPU time: 38.2132 s Remaining CPU time: 141.787 s c =============================================================================== c | 0 | 2382 2740 531323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12355 c Elapsed CPU time: 38.5781 s Remaining CPU time: 141.422 s c =============================================================================== c | 0 | 2382 2741 533673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12353 c Elapsed CPU time: 38.9401 s Remaining CPU time: 141.06 s c =============================================================================== c | 0 | 2382 2742 536023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12352 c Elapsed CPU time: 39.314 s Remaining CPU time: 140.686 s c =============================================================================== c | 0 | 2382 2743 538373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12351 c Elapsed CPU time: 39.67 s Remaining CPU time: 140.33 s c =============================================================================== c | 0 | 2382 2744 540723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12350 c Elapsed CPU time: 40.0279 s Remaining CPU time: 139.972 s c =============================================================================== c | 0 | 2382 2745 543073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12349 c Elapsed CPU time: 40.3989 s Remaining CPU time: 139.601 s c =============================================================================== c | 0 | 2382 2746 545423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12348 c Elapsed CPU time: 40.7688 s Remaining CPU time: 139.231 s c =============================================================================== c | 0 | 2382 2747 547773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12347 c Elapsed CPU time: 41.1377 s Remaining CPU time: 138.862 s c =============================================================================== c | 0 | 2382 2748 550123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12346 c Elapsed CPU time: 41.4987 s Remaining CPU time: 138.501 s c =============================================================================== c | 0 | 2382 2749 552473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12345 c Elapsed CPU time: 41.8796 s Remaining CPU time: 138.12 s c =============================================================================== c | 0 | 2382 2750 554823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12344 c Elapsed CPU time: 42.2696 s Remaining CPU time: 137.73 s c =============================================================================== c | 0 | 2382 2751 557173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12343 c Elapsed CPU time: 42.6585 s Remaining CPU time: 137.341 s c =============================================================================== c | 0 | 2382 2752 559523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12342 c Elapsed CPU time: 43.0295 s Remaining CPU time: 136.971 s c =============================================================================== c | 0 | 2382 2753 561873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12341 c Elapsed CPU time: 43.4044 s Remaining CPU time: 136.596 s c =============================================================================== c | 0 | 2382 2754 564223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12340 c Elapsed CPU time: 43.7863 s Remaining CPU time: 136.214 s c =============================================================================== c | 0 | 2382 2755 566573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12337 c Elapsed CPU time: 44.1703 s Remaining CPU time: 135.83 s c =============================================================================== c | 0 | 2382 2756 568923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12335 c Elapsed CPU time: 44.5662 s Remaining CPU time: 135.434 s c =============================================================================== c | 0 | 2382 2757 571273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12334 c Elapsed CPU time: 44.9672 s Remaining CPU time: 135.033 s c =============================================================================== c | 0 | 2382 2758 573623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12333 c Elapsed CPU time: 45.3531 s Remaining CPU time: 134.647 s c =============================================================================== c | 0 | 2382 2759 575973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12332 c Elapsed CPU time: 45.737 s Remaining CPU time: 134.263 s c =============================================================================== c | 0 | 2382 2760 578323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12330 c Elapsed CPU time: 46.119 s Remaining CPU time: 133.881 s c =============================================================================== c | 0 | 2382 2761 580673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12329 c Elapsed CPU time: 46.5009 s Remaining CPU time: 133.499 s c =============================================================================== c | 0 | 2382 2762 583023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12326 c Elapsed CPU time: 46.8799 s Remaining CPU time: 133.12 s c =============================================================================== c | 0 | 2382 2763 585373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12325 c Elapsed CPU time: 47.2608 s Remaining CPU time: 132.739 s c =============================================================================== c | 0 | 2382 2764 587723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12324 c Elapsed CPU time: 47.6628 s Remaining CPU time: 132.337 s c =============================================================================== c | 0 | 2382 2765 590073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12323 c Elapsed CPU time: 48.0527 s Remaining CPU time: 131.947 s c =============================================================================== c | 0 | 2382 2766 592423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12322 c Elapsed CPU time: 48.4536 s Remaining CPU time: 131.546 s c =============================================================================== c | 0 | 2382 2767 594773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12321 c Elapsed CPU time: 48.8376 s Remaining CPU time: 131.162 s c =============================================================================== c | 0 | 2382 2768 597123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12320 c Elapsed CPU time: 49.2335 s Remaining CPU time: 130.766 s c =============================================================================== c | 0 | 2382 2769 599473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12318 c Elapsed CPU time: 49.6395 s Remaining CPU time: 130.361 s c =============================================================================== c | 0 | 2382 2770 601823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12317 c Elapsed CPU time: 50.0324 s Remaining CPU time: 129.968 s c =============================================================================== c | 0 | 2382 2771 604173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12316 c Elapsed CPU time: 50.4313 s Remaining CPU time: 129.569 s c =============================================================================== c | 0 | 2382 2772 606523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12315 c Elapsed CPU time: 50.8363 s Remaining CPU time: 129.164 s c =============================================================================== c | 0 | 2382 2773 608873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12314 c Elapsed CPU time: 51.2572 s Remaining CPU time: 128.743 s c =============================================================================== c | 0 | 2382 2774 611223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12313 c Elapsed CPU time: 51.6681 s Remaining CPU time: 128.332 s c =============================================================================== c | 0 | 2382 2775 613573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12312 c Elapsed CPU time: 52.0761 s Remaining CPU time: 127.924 s c =============================================================================== c | 0 | 2382 2776 615923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12311 c Elapsed CPU time: 52.504 s Remaining CPU time: 127.496 s c =============================================================================== c | 2 | 2382 2777 618273 | 5000 2 2283 | 0.000 % | c =============================================================================== c New solution: 12310 c Elapsed CPU time: 52.904 s Remaining CPU time: 127.096 s c =============================================================================== c | 2 | 2382 2778 620623 | 5000 2 2283 | 0.000 % | c =============================================================================== c New solution: 12309 c Elapsed CPU time: 53.3149 s Remaining CPU time: 126.685 s c =============================================================================== c | 2 | 2382 2779 622973 | 5000 2 2283 | 0.000 % | c =============================================================================== c New solution: 12308 c Elapsed CPU time: 53.7298 s Remaining CPU time: 126.27 s c =============================================================================== c | 3 | 2382 2780 625323 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12307 c Elapsed CPU time: 54.1718 s Remaining CPU time: 125.828 s c =============================================================================== c | 3 | 2382 2781 627673 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12306 c Elapsed CPU time: 54.5987 s Remaining CPU time: 125.401 s c =============================================================================== c | 3 | 2382 2782 630023 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12305 c Elapsed CPU time: 55.0356 s Remaining CPU time: 124.964 s c =============================================================================== c | 3 | 2382 2783 632373 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12304 c Elapsed CPU time: 55.4606 s Remaining CPU time: 124.539 s c =============================================================================== c | 3 | 2382 2784 634723 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12303 c Elapsed CPU time: 55.8905 s Remaining CPU time: 124.109 s c =============================================================================== c | 3 | 2382 2785 637073 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12302 c Elapsed CPU time: 56.2904 s Remaining CPU time: 123.71 s c =============================================================================== c | 3 | 2382 2786 639423 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12301 c Elapsed CPU time: 56.7234 s Remaining CPU time: 123.277 s c =============================================================================== c | 3 | 2382 2787 641773 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12300 c Elapsed CPU time: 57.1533 s Remaining CPU time: 122.847 s c =============================================================================== c | 3 | 2382 2788 644123 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12299 c Elapsed CPU time: 57.5922 s Remaining CPU time: 122.408 s c =============================================================================== c | 3 | 2382 2789 646473 | 5000 3 1523 | 0.000 % | c =============================================================================== c New solution: 12298 c Elapsed CPU time: 58.0472 s Remaining CPU time: 121.953 s c =============================================================================== c | 4 | 2382 2790 648823 | 5000 4 1142 | 0.000 % | c =============================================================================== c New solution: 12297 c Elapsed CPU time: 58.4861 s Remaining CPU time: 121.514 s c =============================================================================== c | 4 | 2382 2791 651173 | 5000 4 1142 | 0.000 % | c =============================================================================== c New solution: 12296 c Elapsed CPU time: 58.905 s Remaining CPU time: 121.095 s c =============================================================================== c | 4 | 2382 2792 653523 | 5000 4 1142 | 0.000 % | c =============================================================================== c New solution: 12295 c Elapsed CPU time: 59.369 s Remaining CPU time: 120.631 s c =============================================================================== c | 4 | 2382 2793 655873 | 5000 4 1142 | 0.000 % | c =============================================================================== c New solution: 12294 c Elapsed CPU time: 59.8189 s Remaining CPU time: 120.181 s c =============================================================================== c | 4 | 2382 2794 658223 | 5000 4 1142 | 0.000 % | c =============================================================================== c New solution: 12293 c Elapsed CPU time: 60.2658 s Remaining CPU time: 119.734 s c =============================================================================== c | 4 | 2382 2795 660573 | 5000 4 1142 | 0.000 % | c =============================================================================== c New solution: 12292 c Elapsed CPU time: 60.7468 s Remaining CPU time: 119.253 s c =============================================================================== c | 5 | 2382 2796 662923 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12291 c Elapsed CPU time: 61.1877 s Remaining CPU time: 118.812 s c =============================================================================== c | 5 | 2382 2797 665273 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12290 c Elapsed CPU time: 61.6336 s Remaining CPU time: 118.366 s c =============================================================================== c | 5 | 2382 2798 667623 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12289 c Elapsed CPU time: 62.0896 s Remaining CPU time: 117.91 s c =============================================================================== c | 5 | 2382 2799 669973 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12288 c Elapsed CPU time: 62.5415 s Remaining CPU time: 117.459 s c =============================================================================== c | 5 | 2382 2800 672323 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12287 c Elapsed CPU time: 62.9874 s Remaining CPU time: 117.013 s c =============================================================================== c | 5 | 2382 2801 674673 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12286 c Elapsed CPU time: 63.4384 s Remaining CPU time: 116.562 s c =============================================================================== c | 5 | 2382 2802 677023 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12285 c Elapsed CPU time: 63.8743 s Remaining CPU time: 116.126 s c =============================================================================== c | 5 | 2382 2803 679373 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12284 c Elapsed CPU time: 64.3262 s Remaining CPU time: 115.674 s c =============================================================================== c | 5 | 2382 2804 681723 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12283 c Elapsed CPU time: 64.8151 s Remaining CPU time: 115.185 s c =============================================================================== c | 5 | 2382 2805 684073 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12282 c Elapsed CPU time: 65.2931 s Remaining CPU time: 114.707 s c =============================================================================== c | 5 | 2382 2806 686423 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12281 c Elapsed CPU time: 65.781 s Remaining CPU time: 114.219 s c =============================================================================== c | 5 | 2382 2807 688773 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12280 c Elapsed CPU time: 66.2539 s Remaining CPU time: 113.746 s c =============================================================================== c | 5 | 2382 2808 691123 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12279 c Elapsed CPU time: 66.7319 s Remaining CPU time: 113.268 s c =============================================================================== c | 5 | 2382 2809 693473 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12278 c Elapsed CPU time: 67.2168 s Remaining CPU time: 112.783 s c =============================================================================== c | 5 | 2382 2810 695823 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12277 c Elapsed CPU time: 67.6977 s Remaining CPU time: 112.302 s c =============================================================================== c | 5 | 2382 2811 698173 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12276 c Elapsed CPU time: 68.1886 s Remaining CPU time: 111.811 s c =============================================================================== c | 5 | 2382 2812 700523 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12275 c Elapsed CPU time: 68.6786 s Remaining CPU time: 111.321 s c =============================================================================== c | 5 | 2382 2813 702873 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12274 c Elapsed CPU time: 69.1545 s Remaining CPU time: 110.846 s c =============================================================================== c | 5 | 2382 2814 705223 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12273 c Elapsed CPU time: 69.6354 s Remaining CPU time: 110.365 s c =============================================================================== c | 5 | 2382 2815 707573 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12272 c Elapsed CPU time: 70.1193 s Remaining CPU time: 109.881 s c =============================================================================== c | 5 | 2382 2816 709923 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12271 c Elapsed CPU time: 70.5943 s Remaining CPU time: 109.406 s c =============================================================================== c | 5 | 2382 2817 712273 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12270 c Elapsed CPU time: 71.0812 s Remaining CPU time: 108.919 s c =============================================================================== c | 5 | 2382 2818 714623 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12269 c Elapsed CPU time: 71.5681 s Remaining CPU time: 108.432 s c =============================================================================== c | 5 | 2382 2819 716973 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12268 c Elapsed CPU time: 72.029 s Remaining CPU time: 107.971 s c =============================================================================== c | 5 | 2382 2820 719323 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12267 c Elapsed CPU time: 72.51 s Remaining CPU time: 107.49 s c =============================================================================== c | 5 | 2382 2821 721673 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12266 c Elapsed CPU time: 73.0099 s Remaining CPU time: 106.99 s c =============================================================================== c | 5 | 2382 2822 724023 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12265 c Elapsed CPU time: 73.4848 s Remaining CPU time: 106.515 s c =============================================================================== c | 5 | 2382 2823 726373 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12264 c Elapsed CPU time: 73.9638 s Remaining CPU time: 106.036 s c =============================================================================== c | 5 | 2382 2824 728723 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12263 c Elapsed CPU time: 74.4477 s Remaining CPU time: 105.552 s c =============================================================================== c | 5 | 2382 2825 731073 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12262 c Elapsed CPU time: 74.9236 s Remaining CPU time: 105.076 s c =============================================================================== c | 5 | 2382 2826 733423 | 5000 5 914 | 0.000 % | c =============================================================================== c New solution: 12261 c Elapsed CPU time: 75.4215 s Remaining CPU time: 104.578 s c =============================================================================== c | 6 | 2382 2827 735773 | 5000 6 1141 | 0.000 % | c =============================================================================== c New solution: 12260 c Elapsed CPU time: 75.9235 s Remaining CPU time: 104.077 s c =============================================================================== c | 6 | 2382 2828 738123 | 5000 6 1141 | 0.000 % | c =============================================================================== c New solution: 12259 c Elapsed CPU time: 76.4224 s Remaining CPU time: 103.578 s c =============================================================================== c | 6 | 2382 2829 740473 | 5000 6 1141 | 0.000 % | c =============================================================================== c New solution: 12258 c Elapsed CPU time: 76.8983 s Remaining CPU time: 103.102 s c =============================================================================== c | 6 | 2382 2830 742823 | 5000 6 1141 | 0.000 % | c =============================================================================== c New solution: 12257 c Elapsed CPU time: 77.3972 s Remaining CPU time: 102.603 s c =============================================================================== c | 6 | 2382 2831 745173 | 5000 6 1141 | 0.000 % | c =============================================================================== c New solution: 12256 c Elapsed CPU time: 77.9421 s Remaining CPU time: 102.058 s c =============================================================================== c | 7 | 2382 2832 747523 | 5000 7 1303 | 0.000 % | c =============================================================================== c New solution: 12255 c Elapsed CPU time: 78.4641 s Remaining CPU time: 101.536 s c =============================================================================== c | 7 | 2382 2833 749873 | 5000 7 1303 | 0.000 % | c =============================================================================== c New solution: 12254 c Elapsed CPU time: 78.984 s Remaining CPU time: 101.016 s c =============================================================================== c | 7 | 2382 2834 752223 | 5000 7 1303 | 0.000 % | c =============================================================================== c New solution: 12253 c Elapsed CPU time: 79.4909 s Remaining CPU time: 100.509 s c =============================================================================== c | 8 | 2382 2835 754573 | 5000 8 1424 | 0.000 % | c =============================================================================== c New solution: 12252 c Elapsed CPU time: 79.9928 s Remaining CPU time: 100.007 s c =============================================================================== c | 8 | 2382 2836 756923 | 5000 8 1424 | 0.000 % | c =============================================================================== c New solution: 12251 c Elapsed CPU time: 80.4998 s Remaining CPU time: 99.5002 s c =============================================================================== c | 8 | 2382 2837 759273 | 5000 8 1424 | 0.000 % | c =============================================================================== c New solution: 12250 c Elapsed CPU time: 81.0287 s Remaining CPU time: 98.9713 s c =============================================================================== c | 8 | 2382 2838 761623 | 5000 8 1424 | 0.000 % | c =============================================================================== c New solution: 12249 c Elapsed CPU time: 81.5556 s Remaining CPU time: 98.4444 s c =============================================================================== c | 8 | 2382 2839 763973 | 5000 8 1424 | 0.000 % | c =============================================================================== c New solution: 12248 c Elapsed CPU time: 82.0635 s Remaining CPU time: 97.9365 s c =============================================================================== c | 8 | 2382 2840 766323 | 5000 8 1424 | 0.000 % | c =============================================================================== c New solution: 12247 c Elapsed CPU time: 82.5554 s Remaining CPU time: 97.4446 s c =============================================================================== c | 8 | 2382 2841 768673 | 5000 8 1424 | 0.000 % | c =============================================================================== c New solution: 12246 c Elapsed CPU time: 83.0664 s Remaining CPU time: 96.9336 s c =============================================================================== c | 9 | 2382 2842 771023 | 5000 9 1518 | 0.000 % | c =============================================================================== c New solution: 12245 c Elapsed CPU time: 83.5653 s Remaining CPU time: 96.4347 s c =============================================================================== c | 9 | 2382 2843 773373 | 5000 9 1518 | 0.000 % | c =============================================================================== c New solution: 12244 c Elapsed CPU time: 84.1042 s Remaining CPU time: 95.8958 s c =============================================================================== c | 9 | 2382 2844 775723 | 5000 9 1518 | 0.000 % | c =============================================================================== c New solution: 12243 c Elapsed CPU time: 84.6531 s Remaining CPU time: 95.3469 s c =============================================================================== c | 10 | 2382 2845 778073 | 5000 10 1593 | 0.000 % | c =============================================================================== c New solution: 12242 c Elapsed CPU time: 85.185 s Remaining CPU time: 94.815 s c =============================================================================== c | 11 | 2382 2846 780423 | 5000 11 1654 | 0.000 % | c =============================================================================== c New solution: 12241 c Elapsed CPU time: 85.738 s Remaining CPU time: 94.262 s c =============================================================================== c | 12 | 2382 2847 782773 | 5000 12 1705 | 0.000 % | c =============================================================================== c New solution: 12240 c Elapsed CPU time: 86.2839 s Remaining CPU time: 93.7161 s c =============================================================================== c | 12 | 2382 2848 785123 | 5000 12 1705 | 0.000 % | c =============================================================================== c New solution: 12239 c Elapsed CPU time: 86.8518 s Remaining CPU time: 93.1482 s c =============================================================================== c | 13 | 2382 2849 787473 | 5000 13 1748 | 0.000 % | c =============================================================================== c New solution: 12238 c Elapsed CPU time: 87.3857 s Remaining CPU time: 92.6143 s c =============================================================================== c | 13 | 2382 2850 789823 | 5000 13 1748 | 0.000 % | c =============================================================================== c New solution: 12237 c Elapsed CPU time: 87.9076 s Remaining CPU time: 92.0924 s c =============================================================================== c | 14 | 2382 2851 792173 | 5000 14 1624 | 0.000 % | c =============================================================================== c New solution: 12236 c Elapsed CPU time: 88.4416 s Remaining CPU time: 91.5584 s c =============================================================================== c | 14 | 2382 2852 794523 | 5000 14 1624 | 0.000 % | c =============================================================================== c New solution: 12235 c Elapsed CPU time: 88.9685 s Remaining CPU time: 91.0315 s c =============================================================================== c | 14 | 2382 2853 796873 | 5000 14 1624 | 0.000 % | c =============================================================================== c New solution: 12234 c Elapsed CPU time: 89.5194 s Remaining CPU time: 90.4806 s c =============================================================================== c | 14 | 2382 2854 799223 | 5000 14 1624 | 0.000 % | c =============================================================================== c New solution: 12233 c Elapsed CPU time: 90.0583 s Remaining CPU time: 89.9417 s c =============================================================================== c | 15 | 2382 2855 801573 | 5000 15 1666 | 0.000 % | c =============================================================================== c New solution: 12232 c Elapsed CPU time: 90.6342 s Remaining CPU time: 89.3658 s c =============================================================================== c | 15 | 2382 2856 803923 | 5000 15 1666 | 0.000 % | c =============================================================================== c New solution: 12231 c Elapsed CPU time: 91.2471 s Remaining CPU time: 88.7529 s c =============================================================================== c | 16 | 2382 2857 806273 | 5000 16 1704 | 0.000 % | c =============================================================================== c New solution: 12230 c Elapsed CPU time: 91.839 s Remaining CPU time: 88.161 s c =============================================================================== c | 16 | 2382 2858 808623 | 5000 16 1704 | 0.000 % | c =============================================================================== c New solution: 12229 c Elapsed CPU time: 92.4449 s Remaining CPU time: 87.5551 s c =============================================================================== c | 16 | 2382 2859 810973 | 5000 16 1704 | 0.000 % | c =============================================================================== c New solution: 12228 c Elapsed CPU time: 93.0349 s Remaining CPU time: 86.9651 s c =============================================================================== c | 18 | 2382 2860 813323 | 5000 18 1767 | 0.000 % | c =============================================================================== c New solution: 12227 c Elapsed CPU time: 93.6228 s Remaining CPU time: 86.3772 s c =============================================================================== c | 18 | 2382 2861 815673 | 5000 18 1767 | 0.000 % | c =============================================================================== c New solution: 12226 c Elapsed CPU time: 94.2137 s Remaining CPU time: 85.7863 s c =============================================================================== c | 18 | 2382 2862 818023 | 5000 18 1767 | 0.000 % | c =============================================================================== c New solution: 12225 c Elapsed CPU time: 94.8596 s Remaining CPU time: 85.1404 s c =============================================================================== c | 21 | 2382 2863 820373 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12224 c Elapsed CPU time: 95.4495 s Remaining CPU time: 84.5505 s c =============================================================================== c | 21 | 2382 2864 822723 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12223 c Elapsed CPU time: 96.0434 s Remaining CPU time: 83.9566 s c =============================================================================== c | 21 | 2382 2865 825073 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12222 c Elapsed CPU time: 96.6363 s Remaining CPU time: 83.3637 s c =============================================================================== c | 21 | 2382 2866 827423 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12221 c Elapsed CPU time: 97.1972 s Remaining CPU time: 82.8028 s c =============================================================================== c | 21 | 2382 2867 829773 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12220 c Elapsed CPU time: 97.7901 s Remaining CPU time: 82.2099 s c =============================================================================== c | 21 | 2382 2868 832123 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12219 c Elapsed CPU time: 98.369 s Remaining CPU time: 81.631 s c =============================================================================== c | 21 | 2382 2869 834473 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12218 c Elapsed CPU time: 98.938 s Remaining CPU time: 81.062 s c =============================================================================== c | 21 | 2382 2870 836823 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12217 c Elapsed CPU time: 99.4979 s Remaining CPU time: 80.5021 s c =============================================================================== c | 21 | 2382 2871 839173 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12216 c Elapsed CPU time: 100.077 s Remaining CPU time: 79.9232 s c =============================================================================== c | 21 | 2382 2872 841523 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12215 c Elapsed CPU time: 100.627 s Remaining CPU time: 79.3733 s c =============================================================================== c | 21 | 2382 2873 843873 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12214 c Elapsed CPU time: 101.197 s Remaining CPU time: 78.8034 s c =============================================================================== c | 21 | 2382 2874 846223 | 5000 21 1838 | 0.000 % | c =============================================================================== c New solution: 12213 c Elapsed CPU time: 101.809 s Remaining CPU time: 78.1915 s c =============================================================================== c | 23 | 2382 2875 848573 | 5000 23 1875 | 0.000 % | c =============================================================================== c New solution: 12212 c Elapsed CPU time: 102.437 s Remaining CPU time: 77.5626 s c =============================================================================== c | 24 | 2382 2876 850923 | 5000 24 1891 | 0.000 % | c =============================================================================== c New solution: 12211 c Elapsed CPU time: 103.079 s Remaining CPU time: 76.9207 s c =============================================================================== c | 24 | 2382 2877 853273 | 5000 24 1891 | 0.000 % | c =============================================================================== c New solution: 12210 c Elapsed CPU time: 103.707 s Remaining CPU time: 76.2928 s c =============================================================================== c | 27 | 2382 2878 855623 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12209 c Elapsed CPU time: 104.323 s Remaining CPU time: 75.6769 s c =============================================================================== c | 27 | 2382 2879 857973 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12208 c Elapsed CPU time: 104.938 s Remaining CPU time: 75.062 s c =============================================================================== c | 27 | 2382 2880 860323 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12207 c Elapsed CPU time: 105.543 s Remaining CPU time: 74.457 s c =============================================================================== c | 27 | 2382 2881 862673 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12206 c Elapsed CPU time: 106.153 s Remaining CPU time: 73.8471 s c =============================================================================== c | 27 | 2382 2882 865023 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12205 c Elapsed CPU time: 106.723 s Remaining CPU time: 73.2772 s c =============================================================================== c | 27 | 2382 2883 867373 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12204 c Elapsed CPU time: 107.29 s Remaining CPU time: 72.7103 s c =============================================================================== c | 27 | 2382 2884 869723 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12203 c Elapsed CPU time: 107.873 s Remaining CPU time: 72.1274 s c =============================================================================== c | 27 | 2382 2885 872073 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12202 c Elapsed CPU time: 108.443 s Remaining CPU time: 71.5575 s c =============================================================================== c | 27 | 2382 2886 874423 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12201 c Elapsed CPU time: 109.046 s Remaining CPU time: 70.9536 s c =============================================================================== c | 27 | 2382 2887 876773 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12200 c Elapsed CPU time: 109.647 s Remaining CPU time: 70.3527 s c =============================================================================== c | 27 | 2382 2888 879123 | 5000 27 1932 | 0.000 % | c =============================================================================== c New solution: 12199 c Elapsed CPU time: 110.263 s Remaining CPU time: 69.7368 s c =============================================================================== c | 30 | 2382 2889 881473 | 5000 30 1965 | 0.000 % | c =============================================================================== c New solution: 12198 c Elapsed CPU time: 110.85 s Remaining CPU time: 69.1499 s c =============================================================================== c | 33 | 2382 2890 883823 | 5000 33 1992 | 0.000 % | c =============================================================================== c New solution: 12197 c Elapsed CPU time: 111.475 s Remaining CPU time: 68.5249 s c =============================================================================== c | 36 | 2382 2891 886173 | 5000 36 2014 | 0.000 % | c =============================================================================== c New solution: 12196 c Elapsed CPU time: 112.067 s Remaining CPU time: 67.933 s c =============================================================================== c | 36 | 2382 2892 888523 | 5000 36 2014 | 0.000 % | c =============================================================================== c New solution: 12195 c Elapsed CPU time: 112.632 s Remaining CPU time: 67.3681 s c =============================================================================== c | 36 | 2382 2893 890873 | 5000 36 2014 | 0.000 % | c =============================================================================== c New solution: 12194 c Elapsed CPU time: 113.224 s Remaining CPU time: 66.7762 s c =============================================================================== c | 39 | 2382 2894 893223 | 5000 39 2033 | 0.000 % | c =============================================================================== c New solution: 12193 c Elapsed CPU time: 113.816 s Remaining CPU time: 66.1843 s c =============================================================================== c | 40 | 2382 2895 895573 | 5000 40 2039 | 0.000 % | c =============================================================================== c New solution: 12192 c Elapsed CPU time: 114.434 s Remaining CPU time: 65.5664 s c =============================================================================== c | 40 | 2382 2896 897923 | 5000 40 2039 | 0.000 % | c =============================================================================== c New solution: 12191 c Elapsed CPU time: 115.052 s Remaining CPU time: 64.9485 s c =============================================================================== c | 44 | 2382 2897 900273 | 5000 44 2059 | 0.000 % | c =============================================================================== c New solution: 12190 c Elapsed CPU time: 115.661 s Remaining CPU time: 64.3386 s c =============================================================================== c | 45 | 2382 2898 902623 | 5000 45 2063 | 0.000 % | c =============================================================================== c New solution: 12189 c Elapsed CPU time: 116.28 s Remaining CPU time: 63.7197 s c =============================================================================== c | 45 | 2382 2899 904973 | 5000 45 2063 | 0.000 % | c =============================================================================== c New solution: 12188 c Elapsed CPU time: 116.946 s Remaining CPU time: 63.0538 s c =============================================================================== c | 46 | 2382 2900 907323 | 5000 46 2068 | 0.000 % | c =============================================================================== c New solution: 12187 c Elapsed CPU time: 117.544 s Remaining CPU time: 62.4559 s c =============================================================================== c | 46 | 2382 2901 909673 | 5000 46 2068 | 0.000 % | c =============================================================================== c New solution: 12186 c Elapsed CPU time: 118.165 s Remaining CPU time: 61.835 s c =============================================================================== c | 47 | 2382 2902 912023 | 5000 47 2072 | 0.000 % | c =============================================================================== c New solution: 12185 c Elapsed CPU time: 118.809 s Remaining CPU time: 61.1911 s c =============================================================================== c | 49 | 2382 2903 914373 | 5000 49 2079 | 0.000 % | c =============================================================================== c New solution: 12184 c Elapsed CPU time: 119.486 s Remaining CPU time: 60.5142 s c =============================================================================== c | 53 | 2382 2904 916723 | 5000 53 2093 | 0.000 % | c =============================================================================== c New solution: 12183 c Elapsed CPU time: 120.109 s Remaining CPU time: 59.8913 s c =============================================================================== c | 53 | 2382 2905 919073 | 5000 53 2093 | 0.000 % | c =============================================================================== c New solution: 12182 c Elapsed CPU time: 120.74 s Remaining CPU time: 59.2604 s c =============================================================================== c | 53 | 2382 2906 921423 | 5000 53 2093 | 0.000 % | c =============================================================================== c New solution: 12181 c Elapsed CPU time: 121.367 s Remaining CPU time: 58.6335 s c =============================================================================== c | 54 | 2382 2907 923773 | 5000 54 2096 | 0.000 % | c =============================================================================== c New solution: 12180 c Elapsed CPU time: 122.003 s Remaining CPU time: 57.9965 s c =============================================================================== c | 54 | 2382 2908 926123 | 5000 54 2096 | 0.000 % | c =============================================================================== c New solution: 12179 c Elapsed CPU time: 122.639 s Remaining CPU time: 57.3606 s c =============================================================================== c | 56 | 2382 2909 928473 | 5000 56 2102 | 0.000 % | c =============================================================================== c New solution: 12178 c Elapsed CPU time: 123.25 s Remaining CPU time: 56.7497 s c =============================================================================== c | 56 | 2382 2910 930823 | 5000 56 2102 | 0.000 % | c =============================================================================== c New solution: 12177 c Elapsed CPU time: 123.866 s Remaining CPU time: 56.1338 s c =============================================================================== c | 56 | 2382 2911 933173 | 5000 56 2102 | 0.000 % | c =============================================================================== c New solution: 12176 c Elapsed CPU time: 124.508 s Remaining CPU time: 55.4919 s c =============================================================================== c | 62 | 2382 2912 935523 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12175 c Elapsed CPU time: 125.153 s Remaining CPU time: 54.847 s c =============================================================================== c | 62 | 2382 2913 937873 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12174 c Elapsed CPU time: 125.803 s Remaining CPU time: 54.1971 s c =============================================================================== c | 62 | 2382 2914 940223 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12173 c Elapsed CPU time: 126.41 s Remaining CPU time: 53.5902 s c =============================================================================== c | 62 | 2382 2915 942573 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12172 c Elapsed CPU time: 127.028 s Remaining CPU time: 52.9723 s c =============================================================================== c | 62 | 2382 2916 944923 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12171 c Elapsed CPU time: 127.677 s Remaining CPU time: 52.3234 s c =============================================================================== c | 62 | 2382 2917 947273 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12170 c Elapsed CPU time: 128.268 s Remaining CPU time: 51.7315 s c =============================================================================== c | 62 | 2382 2918 949623 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12169 c Elapsed CPU time: 128.882 s Remaining CPU time: 51.1176 s c =============================================================================== c | 62 | 2382 2919 951973 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12168 c Elapsed CPU time: 129.504 s Remaining CPU time: 50.4957 s c =============================================================================== c | 62 | 2382 2920 954323 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12167 c Elapsed CPU time: 130.148 s Remaining CPU time: 49.8518 s c =============================================================================== c | 62 | 2382 2921 956673 | 5000 62 2117 | 0.000 % | c =============================================================================== c New solution: 12166 c Elapsed CPU time: 130.829 s Remaining CPU time: 49.1709 s c =============================================================================== c | 63 | 2382 2922 959023 | 5000 63 2119 | 0.000 % | c =============================================================================== c New solution: 12165 c Elapsed CPU time: 131.52 s Remaining CPU time: 48.48 s c =============================================================================== c | 64 | 2382 2923 961373 | 5000 64 2121 | 0.000 % | c =============================================================================== c New solution: 12164 c Elapsed CPU time: 132.31 s Remaining CPU time: 47.6901 s c =============================================================================== c | 67 | 2382 2924 963723 | 5000 67 2127 | 0.000 % | c =============================================================================== c New solution: 12163 c Elapsed CPU time: 133.003 s Remaining CPU time: 46.9972 s c =============================================================================== c | 68 | 2382 2925 966073 | 5000 68 2129 | 0.000 % | c =============================================================================== c New solution: 12162 c Elapsed CPU time: 133.726 s Remaining CPU time: 46.2743 s c =============================================================================== c | 68 | 2382 2926 968423 | 5000 68 2129 | 0.000 % | c =============================================================================== c New solution: 12161 c Elapsed CPU time: 134.388 s Remaining CPU time: 45.6124 s c =============================================================================== c | 69 | 2382 2927 970773 | 5000 69 2131 | 0.000 % | c =============================================================================== c New solution: 12160 c Elapsed CPU time: 135.072 s Remaining CPU time: 44.9275 s c =============================================================================== c | 71 | 2382 2928 973123 | 5000 71 2134 | 0.000 % | c =============================================================================== c New solution: 12159 c Elapsed CPU time: 135.74 s Remaining CPU time: 44.2596 s c =============================================================================== c | 72 | 2382 2929 975473 | 5000 72 2136 | 0.000 % | c =============================================================================== c New solution: 12158 c Elapsed CPU time: 136.454 s Remaining CPU time: 43.5457 s c =============================================================================== c | 74 | 2382 2930 977823 | 5000 74 2139 | 0.000 % | c =============================================================================== c New solution: 12157 c Elapsed CPU time: 137.12 s Remaining CPU time: 42.8798 s c =============================================================================== c | 74 | 2382 2931 980173 | 5000 74 2139 | 0.000 % | c =============================================================================== c New solution: 12156 c Elapsed CPU time: 137.808 s Remaining CPU time: 42.192 s c =============================================================================== c | 75 | 2382 2932 982523 | 5000 75 2141 | 0.000 % | c =============================================================================== c New solution: 12155 c Elapsed CPU time: 138.45 s Remaining CPU time: 41.55 s c =============================================================================== c | 75 | 2382 2933 984873 | 5000 75 2141 | 0.000 % | c =============================================================================== c New solution: 12154 c Elapsed CPU time: 139.117 s Remaining CPU time: 40.8831 s c =============================================================================== c | 75 | 2382 2934 987223 | 5000 75 2141 | 0.000 % | c =============================================================================== c New solution: 12153 c Elapsed CPU time: 139.786 s Remaining CPU time: 40.2143 s c =============================================================================== c | 76 | 2382 2935 989573 | 5000 76 2142 | 0.000 % | c =============================================================================== c New solution: 12152 c Elapsed CPU time: 140.498 s Remaining CPU time: 39.5024 s c =============================================================================== c | 78 | 2382 2936 991923 | 5000 78 2145 | 0.000 % | c =============================================================================== c New solution: 12151 c Elapsed CPU time: 141.281 s Remaining CPU time: 38.7195 s c =============================================================================== c | 81 | 2382 2937 994273 | 5000 81 2149 | 0.000 % | c =============================================================================== c New solution: 12150 c Elapsed CPU time: 141.911 s Remaining CPU time: 38.0886 s c =============================================================================== c | 81 | 2382 2938 996623 | 5000 81 2149 | 0.000 % | c =============================================================================== c New solution: 12149 c Elapsed CPU time: 142.422 s Remaining CPU time: 37.5777 s c =============================================================================== c | 83 | 2382 2939 998973 | 5000 83 2152 | 0.000 % | c =============================================================================== c New solution: 12148 c Elapsed CPU time: 143.042 s Remaining CPU time: 36.9577 s c =============================================================================== c | 83 | 2382 2940 1001323 | 5000 83 2152 | 0.000 % | c =============================================================================== c New solution: 12147 c Elapsed CPU time: 143.698 s Remaining CPU time: 36.3018 s c =============================================================================== c | 84 | 2382 2941 1003673 | 5000 84 2153 | 0.000 % | c =============================================================================== c New solution: 12146 c Elapsed CPU time: 144.376 s Remaining CPU time: 35.6239 s c =============================================================================== c | 84 | 2382 2942 1006023 | 5000 84 2153 | 0.000 % | c =============================================================================== c New solution: 12145 c Elapsed CPU time: 145.178 s Remaining CPU time: 34.8221 s c =============================================================================== c | 87 | 2382 2943 1008373 | 5000 87 2157 | 0.000 % | c =============================================================================== c New solution: 12144 c Elapsed CPU time: 145.956 s Remaining CPU time: 34.0442 s c =============================================================================== c | 93 | 2382 2944 1010723 | 5000 93 2163 | 0.000 % | c =============================================================================== c New solution: 12143 c Elapsed CPU time: 146.596 s Remaining CPU time: 33.4043 s c =============================================================================== c | 93 | 2382 2945 1013073 | 5000 93 2163 | 0.000 % | c =============================================================================== c New solution: 12142 c Elapsed CPU time: 147.295 s Remaining CPU time: 32.7054 s c =============================================================================== c | 96 | 2382 2946 1015423 | 5000 96 2166 | 0.000 % | c =============================================================================== c New solution: 12141 c Elapsed CPU time: 147.964 s Remaining CPU time: 32.0365 s c =============================================================================== c | 96 | 2382 2947 1017773 | 5000 96 2166 | 0.000 % | c =============================================================================== c New solution: 12140 c Elapsed CPU time: 148.603 s Remaining CPU time: 31.3966 s c =============================================================================== c | 96 | 2382 2948 1020123 | 5000 96 2166 | 0.000 % | c =============================================================================== c New solution: 12139 c Elapsed CPU time: 149.235 s Remaining CPU time: 30.7647 s c =============================================================================== c | 96 | 2382 2949 1022473 | 5000 96 2166 | 0.000 % | c =============================================================================== c New solution: 12138 c Elapsed CPU time: 149.91 s Remaining CPU time: 30.0898 s c =============================================================================== c | 96 | 2382 2950 1024823 | 5000 96 2166 | 0.000 % | c =============================================================================== c New solution: 12137 c Elapsed CPU time: 150.643 s Remaining CPU time: 29.3569 s c =============================================================================== c | 99 | 2382 2951 1027173 | 5000 99 2168 | 0.000 % | c =============================================================================== c New solution: 12136 c Elapsed CPU time: 151.374 s Remaining CPU time: 28.626 s c =============================================================================== c | 99 | 2382 2952 1029523 | 5000 99 2168 | 0.000 % | c =============================================================================== c New solution: 12135 c Elapsed CPU time: 152.152 s Remaining CPU time: 27.8481 s c =============================================================================== c | 101 | 2382 2953 1031873 | 5000 101 2170 | 0.000 % | c =============================================================================== c New solution: 12134 c Elapsed CPU time: 152.866 s Remaining CPU time: 27.1342 s c =============================================================================== c | 101 | 2382 2954 1034223 | 5000 101 2170 | 0.000 % | c =============================================================================== c New solution: 12133 c Elapsed CPU time: 153.572 s Remaining CPU time: 26.4283 s c =============================================================================== c | 101 | 2382 2955 1036573 | 5000 101 2170 | 0.000 % | c =============================================================================== c New solution: 12132 c Elapsed CPU time: 154.256 s Remaining CPU time: 25.7445 s c =============================================================================== c | 102 | 2382 2956 1038923 | 5000 102 2171 | 0.000 % | c =============================================================================== c New solution: 12131 c Elapsed CPU time: 154.94 s Remaining CPU time: 25.0596 s c =============================================================================== c | 102 | 2382 2957 1041273 | 5000 102 2171 | 0.000 % | c =============================================================================== c New solution: 12130 c Elapsed CPU time: 155.635 s Remaining CPU time: 24.3647 s c =============================================================================== c | 104 | 2382 2958 1043623 | 5000 104 2172 | 0.000 % | c =============================================================================== c New solution: 12129 c Elapsed CPU time: 156.295 s Remaining CPU time: 23.7048 s c =============================================================================== c | 105 | 2382 2959 1045973 | 5000 105 2173 | 0.000 % | c =============================================================================== c New solution: 12128 c Elapsed CPU time: 157.003 s Remaining CPU time: 22.9969 s c =============================================================================== c | 105 | 2382 2960 1048323 | 5000 105 2173 | 0.000 % | c =============================================================================== c New solution: 12127 c Elapsed CPU time: 157.751 s Remaining CPU time: 22.249 s c =============================================================================== c | 105 | 2382 2961 1050673 | 5000 105 2173 | 0.000 % | c =============================================================================== c New solution: 12126 c Elapsed CPU time: 158.586 s Remaining CPU time: 21.4141 s c =============================================================================== c | 107 | 2382 2962 1053023 | 5000 107 2175 | 0.000 % | c =============================================================================== c New solution: 12125 c Elapsed CPU time: 159.321 s Remaining CPU time: 20.6792 s c =============================================================================== c | 108 | 2382 2963 1055373 | 5000 108 2175 | 0.000 % | c =============================================================================== c New solution: 12124 c Elapsed CPU time: 160.017 s Remaining CPU time: 19.9833 s c =============================================================================== c | 108 | 2382 2964 1057723 | 5000 108 2175 | 0.000 % | c =============================================================================== c New solution: 12123 c Elapsed CPU time: 160.732 s Remaining CPU time: 19.2684 s c =============================================================================== c | 108 | 2382 2965 1060073 | 5000 108 2175 | 0.000 % | c =============================================================================== c New solution: 12122 c Elapsed CPU time: 161.467 s Remaining CPU time: 18.5325 s c =============================================================================== c | 108 | 2382 2966 1062423 | 5000 108 2175 | 0.000 % | c =============================================================================== c New solution: 12121 c Elapsed CPU time: 162.18 s Remaining CPU time: 17.8197 s c =============================================================================== c | 110 | 2382 2967 1064773 | 5000 110 2177 | 0.000 % | c =============================================================================== c New solution: 12120 c Elapsed CPU time: 162.902 s Remaining CPU time: 17.0978 s c =============================================================================== c | 110 | 2382 2968 1067123 | 5000 110 2177 | 0.000 % | c =============================================================================== c New solution: 12119 c Elapsed CPU time: 163.594 s Remaining CPU time: 16.4059 s c =============================================================================== c | 110 | 2382 2969 1069473 | 5000 110 2177 | 0.000 % | c =============================================================================== c New solution: 12118 c Elapsed CPU time: 164.23 s Remaining CPU time: 15.77 s c =============================================================================== c | 110 | 2382 2970 1071823 | 5000 110 2177 | 0.000 % | c =============================================================================== c New solution: 12117 c Elapsed CPU time: 164.82 s Remaining CPU time: 15.1801 s c =============================================================================== c | 110 | 2382 2971 1074173 | 5000 110 2177 | 0.000 % | c =============================================================================== c New solution: 12116 c Elapsed CPU time: 165.462 s Remaining CPU time: 14.5382 s c =============================================================================== c | 111 | 2382 2972 1076523 | 5000 111 2177 | 0.000 % | c =============================================================================== c New solution: 12115 c Elapsed CPU time: 166.073 s Remaining CPU time: 13.9272 s c =============================================================================== c | 111 | 2382 2973 1078873 | 5000 111 2177 | 0.000 % | c =============================================================================== c New solution: 12114 c Elapsed CPU time: 166.773 s Remaining CPU time: 13.2274 s c =============================================================================== c | 114 | 2382 2974 1081223 | 5000 114 2179 | 0.000 % | c =============================================================================== c New solution: 12113 c Elapsed CPU time: 167.387 s Remaining CPU time: 12.6134 s c =============================================================================== c | 114 | 2382 2975 1083573 | 5000 114 2179 | 0.000 % | c =============================================================================== c New solution: 12112 c Elapsed CPU time: 168.014 s Remaining CPU time: 11.9855 s c =============================================================================== c | 114 | 2382 2976 1085923 | 5000 114 2179 | 0.000 % | c =============================================================================== c New solution: 12111 c Elapsed CPU time: 168.672 s Remaining CPU time: 11.3276 s c =============================================================================== c | 114 | 2382 2977 1088273 | 5000 114 2179 | 0.000 % | c =============================================================================== c New solution: 12110 c Elapsed CPU time: 169.315 s Remaining CPU time: 10.6847 s c =============================================================================== c | 114 | 2382 2978 1090623 | 5000 114 2179 | 0.000 % | c =============================================================================== c New solution: 12109 c Elapsed CPU time: 169.935 s Remaining CPU time: 10.0648 s c =============================================================================== c | 114 | 2382 2979 1092973 | 5000 114 2179 | 0.000 % | c =============================================================================== c New solution: 12108 c Elapsed CPU time: 170.506 s Remaining CPU time: 9.49392 s c =============================================================================== c | 114 | 2382 2980 1095323 | 5000 114 2179 | 0.000 % | c =============================================================================== c New solution: 12107 c Elapsed CPU time: 171.181 s Remaining CPU time: 8.81902 s c =============================================================================== c | 115 | 2382 2981 1097673 | 5000 115 2180 | 0.000 % | c =============================================================================== c New solution: 12106 c Elapsed CPU time: 171.857 s Remaining CPU time: 8.14313 s c =============================================================================== c | 115 | 2382 2982 1100023 | 5000 115 2180 | 0.000 % | c =============================================================================== c New solution: 12105 c Elapsed CPU time: 172.545 s Remaining CPU time: 7.45523 s c =============================================================================== c | 117 | 2382 2983 1102373 | 5000 117 2181 | 0.000 % | c =============================================================================== c New solution: 12104 c Elapsed CPU time: 173.202 s Remaining CPU time: 6.79833 s c =============================================================================== c | 122 | 2382 2984 1104723 | 5000 122 2183 | 0.000 % | c =============================================================================== c New solution: 12103 c Elapsed CPU time: 173.96 s Remaining CPU time: 6.04045 s c =============================================================================== c | 132 | 2382 2985 1107073 | 5000 132 2188 | 0.000 % | c =============================================================================== c New solution: 12102 c Elapsed CPU time: 174.568 s Remaining CPU time: 5.43154 s c =============================================================================== c | 132 | 2382 2986 1109423 | 5000 132 2188 | 0.000 % | c =============================================================================== c New solution: 12101 c Elapsed CPU time: 175.2 s Remaining CPU time: 4.79963 s c =============================================================================== c | 132 | 2382 2987 1111773 | 5000 132 2188 | 0.000 % | c =============================================================================== c New solution: 12100 c Elapsed CPU time: 175.847 s Remaining CPU time: 4.15273 s c =============================================================================== c | 133 | 2382 2988 1114123 | 5000 133 2188 | 0.000 % | c =============================================================================== c New solution: 12099 c Elapsed CPU time: 176.446 s Remaining CPU time: 3.55382 s c =============================================================================== c | 133 | 2382 2989 1116473 | 5000 133 2188 | 0.000 % | c =============================================================================== c New solution: 12098 c Elapsed CPU time: 177.074 s Remaining CPU time: 2.92592 s c =============================================================================== c | 133 | 2382 2990 1118823 | 5000 133 2188 | 0.000 % | c =============================================================================== c New solution: 12097 c Elapsed CPU time: 177.705 s Remaining CPU time: 2.29502 s c =============================================================================== c | 133 | 2382 2991 1121173 | 5000 133 2188 | 0.000 % | c =============================================================================== c New solution: 12096 c Elapsed CPU time: 178.324 s Remaining CPU time: 1.67611 s c =============================================================================== c | 133 | 2382 2992 1123523 | 5000 133 2188 | 0.000 % | c =============================================================================== c New solution: 12095 c Elapsed CPU time: 179.036 s Remaining CPU time: 0.964218 s c =============================================================================== c | 137 | 2382 2993 1125873 | 5000 137 2190 | 0.000 % | c =============================================================================== c New solution: 12094 c Elapsed CPU time: 179.709 s Remaining CPU time: 0.29132 s c =============================================================================== c | 139 | 2382 2994 1128223 | 5000 139 2191 | 0.000 % | c There are 118 assigned variables. 69 in cost function. c Memory used : 45.49 MB c CPU time : 180.559 s c c Total CPU time: 180.559 s