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 | 2490 2507 7333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12932 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 2490 2508 9683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12930 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 2490 2509 12033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12923 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 2490 2510 14383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12921 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 2490 2511 16733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12920 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 2490 2512 19083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12918 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 2490 2513 21433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12914 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 2490 2514 23783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12912 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 2490 2515 26133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12911 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 2490 2516 28483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12905 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 2490 2517 30833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12903 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 2490 2518 33183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12897 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 0 | 2490 2519 35533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12895 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 2490 2520 37883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12894 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 2490 2521 40233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12892 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 0 | 2490 2522 42583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12891 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 0 | 2490 2523 44933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12890 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 0 | 2490 2524 47283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12889 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 0 | 2490 2525 49633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12888 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 0 | 2490 2526 51983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12886 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 0 | 2490 2527 54333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12885 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 0 | 2490 2528 56683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12884 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 0 | 2490 2529 59033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12883 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 0 | 2490 2530 61383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12880 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 0 | 2490 2531 63733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12879 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 0 | 2490 2532 66083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12876 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s c =============================================================================== c | 0 | 2490 2533 68433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12875 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 0 | 2490 2534 70783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12874 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 0 | 2490 2535 73133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12873 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 0 | 2490 2536 75483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12872 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 0 | 2490 2537 77833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12870 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 0 | 2490 2538 80183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12869 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 0 | 2490 2539 82533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12868 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 0 | 2490 2540 84883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12864 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 0 | 2490 2541 87233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12863 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 0 | 2490 2542 89583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12861 c Elapsed CPU time: 1.16782 s Remaining CPU time: 178.832 s c =============================================================================== c | 0 | 2490 2543 91933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12860 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 0 | 2490 2544 94283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12858 c Elapsed CPU time: 1.26681 s Remaining CPU time: 178.733 s c =============================================================================== c | 0 | 2490 2545 96633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12857 c Elapsed CPU time: 1.3158 s Remaining CPU time: 178.684 s c =============================================================================== c | 0 | 2490 2546 98983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12856 c Elapsed CPU time: 1.36779 s Remaining CPU time: 178.632 s c =============================================================================== c | 0 | 2490 2547 101333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12854 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s c =============================================================================== c | 0 | 2490 2548 103683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12851 c Elapsed CPU time: 1.47178 s Remaining CPU time: 178.528 s c =============================================================================== c | 0 | 2490 2549 106033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12847 c Elapsed CPU time: 1.52977 s Remaining CPU time: 178.47 s c =============================================================================== c | 0 | 2490 2550 108383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12845 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s c =============================================================================== c | 0 | 2490 2551 110733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12844 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 0 | 2490 2552 113083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12842 c Elapsed CPU time: 1.71074 s Remaining CPU time: 178.289 s c =============================================================================== c | 0 | 2490 2553 115433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12841 c Elapsed CPU time: 1.77473 s Remaining CPU time: 178.225 s c =============================================================================== c | 0 | 2490 2554 117783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12840 c Elapsed CPU time: 1.84172 s Remaining CPU time: 178.158 s c =============================================================================== c | 0 | 2490 2555 120133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12839 c Elapsed CPU time: 1.90871 s Remaining CPU time: 178.091 s c =============================================================================== c | 0 | 2490 2556 122483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12837 c Elapsed CPU time: 1.9797 s Remaining CPU time: 178.02 s c =============================================================================== c | 0 | 2490 2557 124833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12836 c Elapsed CPU time: 2.04969 s Remaining CPU time: 177.95 s c =============================================================================== c | 0 | 2490 2558 127183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12835 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 0 | 2490 2559 129533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12832 c Elapsed CPU time: 2.18967 s Remaining CPU time: 177.81 s c =============================================================================== c | 0 | 2490 2560 131883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12829 c Elapsed CPU time: 2.26166 s Remaining CPU time: 177.738 s c =============================================================================== c | 0 | 2490 2561 134233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12828 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 0 | 2490 2562 136583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12827 c Elapsed CPU time: 2.41263 s Remaining CPU time: 177.587 s c =============================================================================== c | 0 | 2490 2563 138933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12826 c Elapsed CPU time: 2.48962 s Remaining CPU time: 177.51 s c =============================================================================== c | 0 | 2490 2564 141283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12822 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s c =============================================================================== c | 0 | 2490 2565 143633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12821 c Elapsed CPU time: 2.6486 s Remaining CPU time: 177.351 s c =============================================================================== c | 0 | 2490 2566 145983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12819 c Elapsed CPU time: 2.72959 s Remaining CPU time: 177.27 s c =============================================================================== c | 0 | 2490 2567 148333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12818 c Elapsed CPU time: 2.81257 s Remaining CPU time: 177.187 s c =============================================================================== c | 0 | 2490 2568 150683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12817 c Elapsed CPU time: 2.89656 s Remaining CPU time: 177.103 s c =============================================================================== c | 0 | 2490 2569 153033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12816 c Elapsed CPU time: 2.98255 s Remaining CPU time: 177.017 s c =============================================================================== c | 0 | 2490 2570 155383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12814 c Elapsed CPU time: 3.06953 s Remaining CPU time: 176.93 s c =============================================================================== c | 0 | 2490 2571 157733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12813 c Elapsed CPU time: 3.16052 s Remaining CPU time: 176.839 s c =============================================================================== c | 0 | 2490 2572 160083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12811 c Elapsed CPU time: 3.2505 s Remaining CPU time: 176.749 s c =============================================================================== c | 0 | 2490 2573 162433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12810 c Elapsed CPU time: 3.34049 s Remaining CPU time: 176.66 s c =============================================================================== c | 0 | 2490 2574 164783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12807 c Elapsed CPU time: 3.43148 s Remaining CPU time: 176.569 s c =============================================================================== c | 0 | 2490 2575 167133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12806 c Elapsed CPU time: 3.52646 s Remaining CPU time: 176.474 s c =============================================================================== c | 0 | 2490 2576 169483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12803 c Elapsed CPU time: 3.62045 s Remaining CPU time: 176.38 s c =============================================================================== c | 0 | 2490 2577 171833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12801 c Elapsed CPU time: 3.71943 s Remaining CPU time: 176.281 s c =============================================================================== c | 0 | 2490 2578 174183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12800 c Elapsed CPU time: 3.81542 s Remaining CPU time: 176.185 s c =============================================================================== c | 0 | 2490 2579 176533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12797 c Elapsed CPU time: 3.91341 s Remaining CPU time: 176.087 s c =============================================================================== c | 0 | 2490 2580 178883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12796 c Elapsed CPU time: 4.01439 s Remaining CPU time: 175.986 s c =============================================================================== c | 0 | 2490 2581 181233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12795 c Elapsed CPU time: 4.11537 s Remaining CPU time: 175.885 s c =============================================================================== c | 0 | 2490 2582 183583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12794 c Elapsed CPU time: 4.22236 s Remaining CPU time: 175.778 s c =============================================================================== c | 0 | 2490 2583 185933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12792 c Elapsed CPU time: 4.32934 s Remaining CPU time: 175.671 s c =============================================================================== c | 0 | 2490 2584 188283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12791 c Elapsed CPU time: 4.43433 s Remaining CPU time: 175.566 s c =============================================================================== c | 0 | 2490 2585 190633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12790 c Elapsed CPU time: 4.54331 s Remaining CPU time: 175.457 s c =============================================================================== c | 0 | 2490 2586 192983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12787 c Elapsed CPU time: 4.65029 s Remaining CPU time: 175.35 s c =============================================================================== c | 0 | 2490 2587 195333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12783 c Elapsed CPU time: 4.76128 s Remaining CPU time: 175.239 s c =============================================================================== c | 0 | 2490 2588 197683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12782 c Elapsed CPU time: 4.87826 s Remaining CPU time: 175.122 s c =============================================================================== c | 0 | 2490 2589 200033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12781 c Elapsed CPU time: 5.00224 s Remaining CPU time: 174.998 s c =============================================================================== c | 0 | 2490 2590 202383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12780 c Elapsed CPU time: 5.12222 s Remaining CPU time: 174.878 s c =============================================================================== c | 0 | 2490 2591 204733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12779 c Elapsed CPU time: 5.2372 s Remaining CPU time: 174.763 s c =============================================================================== c | 0 | 2490 2592 207083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12778 c Elapsed CPU time: 5.35618 s Remaining CPU time: 174.644 s c =============================================================================== c | 0 | 2490 2593 209433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12777 c Elapsed CPU time: 5.47917 s Remaining CPU time: 174.521 s c =============================================================================== c | 0 | 2490 2594 211783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12775 c Elapsed CPU time: 5.60815 s Remaining CPU time: 174.392 s c =============================================================================== c | 0 | 2490 2595 214133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12773 c Elapsed CPU time: 5.73213 s Remaining CPU time: 174.268 s c =============================================================================== c | 0 | 2490 2596 216483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12772 c Elapsed CPU time: 5.86011 s Remaining CPU time: 174.14 s c =============================================================================== c | 0 | 2490 2597 218833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12771 c Elapsed CPU time: 5.99409 s Remaining CPU time: 174.006 s c =============================================================================== c | 0 | 2490 2598 221183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12770 c Elapsed CPU time: 6.12807 s Remaining CPU time: 173.872 s c =============================================================================== c | 0 | 2490 2599 223533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12768 c Elapsed CPU time: 6.25805 s Remaining CPU time: 173.742 s c =============================================================================== c | 0 | 2490 2600 225883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12765 c Elapsed CPU time: 6.39403 s Remaining CPU time: 173.606 s c =============================================================================== c | 0 | 2490 2601 228233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12764 c Elapsed CPU time: 6.53101 s Remaining CPU time: 173.469 s c =============================================================================== c | 0 | 2490 2602 230583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12760 c Elapsed CPU time: 6.66999 s Remaining CPU time: 173.33 s c =============================================================================== c | 0 | 2490 2603 232933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12759 c Elapsed CPU time: 6.81196 s Remaining CPU time: 173.188 s c =============================================================================== c | 0 | 2490 2604 235283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12758 c Elapsed CPU time: 6.95894 s Remaining CPU time: 173.041 s c =============================================================================== c | 0 | 2490 2605 237633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12757 c Elapsed CPU time: 7.10692 s Remaining CPU time: 172.893 s c =============================================================================== c | 0 | 2490 2606 239983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12753 c Elapsed CPU time: 7.2539 s Remaining CPU time: 172.746 s c =============================================================================== c | 0 | 2490 2607 242333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12749 c Elapsed CPU time: 7.39687 s Remaining CPU time: 172.603 s c =============================================================================== c | 0 | 2490 2608 244683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12748 c Elapsed CPU time: 7.54485 s Remaining CPU time: 172.455 s c =============================================================================== c | 0 | 2490 2609 247033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12747 c Elapsed CPU time: 7.69783 s Remaining CPU time: 172.302 s c =============================================================================== c | 0 | 2490 2610 249383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12745 c Elapsed CPU time: 7.84781 s Remaining CPU time: 172.152 s c =============================================================================== c | 0 | 2490 2611 251733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12744 c Elapsed CPU time: 7.99778 s Remaining CPU time: 172.002 s c =============================================================================== c | 0 | 2490 2612 254083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12743 c Elapsed CPU time: 8.14876 s Remaining CPU time: 171.851 s c =============================================================================== c | 0 | 2490 2613 256433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12741 c Elapsed CPU time: 8.31274 s Remaining CPU time: 171.687 s c =============================================================================== c | 0 | 2490 2614 258783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12740 c Elapsed CPU time: 8.47171 s Remaining CPU time: 171.528 s c =============================================================================== c | 0 | 2490 2615 261133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12739 c Elapsed CPU time: 8.63269 s Remaining CPU time: 171.367 s c =============================================================================== c | 0 | 2490 2616 263483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12738 c Elapsed CPU time: 8.79366 s Remaining CPU time: 171.206 s c =============================================================================== c | 0 | 2490 2617 265833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12737 c Elapsed CPU time: 8.95364 s Remaining CPU time: 171.046 s c =============================================================================== c | 0 | 2490 2618 268183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12736 c Elapsed CPU time: 9.11461 s Remaining CPU time: 170.885 s c =============================================================================== c | 0 | 2490 2619 270533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12735 c Elapsed CPU time: 9.27759 s Remaining CPU time: 170.722 s c =============================================================================== c | 0 | 2490 2620 272883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12734 c Elapsed CPU time: 9.44356 s Remaining CPU time: 170.556 s c =============================================================================== c | 0 | 2490 2621 275233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12732 c Elapsed CPU time: 9.60954 s Remaining CPU time: 170.39 s c =============================================================================== c | 0 | 2490 2622 277583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12729 c Elapsed CPU time: 9.77451 s Remaining CPU time: 170.225 s c =============================================================================== c | 0 | 2490 2623 279933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12727 c Elapsed CPU time: 9.94649 s Remaining CPU time: 170.054 s c =============================================================================== c | 0 | 2490 2624 282283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12726 c Elapsed CPU time: 10.1155 s Remaining CPU time: 169.885 s c =============================================================================== c | 0 | 2490 2625 284633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12725 c Elapsed CPU time: 10.2874 s Remaining CPU time: 169.713 s c =============================================================================== c | 0 | 2490 2626 286983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12724 c Elapsed CPU time: 10.4594 s Remaining CPU time: 169.541 s c =============================================================================== c | 0 | 2490 2627 289333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12723 c Elapsed CPU time: 10.6334 s Remaining CPU time: 169.367 s c =============================================================================== c | 0 | 2490 2628 291683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12722 c Elapsed CPU time: 10.8064 s Remaining CPU time: 169.194 s c =============================================================================== c | 0 | 2490 2629 294033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12720 c Elapsed CPU time: 10.9863 s Remaining CPU time: 169.014 s c =============================================================================== c | 0 | 2490 2630 296383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12718 c Elapsed CPU time: 11.1633 s Remaining CPU time: 168.837 s c =============================================================================== c | 0 | 2490 2631 298733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12716 c Elapsed CPU time: 11.3413 s Remaining CPU time: 168.659 s c =============================================================================== c | 0 | 2490 2632 301083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12713 c Elapsed CPU time: 11.5242 s Remaining CPU time: 168.476 s c =============================================================================== c | 0 | 2490 2633 303433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12712 c Elapsed CPU time: 11.7072 s Remaining CPU time: 168.293 s c =============================================================================== c | 0 | 2490 2634 305783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12711 c Elapsed CPU time: 11.8912 s Remaining CPU time: 168.109 s c =============================================================================== c | 0 | 2490 2635 308133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12710 c Elapsed CPU time: 12.0772 s Remaining CPU time: 167.923 s c =============================================================================== c | 0 | 2490 2636 310483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12709 c Elapsed CPU time: 12.2701 s Remaining CPU time: 167.73 s c =============================================================================== c | 0 | 2490 2637 312833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12707 c Elapsed CPU time: 12.4561 s Remaining CPU time: 167.544 s c =============================================================================== c | 0 | 2490 2638 315183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12706 c Elapsed CPU time: 12.6481 s Remaining CPU time: 167.352 s c =============================================================================== c | 0 | 2490 2639 317533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12705 c Elapsed CPU time: 12.842 s Remaining CPU time: 167.158 s c =============================================================================== c | 0 | 2490 2640 319883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12704 c Elapsed CPU time: 13.032 s Remaining CPU time: 166.968 s c =============================================================================== c | 0 | 2490 2641 322233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12703 c Elapsed CPU time: 13.226 s Remaining CPU time: 166.774 s c =============================================================================== c | 0 | 2490 2642 324583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 13.424 s Remaining CPU time: 166.576 s c =============================================================================== c | 0 | 2490 2643 326933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12701 c Elapsed CPU time: 13.6189 s Remaining CPU time: 166.381 s c =============================================================================== c | 0 | 2490 2644 329283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12699 c Elapsed CPU time: 13.8239 s Remaining CPU time: 166.176 s c =============================================================================== c | 0 | 2490 2645 331633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12698 c Elapsed CPU time: 14.0279 s Remaining CPU time: 165.972 s c =============================================================================== c | 0 | 2490 2646 333983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12697 c Elapsed CPU time: 14.2338 s Remaining CPU time: 165.766 s c =============================================================================== c | 0 | 2490 2647 336333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12694 c Elapsed CPU time: 14.4498 s Remaining CPU time: 165.55 s c =============================================================================== c | 0 | 2490 2648 338683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12693 c Elapsed CPU time: 14.6638 s Remaining CPU time: 165.336 s c =============================================================================== c | 0 | 2490 2649 341033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12692 c Elapsed CPU time: 14.8847 s Remaining CPU time: 165.115 s c =============================================================================== c | 0 | 2490 2650 343383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12691 c Elapsed CPU time: 15.0957 s Remaining CPU time: 164.904 s c =============================================================================== c | 0 | 2490 2651 345733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12690 c Elapsed CPU time: 15.3097 s Remaining CPU time: 164.69 s c =============================================================================== c | 0 | 2490 2652 348083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12689 c Elapsed CPU time: 15.5306 s Remaining CPU time: 164.469 s c =============================================================================== c | 0 | 2490 2653 350433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12686 c Elapsed CPU time: 15.7496 s Remaining CPU time: 164.25 s c =============================================================================== c | 0 | 2490 2654 352783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12685 c Elapsed CPU time: 15.9666 s Remaining CPU time: 164.033 s c =============================================================================== c | 0 | 2490 2655 355133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12684 c Elapsed CPU time: 16.1885 s Remaining CPU time: 163.811 s c =============================================================================== c | 0 | 2490 2656 357483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12681 c Elapsed CPU time: 16.4085 s Remaining CPU time: 163.591 s c =============================================================================== c | 0 | 2490 2657 359833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12679 c Elapsed CPU time: 16.6355 s Remaining CPU time: 163.365 s c =============================================================================== c | 0 | 2490 2658 362183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12678 c Elapsed CPU time: 16.8654 s Remaining CPU time: 163.135 s c =============================================================================== c | 0 | 2490 2659 364533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12677 c Elapsed CPU time: 17.0954 s Remaining CPU time: 162.905 s c =============================================================================== c | 0 | 2490 2660 366883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12676 c Elapsed CPU time: 17.3314 s Remaining CPU time: 162.669 s c =============================================================================== c | 0 | 2490 2661 369233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12675 c Elapsed CPU time: 17.5623 s Remaining CPU time: 162.438 s c =============================================================================== c | 0 | 2490 2662 371583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12674 c Elapsed CPU time: 17.7903 s Remaining CPU time: 162.21 s c =============================================================================== c | 0 | 2490 2663 373933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12672 c Elapsed CPU time: 18.0213 s Remaining CPU time: 161.979 s c =============================================================================== c | 0 | 2490 2664 376283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12670 c Elapsed CPU time: 18.2512 s Remaining CPU time: 161.749 s c =============================================================================== c | 0 | 2490 2665 378633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12667 c Elapsed CPU time: 18.4892 s Remaining CPU time: 161.511 s c =============================================================================== c | 0 | 2490 2666 380983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12665 c Elapsed CPU time: 18.7312 s Remaining CPU time: 161.269 s c =============================================================================== c | 0 | 2490 2667 383333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12664 c Elapsed CPU time: 18.9701 s Remaining CPU time: 161.03 s c =============================================================================== c | 0 | 2490 2668 385683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12661 c Elapsed CPU time: 19.2101 s Remaining CPU time: 160.79 s c =============================================================================== c | 0 | 2490 2669 388033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12660 c Elapsed CPU time: 19.456 s Remaining CPU time: 160.544 s c =============================================================================== c | 0 | 2490 2670 390383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12656 c Elapsed CPU time: 19.705 s Remaining CPU time: 160.295 s c =============================================================================== c | 0 | 2490 2671 392733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12654 c Elapsed CPU time: 19.952 s Remaining CPU time: 160.048 s c =============================================================================== c | 0 | 2490 2672 395083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12653 c Elapsed CPU time: 20.2019 s Remaining CPU time: 159.798 s c =============================================================================== c | 0 | 2490 2673 397433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12652 c Elapsed CPU time: 20.4539 s Remaining CPU time: 159.546 s c =============================================================================== c | 0 | 2490 2674 399783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12648 c Elapsed CPU time: 20.7039 s Remaining CPU time: 159.296 s c =============================================================================== c | 0 | 2490 2675 402133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12647 c Elapsed CPU time: 20.9598 s Remaining CPU time: 159.04 s c =============================================================================== c | 0 | 2490 2676 404483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12645 c Elapsed CPU time: 21.2228 s Remaining CPU time: 158.777 s c =============================================================================== c | 0 | 2490 2677 406833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12644 c Elapsed CPU time: 21.4847 s Remaining CPU time: 158.515 s c =============================================================================== c | 0 | 2490 2678 409183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12643 c Elapsed CPU time: 21.7507 s Remaining CPU time: 158.249 s c =============================================================================== c | 0 | 2490 2679 411533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12640 c Elapsed CPU time: 22.0107 s Remaining CPU time: 157.989 s c =============================================================================== c | 0 | 2490 2680 413883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12639 c Elapsed CPU time: 22.2756 s Remaining CPU time: 157.724 s c =============================================================================== c | 0 | 2490 2681 416233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12638 c Elapsed CPU time: 22.5546 s Remaining CPU time: 157.445 s c =============================================================================== c | 0 | 2490 2682 418583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12637 c Elapsed CPU time: 22.8325 s Remaining CPU time: 157.167 s c =============================================================================== c | 0 | 2490 2683 420933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12636 c Elapsed CPU time: 23.1185 s Remaining CPU time: 156.882 s c =============================================================================== c | 0 | 2490 2684 423283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12635 c Elapsed CPU time: 23.4114 s Remaining CPU time: 156.589 s c =============================================================================== c | 0 | 2490 2685 425633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12633 c Elapsed CPU time: 23.6984 s Remaining CPU time: 156.302 s c =============================================================================== c | 0 | 2490 2686 427983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12631 c Elapsed CPU time: 23.9934 s Remaining CPU time: 156.007 s c =============================================================================== c | 0 | 2490 2687 430333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12630 c Elapsed CPU time: 24.2903 s Remaining CPU time: 155.71 s c =============================================================================== c | 0 | 2490 2688 432683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12629 c Elapsed CPU time: 24.5853 s Remaining CPU time: 155.415 s c =============================================================================== c | 0 | 2490 2689 435033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12625 c Elapsed CPU time: 24.8782 s Remaining CPU time: 155.122 s c =============================================================================== c | 0 | 2490 2690 437383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12624 c Elapsed CPU time: 25.1722 s Remaining CPU time: 154.828 s c =============================================================================== c | 0 | 2490 2691 439733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12622 c Elapsed CPU time: 25.4721 s Remaining CPU time: 154.528 s c =============================================================================== c | 0 | 2490 2692 442083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12619 c Elapsed CPU time: 25.7781 s Remaining CPU time: 154.222 s c =============================================================================== c | 0 | 2490 2693 444433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12618 c Elapsed CPU time: 26.084 s Remaining CPU time: 153.916 s c =============================================================================== c | 0 | 2490 2694 446783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12617 c Elapsed CPU time: 26.385 s Remaining CPU time: 153.615 s c =============================================================================== c | 0 | 2490 2695 449133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12616 c Elapsed CPU time: 26.6959 s Remaining CPU time: 153.304 s c =============================================================================== c | 0 | 2490 2696 451483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12615 c Elapsed CPU time: 26.9959 s Remaining CPU time: 153.004 s c =============================================================================== c | 0 | 2490 2697 453833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12614 c Elapsed CPU time: 27.3048 s Remaining CPU time: 152.695 s c =============================================================================== c | 0 | 2490 2698 456183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12613 c Elapsed CPU time: 27.6138 s Remaining CPU time: 152.386 s c =============================================================================== c | 0 | 2490 2699 458533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12612 c Elapsed CPU time: 27.9178 s Remaining CPU time: 152.082 s c =============================================================================== c | 0 | 2490 2700 460883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12609 c Elapsed CPU time: 28.2247 s Remaining CPU time: 151.775 s c =============================================================================== c | 0 | 2490 2701 463233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12608 c Elapsed CPU time: 28.5307 s Remaining CPU time: 151.469 s c =============================================================================== c | 0 | 2490 2702 465583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12607 c Elapsed CPU time: 28.8446 s Remaining CPU time: 151.155 s c =============================================================================== c | 0 | 2490 2703 467933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12606 c Elapsed CPU time: 29.1656 s Remaining CPU time: 150.834 s c =============================================================================== c | 0 | 2490 2704 470283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12604 c Elapsed CPU time: 29.4815 s Remaining CPU time: 150.518 s c =============================================================================== c | 0 | 2490 2705 472633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12602 c Elapsed CPU time: 29.8005 s Remaining CPU time: 150.2 s c =============================================================================== c | 0 | 2490 2706 474983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12601 c Elapsed CPU time: 30.1304 s Remaining CPU time: 149.87 s c =============================================================================== c | 0 | 2490 2707 477333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12600 c Elapsed CPU time: 30.4444 s Remaining CPU time: 149.556 s c =============================================================================== c | 0 | 2490 2708 479683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12597 c Elapsed CPU time: 30.7593 s Remaining CPU time: 149.241 s c =============================================================================== c | 0 | 2490 2709 482033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12595 c Elapsed CPU time: 31.0833 s Remaining CPU time: 148.917 s c =============================================================================== c | 0 | 2490 2710 484383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12594 c Elapsed CPU time: 31.4142 s Remaining CPU time: 148.586 s c =============================================================================== c | 0 | 2490 2711 486733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 31.7332 s Remaining CPU time: 148.267 s c =============================================================================== c | 0 | 2490 2712 489083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12590 c Elapsed CPU time: 32.0551 s Remaining CPU time: 147.945 s c =============================================================================== c | 0 | 2490 2713 491433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12589 c Elapsed CPU time: 32.3831 s Remaining CPU time: 147.617 s c =============================================================================== c | 0 | 2490 2714 493783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12587 c Elapsed CPU time: 32.714 s Remaining CPU time: 147.286 s c =============================================================================== c | 0 | 2490 2715 496133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12586 c Elapsed CPU time: 33.041 s Remaining CPU time: 146.959 s c =============================================================================== c | 0 | 2490 2716 498483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12582 c Elapsed CPU time: 33.3729 s Remaining CPU time: 146.627 s c =============================================================================== c | 0 | 2490 2717 500833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12581 c Elapsed CPU time: 33.7209 s Remaining CPU time: 146.279 s c =============================================================================== c | 0 | 2490 2718 503183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12580 c Elapsed CPU time: 34.0668 s Remaining CPU time: 145.933 s c =============================================================================== c | 0 | 2490 2719 505533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12579 c Elapsed CPU time: 34.4118 s Remaining CPU time: 145.588 s c =============================================================================== c | 0 | 2490 2720 507883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12578 c Elapsed CPU time: 34.7487 s Remaining CPU time: 145.251 s c =============================================================================== c | 0 | 2490 2721 510233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12577 c Elapsed CPU time: 35.0857 s Remaining CPU time: 144.914 s c =============================================================================== c | 0 | 2490 2722 512583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12575 c Elapsed CPU time: 35.4266 s Remaining CPU time: 144.573 s c =============================================================================== c | 0 | 2490 2723 514933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12574 c Elapsed CPU time: 35.7726 s Remaining CPU time: 144.227 s c =============================================================================== c | 0 | 2490 2724 517283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12573 c Elapsed CPU time: 36.1165 s Remaining CPU time: 143.883 s c =============================================================================== c | 0 | 2490 2725 519633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12572 c Elapsed CPU time: 36.4595 s Remaining CPU time: 143.541 s c =============================================================================== c | 0 | 2490 2726 521983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12570 c Elapsed CPU time: 36.8034 s Remaining CPU time: 143.197 s c =============================================================================== c | 0 | 2490 2727 524333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12568 c Elapsed CPU time: 37.1514 s Remaining CPU time: 142.849 s c =============================================================================== c | 0 | 2490 2728 526683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12566 c Elapsed CPU time: 37.4953 s Remaining CPU time: 142.505 s c =============================================================================== c | 0 | 2490 2729 529033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12565 c Elapsed CPU time: 37.8392 s Remaining CPU time: 142.161 s c =============================================================================== c | 0 | 2490 2730 531383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12563 c Elapsed CPU time: 38.1932 s Remaining CPU time: 141.807 s c =============================================================================== c | 0 | 2490 2731 533733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12561 c Elapsed CPU time: 38.5491 s Remaining CPU time: 141.451 s c =============================================================================== c | 0 | 2490 2732 536083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12559 c Elapsed CPU time: 38.9011 s Remaining CPU time: 141.099 s c =============================================================================== c | 0 | 2490 2733 538433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 39.26 s Remaining CPU time: 140.74 s c =============================================================================== c | 0 | 2490 2734 540783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12557 c Elapsed CPU time: 39.616 s Remaining CPU time: 140.384 s c =============================================================================== c | 0 | 2490 2735 543133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 39.9799 s Remaining CPU time: 140.02 s c =============================================================================== c | 0 | 2490 2736 545483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12555 c Elapsed CPU time: 40.3429 s Remaining CPU time: 139.657 s c =============================================================================== c | 0 | 2490 2737 547833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12553 c Elapsed CPU time: 40.7078 s Remaining CPU time: 139.292 s c =============================================================================== c | 0 | 2490 2738 550183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12552 c Elapsed CPU time: 41.0768 s Remaining CPU time: 138.923 s c =============================================================================== c | 0 | 2490 2739 552533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 41.4557 s Remaining CPU time: 138.544 s c =============================================================================== c | 0 | 2490 2740 554883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12550 c Elapsed CPU time: 41.8156 s Remaining CPU time: 138.184 s c =============================================================================== c | 0 | 2490 2741 557233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12549 c Elapsed CPU time: 42.1776 s Remaining CPU time: 137.822 s c =============================================================================== c | 0 | 2490 2742 559583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12548 c Elapsed CPU time: 42.5445 s Remaining CPU time: 137.455 s c =============================================================================== c | 0 | 2490 2743 561933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12546 c Elapsed CPU time: 42.9065 s Remaining CPU time: 137.094 s c =============================================================================== c | 0 | 2490 2744 564283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12545 c Elapsed CPU time: 43.2924 s Remaining CPU time: 136.708 s c =============================================================================== c | 0 | 2490 2745 566633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12544 c Elapsed CPU time: 43.6934 s Remaining CPU time: 136.307 s c =============================================================================== c | 0 | 2490 2746 568983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12542 c Elapsed CPU time: 44.0833 s Remaining CPU time: 135.917 s c =============================================================================== c | 0 | 2490 2747 571333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12541 c Elapsed CPU time: 44.4772 s Remaining CPU time: 135.523 s c =============================================================================== c | 0 | 2490 2748 573683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12540 c Elapsed CPU time: 44.8672 s Remaining CPU time: 135.133 s c =============================================================================== c | 0 | 2490 2749 576033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 45.2611 s Remaining CPU time: 134.739 s c =============================================================================== c | 0 | 2490 2750 578383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12535 c Elapsed CPU time: 45.6601 s Remaining CPU time: 134.34 s c =============================================================================== c | 0 | 2490 2751 580733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12534 c Elapsed CPU time: 46.073 s Remaining CPU time: 133.927 s c =============================================================================== c | 0 | 2490 2752 583083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12533 c Elapsed CPU time: 46.4629 s Remaining CPU time: 133.537 s c =============================================================================== c | 0 | 2490 2753 585433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12532 c Elapsed CPU time: 46.8599 s Remaining CPU time: 133.14 s c =============================================================================== c | 0 | 2490 2754 587783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12531 c Elapsed CPU time: 47.2528 s Remaining CPU time: 132.747 s c =============================================================================== c | 0 | 2490 2755 590133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12530 c Elapsed CPU time: 47.6728 s Remaining CPU time: 132.327 s c =============================================================================== c | 0 | 2490 2756 592483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12529 c Elapsed CPU time: 48.0617 s Remaining CPU time: 131.938 s c =============================================================================== c | 0 | 2490 2757 594833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12528 c Elapsed CPU time: 48.4536 s Remaining CPU time: 131.546 s c =============================================================================== c | 0 | 2490 2758 597183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12527 c Elapsed CPU time: 48.8476 s Remaining CPU time: 131.152 s c =============================================================================== c | 0 | 2490 2759 599533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12526 c Elapsed CPU time: 49.2485 s Remaining CPU time: 130.751 s c =============================================================================== c | 0 | 2490 2760 601883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12525 c Elapsed CPU time: 49.6465 s Remaining CPU time: 130.354 s c =============================================================================== c | 0 | 2490 2761 604233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12524 c Elapsed CPU time: 50.0564 s Remaining CPU time: 129.944 s c =============================================================================== c | 0 | 2490 2762 606583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 50.4723 s Remaining CPU time: 129.528 s c =============================================================================== c | 0 | 2490 2763 608933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12522 c Elapsed CPU time: 50.8763 s Remaining CPU time: 129.124 s c =============================================================================== c | 0 | 2490 2764 611283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12521 c Elapsed CPU time: 51.2812 s Remaining CPU time: 128.719 s c =============================================================================== c | 0 | 2490 2765 613633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12520 c Elapsed CPU time: 51.6841 s Remaining CPU time: 128.316 s c =============================================================================== c | 0 | 2490 2766 615983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12519 c Elapsed CPU time: 52.1021 s Remaining CPU time: 127.898 s c =============================================================================== c | 0 | 2490 2767 618333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12518 c Elapsed CPU time: 52.519 s Remaining CPU time: 127.481 s c =============================================================================== c | 0 | 2490 2768 620683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12517 c Elapsed CPU time: 52.928 s Remaining CPU time: 127.072 s c =============================================================================== c | 0 | 2490 2769 623033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12516 c Elapsed CPU time: 53.3389 s Remaining CPU time: 126.661 s c =============================================================================== c | 0 | 2490 2770 625383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12515 c Elapsed CPU time: 53.7508 s Remaining CPU time: 126.249 s c =============================================================================== c | 0 | 2490 2771 627733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12514 c Elapsed CPU time: 54.1658 s Remaining CPU time: 125.834 s c =============================================================================== c | 0 | 2490 2772 630083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12513 c Elapsed CPU time: 54.5797 s Remaining CPU time: 125.42 s c =============================================================================== c | 0 | 2490 2773 632433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12512 c Elapsed CPU time: 54.9806 s Remaining CPU time: 125.019 s c =============================================================================== c | 0 | 2490 2774 634783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12509 c Elapsed CPU time: 55.3856 s Remaining CPU time: 124.614 s c =============================================================================== c | 0 | 2490 2775 637133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12506 c Elapsed CPU time: 55.7995 s Remaining CPU time: 124.2 s c =============================================================================== c | 0 | 2490 2776 639483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12505 c Elapsed CPU time: 56.2115 s Remaining CPU time: 123.789 s c =============================================================================== c | 0 | 2490 2777 641833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12504 c Elapsed CPU time: 56.6394 s Remaining CPU time: 123.361 s c =============================================================================== c | 0 | 2490 2778 644183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12501 c Elapsed CPU time: 57.0723 s Remaining CPU time: 122.928 s c =============================================================================== c | 0 | 2490 2779 646533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12500 c Elapsed CPU time: 57.5023 s Remaining CPU time: 122.498 s c =============================================================================== c | 0 | 2490 2780 648883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12499 c Elapsed CPU time: 57.9182 s Remaining CPU time: 122.082 s c =============================================================================== c | 0 | 2490 2781 651233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12498 c Elapsed CPU time: 58.3391 s Remaining CPU time: 121.661 s c =============================================================================== c | 0 | 2490 2782 653583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12497 c Elapsed CPU time: 58.7741 s Remaining CPU time: 121.226 s c =============================================================================== c | 0 | 2490 2783 655933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12495 c Elapsed CPU time: 59.206 s Remaining CPU time: 120.794 s c =============================================================================== c | 0 | 2490 2784 658283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12492 c Elapsed CPU time: 59.6299 s Remaining CPU time: 120.37 s c =============================================================================== c | 0 | 2490 2785 660633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 60.0629 s Remaining CPU time: 119.937 s c =============================================================================== c | 0 | 2490 2786 662983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12487 c Elapsed CPU time: 60.4848 s Remaining CPU time: 119.515 s c =============================================================================== c | 0 | 2490 2787 665333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12486 c Elapsed CPU time: 60.9127 s Remaining CPU time: 119.087 s c =============================================================================== c | 0 | 2490 2788 667683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12485 c Elapsed CPU time: 61.3537 s Remaining CPU time: 118.646 s c =============================================================================== c | 0 | 2490 2789 670033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12483 c Elapsed CPU time: 61.7846 s Remaining CPU time: 118.215 s c =============================================================================== c | 0 | 2490 2790 672383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12482 c Elapsed CPU time: 62.2215 s Remaining CPU time: 117.778 s c =============================================================================== c | 0 | 2490 2791 674733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12479 c Elapsed CPU time: 62.6695 s Remaining CPU time: 117.331 s c =============================================================================== c | 0 | 2490 2792 677083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 63.1194 s Remaining CPU time: 116.881 s c =============================================================================== c | 0 | 2490 2793 679433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12475 c Elapsed CPU time: 63.5753 s Remaining CPU time: 116.425 s c =============================================================================== c | 0 | 2490 2794 681783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12474 c Elapsed CPU time: 64.0313 s Remaining CPU time: 115.969 s c =============================================================================== c | 0 | 2490 2795 684133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12473 c Elapsed CPU time: 64.4872 s Remaining CPU time: 115.513 s c =============================================================================== c | 0 | 2490 2796 686483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12471 c Elapsed CPU time: 64.9391 s Remaining CPU time: 115.061 s c =============================================================================== c | 0 | 2490 2797 688833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 65.4011 s Remaining CPU time: 114.599 s c =============================================================================== c | 0 | 2490 2798 691183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12469 c Elapsed CPU time: 65.862 s Remaining CPU time: 114.138 s c =============================================================================== c | 0 | 2490 2799 693533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12468 c Elapsed CPU time: 66.3269 s Remaining CPU time: 113.673 s c =============================================================================== c | 0 | 2490 2800 695883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12466 c Elapsed CPU time: 66.7878 s Remaining CPU time: 113.212 s c =============================================================================== c | 0 | 2490 2801 698233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12463 c Elapsed CPU time: 67.2398 s Remaining CPU time: 112.76 s c =============================================================================== c | 0 | 2490 2802 700583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12462 c Elapsed CPU time: 67.7017 s Remaining CPU time: 112.298 s c =============================================================================== c | 0 | 2490 2803 702933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12460 c Elapsed CPU time: 68.1766 s Remaining CPU time: 111.823 s c =============================================================================== c | 0 | 2490 2804 705283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12459 c Elapsed CPU time: 68.6356 s Remaining CPU time: 111.364 s c =============================================================================== c | 0 | 2490 2805 707633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12457 c Elapsed CPU time: 69.0985 s Remaining CPU time: 110.902 s c =============================================================================== c | 0 | 2490 2806 709983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12456 c Elapsed CPU time: 69.5664 s Remaining CPU time: 110.434 s c =============================================================================== c | 0 | 2490 2807 712333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12455 c Elapsed CPU time: 70.0424 s Remaining CPU time: 109.958 s c =============================================================================== c | 0 | 2490 2808 714683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12454 c Elapsed CPU time: 70.5233 s Remaining CPU time: 109.477 s c =============================================================================== c | 0 | 2490 2809 717033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 70.9912 s Remaining CPU time: 109.009 s c =============================================================================== c | 0 | 2490 2810 719383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12451 c Elapsed CPU time: 71.4701 s Remaining CPU time: 108.53 s c =============================================================================== c | 0 | 2490 2811 721733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12450 c Elapsed CPU time: 71.9401 s Remaining CPU time: 108.06 s c =============================================================================== c | 0 | 2490 2812 724083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12449 c Elapsed CPU time: 72.399 s Remaining CPU time: 107.601 s c =============================================================================== c | 0 | 2490 2813 726433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12447 c Elapsed CPU time: 72.8799 s Remaining CPU time: 107.12 s c =============================================================================== c | 0 | 2490 2814 728783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12446 c Elapsed CPU time: 73.3468 s Remaining CPU time: 106.653 s c =============================================================================== c | 0 | 2490 2815 731133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12444 c Elapsed CPU time: 73.8198 s Remaining CPU time: 106.18 s c =============================================================================== c | 0 | 2490 2816 733483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12442 c Elapsed CPU time: 74.2967 s Remaining CPU time: 105.703 s c =============================================================================== c | 0 | 2490 2817 735833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12441 c Elapsed CPU time: 74.7816 s Remaining CPU time: 105.218 s c =============================================================================== c | 0 | 2490 2818 738183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12439 c Elapsed CPU time: 75.2526 s Remaining CPU time: 104.747 s c =============================================================================== c | 0 | 2490 2819 740533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12438 c Elapsed CPU time: 75.7465 s Remaining CPU time: 104.254 s c =============================================================================== c | 0 | 2490 2820 742883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12437 c Elapsed CPU time: 76.2274 s Remaining CPU time: 103.773 s c =============================================================================== c | 0 | 2490 2821 745233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12436 c Elapsed CPU time: 76.7133 s Remaining CPU time: 103.287 s c =============================================================================== c | 0 | 2490 2822 747583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12434 c Elapsed CPU time: 77.2063 s Remaining CPU time: 102.794 s c =============================================================================== c | 0 | 2490 2823 749933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12433 c Elapsed CPU time: 77.6972 s Remaining CPU time: 102.303 s c =============================================================================== c | 0 | 2490 2824 752283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 78.1811 s Remaining CPU time: 101.819 s c =============================================================================== c | 0 | 2490 2825 754633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12431 c Elapsed CPU time: 78.686 s Remaining CPU time: 101.314 s c =============================================================================== c | 0 | 2490 2826 756983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12430 c Elapsed CPU time: 79.192 s Remaining CPU time: 100.808 s c =============================================================================== c | 0 | 2490 2827 759333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12429 c Elapsed CPU time: 79.6969 s Remaining CPU time: 100.303 s c =============================================================================== c | 0 | 2490 2828 761683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12428 c Elapsed CPU time: 80.2018 s Remaining CPU time: 99.7982 s c =============================================================================== c | 0 | 2490 2829 764033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12427 c Elapsed CPU time: 80.6967 s Remaining CPU time: 99.3033 s c =============================================================================== c | 0 | 2490 2830 766383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12426 c Elapsed CPU time: 81.2287 s Remaining CPU time: 98.7713 s c =============================================================================== c | 0 | 2490 2831 768733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12424 c Elapsed CPU time: 81.7436 s Remaining CPU time: 98.2564 s c =============================================================================== c | 0 | 2490 2832 771083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12423 c Elapsed CPU time: 82.2745 s Remaining CPU time: 97.7255 s c =============================================================================== c | 0 | 2490 2833 773433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12422 c Elapsed CPU time: 82.8184 s Remaining CPU time: 97.1816 s c =============================================================================== c | 0 | 2490 2834 775783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 83.3483 s Remaining CPU time: 96.6517 s c =============================================================================== c | 0 | 2490 2835 778133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12420 c Elapsed CPU time: 83.8962 s Remaining CPU time: 96.1038 s c =============================================================================== c | 0 | 2490 2836 780483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12419 c Elapsed CPU time: 84.4352 s Remaining CPU time: 95.5648 s c =============================================================================== c | 0 | 2490 2837 782833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12417 c Elapsed CPU time: 84.9731 s Remaining CPU time: 95.0269 s c =============================================================================== c | 0 | 2490 2838 785183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12416 c Elapsed CPU time: 85.512 s Remaining CPU time: 94.488 s c =============================================================================== c | 0 | 2490 2839 787533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12415 c Elapsed CPU time: 86.0549 s Remaining CPU time: 93.9451 s c =============================================================================== c | 0 | 2490 2840 789883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12414 c Elapsed CPU time: 86.6088 s Remaining CPU time: 93.3912 s c =============================================================================== c | 0 | 2490 2841 792233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12413 c Elapsed CPU time: 87.1438 s Remaining CPU time: 92.8562 s c =============================================================================== c | 0 | 2490 2842 794583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12410 c Elapsed CPU time: 87.6927 s Remaining CPU time: 92.3073 s c =============================================================================== c | 1 | 2490 2843 796933 | 5000 1 2274 | 0.000 % | c =============================================================================== c New solution: 12409 c Elapsed CPU time: 88.2616 s Remaining CPU time: 91.7384 s c =============================================================================== c | 1 | 2490 2844 799283 | 5000 1 2274 | 0.000 % | c =============================================================================== c New solution: 12408 c Elapsed CPU time: 88.8235 s Remaining CPU time: 91.1765 s c =============================================================================== c | 1 | 2490 2845 801633 | 5000 1 2274 | 0.000 % | c =============================================================================== c New solution: 12407 c Elapsed CPU time: 89.4024 s Remaining CPU time: 90.5976 s c =============================================================================== c | 1 | 2490 2846 803983 | 5000 1 2274 | 0.000 % | c =============================================================================== c New solution: 12406 c Elapsed CPU time: 89.9913 s Remaining CPU time: 90.0087 s c =============================================================================== c | 2 | 2490 2847 806333 | 5000 2 2273 | 0.000 % | c =============================================================================== c New solution: 12404 c Elapsed CPU time: 90.5642 s Remaining CPU time: 89.4358 s c =============================================================================== c | 2 | 2490 2848 808683 | 5000 2 2273 | 0.000 % | c =============================================================================== c New solution: 12403 c Elapsed CPU time: 91.1181 s Remaining CPU time: 88.8819 s c =============================================================================== c | 2 | 2490 2849 811033 | 5000 2 2273 | 0.000 % | c =============================================================================== c New solution: 12402 c Elapsed CPU time: 91.6911 s Remaining CPU time: 88.3089 s c =============================================================================== c | 3 | 2490 2850 813383 | 5000 3 2272 | 0.000 % | c =============================================================================== c New solution: 12401 c Elapsed CPU time: 92.241 s Remaining CPU time: 87.759 s c =============================================================================== c | 4 | 2490 2851 815733 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12400 c Elapsed CPU time: 92.8379 s Remaining CPU time: 87.1621 s c =============================================================================== c | 4 | 2490 2852 818083 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12399 c Elapsed CPU time: 93.4288 s Remaining CPU time: 86.5712 s c =============================================================================== c | 4 | 2490 2853 820433 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12398 c Elapsed CPU time: 94.0227 s Remaining CPU time: 85.9773 s c =============================================================================== c | 4 | 2490 2854 822783 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12397 c Elapsed CPU time: 94.6176 s Remaining CPU time: 85.3824 s c =============================================================================== c | 4 | 2490 2855 825133 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12396 c Elapsed CPU time: 95.1835 s Remaining CPU time: 84.8165 s c =============================================================================== c | 4 | 2490 2856 827483 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12395 c Elapsed CPU time: 95.7524 s Remaining CPU time: 84.2476 s c =============================================================================== c | 4 | 2490 2857 829833 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12394 c Elapsed CPU time: 96.3164 s Remaining CPU time: 83.6836 s c =============================================================================== c | 4 | 2490 2858 832183 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12393 c Elapsed CPU time: 96.8803 s Remaining CPU time: 83.1197 s c =============================================================================== c | 4 | 2490 2859 834533 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12392 c Elapsed CPU time: 97.4582 s Remaining CPU time: 82.5418 s c =============================================================================== c | 4 | 2490 2860 836883 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12391 c Elapsed CPU time: 98.0511 s Remaining CPU time: 81.9489 s c =============================================================================== c | 4 | 2490 2861 839233 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12390 c Elapsed CPU time: 98.65 s Remaining CPU time: 81.35 s c =============================================================================== c | 4 | 2490 2862 841583 | 5000 4 2272 | 0.000 % | c =============================================================================== c New solution: 12389 c Elapsed CPU time: 99.2519 s Remaining CPU time: 80.7481 s c =============================================================================== c | 10 | 2490 2863 843933 | 5000 10 2270 | 0.000 % | c =============================================================================== c New solution: 12388 c Elapsed CPU time: 99.8398 s Remaining CPU time: 80.1602 s c =============================================================================== c | 10 | 2490 2864 846283 | 5000 10 2270 | 0.000 % | c =============================================================================== c New solution: 12387 c Elapsed CPU time: 100.447 s Remaining CPU time: 79.5533 s c =============================================================================== c | 10 | 2490 2865 848633 | 5000 10 2270 | 0.000 % | c =============================================================================== c New solution: 12386 c Elapsed CPU time: 101.037 s Remaining CPU time: 78.9634 s c =============================================================================== c | 10 | 2490 2866 850983 | 5000 10 2270 | 0.000 % | c =============================================================================== c New solution: 12385 c Elapsed CPU time: 101.627 s Remaining CPU time: 78.3735 s c =============================================================================== c | 10 | 2490 2867 853333 | 5000 10 2270 | 0.000 % | c =============================================================================== c New solution: 12384 c Elapsed CPU time: 102.227 s Remaining CPU time: 77.7725 s c =============================================================================== c | 10 | 2490 2868 855683 | 5000 10 2270 | 0.000 % | c =============================================================================== c New solution: 12383 c Elapsed CPU time: 102.819 s Remaining CPU time: 77.1806 s c =============================================================================== c | 18 | 2490 2869 858033 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12382 c Elapsed CPU time: 103.417 s Remaining CPU time: 76.5827 s c =============================================================================== c | 18 | 2490 2870 860383 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12381 c Elapsed CPU time: 104.027 s Remaining CPU time: 75.9728 s c =============================================================================== c | 18 | 2490 2871 862733 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12380 c Elapsed CPU time: 104.634 s Remaining CPU time: 75.3659 s c =============================================================================== c | 18 | 2490 2872 865083 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12379 c Elapsed CPU time: 105.222 s Remaining CPU time: 74.778 s c =============================================================================== c | 18 | 2490 2873 867433 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12378 c Elapsed CPU time: 105.827 s Remaining CPU time: 74.1731 s c =============================================================================== c | 18 | 2490 2874 869783 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12377 c Elapsed CPU time: 106.441 s Remaining CPU time: 73.5592 s c =============================================================================== c | 18 | 2490 2875 872133 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12376 c Elapsed CPU time: 107.054 s Remaining CPU time: 72.9463 s c =============================================================================== c | 18 | 2490 2876 874483 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12375 c Elapsed CPU time: 107.652 s Remaining CPU time: 72.3484 s c =============================================================================== c | 18 | 2490 2877 876833 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12374 c Elapsed CPU time: 108.239 s Remaining CPU time: 71.7615 s c =============================================================================== c | 18 | 2490 2878 879183 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12373 c Elapsed CPU time: 108.854 s Remaining CPU time: 71.1455 s c =============================================================================== c | 18 | 2490 2879 881533 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12372 c Elapsed CPU time: 109.496 s Remaining CPU time: 70.5036 s c =============================================================================== c | 18 | 2490 2880 883883 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12371 c Elapsed CPU time: 110.121 s Remaining CPU time: 69.8787 s c =============================================================================== c | 18 | 2490 2881 886233 | 5000 18 2268 | 0.000 % | c =============================================================================== c New solution: 12370 c Elapsed CPU time: 110.733 s Remaining CPU time: 69.2668 s c =============================================================================== c | 20 | 2490 2882 888583 | 5000 20 2268 | 0.000 % | c =============================================================================== c New solution: 12369 c Elapsed CPU time: 111.342 s Remaining CPU time: 68.6579 s c =============================================================================== c | 24 | 2490 2883 890933 | 5000 24 2267 | 0.000 % | c =============================================================================== c New solution: 12368 c Elapsed CPU time: 111.955 s Remaining CPU time: 68.045 s c =============================================================================== c | 26 | 2490 2884 893283 | 5000 26 2267 | 0.000 % | c =============================================================================== c New solution: 12367 c Elapsed CPU time: 112.586 s Remaining CPU time: 67.4141 s c =============================================================================== c | 26 | 2490 2885 895633 | 5000 26 2267 | 0.000 % | c =============================================================================== c New solution: 12366 c Elapsed CPU time: 113.203 s Remaining CPU time: 66.7972 s c =============================================================================== c | 26 | 2490 2886 897983 | 5000 26 2267 | 0.000 % | c =============================================================================== c New solution: 12365 c Elapsed CPU time: 113.843 s Remaining CPU time: 66.1573 s c =============================================================================== c | 26 | 2490 2887 900333 | 5000 26 2267 | 0.000 % | c =============================================================================== c New solution: 12364 c Elapsed CPU time: 114.485 s Remaining CPU time: 65.5154 s c =============================================================================== c | 28 | 2490 2888 902683 | 5000 28 2267 | 0.000 % | c =============================================================================== c New solution: 12363 c Elapsed CPU time: 115.131 s Remaining CPU time: 64.8685 s c =============================================================================== c | 28 | 2490 2889 905033 | 5000 28 2267 | 0.000 % | c =============================================================================== c New solution: 12362 c Elapsed CPU time: 115.779 s Remaining CPU time: 64.2206 s c =============================================================================== c | 28 | 2490 2890 907383 | 5000 28 2267 | 0.000 % | c =============================================================================== c New solution: 12361 c Elapsed CPU time: 116.406 s Remaining CPU time: 63.5937 s c =============================================================================== c | 28 | 2490 2891 909733 | 5000 28 2267 | 0.000 % | c =============================================================================== c New solution: 12360 c Elapsed CPU time: 117.011 s Remaining CPU time: 62.9888 s c =============================================================================== c | 28 | 2490 2892 912083 | 5000 28 2267 | 0.000 % | c =============================================================================== c New solution: 12359 c Elapsed CPU time: 117.601 s Remaining CPU time: 62.3989 s c =============================================================================== c | 28 | 2490 2893 914433 | 5000 28 2267 | 0.000 % | c =============================================================================== c New solution: 12358 c Elapsed CPU time: 118.224 s Remaining CPU time: 61.776 s c =============================================================================== c | 28 | 2490 2894 916783 | 5000 28 2267 | 0.000 % | c =============================================================================== c New solution: 12357 c Elapsed CPU time: 118.878 s Remaining CPU time: 61.1221 s c =============================================================================== c | 30 | 2490 2895 919133 | 5000 30 2267 | 0.000 % | c =============================================================================== c New solution: 12356 c Elapsed CPU time: 119.509 s Remaining CPU time: 60.4912 s c =============================================================================== c | 30 | 2490 2896 921483 | 5000 30 2267 | 0.000 % | c =============================================================================== c New solution: 12355 c Elapsed CPU time: 120.208 s Remaining CPU time: 59.7923 s c =============================================================================== c | 33 | 2490 2897 923833 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12354 c Elapsed CPU time: 120.836 s Remaining CPU time: 59.1644 s c =============================================================================== c | 33 | 2490 2898 926183 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12353 c Elapsed CPU time: 121.479 s Remaining CPU time: 58.5215 s c =============================================================================== c | 33 | 2490 2899 928533 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12352 c Elapsed CPU time: 122.114 s Remaining CPU time: 57.8856 s c =============================================================================== c | 33 | 2490 2900 930883 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12351 c Elapsed CPU time: 122.755 s Remaining CPU time: 57.2447 s c =============================================================================== c | 33 | 2490 2901 933233 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12350 c Elapsed CPU time: 123.385 s Remaining CPU time: 56.6148 s c =============================================================================== c | 33 | 2490 2902 935583 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12349 c Elapsed CPU time: 124.029 s Remaining CPU time: 55.9709 s c =============================================================================== c | 33 | 2490 2903 937933 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12348 c Elapsed CPU time: 124.68 s Remaining CPU time: 55.32 s c =============================================================================== c | 33 | 2490 2904 940283 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12347 c Elapsed CPU time: 125.359 s Remaining CPU time: 54.6411 s c =============================================================================== c | 33 | 2490 2905 942633 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12346 c Elapsed CPU time: 126.018 s Remaining CPU time: 53.9822 s c =============================================================================== c | 33 | 2490 2906 944983 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12345 c Elapsed CPU time: 126.694 s Remaining CPU time: 53.3063 s c =============================================================================== c | 33 | 2490 2907 947333 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12344 c Elapsed CPU time: 127.349 s Remaining CPU time: 52.6514 s c =============================================================================== c | 33 | 2490 2908 949683 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12343 c Elapsed CPU time: 128.028 s Remaining CPU time: 51.9725 s c =============================================================================== c | 33 | 2490 2909 952033 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12342 c Elapsed CPU time: 128.683 s Remaining CPU time: 51.3166 s c =============================================================================== c | 33 | 2490 2910 954383 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12341 c Elapsed CPU time: 129.399 s Remaining CPU time: 50.6007 s c =============================================================================== c | 33 | 2490 2911 956733 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12340 c Elapsed CPU time: 130.113 s Remaining CPU time: 49.8868 s c =============================================================================== c | 33 | 2490 2912 959083 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12339 c Elapsed CPU time: 130.833 s Remaining CPU time: 49.1669 s c =============================================================================== c | 33 | 2490 2913 961433 | 5000 33 2266 | 0.000 % | c =============================================================================== c New solution: 12338 c Elapsed CPU time: 131.562 s Remaining CPU time: 48.438 s c =============================================================================== c | 38 | 2490 2914 963783 | 5000 38 2265 | 0.000 % | c =============================================================================== c New solution: 12337 c Elapsed CPU time: 132.265 s Remaining CPU time: 47.7351 s c =============================================================================== c | 38 | 2490 2915 966133 | 5000 38 2265 | 0.000 % | c =============================================================================== c New solution: 12336 c Elapsed CPU time: 132.982 s Remaining CPU time: 47.0182 s c =============================================================================== c | 39 | 2490 2916 968483 | 5000 39 2207 | 0.000 % | c =============================================================================== c New solution: 12335 c Elapsed CPU time: 133.713 s Remaining CPU time: 46.2873 s c =============================================================================== c | 39 | 2490 2917 970833 | 5000 39 2207 | 0.000 % | c =============================================================================== c New solution: 12334 c Elapsed CPU time: 134.425 s Remaining CPU time: 45.5754 s c =============================================================================== c | 40 | 2490 2918 973183 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12333 c Elapsed CPU time: 135.134 s Remaining CPU time: 44.8655 s c =============================================================================== c | 40 | 2490 2919 975533 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12332 c Elapsed CPU time: 135.847 s Remaining CPU time: 44.1527 s c =============================================================================== c | 40 | 2490 2920 977883 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12331 c Elapsed CPU time: 136.546 s Remaining CPU time: 43.4538 s c =============================================================================== c | 40 | 2490 2921 980233 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12330 c Elapsed CPU time: 137.215 s Remaining CPU time: 42.7849 s c =============================================================================== c | 40 | 2490 2922 982583 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12329 c Elapsed CPU time: 137.876 s Remaining CPU time: 42.124 s c =============================================================================== c | 40 | 2490 2923 984933 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12328 c Elapsed CPU time: 138.623 s Remaining CPU time: 41.3771 s c =============================================================================== c | 40 | 2490 2924 987283 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12327 c Elapsed CPU time: 139.326 s Remaining CPU time: 40.6742 s c =============================================================================== c | 40 | 2490 2925 989633 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12326 c Elapsed CPU time: 140.01 s Remaining CPU time: 39.9903 s c =============================================================================== c | 40 | 2490 2926 991983 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12325 c Elapsed CPU time: 140.742 s Remaining CPU time: 39.2584 s c =============================================================================== c | 40 | 2490 2927 994333 | 5000 40 2209 | 0.000 % | c =============================================================================== c New solution: 12324 c Elapsed CPU time: 141.446 s Remaining CPU time: 38.5535 s c =============================================================================== c | 42 | 2490 2928 996683 | 5000 42 2211 | 0.000 % | c =============================================================================== c New solution: 12323 c Elapsed CPU time: 142.155 s Remaining CPU time: 37.8446 s c =============================================================================== c | 42 | 2490 2929 999033 | 5000 42 2211 | 0.000 % | c =============================================================================== c New solution: 12322 c Elapsed CPU time: 142.919 s Remaining CPU time: 37.0807 s c =============================================================================== c | 48 | 2490 2930 1001383 | 5000 48 2217 | 0.000 % | c =============================================================================== c New solution: 12321 c Elapsed CPU time: 143.644 s Remaining CPU time: 36.3558 s c =============================================================================== c | 53 | 2490 2931 1003733 | 5000 53 2221 | 0.000 % | c =============================================================================== c New solution: 12320 c Elapsed CPU time: 144.319 s Remaining CPU time: 35.6809 s c =============================================================================== c | 53 | 2490 2932 1006083 | 5000 53 2221 | 0.000 % | c =============================================================================== c New solution: 12319 c Elapsed CPU time: 145.03 s Remaining CPU time: 34.97 s c =============================================================================== c | 53 | 2490 2933 1008433 | 5000 53 2221 | 0.000 % | c =============================================================================== c New solution: 12318 c Elapsed CPU time: 145.724 s Remaining CPU time: 34.2762 s c =============================================================================== c | 53 | 2490 2934 1010783 | 5000 53 2221 | 0.000 % | c =============================================================================== c New solution: 12317 c Elapsed CPU time: 146.445 s Remaining CPU time: 33.5553 s c =============================================================================== c | 53 | 2490 2935 1013133 | 5000 53 2221 | 0.000 % | c =============================================================================== c New solution: 12316 c Elapsed CPU time: 147.126 s Remaining CPU time: 32.8744 s c =============================================================================== c | 53 | 2490 2936 1015483 | 5000 53 2221 | 0.000 % | c =============================================================================== c New solution: 12315 c Elapsed CPU time: 147.804 s Remaining CPU time: 32.1965 s c =============================================================================== c | 53 | 2490 2937 1017833 | 5000 53 2221 | 0.000 % | c =============================================================================== c New solution: 12314 c Elapsed CPU time: 148.496 s Remaining CPU time: 31.5036 s c =============================================================================== c | 55 | 2490 2938 1020183 | 5000 55 2140 | 0.000 % | c =============================================================================== c New solution: 12313 c Elapsed CPU time: 149.201 s Remaining CPU time: 30.7987 s c =============================================================================== c | 55 | 2490 2939 1022533 | 5000 55 2140 | 0.000 % | c =============================================================================== c New solution: 12312 c Elapsed CPU time: 149.945 s Remaining CPU time: 30.0548 s c =============================================================================== c | 57 | 2490 2940 1024883 | 5000 57 2144 | 0.000 % | c =============================================================================== c New solution: 12311 c Elapsed CPU time: 150.665 s Remaining CPU time: 29.3349 s c =============================================================================== c | 57 | 2490 2941 1027233 | 5000 57 2144 | 0.000 % | c =============================================================================== c New solution: 12310 c Elapsed CPU time: 151.391 s Remaining CPU time: 28.609 s c =============================================================================== c | 58 | 2490 2942 1029583 | 5000 58 2146 | 0.000 % | c =============================================================================== c New solution: 12309 c Elapsed CPU time: 152.093 s Remaining CPU time: 27.9071 s c =============================================================================== c | 58 | 2490 2943 1031933 | 5000 58 2146 | 0.000 % | c =============================================================================== c New solution: 12308 c Elapsed CPU time: 152.792 s Remaining CPU time: 27.2082 s c =============================================================================== c | 58 | 2490 2944 1034283 | 5000 58 2146 | 0.000 % | c =============================================================================== c New solution: 12307 c Elapsed CPU time: 153.48 s Remaining CPU time: 26.5203 s c =============================================================================== c | 58 | 2490 2945 1036633 | 5000 58 2146 | 0.000 % | c =============================================================================== c New solution: 12306 c Elapsed CPU time: 154.22 s Remaining CPU time: 25.7804 s c =============================================================================== c | 58 | 2490 2946 1038983 | 5000 58 2146 | 0.000 % | c =============================================================================== c New solution: 12305 c Elapsed CPU time: 154.958 s Remaining CPU time: 25.0416 s c =============================================================================== c | 58 | 2490 2947 1041333 | 5000 58 2146 | 0.000 % | c =============================================================================== c New solution: 12304 c Elapsed CPU time: 155.759 s Remaining CPU time: 24.2407 s c =============================================================================== c | 60 | 2490 2948 1043683 | 5000 60 2150 | 0.000 % | c =============================================================================== c New solution: 12303 c Elapsed CPU time: 156.567 s Remaining CPU time: 23.4328 s c =============================================================================== c | 61 | 2490 2949 1046033 | 5000 61 2152 | 0.000 % | c =============================================================================== c New solution: 12302 c Elapsed CPU time: 157.355 s Remaining CPU time: 22.6449 s c =============================================================================== c | 61 | 2490 2950 1048383 | 5000 61 2152 | 0.000 % | c =============================================================================== c New solution: 12301 c Elapsed CPU time: 158.135 s Remaining CPU time: 21.865 s c =============================================================================== c | 61 | 2490 2951 1050733 | 5000 61 2152 | 0.000 % | c =============================================================================== c New solution: 12300 c Elapsed CPU time: 158.906 s Remaining CPU time: 21.0942 s c =============================================================================== c | 61 | 2490 2952 1053083 | 5000 61 2152 | 0.000 % | c =============================================================================== c New solution: 12299 c Elapsed CPU time: 159.659 s Remaining CPU time: 20.3413 s c =============================================================================== c | 61 | 2490 2953 1055433 | 5000 61 2152 | 0.000 % | c =============================================================================== c New solution: 12298 c Elapsed CPU time: 160.407 s Remaining CPU time: 19.5934 s c =============================================================================== c | 61 | 2490 2954 1057783 | 5000 61 2152 | 0.000 % | c =============================================================================== c New solution: 12297 c Elapsed CPU time: 161.156 s Remaining CPU time: 18.8435 s c =============================================================================== c | 61 | 2490 2955 1060133 | 5000 61 2152 | 0.000 % | c =============================================================================== c New solution: 12296 c Elapsed CPU time: 161.901 s Remaining CPU time: 18.0986 s c =============================================================================== c | 61 | 2490 2956 1062483 | 5000 61 2152 | 0.000 % | c =============================================================================== c New solution: 12295 c Elapsed CPU time: 162.702 s Remaining CPU time: 17.2977 s c =============================================================================== c | 65 | 2490 2957 1064833 | 5000 65 2158 | 0.000 % | c =============================================================================== c New solution: 12294 c Elapsed CPU time: 163.423 s Remaining CPU time: 16.5768 s c =============================================================================== c | 65 | 2490 2958 1067183 | 5000 65 2158 | 0.000 % | c =============================================================================== c New solution: 12293 c Elapsed CPU time: 164.197 s Remaining CPU time: 15.803 s c =============================================================================== c | 65 | 2490 2959 1069533 | 5000 65 2158 | 0.000 % | c =============================================================================== c New solution: 12292 c Elapsed CPU time: 164.943 s Remaining CPU time: 15.0571 s c =============================================================================== c | 65 | 2490 2960 1071883 | 5000 65 2158 | 0.000 % | c =============================================================================== c New solution: 12291 c Elapsed CPU time: 165.673 s Remaining CPU time: 14.3272 s c =============================================================================== c | 65 | 2490 2961 1074233 | 5000 65 2158 | 0.000 % | c =============================================================================== c New solution: 12290 c Elapsed CPU time: 166.387 s Remaining CPU time: 13.6133 s c =============================================================================== c | 65 | 2490 2962 1076583 | 5000 65 2158 | 0.000 % | c =============================================================================== c New solution: 12289 c Elapsed CPU time: 167.171 s Remaining CPU time: 12.8294 s c =============================================================================== c | 65 | 2490 2963 1078933 | 5000 65 2158 | 0.000 % | c =============================================================================== c New solution: 12288 c Elapsed CPU time: 167.937 s Remaining CPU time: 12.0625 s c =============================================================================== c | 70 | 2490 2964 1081283 | 5000 70 2165 | 0.000 % | c =============================================================================== c New solution: 12287 c Elapsed CPU time: 168.706 s Remaining CPU time: 11.2936 s c =============================================================================== c | 70 | 2490 2965 1083633 | 5000 70 2165 | 0.000 % | c =============================================================================== c New solution: 12286 c Elapsed CPU time: 169.47 s Remaining CPU time: 10.5298 s c =============================================================================== c | 75 | 2490 2966 1085983 | 5000 75 2171 | 0.000 % | c =============================================================================== c New solution: 12285 c Elapsed CPU time: 170.227 s Remaining CPU time: 9.77288 s c =============================================================================== c | 75 | 2490 2967 1088333 | 5000 75 2171 | 0.000 % | c =============================================================================== c New solution: 12284 c Elapsed CPU time: 170.995 s Remaining CPU time: 9.005 s c =============================================================================== c | 77 | 2490 2968 1090683 | 5000 77 2173 | 0.000 % | c =============================================================================== c New solution: 12283 c Elapsed CPU time: 171.797 s Remaining CPU time: 8.20312 s c =============================================================================== c | 91 | 2490 2969 1093033 | 5000 91 2185 | 0.000 % | c =============================================================================== c New solution: 12282 c Elapsed CPU time: 172.562 s Remaining CPU time: 7.43823 s c =============================================================================== c | 91 | 2490 2970 1095383 | 5000 91 2185 | 0.000 % | c =============================================================================== c New solution: 12281 c Elapsed CPU time: 173.294 s Remaining CPU time: 6.70634 s c =============================================================================== c | 92 | 2490 2971 1097733 | 5000 92 2186 | 0.000 % | c =============================================================================== c New solution: 12280 c Elapsed CPU time: 174.038 s Remaining CPU time: 5.96246 s c =============================================================================== c | 92 | 2490 2972 1100083 | 5000 92 2186 | 0.000 % | c =============================================================================== c New solution: 12279 c Elapsed CPU time: 174.787 s Remaining CPU time: 5.21257 s c =============================================================================== c | 92 | 2490 2973 1102433 | 5000 92 2186 | 0.000 % | c =============================================================================== c New solution: 12278 c Elapsed CPU time: 175.724 s Remaining CPU time: 4.27571 s c =============================================================================== c | 117 | 2490 2974 1104783 | 5000 117 2180 | 0.000 % | c =============================================================================== c New solution: 12277 c Elapsed CPU time: 176.468 s Remaining CPU time: 3.53183 s c =============================================================================== c | 117 | 2490 2975 1107133 | 5000 117 2180 | 0.000 % | c =============================================================================== c New solution: 12276 c Elapsed CPU time: 177.222 s Remaining CPU time: 2.77794 s c =============================================================================== c | 117 | 2490 2976 1109483 | 5000 117 2180 | 0.000 % | c =============================================================================== c New solution: 12275 c Elapsed CPU time: 178.003 s Remaining CPU time: 1.99706 s c =============================================================================== c | 117 | 2490 2977 1111833 | 5000 117 2180 | 0.000 % | c =============================================================================== c New solution: 12274 c Elapsed CPU time: 178.761 s Remaining CPU time: 1.23918 s c =============================================================================== c | 117 | 2490 2978 1114183 | 5000 117 2180 | 0.000 % | c =============================================================================== c New solution: 12273 c Elapsed CPU time: 179.528 s Remaining CPU time: 0.472293 s c =============================================================================== c | 124 | 2490 2979 1116533 | 5000 124 2184 | 0.000 % | c There are 10 assigned variables. 2 in cost function.