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 | 2488 2509 7331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12985 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 2488 2510 9681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12980 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 2488 2511 12031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12976 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 2488 2512 14381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12975 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 2488 2513 16731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12970 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 2488 2514 19081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12966 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 2488 2515 21431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12964 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 2488 2516 23781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12962 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 2488 2517 26131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12961 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 0 | 2488 2518 28481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12959 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 0 | 2488 2519 30831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12958 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 2488 2520 33181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12957 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 2488 2521 35531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12956 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 0 | 2488 2522 37881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12955 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 2488 2523 40231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12954 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 0 | 2488 2524 42581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12953 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 0 | 2488 2525 44931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12951 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 0 | 2488 2526 47281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12949 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 0 | 2488 2527 49631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12948 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 0 | 2488 2528 51981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12947 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 0 | 2488 2529 54331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12946 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 0 | 2488 2530 56681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12945 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 0 | 2488 2531 59031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12943 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 0 | 2488 2532 61381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12941 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 0 | 2488 2533 63731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12940 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 0 | 2488 2534 66081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12938 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 0 | 2488 2535 68431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12937 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 0 | 2488 2536 70781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12932 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 0 | 2488 2537 73131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12930 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 0 | 2488 2538 75481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12928 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 0 | 2488 2539 77831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12923 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s c =============================================================================== c | 0 | 2488 2540 80181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12918 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 0 | 2488 2541 82531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12917 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s c =============================================================================== c | 0 | 2488 2542 84881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12916 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 0 | 2488 2543 87231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12915 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 0 | 2488 2544 89581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12908 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 0 | 2488 2545 91931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12906 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 0 | 2488 2546 94281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12905 c Elapsed CPU time: 1.3218 s Remaining CPU time: 178.678 s c =============================================================================== c | 0 | 2488 2547 96631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12903 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 0 | 2488 2548 98981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12901 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 0 | 2488 2549 101331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12898 c Elapsed CPU time: 1.49277 s Remaining CPU time: 178.507 s c =============================================================================== c | 0 | 2488 2550 103681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12897 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s c =============================================================================== c | 0 | 2488 2551 106031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12893 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s c =============================================================================== c | 0 | 2488 2552 108381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12892 c Elapsed CPU time: 1.67575 s Remaining CPU time: 178.324 s c =============================================================================== c | 0 | 2488 2553 110731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12891 c Elapsed CPU time: 1.73974 s Remaining CPU time: 178.26 s c =============================================================================== c | 0 | 2488 2554 113081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12889 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 0 | 2488 2555 115431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12888 c Elapsed CPU time: 1.86972 s Remaining CPU time: 178.13 s c =============================================================================== c | 0 | 2488 2556 117781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12884 c Elapsed CPU time: 1.9367 s Remaining CPU time: 178.063 s c =============================================================================== c | 0 | 2488 2557 120131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12879 c Elapsed CPU time: 2.00569 s Remaining CPU time: 177.994 s c =============================================================================== c | 0 | 2488 2558 122481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12877 c Elapsed CPU time: 2.07668 s Remaining CPU time: 177.923 s c =============================================================================== c | 0 | 2488 2559 124831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12876 c Elapsed CPU time: 2.14967 s Remaining CPU time: 177.85 s c =============================================================================== c | 0 | 2488 2560 127181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12874 c Elapsed CPU time: 2.22066 s Remaining CPU time: 177.779 s c =============================================================================== c | 0 | 2488 2561 129531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12869 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 0 | 2488 2562 131881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12868 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 0 | 2488 2563 134231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12867 c Elapsed CPU time: 2.45863 s Remaining CPU time: 177.541 s c =============================================================================== c | 0 | 2488 2564 136581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12866 c Elapsed CPU time: 2.54561 s Remaining CPU time: 177.454 s c =============================================================================== c | 0 | 2488 2565 138931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12865 c Elapsed CPU time: 2.6306 s Remaining CPU time: 177.369 s c =============================================================================== c | 0 | 2488 2566 141281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12862 c Elapsed CPU time: 2.71759 s Remaining CPU time: 177.282 s c =============================================================================== c | 0 | 2488 2567 143631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12859 c Elapsed CPU time: 2.80257 s Remaining CPU time: 177.197 s c =============================================================================== c | 0 | 2488 2568 145981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12856 c Elapsed CPU time: 2.89156 s Remaining CPU time: 177.108 s c =============================================================================== c | 0 | 2488 2569 148331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12853 c Elapsed CPU time: 2.98655 s Remaining CPU time: 177.013 s c =============================================================================== c | 0 | 2488 2570 150681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12852 c Elapsed CPU time: 3.08253 s Remaining CPU time: 176.917 s c =============================================================================== c | 0 | 2488 2571 153031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12851 c Elapsed CPU time: 3.18152 s Remaining CPU time: 176.818 s c =============================================================================== c | 0 | 2488 2572 155381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12849 c Elapsed CPU time: 3.2805 s Remaining CPU time: 176.719 s c =============================================================================== c | 0 | 2488 2573 157731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12846 c Elapsed CPU time: 3.38248 s Remaining CPU time: 176.618 s c =============================================================================== c | 0 | 2488 2574 160081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12843 c Elapsed CPU time: 3.48547 s Remaining CPU time: 176.515 s c =============================================================================== c | 0 | 2488 2575 162431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12841 c Elapsed CPU time: 3.59345 s Remaining CPU time: 176.407 s c =============================================================================== c | 0 | 2488 2576 164781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12840 c Elapsed CPU time: 3.69944 s Remaining CPU time: 176.301 s c =============================================================================== c | 0 | 2488 2577 167131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12839 c Elapsed CPU time: 3.80942 s Remaining CPU time: 176.191 s c =============================================================================== c | 0 | 2488 2578 169481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12837 c Elapsed CPU time: 3.9194 s Remaining CPU time: 176.081 s c =============================================================================== c | 0 | 2488 2579 171831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12836 c Elapsed CPU time: 4.02739 s Remaining CPU time: 175.973 s c =============================================================================== c | 0 | 2488 2580 174181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12835 c Elapsed CPU time: 4.13637 s Remaining CPU time: 175.864 s c =============================================================================== c | 0 | 2488 2581 176531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12833 c Elapsed CPU time: 4.25935 s Remaining CPU time: 175.741 s c =============================================================================== c | 0 | 2488 2582 178881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12832 c Elapsed CPU time: 4.38533 s Remaining CPU time: 175.615 s c =============================================================================== c | 0 | 2488 2583 181231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12829 c Elapsed CPU time: 4.52131 s Remaining CPU time: 175.479 s c =============================================================================== c | 0 | 2488 2584 183581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12828 c Elapsed CPU time: 4.66029 s Remaining CPU time: 175.34 s c =============================================================================== c | 0 | 2488 2585 185931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12826 c Elapsed CPU time: 4.80127 s Remaining CPU time: 175.199 s c =============================================================================== c | 0 | 2488 2586 188281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12824 c Elapsed CPU time: 4.94225 s Remaining CPU time: 175.058 s c =============================================================================== c | 0 | 2488 2587 190631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12823 c Elapsed CPU time: 5.08623 s Remaining CPU time: 174.914 s c =============================================================================== c | 0 | 2488 2588 192981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12822 c Elapsed CPU time: 5.22621 s Remaining CPU time: 174.774 s c =============================================================================== c | 0 | 2488 2589 195331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12820 c Elapsed CPU time: 5.37218 s Remaining CPU time: 174.628 s c =============================================================================== c | 0 | 2488 2590 197681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12817 c Elapsed CPU time: 5.51516 s Remaining CPU time: 174.485 s c =============================================================================== c | 0 | 2488 2591 200031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12815 c Elapsed CPU time: 5.66514 s Remaining CPU time: 174.335 s c =============================================================================== c | 0 | 2488 2592 202381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12813 c Elapsed CPU time: 5.81012 s Remaining CPU time: 174.19 s c =============================================================================== c | 0 | 2488 2593 204731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12810 c Elapsed CPU time: 5.96109 s Remaining CPU time: 174.039 s c =============================================================================== c | 0 | 2488 2594 207081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12809 c Elapsed CPU time: 6.11207 s Remaining CPU time: 173.888 s c =============================================================================== c | 0 | 2488 2595 209431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12806 c Elapsed CPU time: 6.26105 s Remaining CPU time: 173.739 s c =============================================================================== c | 0 | 2488 2596 211781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12804 c Elapsed CPU time: 6.40803 s Remaining CPU time: 173.592 s c =============================================================================== c | 0 | 2488 2597 214131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12803 c Elapsed CPU time: 6.555 s Remaining CPU time: 173.445 s c =============================================================================== c | 0 | 2488 2598 216481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12802 c Elapsed CPU time: 6.70798 s Remaining CPU time: 173.292 s c =============================================================================== c | 0 | 2488 2599 218831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12801 c Elapsed CPU time: 6.85896 s Remaining CPU time: 173.141 s c =============================================================================== c | 0 | 2488 2600 221181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12800 c Elapsed CPU time: 7.00394 s Remaining CPU time: 172.996 s c =============================================================================== c | 0 | 2488 2601 223531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12799 c Elapsed CPU time: 7.14791 s Remaining CPU time: 172.852 s c =============================================================================== c | 0 | 2488 2602 225881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12796 c Elapsed CPU time: 7.29689 s Remaining CPU time: 172.703 s c =============================================================================== c | 0 | 2488 2603 228231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12795 c Elapsed CPU time: 7.44187 s Remaining CPU time: 172.558 s c =============================================================================== c | 0 | 2488 2604 230581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12794 c Elapsed CPU time: 7.58685 s Remaining CPU time: 172.413 s c =============================================================================== c | 0 | 2488 2605 232931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12793 c Elapsed CPU time: 7.73382 s Remaining CPU time: 172.266 s c =============================================================================== c | 0 | 2488 2606 235281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12791 c Elapsed CPU time: 7.8908 s Remaining CPU time: 172.109 s c =============================================================================== c | 0 | 2488 2607 237631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12787 c Elapsed CPU time: 8.04278 s Remaining CPU time: 171.957 s c =============================================================================== c | 0 | 2488 2608 239981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12786 c Elapsed CPU time: 8.19775 s Remaining CPU time: 171.802 s c =============================================================================== c | 0 | 2488 2609 242331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12784 c Elapsed CPU time: 8.35673 s Remaining CPU time: 171.643 s c =============================================================================== c | 0 | 2488 2610 244681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12783 c Elapsed CPU time: 8.5187 s Remaining CPU time: 171.481 s c =============================================================================== c | 0 | 2488 2611 247031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12782 c Elapsed CPU time: 8.68168 s Remaining CPU time: 171.318 s c =============================================================================== c | 0 | 2488 2612 249381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12779 c Elapsed CPU time: 8.85165 s Remaining CPU time: 171.148 s c =============================================================================== c | 0 | 2488 2613 251731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12778 c Elapsed CPU time: 9.02263 s Remaining CPU time: 170.977 s c =============================================================================== c | 0 | 2488 2614 254081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12776 c Elapsed CPU time: 9.1846 s Remaining CPU time: 170.815 s c =============================================================================== c | 0 | 2488 2615 256431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12773 c Elapsed CPU time: 9.34858 s Remaining CPU time: 170.651 s c =============================================================================== c | 0 | 2488 2616 258781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12772 c Elapsed CPU time: 9.51655 s Remaining CPU time: 170.483 s c =============================================================================== c | 0 | 2488 2617 261131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12771 c Elapsed CPU time: 9.69353 s Remaining CPU time: 170.306 s c =============================================================================== c | 0 | 2488 2618 263481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12769 c Elapsed CPU time: 9.8715 s Remaining CPU time: 170.129 s c =============================================================================== c | 0 | 2488 2619 265831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12768 c Elapsed CPU time: 10.0465 s Remaining CPU time: 169.954 s c =============================================================================== c | 0 | 2488 2620 268181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12765 c Elapsed CPU time: 10.2284 s Remaining CPU time: 169.772 s c =============================================================================== c | 0 | 2488 2621 270531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12761 c Elapsed CPU time: 10.4084 s Remaining CPU time: 169.592 s c =============================================================================== c | 0 | 2488 2622 272881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12758 c Elapsed CPU time: 10.5964 s Remaining CPU time: 169.404 s c =============================================================================== c | 0 | 2488 2623 275231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12757 c Elapsed CPU time: 10.7814 s Remaining CPU time: 169.219 s c =============================================================================== c | 0 | 2488 2624 277581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12756 c Elapsed CPU time: 10.9673 s Remaining CPU time: 169.033 s c =============================================================================== c | 0 | 2488 2625 279931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12753 c Elapsed CPU time: 11.1573 s Remaining CPU time: 168.843 s c =============================================================================== c | 0 | 2488 2626 282281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12751 c Elapsed CPU time: 11.3513 s Remaining CPU time: 168.649 s c =============================================================================== c | 0 | 2488 2627 284631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12750 c Elapsed CPU time: 11.5492 s Remaining CPU time: 168.451 s c =============================================================================== c | 0 | 2488 2628 286981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12749 c Elapsed CPU time: 11.7492 s Remaining CPU time: 168.251 s c =============================================================================== c | 0 | 2488 2629 289331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12748 c Elapsed CPU time: 11.9502 s Remaining CPU time: 168.05 s c =============================================================================== c | 0 | 2488 2630 291681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12746 c Elapsed CPU time: 12.1542 s Remaining CPU time: 167.846 s c =============================================================================== c | 0 | 2488 2631 294031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12743 c Elapsed CPU time: 12.3511 s Remaining CPU time: 167.649 s c =============================================================================== c | 0 | 2488 2632 296381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12742 c Elapsed CPU time: 12.5601 s Remaining CPU time: 167.44 s c =============================================================================== c | 0 | 2488 2633 298731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12740 c Elapsed CPU time: 12.7601 s Remaining CPU time: 167.24 s c =============================================================================== c | 0 | 2488 2634 301081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12738 c Elapsed CPU time: 12.962 s Remaining CPU time: 167.038 s c =============================================================================== c | 1 | 2488 2635 303431 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12737 c Elapsed CPU time: 13.162 s Remaining CPU time: 166.838 s c =============================================================================== c | 1 | 2488 2636 305781 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12736 c Elapsed CPU time: 13.358 s Remaining CPU time: 166.642 s c =============================================================================== c | 1 | 2488 2637 308131 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12734 c Elapsed CPU time: 13.5579 s Remaining CPU time: 166.442 s c =============================================================================== c | 1 | 2488 2638 310481 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12732 c Elapsed CPU time: 13.7539 s Remaining CPU time: 166.246 s c =============================================================================== c | 1 | 2488 2639 312831 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12731 c Elapsed CPU time: 13.9479 s Remaining CPU time: 166.052 s c =============================================================================== c | 1 | 2488 2640 315181 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12730 c Elapsed CPU time: 14.1508 s Remaining CPU time: 165.849 s c =============================================================================== c | 1 | 2488 2641 317531 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12729 c Elapsed CPU time: 14.3478 s Remaining CPU time: 165.652 s c =============================================================================== c | 1 | 2488 2642 319881 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12728 c Elapsed CPU time: 14.5438 s Remaining CPU time: 165.456 s c =============================================================================== c | 1 | 2488 2643 322231 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12727 c Elapsed CPU time: 14.7498 s Remaining CPU time: 165.25 s c =============================================================================== c | 1 | 2488 2644 324581 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12726 c Elapsed CPU time: 14.9717 s Remaining CPU time: 165.028 s c =============================================================================== c | 1 | 2488 2645 326931 | 5000 1 2316 | 0.000 % | c =============================================================================== c New solution: 12725 c Elapsed CPU time: 15.2067 s Remaining CPU time: 164.793 s c =============================================================================== c | 2 | 2488 2646 329281 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12724 c Elapsed CPU time: 15.4147 s Remaining CPU time: 164.585 s c =============================================================================== c | 2 | 2488 2647 331631 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12723 c Elapsed CPU time: 15.6426 s Remaining CPU time: 164.357 s c =============================================================================== c | 2 | 2488 2648 333981 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12722 c Elapsed CPU time: 15.8566 s Remaining CPU time: 164.143 s c =============================================================================== c | 2 | 2488 2649 336331 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12721 c Elapsed CPU time: 16.0746 s Remaining CPU time: 163.925 s c =============================================================================== c | 2 | 2488 2650 338681 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12720 c Elapsed CPU time: 16.2975 s Remaining CPU time: 163.702 s c =============================================================================== c | 2 | 2488 2651 341031 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12719 c Elapsed CPU time: 16.5105 s Remaining CPU time: 163.49 s c =============================================================================== c | 2 | 2488 2652 343381 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12718 c Elapsed CPU time: 16.7335 s Remaining CPU time: 163.267 s c =============================================================================== c | 2 | 2488 2653 345731 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12717 c Elapsed CPU time: 16.9594 s Remaining CPU time: 163.041 s c =============================================================================== c | 2 | 2488 2654 348081 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12716 c Elapsed CPU time: 17.1794 s Remaining CPU time: 162.821 s c =============================================================================== c | 2 | 2488 2655 350431 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12715 c Elapsed CPU time: 17.4034 s Remaining CPU time: 162.597 s c =============================================================================== c | 2 | 2488 2656 352781 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12714 c Elapsed CPU time: 17.6333 s Remaining CPU time: 162.367 s c =============================================================================== c | 2 | 2488 2657 355131 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12713 c Elapsed CPU time: 17.8613 s Remaining CPU time: 162.139 s c =============================================================================== c | 2 | 2488 2658 357481 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12712 c Elapsed CPU time: 18.1052 s Remaining CPU time: 161.895 s c =============================================================================== c | 2 | 2488 2659 359831 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12711 c Elapsed CPU time: 18.3632 s Remaining CPU time: 161.637 s c =============================================================================== c | 2 | 2488 2660 362181 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12709 c Elapsed CPU time: 18.6042 s Remaining CPU time: 161.396 s c =============================================================================== c | 2 | 2488 2661 364531 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12708 c Elapsed CPU time: 18.8411 s Remaining CPU time: 161.159 s c =============================================================================== c | 2 | 2488 2662 366881 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12707 c Elapsed CPU time: 19.1231 s Remaining CPU time: 160.877 s c =============================================================================== c | 2 | 2488 2663 369231 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12706 c Elapsed CPU time: 19.3861 s Remaining CPU time: 160.614 s c =============================================================================== c | 2 | 2488 2664 371581 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12705 c Elapsed CPU time: 19.653 s Remaining CPU time: 160.347 s c =============================================================================== c | 2 | 2488 2665 373931 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12704 c Elapsed CPU time: 19.902 s Remaining CPU time: 160.098 s c =============================================================================== c | 2 | 2488 2666 376281 | 5000 2 1159 | 0.000 % | c =============================================================================== c New solution: 12703 c Elapsed CPU time: 20.1479 s Remaining CPU time: 159.852 s c =============================================================================== c | 3 | 2488 2667 378631 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 20.4029 s Remaining CPU time: 159.597 s c =============================================================================== c | 3 | 2488 2668 380981 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12701 c Elapsed CPU time: 20.6699 s Remaining CPU time: 159.33 s c =============================================================================== c | 3 | 2488 2669 383331 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12700 c Elapsed CPU time: 20.9518 s Remaining CPU time: 159.048 s c =============================================================================== c | 3 | 2488 2670 385681 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12699 c Elapsed CPU time: 21.2128 s Remaining CPU time: 158.787 s c =============================================================================== c | 3 | 2488 2671 388031 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12698 c Elapsed CPU time: 21.4717 s Remaining CPU time: 158.528 s c =============================================================================== c | 3 | 2488 2672 390381 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12697 c Elapsed CPU time: 21.7387 s Remaining CPU time: 158.261 s c =============================================================================== c | 3 | 2488 2673 392731 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12696 c Elapsed CPU time: 21.9947 s Remaining CPU time: 158.005 s c =============================================================================== c | 3 | 2488 2674 395081 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12694 c Elapsed CPU time: 22.2546 s Remaining CPU time: 157.745 s c =============================================================================== c | 3 | 2488 2675 397431 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12693 c Elapsed CPU time: 22.5066 s Remaining CPU time: 157.493 s c =============================================================================== c | 3 | 2488 2676 399781 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12692 c Elapsed CPU time: 22.7685 s Remaining CPU time: 157.231 s c =============================================================================== c | 3 | 2488 2677 402131 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12691 c Elapsed CPU time: 23.0445 s Remaining CPU time: 156.956 s c =============================================================================== c | 3 | 2488 2678 404481 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12689 c Elapsed CPU time: 23.3245 s Remaining CPU time: 156.676 s c =============================================================================== c | 3 | 2488 2679 406831 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12688 c Elapsed CPU time: 23.5964 s Remaining CPU time: 156.404 s c =============================================================================== c | 3 | 2488 2680 409181 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12687 c Elapsed CPU time: 23.8694 s Remaining CPU time: 156.131 s c =============================================================================== c | 3 | 2488 2681 411531 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12686 c Elapsed CPU time: 24.1503 s Remaining CPU time: 155.85 s c =============================================================================== c | 3 | 2488 2682 413881 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12685 c Elapsed CPU time: 24.4253 s Remaining CPU time: 155.575 s c =============================================================================== c | 3 | 2488 2683 416231 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12684 c Elapsed CPU time: 24.6862 s Remaining CPU time: 155.314 s c =============================================================================== c | 3 | 2488 2684 418581 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12683 c Elapsed CPU time: 24.9542 s Remaining CPU time: 155.046 s c =============================================================================== c | 3 | 2488 2685 420931 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12682 c Elapsed CPU time: 25.2202 s Remaining CPU time: 154.78 s c =============================================================================== c | 3 | 2488 2686 423281 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12680 c Elapsed CPU time: 25.4991 s Remaining CPU time: 154.501 s c =============================================================================== c | 3 | 2488 2687 425631 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12679 c Elapsed CPU time: 25.7691 s Remaining CPU time: 154.231 s c =============================================================================== c | 3 | 2488 2688 427981 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12678 c Elapsed CPU time: 26.059 s Remaining CPU time: 153.941 s c =============================================================================== c | 3 | 2488 2689 430331 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12677 c Elapsed CPU time: 26.348 s Remaining CPU time: 153.652 s c =============================================================================== c | 3 | 2488 2690 432681 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12676 c Elapsed CPU time: 26.632 s Remaining CPU time: 153.368 s c =============================================================================== c | 3 | 2488 2691 435031 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12675 c Elapsed CPU time: 26.9089 s Remaining CPU time: 153.091 s c =============================================================================== c | 3 | 2488 2692 437381 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12674 c Elapsed CPU time: 27.2179 s Remaining CPU time: 152.782 s c =============================================================================== c | 3 | 2488 2693 439731 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12673 c Elapsed CPU time: 27.5268 s Remaining CPU time: 152.473 s c =============================================================================== c | 3 | 2488 2694 442081 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12672 c Elapsed CPU time: 27.8288 s Remaining CPU time: 152.171 s c =============================================================================== c | 3 | 2488 2695 444431 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12671 c Elapsed CPU time: 28.1407 s Remaining CPU time: 151.859 s c =============================================================================== c | 3 | 2488 2696 446781 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12670 c Elapsed CPU time: 28.4517 s Remaining CPU time: 151.548 s c =============================================================================== c | 3 | 2488 2697 449131 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12669 c Elapsed CPU time: 28.7596 s Remaining CPU time: 151.24 s c =============================================================================== c | 3 | 2488 2698 451481 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12667 c Elapsed CPU time: 29.0696 s Remaining CPU time: 150.93 s c =============================================================================== c | 3 | 2488 2699 453831 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12666 c Elapsed CPU time: 29.3845 s Remaining CPU time: 150.615 s c =============================================================================== c | 3 | 2488 2700 456181 | 5000 3 1543 | 0.000 % | c =============================================================================== c New solution: 12665 c Elapsed CPU time: 29.6905 s Remaining CPU time: 150.31 s c =============================================================================== c | 4 | 2488 2701 458531 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12664 c Elapsed CPU time: 30.0074 s Remaining CPU time: 149.993 s c =============================================================================== c | 4 | 2488 2702 460881 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12663 c Elapsed CPU time: 30.3104 s Remaining CPU time: 149.69 s c =============================================================================== c | 4 | 2488 2703 463231 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12662 c Elapsed CPU time: 30.6103 s Remaining CPU time: 149.39 s c =============================================================================== c | 4 | 2488 2704 465581 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12661 c Elapsed CPU time: 30.9263 s Remaining CPU time: 149.074 s c =============================================================================== c | 4 | 2488 2705 467931 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12660 c Elapsed CPU time: 31.2333 s Remaining CPU time: 148.767 s c =============================================================================== c | 4 | 2488 2706 470281 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12659 c Elapsed CPU time: 31.5622 s Remaining CPU time: 148.438 s c =============================================================================== c | 4 | 2488 2707 472631 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12658 c Elapsed CPU time: 31.8622 s Remaining CPU time: 148.138 s c =============================================================================== c | 4 | 2488 2708 474981 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12657 c Elapsed CPU time: 32.1841 s Remaining CPU time: 147.816 s c =============================================================================== c | 4 | 2488 2709 477331 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12656 c Elapsed CPU time: 32.5081 s Remaining CPU time: 147.492 s c =============================================================================== c | 4 | 2488 2710 479681 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12655 c Elapsed CPU time: 32.823 s Remaining CPU time: 147.177 s c =============================================================================== c | 4 | 2488 2711 482031 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12654 c Elapsed CPU time: 33.134 s Remaining CPU time: 146.866 s c =============================================================================== c | 4 | 2488 2712 484381 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12653 c Elapsed CPU time: 33.4499 s Remaining CPU time: 146.55 s c =============================================================================== c | 4 | 2488 2713 486731 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12652 c Elapsed CPU time: 33.7759 s Remaining CPU time: 146.224 s c =============================================================================== c | 4 | 2488 2714 489081 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12651 c Elapsed CPU time: 34.0968 s Remaining CPU time: 145.903 s c =============================================================================== c | 4 | 2488 2715 491431 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12650 c Elapsed CPU time: 34.4388 s Remaining CPU time: 145.561 s c =============================================================================== c | 4 | 2488 2716 493781 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12649 c Elapsed CPU time: 34.7637 s Remaining CPU time: 145.236 s c =============================================================================== c | 4 | 2488 2717 496131 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12648 c Elapsed CPU time: 35.0907 s Remaining CPU time: 144.909 s c =============================================================================== c | 4 | 2488 2718 498481 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12647 c Elapsed CPU time: 35.4136 s Remaining CPU time: 144.586 s c =============================================================================== c | 4 | 2488 2719 500831 | 5000 4 1732 | 0.000 % | c =============================================================================== c New solution: 12646 c Elapsed CPU time: 35.7506 s Remaining CPU time: 144.249 s c =============================================================================== c | 5 | 2488 2720 503181 | 5000 5 1846 | 0.000 % | c =============================================================================== c New solution: 12645 c Elapsed CPU time: 36.0885 s Remaining CPU time: 143.911 s c =============================================================================== c | 5 | 2488 2721 505531 | 5000 5 1846 | 0.000 % | c =============================================================================== c New solution: 12644 c Elapsed CPU time: 36.4385 s Remaining CPU time: 143.562 s c =============================================================================== c | 6 | 2488 2722 507881 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12643 c Elapsed CPU time: 36.7934 s Remaining CPU time: 143.207 s c =============================================================================== c | 6 | 2488 2723 510231 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12642 c Elapsed CPU time: 37.1384 s Remaining CPU time: 142.862 s c =============================================================================== c | 6 | 2488 2724 512581 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12641 c Elapsed CPU time: 37.4793 s Remaining CPU time: 142.521 s c =============================================================================== c | 6 | 2488 2725 514931 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12640 c Elapsed CPU time: 37.8662 s Remaining CPU time: 142.134 s c =============================================================================== c | 6 | 2488 2726 517281 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12639 c Elapsed CPU time: 38.2342 s Remaining CPU time: 141.766 s c =============================================================================== c | 6 | 2488 2727 519631 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12638 c Elapsed CPU time: 38.6131 s Remaining CPU time: 141.387 s c =============================================================================== c | 6 | 2488 2728 521981 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12637 c Elapsed CPU time: 38.9741 s Remaining CPU time: 141.026 s c =============================================================================== c | 6 | 2488 2729 524331 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12636 c Elapsed CPU time: 39.343 s Remaining CPU time: 140.657 s c =============================================================================== c | 6 | 2488 2730 526681 | 5000 6 1921 | 0.000 % | c =============================================================================== c New solution: 12635 c Elapsed CPU time: 39.712 s Remaining CPU time: 140.288 s c =============================================================================== c | 7 | 2488 2731 529031 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12634 c Elapsed CPU time: 40.0779 s Remaining CPU time: 139.922 s c =============================================================================== c | 7 | 2488 2732 531381 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12633 c Elapsed CPU time: 40.4558 s Remaining CPU time: 139.544 s c =============================================================================== c | 7 | 2488 2733 533731 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12632 c Elapsed CPU time: 40.8658 s Remaining CPU time: 139.134 s c =============================================================================== c | 7 | 2488 2734 536081 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12631 c Elapsed CPU time: 41.2827 s Remaining CPU time: 138.717 s c =============================================================================== c | 7 | 2488 2735 538431 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12630 c Elapsed CPU time: 41.6627 s Remaining CPU time: 138.337 s c =============================================================================== c | 7 | 2488 2736 540781 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12629 c Elapsed CPU time: 42.0516 s Remaining CPU time: 137.948 s c =============================================================================== c | 7 | 2488 2737 543131 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12628 c Elapsed CPU time: 42.4505 s Remaining CPU time: 137.549 s c =============================================================================== c | 7 | 2488 2738 545481 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12627 c Elapsed CPU time: 42.8725 s Remaining CPU time: 137.128 s c =============================================================================== c | 7 | 2488 2739 547831 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12626 c Elapsed CPU time: 43.2804 s Remaining CPU time: 136.72 s c =============================================================================== c | 7 | 2488 2740 550181 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12625 c Elapsed CPU time: 43.6874 s Remaining CPU time: 136.313 s c =============================================================================== c | 7 | 2488 2741 552531 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12624 c Elapsed CPU time: 44.0953 s Remaining CPU time: 135.905 s c =============================================================================== c | 7 | 2488 2742 554881 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12623 c Elapsed CPU time: 44.4752 s Remaining CPU time: 135.525 s c =============================================================================== c | 7 | 2488 2743 557231 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12622 c Elapsed CPU time: 44.8592 s Remaining CPU time: 135.141 s c =============================================================================== c | 7 | 2488 2744 559581 | 5000 7 1975 | 0.000 % | c =============================================================================== c New solution: 12621 c Elapsed CPU time: 45.2631 s Remaining CPU time: 134.737 s c =============================================================================== c | 11 | 2488 2745 561931 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12620 c Elapsed CPU time: 45.6751 s Remaining CPU time: 134.325 s c =============================================================================== c | 11 | 2488 2746 564281 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12619 c Elapsed CPU time: 46.078 s Remaining CPU time: 133.922 s c =============================================================================== c | 11 | 2488 2747 566631 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12618 c Elapsed CPU time: 46.4539 s Remaining CPU time: 133.546 s c =============================================================================== c | 11 | 2488 2748 568981 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12617 c Elapsed CPU time: 46.8319 s Remaining CPU time: 133.168 s c =============================================================================== c | 11 | 2488 2749 571331 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12616 c Elapsed CPU time: 47.2328 s Remaining CPU time: 132.767 s c =============================================================================== c | 11 | 2488 2750 573681 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12615 c Elapsed CPU time: 47.6368 s Remaining CPU time: 132.363 s c =============================================================================== c | 11 | 2488 2751 576031 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12614 c Elapsed CPU time: 48.0327 s Remaining CPU time: 131.967 s c =============================================================================== c | 11 | 2488 2752 578381 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12613 c Elapsed CPU time: 48.4336 s Remaining CPU time: 131.566 s c =============================================================================== c | 11 | 2488 2753 580731 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12612 c Elapsed CPU time: 48.8266 s Remaining CPU time: 131.173 s c =============================================================================== c | 11 | 2488 2754 583081 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12611 c Elapsed CPU time: 49.2385 s Remaining CPU time: 130.761 s c =============================================================================== c | 11 | 2488 2755 585431 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12610 c Elapsed CPU time: 49.6455 s Remaining CPU time: 130.355 s c =============================================================================== c | 11 | 2488 2756 587781 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12609 c Elapsed CPU time: 50.0314 s Remaining CPU time: 129.969 s c =============================================================================== c | 11 | 2488 2757 590131 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12608 c Elapsed CPU time: 50.4333 s Remaining CPU time: 129.567 s c =============================================================================== c | 11 | 2488 2758 592481 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12607 c Elapsed CPU time: 50.8433 s Remaining CPU time: 129.157 s c =============================================================================== c | 11 | 2488 2759 594831 | 5000 11 2090 | 0.000 % | c =============================================================================== c New solution: 12606 c Elapsed CPU time: 51.2732 s Remaining CPU time: 128.727 s c =============================================================================== c | 14 | 2488 2760 597181 | 5000 14 2132 | 0.000 % | c =============================================================================== c New solution: 12605 c Elapsed CPU time: 51.7331 s Remaining CPU time: 128.267 s c =============================================================================== c | 14 | 2488 2761 599531 | 5000 14 2132 | 0.000 % | c =============================================================================== c New solution: 12604 c Elapsed CPU time: 52.1831 s Remaining CPU time: 127.817 s c =============================================================================== c | 14 | 2488 2762 601881 | 5000 14 2132 | 0.000 % | c =============================================================================== c New solution: 12603 c Elapsed CPU time: 52.632 s Remaining CPU time: 127.368 s c =============================================================================== c | 14 | 2488 2763 604231 | 5000 14 2132 | 0.000 % | c =============================================================================== c New solution: 12602 c Elapsed CPU time: 53.0499 s Remaining CPU time: 126.95 s c =============================================================================== c | 14 | 2488 2764 606581 | 5000 14 2132 | 0.000 % | c =============================================================================== c New solution: 12601 c Elapsed CPU time: 53.4949 s Remaining CPU time: 126.505 s c =============================================================================== c | 17 | 2488 2765 608931 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12600 c Elapsed CPU time: 53.9068 s Remaining CPU time: 126.093 s c =============================================================================== c | 17 | 2488 2766 611281 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12599 c Elapsed CPU time: 54.3107 s Remaining CPU time: 125.689 s c =============================================================================== c | 17 | 2488 2767 613631 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12598 c Elapsed CPU time: 54.7227 s Remaining CPU time: 125.277 s c =============================================================================== c | 17 | 2488 2768 615981 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12597 c Elapsed CPU time: 55.1576 s Remaining CPU time: 124.842 s c =============================================================================== c | 17 | 2488 2769 618331 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12596 c Elapsed CPU time: 55.5885 s Remaining CPU time: 124.411 s c =============================================================================== c | 17 | 2488 2770 620681 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12595 c Elapsed CPU time: 56.0215 s Remaining CPU time: 123.979 s c =============================================================================== c | 17 | 2488 2771 623031 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12594 c Elapsed CPU time: 56.4744 s Remaining CPU time: 123.526 s c =============================================================================== c | 17 | 2488 2772 625381 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12593 c Elapsed CPU time: 56.9273 s Remaining CPU time: 123.073 s c =============================================================================== c | 17 | 2488 2773 627731 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 57.3843 s Remaining CPU time: 122.616 s c =============================================================================== c | 17 | 2488 2774 630081 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12591 c Elapsed CPU time: 57.8362 s Remaining CPU time: 122.164 s c =============================================================================== c | 17 | 2488 2775 632431 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12590 c Elapsed CPU time: 58.2601 s Remaining CPU time: 121.74 s c =============================================================================== c | 17 | 2488 2776 634781 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12589 c Elapsed CPU time: 58.6741 s Remaining CPU time: 121.326 s c =============================================================================== c | 17 | 2488 2777 637131 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12588 c Elapsed CPU time: 59.121 s Remaining CPU time: 120.879 s c =============================================================================== c | 17 | 2488 2778 639481 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12587 c Elapsed CPU time: 59.5589 s Remaining CPU time: 120.441 s c =============================================================================== c | 17 | 2488 2779 641831 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12586 c Elapsed CPU time: 59.9939 s Remaining CPU time: 120.006 s c =============================================================================== c | 17 | 2488 2780 644181 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12585 c Elapsed CPU time: 60.4178 s Remaining CPU time: 119.582 s c =============================================================================== c | 17 | 2488 2781 646531 | 5000 17 2160 | 0.000 % | c =============================================================================== c New solution: 12584 c Elapsed CPU time: 60.8438 s Remaining CPU time: 119.156 s c =============================================================================== c | 18 | 2488 2782 648881 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12583 c Elapsed CPU time: 61.2617 s Remaining CPU time: 118.738 s c =============================================================================== c | 18 | 2488 2783 651231 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12582 c Elapsed CPU time: 61.7036 s Remaining CPU time: 118.296 s c =============================================================================== c | 18 | 2488 2784 653581 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12581 c Elapsed CPU time: 62.1406 s Remaining CPU time: 117.859 s c =============================================================================== c | 18 | 2488 2785 655931 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12580 c Elapsed CPU time: 62.5645 s Remaining CPU time: 117.436 s c =============================================================================== c | 18 | 2488 2786 658281 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12579 c Elapsed CPU time: 63.0074 s Remaining CPU time: 116.993 s c =============================================================================== c | 18 | 2488 2787 660631 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12578 c Elapsed CPU time: 63.4654 s Remaining CPU time: 116.535 s c =============================================================================== c | 18 | 2488 2788 662981 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12577 c Elapsed CPU time: 63.9043 s Remaining CPU time: 116.096 s c =============================================================================== c | 18 | 2488 2789 665331 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12576 c Elapsed CPU time: 64.3312 s Remaining CPU time: 115.669 s c =============================================================================== c | 18 | 2488 2790 667681 | 5000 18 2167 | 0.000 % | c =============================================================================== c New solution: 12575 c Elapsed CPU time: 64.8221 s Remaining CPU time: 115.178 s c =============================================================================== c | 21 | 2488 2791 670031 | 5000 21 2183 | 0.000 % | c =============================================================================== c New solution: 12574 c Elapsed CPU time: 65.3061 s Remaining CPU time: 114.694 s c =============================================================================== c | 22 | 2488 2792 672381 | 5000 22 2188 | 0.000 % | c =============================================================================== c New solution: 12573 c Elapsed CPU time: 65.788 s Remaining CPU time: 114.212 s c =============================================================================== c | 23 | 2488 2793 674731 | 5000 23 2192 | 0.000 % | c =============================================================================== c New solution: 12572 c Elapsed CPU time: 66.2509 s Remaining CPU time: 113.749 s c =============================================================================== c | 23 | 2488 2794 677081 | 5000 23 2192 | 0.000 % | c =============================================================================== c New solution: 12571 c Elapsed CPU time: 66.7089 s Remaining CPU time: 113.291 s c =============================================================================== c | 23 | 2488 2795 679431 | 5000 23 2192 | 0.000 % | c =============================================================================== c New solution: 12570 c Elapsed CPU time: 67.2258 s Remaining CPU time: 112.774 s c =============================================================================== c | 30 | 2488 2796 681781 | 5000 30 2212 | 0.000 % | c =============================================================================== c New solution: 12569 c Elapsed CPU time: 67.6887 s Remaining CPU time: 112.311 s c =============================================================================== c | 30 | 2488 2797 684131 | 5000 30 2212 | 0.000 % | c =============================================================================== c New solution: 12568 c Elapsed CPU time: 68.1656 s Remaining CPU time: 111.834 s c =============================================================================== c | 31 | 2488 2798 686481 | 5000 31 2215 | 0.000 % | c =============================================================================== c New solution: 12567 c Elapsed CPU time: 68.6396 s Remaining CPU time: 111.36 s c =============================================================================== c | 31 | 2488 2799 688831 | 5000 31 2215 | 0.000 % | c =============================================================================== c New solution: 12566 c Elapsed CPU time: 69.1285 s Remaining CPU time: 110.872 s c =============================================================================== c | 32 | 2488 2800 691181 | 5000 32 2217 | 0.000 % | c =============================================================================== c New solution: 12565 c Elapsed CPU time: 69.6254 s Remaining CPU time: 110.375 s c =============================================================================== c | 32 | 2488 2801 693531 | 5000 32 2217 | 0.000 % | c =============================================================================== c New solution: 12564 c Elapsed CPU time: 70.1123 s Remaining CPU time: 109.888 s c =============================================================================== c | 32 | 2488 2802 695881 | 5000 32 2217 | 0.000 % | c =============================================================================== c New solution: 12563 c Elapsed CPU time: 70.5943 s Remaining CPU time: 109.406 s c =============================================================================== c | 32 | 2488 2803 698231 | 5000 32 2217 | 0.000 % | c =============================================================================== c New solution: 12562 c Elapsed CPU time: 71.0892 s Remaining CPU time: 108.911 s c =============================================================================== c | 35 | 2488 2804 700581 | 5000 35 2222 | 0.000 % | c =============================================================================== c New solution: 12561 c Elapsed CPU time: 71.5571 s Remaining CPU time: 108.443 s c =============================================================================== c | 35 | 2488 2805 702931 | 5000 35 2222 | 0.000 % | c =============================================================================== c New solution: 12560 c Elapsed CPU time: 72.054 s Remaining CPU time: 107.946 s c =============================================================================== c | 36 | 2488 2806 705281 | 5000 36 2224 | 0.000 % | c =============================================================================== c New solution: 12559 c Elapsed CPU time: 72.532 s Remaining CPU time: 107.468 s c =============================================================================== c | 36 | 2488 2807 707631 | 5000 36 2224 | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 73.0119 s Remaining CPU time: 106.988 s c =============================================================================== c | 36 | 2488 2808 709981 | 5000 36 2224 | 0.000 % | c =============================================================================== c New solution: 12557 c Elapsed CPU time: 73.4698 s Remaining CPU time: 106.53 s c =============================================================================== c | 36 | 2488 2809 712331 | 5000 36 2224 | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 73.9828 s Remaining CPU time: 106.017 s c =============================================================================== c | 36 | 2488 2810 714681 | 5000 36 2224 | 0.000 % | c =============================================================================== c New solution: 12555 c Elapsed CPU time: 74.4907 s Remaining CPU time: 105.509 s c =============================================================================== c | 36 | 2488 2811 717031 | 5000 36 2224 | 0.000 % | c =============================================================================== c New solution: 12554 c Elapsed CPU time: 74.9726 s Remaining CPU time: 105.027 s c =============================================================================== c | 37 | 2488 2812 719381 | 5000 37 2225 | 0.000 % | c =============================================================================== c New solution: 12553 c Elapsed CPU time: 75.4725 s Remaining CPU time: 104.527 s c =============================================================================== c | 38 | 2488 2813 721731 | 5000 38 2226 | 0.000 % | c =============================================================================== c New solution: 12552 c Elapsed CPU time: 75.9874 s Remaining CPU time: 104.013 s c =============================================================================== c | 38 | 2488 2814 724081 | 5000 38 2226 | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 76.5614 s Remaining CPU time: 103.439 s c =============================================================================== c | 40 | 2488 2815 726431 | 5000 40 2229 | 0.000 % | c =============================================================================== c New solution: 12550 c Elapsed CPU time: 77.0933 s Remaining CPU time: 102.907 s c =============================================================================== c | 40 | 2488 2816 728781 | 5000 40 2229 | 0.000 % | c =============================================================================== c New solution: 12549 c Elapsed CPU time: 77.6182 s Remaining CPU time: 102.382 s c =============================================================================== c | 40 | 2488 2817 731131 | 5000 40 2229 | 0.000 % | c =============================================================================== c New solution: 12548 c Elapsed CPU time: 78.1331 s Remaining CPU time: 101.867 s c =============================================================================== c | 40 | 2488 2818 733481 | 5000 40 2229 | 0.000 % | c =============================================================================== c New solution: 12547 c Elapsed CPU time: 78.652 s Remaining CPU time: 101.348 s c =============================================================================== c | 40 | 2488 2819 735831 | 5000 40 2229 | 0.000 % | c =============================================================================== c New solution: 12546 c Elapsed CPU time: 79.168 s Remaining CPU time: 100.832 s c =============================================================================== c | 40 | 2488 2820 738181 | 5000 40 2229 | 0.000 % | c =============================================================================== c New solution: 12545 c Elapsed CPU time: 79.7039 s Remaining CPU time: 100.296 s c =============================================================================== c | 41 | 2488 2821 740531 | 5000 41 2230 | 0.000 % | c =============================================================================== c New solution: 12544 c Elapsed CPU time: 80.2548 s Remaining CPU time: 99.7452 s c =============================================================================== c | 41 | 2488 2822 742881 | 5000 41 2230 | 0.000 % | c =============================================================================== c New solution: 12543 c Elapsed CPU time: 80.8207 s Remaining CPU time: 99.1793 s c =============================================================================== c | 41 | 2488 2823 745231 | 5000 41 2230 | 0.000 % | c =============================================================================== c New solution: 12542 c Elapsed CPU time: 81.3556 s Remaining CPU time: 98.6444 s c =============================================================================== c | 41 | 2488 2824 747581 | 5000 41 2230 | 0.000 % | c =============================================================================== c New solution: 12541 c Elapsed CPU time: 81.8886 s Remaining CPU time: 98.1114 s c =============================================================================== c | 41 | 2488 2825 749931 | 5000 41 2230 | 0.000 % | c =============================================================================== c New solution: 12540 c Elapsed CPU time: 82.4615 s Remaining CPU time: 97.5385 s c =============================================================================== c | 45 | 2488 2826 752281 | 5000 45 2234 | 0.000 % | c =============================================================================== c New solution: 12539 c Elapsed CPU time: 82.9784 s Remaining CPU time: 97.0216 s c =============================================================================== c | 49 | 2488 2827 754631 | 5000 49 2237 | 0.000 % | c =============================================================================== c New solution: 12538 c Elapsed CPU time: 83.4773 s Remaining CPU time: 96.5227 s c =============================================================================== c | 50 | 2488 2828 756981 | 5000 50 2238 | 0.000 % | c =============================================================================== c New solution: 12537 c Elapsed CPU time: 84.0312 s Remaining CPU time: 95.9688 s c =============================================================================== c | 50 | 2488 2829 759331 | 5000 50 2238 | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 84.6161 s Remaining CPU time: 95.3839 s c =============================================================================== c | 50 | 2488 2830 761681 | 5000 50 2238 | 0.000 % | c =============================================================================== c New solution: 12535 c Elapsed CPU time: 85.197 s Remaining CPU time: 94.803 s c =============================================================================== c | 50 | 2488 2831 764031 | 5000 50 2238 | 0.000 % | c =============================================================================== c New solution: 12534 c Elapsed CPU time: 85.791 s Remaining CPU time: 94.209 s c =============================================================================== c | 52 | 2488 2832 766381 | 5000 52 2239 | 0.000 % | c =============================================================================== c New solution: 12533 c Elapsed CPU time: 86.3919 s Remaining CPU time: 93.6081 s c =============================================================================== c | 54 | 2488 2833 768731 | 5000 54 2241 | 0.000 % | c =============================================================================== c New solution: 12532 c Elapsed CPU time: 87.0108 s Remaining CPU time: 92.9892 s c =============================================================================== c | 56 | 2488 2834 771081 | 5000 56 2242 | 0.000 % | c =============================================================================== c New solution: 12531 c Elapsed CPU time: 87.5677 s Remaining CPU time: 92.4323 s c =============================================================================== c | 59 | 2488 2835 773431 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12530 c Elapsed CPU time: 88.1026 s Remaining CPU time: 91.8974 s c =============================================================================== c | 59 | 2488 2836 775781 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12529 c Elapsed CPU time: 88.6615 s Remaining CPU time: 91.3385 s c =============================================================================== c | 59 | 2488 2837 778131 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12528 c Elapsed CPU time: 89.2504 s Remaining CPU time: 90.7496 s c =============================================================================== c | 59 | 2488 2838 780481 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12527 c Elapsed CPU time: 89.8063 s Remaining CPU time: 90.1937 s c =============================================================================== c | 59 | 2488 2839 782831 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12526 c Elapsed CPU time: 90.3713 s Remaining CPU time: 89.6287 s c =============================================================================== c | 59 | 2488 2840 785181 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12525 c Elapsed CPU time: 90.9462 s Remaining CPU time: 89.0538 s c =============================================================================== c | 59 | 2488 2841 787531 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12524 c Elapsed CPU time: 91.5151 s Remaining CPU time: 88.4849 s c =============================================================================== c | 59 | 2488 2842 789881 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 92.091 s Remaining CPU time: 87.909 s c =============================================================================== c | 59 | 2488 2843 792231 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12522 c Elapsed CPU time: 92.6749 s Remaining CPU time: 87.3251 s c =============================================================================== c | 59 | 2488 2844 794581 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12521 c Elapsed CPU time: 93.2198 s Remaining CPU time: 86.7802 s c =============================================================================== c | 59 | 2488 2845 796931 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12520 c Elapsed CPU time: 93.8317 s Remaining CPU time: 86.1683 s c =============================================================================== c | 59 | 2488 2846 799281 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12519 c Elapsed CPU time: 94.3787 s Remaining CPU time: 85.6213 s c =============================================================================== c | 59 | 2488 2847 801631 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12518 c Elapsed CPU time: 94.9536 s Remaining CPU time: 85.0464 s c =============================================================================== c | 59 | 2488 2848 803981 | 5000 59 2243 | 0.000 % | c =============================================================================== c New solution: 12517 c Elapsed CPU time: 95.5675 s Remaining CPU time: 84.4325 s c =============================================================================== c | 61 | 2488 2849 806331 | 5000 61 2244 | 0.000 % | c =============================================================================== c New solution: 12516 c Elapsed CPU time: 96.1704 s Remaining CPU time: 83.8296 s c =============================================================================== c | 61 | 2488 2850 808681 | 5000 61 2244 | 0.000 % | c =============================================================================== c New solution: 12515 c Elapsed CPU time: 96.7683 s Remaining CPU time: 83.2317 s c =============================================================================== c | 62 | 2488 2851 811031 | 5000 62 2245 | 0.000 % | c =============================================================================== c New solution: 12514 c Elapsed CPU time: 97.3442 s Remaining CPU time: 82.6558 s c =============================================================================== c | 64 | 2488 2852 813381 | 5000 64 2245 | 0.000 % | c =============================================================================== c New solution: 12513 c Elapsed CPU time: 97.8941 s Remaining CPU time: 82.1059 s c =============================================================================== c | 64 | 2488 2853 815731 | 5000 64 2245 | 0.000 % | c =============================================================================== c New solution: 12512 c Elapsed CPU time: 98.481 s Remaining CPU time: 81.519 s c =============================================================================== c | 64 | 2488 2854 818081 | 5000 64 2245 | 0.000 % | c =============================================================================== c New solution: 12511 c Elapsed CPU time: 99.0839 s Remaining CPU time: 80.9161 s c =============================================================================== c | 66 | 2488 2855 820431 | 5000 66 2246 | 0.000 % | c =============================================================================== c New solution: 12510 c Elapsed CPU time: 99.6559 s Remaining CPU time: 80.3441 s c =============================================================================== c | 66 | 2488 2856 822781 | 5000 66 2246 | 0.000 % | c =============================================================================== c New solution: 12509 c Elapsed CPU time: 100.224 s Remaining CPU time: 79.7762 s c =============================================================================== c | 66 | 2488 2857 825131 | 5000 66 2246 | 0.000 % | c =============================================================================== c New solution: 12508 c Elapsed CPU time: 100.778 s Remaining CPU time: 79.2223 s c =============================================================================== c | 66 | 2488 2858 827481 | 5000 66 2246 | 0.000 % | c =============================================================================== c New solution: 12507 c Elapsed CPU time: 101.366 s Remaining CPU time: 78.6344 s c =============================================================================== c | 72 | 2488 2859 829831 | 5000 72 2248 | 0.000 % | c =============================================================================== c New solution: 12506 c Elapsed CPU time: 101.957 s Remaining CPU time: 78.0435 s c =============================================================================== c | 72 | 2488 2860 832181 | 5000 72 2248 | 0.000 % | c =============================================================================== c New solution: 12505 c Elapsed CPU time: 102.533 s Remaining CPU time: 77.4666 s c =============================================================================== c | 75 | 2488 2861 834531 | 5000 75 2249 | 0.000 % | c =============================================================================== c New solution: 12504 c Elapsed CPU time: 103.125 s Remaining CPU time: 76.8747 s c =============================================================================== c | 81 | 2488 2862 836881 | 5000 81 2250 | 0.000 % | c =============================================================================== c New solution: 12503 c Elapsed CPU time: 103.809 s Remaining CPU time: 76.1908 s c =============================================================================== c | 83 | 2488 2863 839231 | 5000 83 2250 | 0.000 % | c =============================================================================== c New solution: 12502 c Elapsed CPU time: 104.466 s Remaining CPU time: 75.5339 s c =============================================================================== c | 83 | 2488 2864 841581 | 5000 83 2250 | 0.000 % | c =============================================================================== c New solution: 12501 c Elapsed CPU time: 105.152 s Remaining CPU time: 74.848 s c =============================================================================== c | 83 | 2488 2865 843931 | 5000 83 2250 | 0.000 % | c =============================================================================== c New solution: 12500 c Elapsed CPU time: 105.843 s Remaining CPU time: 74.1571 s c =============================================================================== c | 83 | 2488 2866 846281 | 5000 83 2250 | 0.000 % | c =============================================================================== c New solution: 12499 c Elapsed CPU time: 106.497 s Remaining CPU time: 73.5032 s c =============================================================================== c | 83 | 2488 2867 848631 | 5000 83 2250 | 0.000 % | c =============================================================================== c New solution: 12498 c Elapsed CPU time: 107.177 s Remaining CPU time: 72.8233 s c =============================================================================== c | 84 | 2488 2868 850981 | 5000 84 2250 | 0.000 % | c =============================================================================== c New solution: 12497 c Elapsed CPU time: 107.874 s Remaining CPU time: 72.1264 s c =============================================================================== c | 90 | 2488 2869 853331 | 5000 90 2251 | 0.000 % | c =============================================================================== c New solution: 12496 c Elapsed CPU time: 108.527 s Remaining CPU time: 71.4735 s c =============================================================================== c | 90 | 2488 2870 855681 | 5000 90 2251 | 0.000 % | c =============================================================================== c New solution: 12495 c Elapsed CPU time: 109.24 s Remaining CPU time: 70.7596 s c =============================================================================== c | 96 | 2488 2871 858031 | 5000 96 2252 | 0.000 % | c =============================================================================== c New solution: 12494 c Elapsed CPU time: 109.918 s Remaining CPU time: 70.0817 s c =============================================================================== c | 98 | 2488 2872 860381 | 5000 98 2252 | 0.000 % | c =============================================================================== c New solution: 12493 c Elapsed CPU time: 110.568 s Remaining CPU time: 69.4318 s c =============================================================================== c | 98 | 2488 2873 862731 | 5000 98 2252 | 0.000 % | c =============================================================================== c New solution: 12492 c Elapsed CPU time: 111.196 s Remaining CPU time: 68.8039 s c =============================================================================== c | 100 | 2488 2874 865081 | 5000 100 2253 | 0.000 % | c =============================================================================== c New solution: 12491 c Elapsed CPU time: 111.891 s Remaining CPU time: 68.109 s c =============================================================================== c | 100 | 2488 2875 867431 | 5000 100 2253 | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 112.519 s Remaining CPU time: 67.4811 s c =============================================================================== c | 100 | 2488 2876 869781 | 5000 100 2253 | 0.000 % | c =============================================================================== c New solution: 12489 c Elapsed CPU time: 113.184 s Remaining CPU time: 66.8162 s c =============================================================================== c | 100 | 2488 2877 872131 | 5000 100 2253 | 0.000 % | c =============================================================================== c New solution: 12488 c Elapsed CPU time: 113.867 s Remaining CPU time: 66.1333 s c =============================================================================== c | 102 | 2488 2878 874481 | 5000 102 2253 | 0.000 % | c =============================================================================== c New solution: 12487 c Elapsed CPU time: 114.503 s Remaining CPU time: 65.4974 s c =============================================================================== c | 102 | 2488 2879 876831 | 5000 102 2253 | 0.000 % | c =============================================================================== c New solution: 12486 c Elapsed CPU time: 115.115 s Remaining CPU time: 64.8845 s c =============================================================================== c | 102 | 2488 2880 879181 | 5000 102 2253 | 0.000 % | c =============================================================================== c New solution: 12485 c Elapsed CPU time: 115.805 s Remaining CPU time: 64.1946 s c =============================================================================== c | 108 | 2488 2881 881531 | 5000 108 2254 | 0.000 % | c =============================================================================== c New solution: 12484 c Elapsed CPU time: 116.438 s Remaining CPU time: 63.5617 s c =============================================================================== c | 108 | 2488 2882 883881 | 5000 108 2254 | 0.000 % | c =============================================================================== c New solution: 12483 c Elapsed CPU time: 117.097 s Remaining CPU time: 62.9028 s c =============================================================================== c | 108 | 2488 2883 886231 | 5000 108 2254 | 0.000 % | c =============================================================================== c New solution: 12482 c Elapsed CPU time: 117.75 s Remaining CPU time: 62.2499 s c =============================================================================== c | 110 | 2488 2884 888581 | 5000 110 2254 | 0.000 % | c =============================================================================== c New solution: 12481 c Elapsed CPU time: 118.502 s Remaining CPU time: 61.498 s c =============================================================================== c | 114 | 2488 2885 890931 | 5000 114 2254 | 0.000 % | c =============================================================================== c New solution: 12480 c Elapsed CPU time: 119.168 s Remaining CPU time: 60.8321 s c =============================================================================== c | 114 | 2488 2886 893281 | 5000 114 2254 | 0.000 % | c =============================================================================== c New solution: 12479 c Elapsed CPU time: 119.863 s Remaining CPU time: 60.1372 s c =============================================================================== c | 115 | 2488 2887 895631 | 5000 115 2254 | 0.000 % | c =============================================================================== c New solution: 12478 c Elapsed CPU time: 120.541 s Remaining CPU time: 59.4593 s c =============================================================================== c | 117 | 2488 2888 897981 | 5000 117 2254 | 0.000 % | c =============================================================================== c New solution: 12477 c Elapsed CPU time: 121.185 s Remaining CPU time: 58.8154 s c =============================================================================== c | 119 | 2488 2889 900331 | 5000 119 2254 | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 121.924 s Remaining CPU time: 58.0755 s c =============================================================================== c | 136 | 2488 2890 902681 | 5000 136 2255 | 0.000 % | c =============================================================================== c New solution: 12475 c Elapsed CPU time: 122.621 s Remaining CPU time: 57.3786 s c =============================================================================== c | 138 | 2488 2891 905031 | 5000 138 2255 | 0.000 % | c =============================================================================== c New solution: 12474 c Elapsed CPU time: 123.318 s Remaining CPU time: 56.6817 s c =============================================================================== c | 141 | 2488 2892 907381 | 5000 141 2256 | 0.000 % | c =============================================================================== c New solution: 12473 c Elapsed CPU time: 124.111 s Remaining CPU time: 55.8889 s c =============================================================================== c | 168 | 2488 2893 909731 | 5000 168 2256 | 0.000 % | c =============================================================================== c New solution: 12472 c Elapsed CPU time: 124.806 s Remaining CPU time: 55.194 s c =============================================================================== c | 175 | 2488 2894 912081 | 5000 175 2256 | 0.000 % | c =============================================================================== c New solution: 12471 c Elapsed CPU time: 125.488 s Remaining CPU time: 54.5121 s c =============================================================================== c | 177 | 2488 2895 914431 | 5000 177 2256 | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 126.164 s Remaining CPU time: 53.8362 s c =============================================================================== c | 178 | 2488 2896 916781 | 5000 178 2256 | 0.000 % | c =============================================================================== c New solution: 12469 c Elapsed CPU time: 126.979 s Remaining CPU time: 53.0213 s c =============================================================================== c | 183 | 2488 2897 919131 | 5000 183 2257 | 0.000 % | c =============================================================================== c New solution: 12468 c Elapsed CPU time: 127.661 s Remaining CPU time: 52.3394 s c =============================================================================== c | 184 | 2488 2898 921481 | 5000 184 2257 | 0.000 % | c =============================================================================== c New solution: 12467 c Elapsed CPU time: 128.319 s Remaining CPU time: 51.6805 s c =============================================================================== c | 184 | 2488 2899 923831 | 5000 184 2257 | 0.000 % | c =============================================================================== c New solution: 12466 c Elapsed CPU time: 128.985 s Remaining CPU time: 51.0146 s c =============================================================================== c | 184 | 2488 2900 926181 | 5000 184 2257 | 0.000 % | c =============================================================================== c New solution: 12465 c Elapsed CPU time: 129.67 s Remaining CPU time: 50.3297 s c =============================================================================== c | 184 | 2488 2901 928531 | 5000 184 2257 | 0.000 % | c =============================================================================== c New solution: 12464 c Elapsed CPU time: 130.344 s Remaining CPU time: 49.6558 s c =============================================================================== c | 184 | 2488 2902 930881 | 5000 184 2257 | 0.000 % | c =============================================================================== c New solution: 12463 c Elapsed CPU time: 131.112 s Remaining CPU time: 48.8879 s c =============================================================================== c | 207 | 2488 2903 933231 | 5000 207 2257 | 0.000 % | c =============================================================================== c New solution: 12462 c Elapsed CPU time: 131.777 s Remaining CPU time: 48.223 s c =============================================================================== c | 207 | 2488 2904 935581 | 5000 207 2257 | 0.000 % | c =============================================================================== c New solution: 12461 c Elapsed CPU time: 132.613 s Remaining CPU time: 47.3872 s c =============================================================================== c | 219 | 2488 2905 937931 | 5000 219 2257 | 0.000 % | c =============================================================================== c New solution: 12460 c Elapsed CPU time: 133.239 s Remaining CPU time: 46.7613 s c =============================================================================== c | 219 | 2488 2906 940281 | 5000 219 2257 | 0.000 % | c =============================================================================== c New solution: 12459 c Elapsed CPU time: 134.027 s Remaining CPU time: 45.9734 s c =============================================================================== c | 225 | 2488 2907 942631 | 5000 225 2257 | 0.000 % | c =============================================================================== c New solution: 12458 c Elapsed CPU time: 134.789 s Remaining CPU time: 45.2115 s c =============================================================================== c | 230 | 2488 2908 944981 | 5000 230 2257 | 0.000 % | c =============================================================================== c New solution: 12457 c Elapsed CPU time: 135.561 s Remaining CPU time: 44.4386 s c =============================================================================== c | 235 | 2488 2909 947331 | 5000 235 2257 | 0.000 % | c =============================================================================== c New solution: 12456 c Elapsed CPU time: 136.258 s Remaining CPU time: 43.7417 s c =============================================================================== c | 236 | 2488 2910 949681 | 5000 236 2257 | 0.000 % | c =============================================================================== c New solution: 12455 c Elapsed CPU time: 136.967 s Remaining CPU time: 43.0328 s c =============================================================================== c | 237 | 2488 2911 952031 | 5000 237 2257 | 0.000 % | c =============================================================================== c New solution: 12454 c Elapsed CPU time: 137.665 s Remaining CPU time: 42.3349 s c =============================================================================== c | 237 | 2488 2912 954381 | 5000 237 2257 | 0.000 % | c =============================================================================== c New solution: 12453 c Elapsed CPU time: 138.366 s Remaining CPU time: 41.634 s c =============================================================================== c | 238 | 2488 2913 956731 | 5000 238 2257 | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 139.185 s Remaining CPU time: 40.8152 s c =============================================================================== c | 241 | 2488 2914 959081 | 5000 241 2257 | 0.000 % | c =============================================================================== c New solution: 12451 c Elapsed CPU time: 139.936 s Remaining CPU time: 40.0643 s c =============================================================================== c | 243 | 2488 2915 961431 | 5000 243 2257 | 0.000 % | c =============================================================================== c New solution: 12450 c Elapsed CPU time: 140.58 s Remaining CPU time: 39.4204 s c =============================================================================== c | 244 | 2488 2916 963781 | 5000 244 2257 | 0.000 % | c =============================================================================== c New solution: 12449 c Elapsed CPU time: 141.234 s Remaining CPU time: 38.7665 s c =============================================================================== c | 244 | 2488 2917 966131 | 5000 244 2257 | 0.000 % | c =============================================================================== c New solution: 12448 c Elapsed CPU time: 141.948 s Remaining CPU time: 38.0516 s c =============================================================================== c | 249 | 2488 2918 968481 | 5000 249 2257 | 0.000 % | c =============================================================================== c New solution: 12447 c Elapsed CPU time: 142.638 s Remaining CPU time: 37.3617 s c =============================================================================== c | 249 | 2488 2919 970831 | 5000 249 2257 | 0.000 % | c =============================================================================== c New solution: 12446 c Elapsed CPU time: 143.383 s Remaining CPU time: 36.6168 s c =============================================================================== c | 252 | 2488 2920 973181 | 5000 252 2248 | 0.000 % | c =============================================================================== c New solution: 12445 c Elapsed CPU time: 144.082 s Remaining CPU time: 35.9179 s c =============================================================================== c | 252 | 2488 2921 975531 | 5000 252 2248 | 0.000 % | c =============================================================================== c New solution: 12444 c Elapsed CPU time: 144.772 s Remaining CPU time: 35.228 s c =============================================================================== c | 252 | 2488 2922 977881 | 5000 252 2248 | 0.000 % | c =============================================================================== c New solution: 12443 c Elapsed CPU time: 145.462 s Remaining CPU time: 34.5381 s c =============================================================================== c | 252 | 2488 2923 980231 | 5000 252 2248 | 0.000 % | c =============================================================================== c New solution: 12442 c Elapsed CPU time: 146.355 s Remaining CPU time: 33.6453 s c =============================================================================== c | 265 | 2488 2924 982581 | 5000 265 2248 | 0.000 % | c =============================================================================== c New solution: 12441 c Elapsed CPU time: 147.087 s Remaining CPU time: 32.9134 s c =============================================================================== c | 267 | 2488 2925 984931 | 5000 267 2248 | 0.000 % | c =============================================================================== c New solution: 12440 c Elapsed CPU time: 147.943 s Remaining CPU time: 32.0575 s c =============================================================================== c | 272 | 2488 2926 987281 | 5000 272 2248 | 0.000 % | c =============================================================================== c New solution: 12439 c Elapsed CPU time: 148.69 s Remaining CPU time: 31.3096 s c =============================================================================== c | 274 | 2488 2927 989631 | 5000 274 2248 | 0.000 % | c =============================================================================== c New solution: 12438 c Elapsed CPU time: 149.602 s Remaining CPU time: 30.3977 s c =============================================================================== c | 280 | 2488 2928 991981 | 5000 280 2249 | 0.000 % | c =============================================================================== c New solution: 12437 c Elapsed CPU time: 150.763 s Remaining CPU time: 29.2369 s c =============================================================================== c | 290 | 2488 2929 994331 | 5000 290 2249 | 0.000 % | c =============================================================================== c New solution: 12436 c Elapsed CPU time: 151.676 s Remaining CPU time: 28.3241 s c =============================================================================== c | 294 | 2488 2930 996681 | 5000 294 2249 | 0.000 % | c =============================================================================== c New solution: 12435 c Elapsed CPU time: 152.437 s Remaining CPU time: 27.5632 s c =============================================================================== c | 294 | 2488 2931 999031 | 5000 294 2249 | 0.000 % | c =============================================================================== c New solution: 12434 c Elapsed CPU time: 153.185 s Remaining CPU time: 26.8153 s c =============================================================================== c | 295 | 2488 2932 1001381 | 5000 295 2249 | 0.000 % | c =============================================================================== c New solution: 12433 c Elapsed CPU time: 153.896 s Remaining CPU time: 26.1044 s c =============================================================================== c | 295 | 2488 2933 1003731 | 5000 295 2249 | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 154.612 s Remaining CPU time: 25.3875 s c =============================================================================== c | 296 | 2488 2934 1006081 | 5000 296 2249 | 0.000 % | c =============================================================================== c New solution: 12431 c Elapsed CPU time: 155.656 s Remaining CPU time: 24.3437 s c =============================================================================== c | 304 | 2488 2935 1008431 | 5000 304 2249 | 0.000 % | c =============================================================================== c New solution: 12430 c Elapsed CPU time: 156.489 s Remaining CPU time: 23.5108 s c =============================================================================== c | 304 | 2488 2936 1010781 | 5000 304 2249 | 0.000 % | c =============================================================================== c New solution: 12429 c Elapsed CPU time: 157.23 s Remaining CPU time: 22.7699 s c =============================================================================== c | 304 | 2488 2937 1013131 | 5000 304 2249 | 0.000 % | c =============================================================================== c New solution: 12428 c Elapsed CPU time: 157.971 s Remaining CPU time: 22.029 s c =============================================================================== c | 304 | 2488 2938 1015481 | 5000 304 2249 | 0.000 % | c =============================================================================== c New solution: 12427 c Elapsed CPU time: 158.734 s Remaining CPU time: 21.2661 s c =============================================================================== c | 306 | 2488 2939 1017831 | 5000 306 2249 | 0.000 % | c =============================================================================== c New solution: 12426 c Elapsed CPU time: 159.721 s Remaining CPU time: 20.2793 s c =============================================================================== c | 321 | 2488 2940 1020181 | 5000 321 2249 | 0.000 % | c =============================================================================== c New solution: 12425 c Elapsed CPU time: 160.531 s Remaining CPU time: 19.4694 s c =============================================================================== c | 323 | 2488 2941 1022531 | 5000 323 2249 | 0.000 % | c =============================================================================== c New solution: 12424 c Elapsed CPU time: 161.32 s Remaining CPU time: 18.6795 s c =============================================================================== c | 323 | 2488 2942 1024881 | 5000 323 2249 | 0.000 % | c =============================================================================== c New solution: 12423 c Elapsed CPU time: 162.11 s Remaining CPU time: 17.8896 s c =============================================================================== c | 323 | 2488 2943 1027231 | 5000 323 2249 | 0.000 % | c =============================================================================== c New solution: 12422 c Elapsed CPU time: 162.876 s Remaining CPU time: 17.1238 s c =============================================================================== c | 324 | 2488 2944 1029581 | 5000 324 2249 | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 163.661 s Remaining CPU time: 16.3389 s c =============================================================================== c | 326 | 2488 2945 1031931 | 5000 326 2249 | 0.000 % | c =============================================================================== c New solution: 12420 c Elapsed CPU time: 164.533 s Remaining CPU time: 15.467 s c =============================================================================== c | 330 | 2488 2946 1034281 | 5000 330 2249 | 0.000 % | c =============================================================================== c New solution: 12419 c Elapsed CPU time: 165.312 s Remaining CPU time: 14.6881 s c =============================================================================== c | 330 | 2488 2947 1036631 | 5000 330 2249 | 0.000 % | c =============================================================================== c New solution: 12418 c Elapsed CPU time: 166.203 s Remaining CPU time: 13.7973 s c =============================================================================== c | 334 | 2488 2948 1038981 | 5000 334 2249 | 0.000 % | c =============================================================================== c New solution: 12417 c Elapsed CPU time: 166.962 s Remaining CPU time: 13.0384 s c =============================================================================== c | 335 | 2488 2949 1041331 | 5000 335 2249 | 0.000 % | c =============================================================================== c New solution: 12416 c Elapsed CPU time: 167.731 s Remaining CPU time: 12.2695 s c =============================================================================== c | 338 | 2488 2950 1043681 | 5000 338 2249 | 0.000 % | c =============================================================================== c New solution: 12415 c Elapsed CPU time: 168.549 s Remaining CPU time: 11.4506 s c =============================================================================== c | 340 | 2488 2951 1046031 | 5000 340 2249 | 0.000 % | c =============================================================================== c New solution: 12414 c Elapsed CPU time: 169.32 s Remaining CPU time: 10.6797 s c =============================================================================== c | 342 | 2488 2952 1048381 | 5000 342 2249 | 0.000 % | c =============================================================================== c New solution: 12413 c Elapsed CPU time: 170.088 s Remaining CPU time: 9.91186 s c =============================================================================== c | 345 | 2488 2953 1050731 | 5000 345 2249 | 0.000 % | c =============================================================================== c New solution: 12412 c Elapsed CPU time: 170.851 s Remaining CPU time: 9.14897 s c =============================================================================== c | 345 | 2488 2954 1053081 | 5000 345 2249 | 0.000 % | c =============================================================================== c New solution: 12411 c Elapsed CPU time: 171.665 s Remaining CPU time: 8.3351 s c =============================================================================== c | 347 | 2488 2955 1055431 | 5000 347 2249 | 0.000 % | c =============================================================================== c New solution: 12410 c Elapsed CPU time: 173.196 s Remaining CPU time: 6.80433 s c =============================================================================== c | 392 | 2488 2956 1057781 | 5000 392 2243 | 0.000 % | c =============================================================================== c New solution: 12409 c Elapsed CPU time: 174.11 s Remaining CPU time: 5.89047 s c =============================================================================== c | 408 | 2488 2957 1060131 | 5000 408 2243 | 0.000 % | c =============================================================================== c New solution: 12408 c Elapsed CPU time: 175.087 s Remaining CPU time: 4.91262 s c =============================================================================== c | 424 | 2488 2958 1062481 | 5000 424 2244 | 0.000 % | c =============================================================================== c New solution: 12407 c Elapsed CPU time: 175.886 s Remaining CPU time: 4.11374 s c =============================================================================== c | 425 | 2488 2959 1064831 | 5000 425 2244 | 0.000 % | c =============================================================================== c New solution: 12406 c Elapsed CPU time: 176.628 s Remaining CPU time: 3.37185 s c =============================================================================== c | 425 | 2488 2960 1067181 | 5000 425 2244 | 0.000 % | c =============================================================================== c New solution: 12405 c Elapsed CPU time: 177.364 s Remaining CPU time: 2.63596 s c =============================================================================== c | 425 | 2488 2961 1069531 | 5000 425 2244 | 0.000 % | c =============================================================================== c New solution: 12404 c Elapsed CPU time: 178.254 s Remaining CPU time: 1.7461 s c =============================================================================== c | 428 | 2488 2962 1071881 | 5000 428 2244 | 0.000 % | c =============================================================================== c New solution: 12403 c Elapsed CPU time: 179.625 s Remaining CPU time: 0.375308 s c =============================================================================== c | 461 | 2488 2963 1074231 | 5000 461 2244 | 0.000 % | c There are 12 assigned variables. 0 in cost function.