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 | 2485 2502 7346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13055 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 2485 2503 9696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13053 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 2485 2504 12046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13048 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 2485 2505 14396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13046 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 2485 2506 16746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13043 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 2485 2507 19096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13041 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 2485 2508 21446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13039 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 0 | 2485 2509 23796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13038 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 2485 2510 26146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13036 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 2485 2511 28496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13034 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 2485 2512 30846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13033 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 2485 2513 33196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13031 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 2485 2514 35546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13029 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 0 | 2485 2515 37896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13028 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 0 | 2485 2516 40246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13027 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 2485 2517 42596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13026 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 0 | 2485 2518 44946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13025 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 0 | 2485 2519 47296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13024 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 0 | 2485 2520 49646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13023 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 0 | 2485 2521 51996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13022 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 0 | 2485 2522 54346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13021 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 0 | 2485 2523 56696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13020 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 0 | 2485 2524 59046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13019 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 0 | 2485 2525 61396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13018 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 0 | 2485 2526 63746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13017 c Elapsed CPU time: 0.704892 s Remaining CPU time: 179.295 s c =============================================================================== c | 0 | 2485 2527 66096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13016 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 2485 2528 68446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13015 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 0 | 2485 2529 70796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13013 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 0 | 2485 2530 73146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13012 c Elapsed CPU time: 0.862868 s Remaining CPU time: 179.137 s c =============================================================================== c | 0 | 2485 2531 75496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13008 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 0 | 2485 2532 77846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13006 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 0 | 2485 2533 80196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13005 c Elapsed CPU time: 0.987849 s Remaining CPU time: 179.012 s c =============================================================================== c | 0 | 2485 2534 82546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13001 c Elapsed CPU time: 1.03284 s Remaining CPU time: 178.967 s c =============================================================================== c | 0 | 2485 2535 84896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13000 c Elapsed CPU time: 1.07984 s Remaining CPU time: 178.92 s c =============================================================================== c | 0 | 2485 2536 87246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12999 c Elapsed CPU time: 1.12583 s Remaining CPU time: 178.874 s c =============================================================================== c | 0 | 2485 2537 89596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12997 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 0 | 2485 2538 91946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12996 c Elapsed CPU time: 1.22481 s Remaining CPU time: 178.775 s c =============================================================================== c | 0 | 2485 2539 94296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12993 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 0 | 2485 2540 96646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12989 c Elapsed CPU time: 1.3298 s Remaining CPU time: 178.67 s c =============================================================================== c | 0 | 2485 2541 98996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12988 c Elapsed CPU time: 1.38879 s Remaining CPU time: 178.611 s c =============================================================================== c | 0 | 2485 2542 101346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12987 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 0 | 2485 2543 103696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12986 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 0 | 2485 2544 106046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12984 c Elapsed CPU time: 1.57476 s Remaining CPU time: 178.425 s c =============================================================================== c | 0 | 2485 2545 108396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12981 c Elapsed CPU time: 1.63775 s Remaining CPU time: 178.362 s c =============================================================================== c | 0 | 2485 2546 110746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12975 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 0 | 2485 2547 113096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12974 c Elapsed CPU time: 1.76673 s Remaining CPU time: 178.233 s c =============================================================================== c | 0 | 2485 2548 115446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12972 c Elapsed CPU time: 1.83372 s Remaining CPU time: 178.166 s c =============================================================================== c | 0 | 2485 2549 117796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12971 c Elapsed CPU time: 1.90071 s Remaining CPU time: 178.099 s c =============================================================================== c | 0 | 2485 2550 120146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12969 c Elapsed CPU time: 1.9707 s Remaining CPU time: 178.029 s c =============================================================================== c | 0 | 2485 2551 122496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12968 c Elapsed CPU time: 2.04569 s Remaining CPU time: 177.954 s c =============================================================================== c | 0 | 2485 2552 124846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12965 c Elapsed CPU time: 2.11868 s Remaining CPU time: 177.881 s c =============================================================================== c | 0 | 2485 2553 127196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12964 c Elapsed CPU time: 2.19367 s Remaining CPU time: 177.806 s c =============================================================================== c | 0 | 2485 2554 129546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12961 c Elapsed CPU time: 2.26865 s Remaining CPU time: 177.731 s c =============================================================================== c | 0 | 2485 2555 131896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12960 c Elapsed CPU time: 2.34964 s Remaining CPU time: 177.65 s c =============================================================================== c | 0 | 2485 2556 134246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12957 c Elapsed CPU time: 2.42663 s Remaining CPU time: 177.573 s c =============================================================================== c | 0 | 2485 2557 136596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12955 c Elapsed CPU time: 2.50962 s Remaining CPU time: 177.49 s c =============================================================================== c | 0 | 2485 2558 138946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12954 c Elapsed CPU time: 2.59661 s Remaining CPU time: 177.403 s c =============================================================================== c | 0 | 2485 2559 141296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12951 c Elapsed CPU time: 2.68559 s Remaining CPU time: 177.314 s c =============================================================================== c | 0 | 2485 2560 143646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12949 c Elapsed CPU time: 2.77458 s Remaining CPU time: 177.225 s c =============================================================================== c | 0 | 2485 2561 145996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12948 c Elapsed CPU time: 2.86756 s Remaining CPU time: 177.132 s c =============================================================================== c | 0 | 2485 2562 148346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12947 c Elapsed CPU time: 2.95855 s Remaining CPU time: 177.041 s c =============================================================================== c | 0 | 2485 2563 150696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12946 c Elapsed CPU time: 3.05154 s Remaining CPU time: 176.948 s c =============================================================================== c | 0 | 2485 2564 153046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12945 c Elapsed CPU time: 3.14752 s Remaining CPU time: 176.852 s c =============================================================================== c | 0 | 2485 2565 155396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12944 c Elapsed CPU time: 3.24051 s Remaining CPU time: 176.759 s c =============================================================================== c | 0 | 2485 2566 157746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12942 c Elapsed CPU time: 3.33549 s Remaining CPU time: 176.665 s c =============================================================================== c | 0 | 2485 2567 160096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12941 c Elapsed CPU time: 3.43448 s Remaining CPU time: 176.566 s c =============================================================================== c | 0 | 2485 2568 162446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12940 c Elapsed CPU time: 3.53546 s Remaining CPU time: 176.465 s c =============================================================================== c | 0 | 2485 2569 164796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12939 c Elapsed CPU time: 3.63645 s Remaining CPU time: 176.364 s c =============================================================================== c | 0 | 2485 2570 167146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12938 c Elapsed CPU time: 3.73643 s Remaining CPU time: 176.264 s c =============================================================================== c | 0 | 2485 2571 169496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12936 c Elapsed CPU time: 3.84342 s Remaining CPU time: 176.157 s c =============================================================================== c | 0 | 2485 2572 171846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12933 c Elapsed CPU time: 3.9494 s Remaining CPU time: 176.051 s c =============================================================================== c | 0 | 2485 2573 174196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12932 c Elapsed CPU time: 4.05338 s Remaining CPU time: 175.947 s c =============================================================================== c | 0 | 2485 2574 176546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12930 c Elapsed CPU time: 4.16137 s Remaining CPU time: 175.839 s c =============================================================================== c | 0 | 2485 2575 178896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12928 c Elapsed CPU time: 4.27135 s Remaining CPU time: 175.729 s c =============================================================================== c | 0 | 2485 2576 181246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12927 c Elapsed CPU time: 4.38233 s Remaining CPU time: 175.618 s c =============================================================================== c | 0 | 2485 2577 183596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12926 c Elapsed CPU time: 4.49632 s Remaining CPU time: 175.504 s c =============================================================================== c | 0 | 2485 2578 185946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12923 c Elapsed CPU time: 4.6093 s Remaining CPU time: 175.391 s c =============================================================================== c | 0 | 2485 2579 188296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12920 c Elapsed CPU time: 4.72428 s Remaining CPU time: 175.276 s c =============================================================================== c | 0 | 2485 2580 190646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12917 c Elapsed CPU time: 4.84126 s Remaining CPU time: 175.159 s c =============================================================================== c | 0 | 2485 2581 192996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12914 c Elapsed CPU time: 4.96324 s Remaining CPU time: 175.037 s c =============================================================================== c | 0 | 2485 2582 195346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12913 c Elapsed CPU time: 5.08723 s Remaining CPU time: 174.913 s c =============================================================================== c | 0 | 2485 2583 197696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12910 c Elapsed CPU time: 5.21121 s Remaining CPU time: 174.789 s c =============================================================================== c | 0 | 2485 2584 200046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12909 c Elapsed CPU time: 5.34019 s Remaining CPU time: 174.66 s c =============================================================================== c | 0 | 2485 2585 202396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12905 c Elapsed CPU time: 5.46917 s Remaining CPU time: 174.531 s c =============================================================================== c | 0 | 2485 2586 204746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12904 c Elapsed CPU time: 5.60115 s Remaining CPU time: 174.399 s c =============================================================================== c | 0 | 2485 2587 207096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12903 c Elapsed CPU time: 5.73713 s Remaining CPU time: 174.263 s c =============================================================================== c | 0 | 2485 2588 209446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12902 c Elapsed CPU time: 5.87711 s Remaining CPU time: 174.123 s c =============================================================================== c | 0 | 2485 2589 211796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12901 c Elapsed CPU time: 6.02208 s Remaining CPU time: 173.978 s c =============================================================================== c | 0 | 2485 2590 214146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12900 c Elapsed CPU time: 6.17006 s Remaining CPU time: 173.83 s c =============================================================================== c | 0 | 2485 2591 216496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12898 c Elapsed CPU time: 6.32004 s Remaining CPU time: 173.68 s c =============================================================================== c | 0 | 2485 2592 218846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12897 c Elapsed CPU time: 6.46902 s Remaining CPU time: 173.531 s c =============================================================================== c | 0 | 2485 2593 221196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12896 c Elapsed CPU time: 6.61799 s Remaining CPU time: 173.382 s c =============================================================================== c | 0 | 2485 2594 223546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12895 c Elapsed CPU time: 6.77097 s Remaining CPU time: 173.229 s c =============================================================================== c | 0 | 2485 2595 225896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12894 c Elapsed CPU time: 6.92595 s Remaining CPU time: 173.074 s c =============================================================================== c | 0 | 2485 2596 228246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12893 c Elapsed CPU time: 7.07992 s Remaining CPU time: 172.92 s c =============================================================================== c | 0 | 2485 2597 230596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12891 c Elapsed CPU time: 7.2329 s Remaining CPU time: 172.767 s c =============================================================================== c | 0 | 2485 2598 232946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12888 c Elapsed CPU time: 7.38688 s Remaining CPU time: 172.613 s c =============================================================================== c | 0 | 2485 2599 235296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12884 c Elapsed CPU time: 7.53985 s Remaining CPU time: 172.46 s c =============================================================================== c | 0 | 2485 2600 237646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12883 c Elapsed CPU time: 7.69483 s Remaining CPU time: 172.305 s c =============================================================================== c | 0 | 2485 2601 239996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12882 c Elapsed CPU time: 7.84981 s Remaining CPU time: 172.15 s c =============================================================================== c | 0 | 2485 2602 242346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12881 c Elapsed CPU time: 8.01178 s Remaining CPU time: 171.988 s c =============================================================================== c | 0 | 2485 2603 244696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12878 c Elapsed CPU time: 8.17676 s Remaining CPU time: 171.823 s c =============================================================================== c | 0 | 2485 2604 247046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12877 c Elapsed CPU time: 8.33773 s Remaining CPU time: 171.662 s c =============================================================================== c | 0 | 2485 2605 249396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12874 c Elapsed CPU time: 8.49871 s Remaining CPU time: 171.501 s c =============================================================================== c | 0 | 2485 2606 251746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12873 c Elapsed CPU time: 8.66668 s Remaining CPU time: 171.333 s c =============================================================================== c | 0 | 2485 2607 254096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12871 c Elapsed CPU time: 8.83666 s Remaining CPU time: 171.163 s c =============================================================================== c | 0 | 2485 2608 256446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12869 c Elapsed CPU time: 9.00263 s Remaining CPU time: 170.997 s c =============================================================================== c | 0 | 2485 2609 258796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12868 c Elapsed CPU time: 9.16761 s Remaining CPU time: 170.832 s c =============================================================================== c | 0 | 2485 2610 261146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12867 c Elapsed CPU time: 9.34358 s Remaining CPU time: 170.656 s c =============================================================================== c | 0 | 2485 2611 263496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12866 c Elapsed CPU time: 9.51855 s Remaining CPU time: 170.481 s c =============================================================================== c | 0 | 2485 2612 265846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12862 c Elapsed CPU time: 9.69453 s Remaining CPU time: 170.305 s c =============================================================================== c | 0 | 2485 2613 268196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12860 c Elapsed CPU time: 9.8715 s Remaining CPU time: 170.129 s c =============================================================================== c | 0 | 2485 2614 270546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12859 c Elapsed CPU time: 10.0535 s Remaining CPU time: 169.947 s c =============================================================================== c | 0 | 2485 2615 272896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12858 c Elapsed CPU time: 10.2374 s Remaining CPU time: 169.763 s c =============================================================================== c | 0 | 2485 2616 275246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12854 c Elapsed CPU time: 10.4224 s Remaining CPU time: 169.578 s c =============================================================================== c | 0 | 2485 2617 277596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12853 c Elapsed CPU time: 10.6094 s Remaining CPU time: 169.391 s c =============================================================================== c | 0 | 2485 2618 279946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12851 c Elapsed CPU time: 10.7964 s Remaining CPU time: 169.204 s c =============================================================================== c | 0 | 2485 2619 282296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12850 c Elapsed CPU time: 10.9863 s Remaining CPU time: 169.014 s c =============================================================================== c | 0 | 2485 2620 284646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12847 c Elapsed CPU time: 11.1783 s Remaining CPU time: 168.822 s c =============================================================================== c | 0 | 2485 2621 286996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12846 c Elapsed CPU time: 11.3683 s Remaining CPU time: 168.632 s c =============================================================================== c | 0 | 2485 2622 289346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12845 c Elapsed CPU time: 11.5752 s Remaining CPU time: 168.425 s c =============================================================================== c | 0 | 2485 2623 291696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12844 c Elapsed CPU time: 11.7782 s Remaining CPU time: 168.222 s c =============================================================================== c | 0 | 2485 2624 294046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12843 c Elapsed CPU time: 11.9792 s Remaining CPU time: 168.021 s c =============================================================================== c | 0 | 2485 2625 296396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12842 c Elapsed CPU time: 12.1821 s Remaining CPU time: 167.818 s c =============================================================================== c | 0 | 2485 2626 298746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12839 c Elapsed CPU time: 12.3861 s Remaining CPU time: 167.614 s c =============================================================================== c | 0 | 2485 2627 301096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12838 c Elapsed CPU time: 12.5931 s Remaining CPU time: 167.407 s c =============================================================================== c | 0 | 2485 2628 303446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12837 c Elapsed CPU time: 12.8001 s Remaining CPU time: 167.2 s c =============================================================================== c | 0 | 2485 2629 305796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12836 c Elapsed CPU time: 13.008 s Remaining CPU time: 166.992 s c =============================================================================== c | 0 | 2485 2630 308146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12835 c Elapsed CPU time: 13.219 s Remaining CPU time: 166.781 s c =============================================================================== c | 0 | 2485 2631 310496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12833 c Elapsed CPU time: 13.43 s Remaining CPU time: 166.57 s c =============================================================================== c | 0 | 2485 2632 312846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12832 c Elapsed CPU time: 13.6489 s Remaining CPU time: 166.351 s c =============================================================================== c | 0 | 2485 2633 315196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12831 c Elapsed CPU time: 13.8709 s Remaining CPU time: 166.129 s c =============================================================================== c | 0 | 2485 2634 317546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12830 c Elapsed CPU time: 14.0889 s Remaining CPU time: 165.911 s c =============================================================================== c | 0 | 2485 2635 319896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12829 c Elapsed CPU time: 14.3088 s Remaining CPU time: 165.691 s c =============================================================================== c | 0 | 2485 2636 322246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12828 c Elapsed CPU time: 14.5408 s Remaining CPU time: 165.459 s c =============================================================================== c | 0 | 2485 2637 324596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12827 c Elapsed CPU time: 14.7568 s Remaining CPU time: 165.243 s c =============================================================================== c | 0 | 2485 2638 326946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12826 c Elapsed CPU time: 14.9757 s Remaining CPU time: 165.024 s c =============================================================================== c | 0 | 2485 2639 329296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12824 c Elapsed CPU time: 15.2007 s Remaining CPU time: 164.799 s c =============================================================================== c | 0 | 2485 2640 331646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12823 c Elapsed CPU time: 15.4217 s Remaining CPU time: 164.578 s c =============================================================================== c | 0 | 2485 2641 333996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12820 c Elapsed CPU time: 15.6416 s Remaining CPU time: 164.358 s c =============================================================================== c | 0 | 2485 2642 336346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12819 c Elapsed CPU time: 15.8656 s Remaining CPU time: 164.134 s c =============================================================================== c | 0 | 2485 2643 338696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12817 c Elapsed CPU time: 16.0876 s Remaining CPU time: 163.912 s c =============================================================================== c | 0 | 2485 2644 341046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12816 c Elapsed CPU time: 16.3145 s Remaining CPU time: 163.685 s c =============================================================================== c | 0 | 2485 2645 343396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12813 c Elapsed CPU time: 16.5385 s Remaining CPU time: 163.462 s c =============================================================================== c | 0 | 2485 2646 345746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12811 c Elapsed CPU time: 16.7844 s Remaining CPU time: 163.216 s c =============================================================================== c | 0 | 2485 2647 348096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12810 c Elapsed CPU time: 17.0374 s Remaining CPU time: 162.963 s c =============================================================================== c | 0 | 2485 2648 350446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12808 c Elapsed CPU time: 17.2974 s Remaining CPU time: 162.703 s c =============================================================================== c | 0 | 2485 2649 352796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12807 c Elapsed CPU time: 17.5643 s Remaining CPU time: 162.436 s c =============================================================================== c | 0 | 2485 2650 355146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12806 c Elapsed CPU time: 17.8373 s Remaining CPU time: 162.163 s c =============================================================================== c | 0 | 2485 2651 357496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12805 c Elapsed CPU time: 18.1042 s Remaining CPU time: 161.896 s c =============================================================================== c | 0 | 2485 2652 359846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12804 c Elapsed CPU time: 18.3702 s Remaining CPU time: 161.63 s c =============================================================================== c | 0 | 2485 2653 362196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12803 c Elapsed CPU time: 18.6362 s Remaining CPU time: 161.364 s c =============================================================================== c | 0 | 2485 2654 364546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12801 c Elapsed CPU time: 18.8991 s Remaining CPU time: 161.101 s c =============================================================================== c | 0 | 2485 2655 366896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12799 c Elapsed CPU time: 19.1661 s Remaining CPU time: 160.834 s c =============================================================================== c | 0 | 2485 2656 369246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12798 c Elapsed CPU time: 19.438 s Remaining CPU time: 160.562 s c =============================================================================== c | 0 | 2485 2657 371596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12797 c Elapsed CPU time: 19.713 s Remaining CPU time: 160.287 s c =============================================================================== c | 0 | 2485 2658 373946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12794 c Elapsed CPU time: 19.987 s Remaining CPU time: 160.013 s c =============================================================================== c | 0 | 2485 2659 376296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12793 c Elapsed CPU time: 20.2589 s Remaining CPU time: 159.741 s c =============================================================================== c | 0 | 2485 2660 378646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12790 c Elapsed CPU time: 20.5309 s Remaining CPU time: 159.469 s c =============================================================================== c | 0 | 2485 2661 380996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12789 c Elapsed CPU time: 20.8128 s Remaining CPU time: 159.187 s c =============================================================================== c | 0 | 2485 2662 383346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12788 c Elapsed CPU time: 21.0818 s Remaining CPU time: 158.918 s c =============================================================================== c | 0 | 2485 2663 385696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12785 c Elapsed CPU time: 21.3528 s Remaining CPU time: 158.647 s c =============================================================================== c | 0 | 2485 2664 388046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12782 c Elapsed CPU time: 21.6247 s Remaining CPU time: 158.375 s c =============================================================================== c | 0 | 2485 2665 390396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12780 c Elapsed CPU time: 21.8987 s Remaining CPU time: 158.101 s c =============================================================================== c | 0 | 2485 2666 392746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12776 c Elapsed CPU time: 22.1716 s Remaining CPU time: 157.828 s c =============================================================================== c | 0 | 2485 2667 395096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12774 c Elapsed CPU time: 22.4446 s Remaining CPU time: 157.555 s c =============================================================================== c | 0 | 2485 2668 397446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12773 c Elapsed CPU time: 22.7205 s Remaining CPU time: 157.279 s c =============================================================================== c | 0 | 2485 2669 399796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12771 c Elapsed CPU time: 22.9925 s Remaining CPU time: 157.007 s c =============================================================================== c | 0 | 2485 2670 402146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12770 c Elapsed CPU time: 23.2735 s Remaining CPU time: 156.727 s c =============================================================================== c | 0 | 2485 2671 404496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12768 c Elapsed CPU time: 23.5564 s Remaining CPU time: 156.444 s c =============================================================================== c | 0 | 2485 2672 406846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12766 c Elapsed CPU time: 23.8394 s Remaining CPU time: 156.161 s c =============================================================================== c | 0 | 2485 2673 409196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12762 c Elapsed CPU time: 24.1133 s Remaining CPU time: 155.887 s c =============================================================================== c | 0 | 2485 2674 411546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12761 c Elapsed CPU time: 24.3983 s Remaining CPU time: 155.602 s c =============================================================================== c | 0 | 2485 2675 413896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12760 c Elapsed CPU time: 24.6742 s Remaining CPU time: 155.326 s c =============================================================================== c | 0 | 2485 2676 416246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12759 c Elapsed CPU time: 24.9522 s Remaining CPU time: 155.048 s c =============================================================================== c | 0 | 2485 2677 418596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12757 c Elapsed CPU time: 25.2302 s Remaining CPU time: 154.77 s c =============================================================================== c | 0 | 2485 2678 420946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12756 c Elapsed CPU time: 25.5091 s Remaining CPU time: 154.491 s c =============================================================================== c | 0 | 2485 2679 423296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12755 c Elapsed CPU time: 25.7931 s Remaining CPU time: 154.207 s c =============================================================================== c | 0 | 2485 2680 425646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12753 c Elapsed CPU time: 26.079 s Remaining CPU time: 153.921 s c =============================================================================== c | 0 | 2485 2681 427996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12752 c Elapsed CPU time: 26.374 s Remaining CPU time: 153.626 s c =============================================================================== c | 0 | 2485 2682 430346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12751 c Elapsed CPU time: 26.6619 s Remaining CPU time: 153.338 s c =============================================================================== c | 0 | 2485 2683 432696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12749 c Elapsed CPU time: 26.9589 s Remaining CPU time: 153.041 s c =============================================================================== c | 0 | 2485 2684 435046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12748 c Elapsed CPU time: 27.2609 s Remaining CPU time: 152.739 s c =============================================================================== c | 0 | 2485 2685 437396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12747 c Elapsed CPU time: 27.5568 s Remaining CPU time: 152.443 s c =============================================================================== c | 0 | 2485 2686 439746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12746 c Elapsed CPU time: 27.8628 s Remaining CPU time: 152.137 s c =============================================================================== c | 0 | 2485 2687 442096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12743 c Elapsed CPU time: 28.1657 s Remaining CPU time: 151.834 s c =============================================================================== c | 0 | 2485 2688 444446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12742 c Elapsed CPU time: 28.4747 s Remaining CPU time: 151.525 s c =============================================================================== c | 0 | 2485 2689 446796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12740 c Elapsed CPU time: 28.7836 s Remaining CPU time: 151.216 s c =============================================================================== c | 0 | 2485 2690 449146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12739 c Elapsed CPU time: 29.0946 s Remaining CPU time: 150.905 s c =============================================================================== c | 0 | 2485 2691 451496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12738 c Elapsed CPU time: 29.3975 s Remaining CPU time: 150.602 s c =============================================================================== c | 0 | 2485 2692 453846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12737 c Elapsed CPU time: 29.7075 s Remaining CPU time: 150.293 s c =============================================================================== c | 0 | 2485 2693 456196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12735 c Elapsed CPU time: 30.0184 s Remaining CPU time: 149.982 s c =============================================================================== c | 0 | 2485 2694 458546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12734 c Elapsed CPU time: 30.3394 s Remaining CPU time: 149.661 s c =============================================================================== c | 0 | 2485 2695 460896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12733 c Elapsed CPU time: 30.6513 s Remaining CPU time: 149.349 s c =============================================================================== c | 0 | 2485 2696 463246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12731 c Elapsed CPU time: 30.9753 s Remaining CPU time: 149.025 s c =============================================================================== c | 0 | 2485 2697 465596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12729 c Elapsed CPU time: 31.3102 s Remaining CPU time: 148.69 s c =============================================================================== c | 0 | 2485 2698 467946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12728 c Elapsed CPU time: 31.6382 s Remaining CPU time: 148.362 s c =============================================================================== c | 0 | 2485 2699 470296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12727 c Elapsed CPU time: 31.9631 s Remaining CPU time: 148.037 s c =============================================================================== c | 0 | 2485 2700 472646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12726 c Elapsed CPU time: 32.3001 s Remaining CPU time: 147.7 s c =============================================================================== c | 0 | 2485 2701 474996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12725 c Elapsed CPU time: 32.639 s Remaining CPU time: 147.361 s c =============================================================================== c | 0 | 2485 2702 477346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12723 c Elapsed CPU time: 32.962 s Remaining CPU time: 147.038 s c =============================================================================== c | 0 | 2485 2703 479696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12722 c Elapsed CPU time: 33.2919 s Remaining CPU time: 146.708 s c =============================================================================== c | 0 | 2485 2704 482046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12721 c Elapsed CPU time: 33.6169 s Remaining CPU time: 146.383 s c =============================================================================== c | 0 | 2485 2705 484396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12720 c Elapsed CPU time: 33.9438 s Remaining CPU time: 146.056 s c =============================================================================== c | 0 | 2485 2706 486746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12718 c Elapsed CPU time: 34.2768 s Remaining CPU time: 145.723 s c =============================================================================== c | 0 | 2485 2707 489096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12717 c Elapsed CPU time: 34.6077 s Remaining CPU time: 145.392 s c =============================================================================== c | 0 | 2485 2708 491446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12714 c Elapsed CPU time: 34.9367 s Remaining CPU time: 145.063 s c =============================================================================== c | 0 | 2485 2709 493796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12712 c Elapsed CPU time: 35.2626 s Remaining CPU time: 144.737 s c =============================================================================== c | 0 | 2485 2710 496146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12711 c Elapsed CPU time: 35.6106 s Remaining CPU time: 144.389 s c =============================================================================== c | 0 | 2485 2711 498496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12709 c Elapsed CPU time: 35.9425 s Remaining CPU time: 144.057 s c =============================================================================== c | 0 | 2485 2712 500846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12707 c Elapsed CPU time: 36.2865 s Remaining CPU time: 143.714 s c =============================================================================== c | 0 | 2485 2713 503196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12706 c Elapsed CPU time: 36.6354 s Remaining CPU time: 143.365 s c =============================================================================== c | 0 | 2485 2714 505546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12704 c Elapsed CPU time: 36.9844 s Remaining CPU time: 143.016 s c =============================================================================== c | 0 | 2485 2715 507896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 37.3403 s Remaining CPU time: 142.66 s c =============================================================================== c | 0 | 2485 2716 510246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12701 c Elapsed CPU time: 37.6973 s Remaining CPU time: 142.303 s c =============================================================================== c | 0 | 2485 2717 512596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12698 c Elapsed CPU time: 38.0472 s Remaining CPU time: 141.953 s c =============================================================================== c | 0 | 2485 2718 514946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12697 c Elapsed CPU time: 38.4052 s Remaining CPU time: 141.595 s c =============================================================================== c | 0 | 2485 2719 517296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12696 c Elapsed CPU time: 38.7821 s Remaining CPU time: 141.218 s c =============================================================================== c | 0 | 2485 2720 519646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12694 c Elapsed CPU time: 39.143 s Remaining CPU time: 140.857 s c =============================================================================== c | 0 | 2485 2721 521996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12692 c Elapsed CPU time: 39.502 s Remaining CPU time: 140.498 s c =============================================================================== c | 0 | 2485 2722 524346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12689 c Elapsed CPU time: 39.8599 s Remaining CPU time: 140.14 s c =============================================================================== c | 0 | 2485 2723 526696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12687 c Elapsed CPU time: 40.2179 s Remaining CPU time: 139.782 s c =============================================================================== c | 0 | 2485 2724 529046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12686 c Elapsed CPU time: 40.5898 s Remaining CPU time: 139.41 s c =============================================================================== c | 0 | 2485 2725 531396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12684 c Elapsed CPU time: 40.9468 s Remaining CPU time: 139.053 s c =============================================================================== c | 0 | 2485 2726 533746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12680 c Elapsed CPU time: 41.3067 s Remaining CPU time: 138.693 s c =============================================================================== c | 0 | 2485 2727 536096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12678 c Elapsed CPU time: 41.6697 s Remaining CPU time: 138.33 s c =============================================================================== c | 0 | 2485 2728 538446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12675 c Elapsed CPU time: 42.0406 s Remaining CPU time: 137.959 s c =============================================================================== c | 0 | 2485 2729 540796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12672 c Elapsed CPU time: 42.4126 s Remaining CPU time: 137.587 s c =============================================================================== c | 0 | 2485 2730 543146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12668 c Elapsed CPU time: 42.7785 s Remaining CPU time: 137.222 s c =============================================================================== c | 0 | 2485 2731 545496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12663 c Elapsed CPU time: 43.1464 s Remaining CPU time: 136.854 s c =============================================================================== c | 0 | 2485 2732 547846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12662 c Elapsed CPU time: 43.5194 s Remaining CPU time: 136.481 s c =============================================================================== c | 0 | 2485 2733 550196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12661 c Elapsed CPU time: 43.8943 s Remaining CPU time: 136.106 s c =============================================================================== c | 0 | 2485 2734 552546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12659 c Elapsed CPU time: 44.2683 s Remaining CPU time: 135.732 s c =============================================================================== c | 0 | 2485 2735 554896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12655 c Elapsed CPU time: 44.6392 s Remaining CPU time: 135.361 s c =============================================================================== c | 0 | 2485 2736 557246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12651 c Elapsed CPU time: 45.0292 s Remaining CPU time: 134.971 s c =============================================================================== c | 0 | 2485 2737 559596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12649 c Elapsed CPU time: 45.4201 s Remaining CPU time: 134.58 s c =============================================================================== c | 0 | 2485 2738 561946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12648 c Elapsed CPU time: 45.816 s Remaining CPU time: 134.184 s c =============================================================================== c | 0 | 2485 2739 564296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12647 c Elapsed CPU time: 46.199 s Remaining CPU time: 133.801 s c =============================================================================== c | 0 | 2485 2740 566646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12646 c Elapsed CPU time: 46.5869 s Remaining CPU time: 133.413 s c =============================================================================== c | 0 | 2485 2741 568996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12645 c Elapsed CPU time: 46.9759 s Remaining CPU time: 133.024 s c =============================================================================== c | 0 | 2485 2742 571346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12644 c Elapsed CPU time: 47.3678 s Remaining CPU time: 132.632 s c =============================================================================== c | 0 | 2485 2743 573696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12643 c Elapsed CPU time: 47.7697 s Remaining CPU time: 132.23 s c =============================================================================== c | 0 | 2485 2744 576046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12640 c Elapsed CPU time: 48.1647 s Remaining CPU time: 131.835 s c =============================================================================== c | 0 | 2485 2745 578396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12639 c Elapsed CPU time: 48.5606 s Remaining CPU time: 131.439 s c =============================================================================== c | 0 | 2485 2746 580746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12637 c Elapsed CPU time: 48.9526 s Remaining CPU time: 131.047 s c =============================================================================== c | 0 | 2485 2747 583096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12636 c Elapsed CPU time: 49.3535 s Remaining CPU time: 130.647 s c =============================================================================== c | 0 | 2485 2748 585446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12635 c Elapsed CPU time: 49.7574 s Remaining CPU time: 130.243 s c =============================================================================== c | 0 | 2485 2749 587796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12634 c Elapsed CPU time: 50.1734 s Remaining CPU time: 129.827 s c =============================================================================== c | 0 | 2485 2750 590146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12633 c Elapsed CPU time: 50.6003 s Remaining CPU time: 129.4 s c =============================================================================== c | 0 | 2485 2751 592496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12632 c Elapsed CPU time: 51.0192 s Remaining CPU time: 128.981 s c =============================================================================== c | 0 | 2485 2752 594846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12629 c Elapsed CPU time: 51.4412 s Remaining CPU time: 128.559 s c =============================================================================== c | 0 | 2485 2753 597196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12627 c Elapsed CPU time: 51.8721 s Remaining CPU time: 128.128 s c =============================================================================== c | 0 | 2485 2754 599546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12626 c Elapsed CPU time: 52.299 s Remaining CPU time: 127.701 s c =============================================================================== c | 0 | 2485 2755 601896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12624 c Elapsed CPU time: 52.722 s Remaining CPU time: 127.278 s c =============================================================================== c | 0 | 2485 2756 604246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12623 c Elapsed CPU time: 53.1699 s Remaining CPU time: 126.83 s c =============================================================================== c | 0 | 2485 2757 606596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12622 c Elapsed CPU time: 53.6128 s Remaining CPU time: 126.387 s c =============================================================================== c | 0 | 2485 2758 608946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12621 c Elapsed CPU time: 54.0508 s Remaining CPU time: 125.949 s c =============================================================================== c | 0 | 2485 2759 611296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12620 c Elapsed CPU time: 54.4967 s Remaining CPU time: 125.503 s c =============================================================================== c | 0 | 2485 2760 613646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12619 c Elapsed CPU time: 54.9446 s Remaining CPU time: 125.055 s c =============================================================================== c | 0 | 2485 2761 615996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12618 c Elapsed CPU time: 55.3916 s Remaining CPU time: 124.608 s c =============================================================================== c | 0 | 2485 2762 618346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12617 c Elapsed CPU time: 55.8345 s Remaining CPU time: 124.165 s c =============================================================================== c | 0 | 2485 2763 620696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12616 c Elapsed CPU time: 56.2824 s Remaining CPU time: 123.718 s c =============================================================================== c | 0 | 2485 2764 623046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12614 c Elapsed CPU time: 56.7134 s Remaining CPU time: 123.287 s c =============================================================================== c | 0 | 2485 2765 625396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12613 c Elapsed CPU time: 57.1503 s Remaining CPU time: 122.85 s c =============================================================================== c | 0 | 2485 2766 627746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12611 c Elapsed CPU time: 57.5912 s Remaining CPU time: 122.409 s c =============================================================================== c | 0 | 2485 2767 630096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12610 c Elapsed CPU time: 58.0422 s Remaining CPU time: 121.958 s c =============================================================================== c | 0 | 2485 2768 632446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12609 c Elapsed CPU time: 58.4941 s Remaining CPU time: 121.506 s c =============================================================================== c | 0 | 2485 2769 634796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12608 c Elapsed CPU time: 58.928 s Remaining CPU time: 121.072 s c =============================================================================== c | 0 | 2485 2770 637146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12607 c Elapsed CPU time: 59.373 s Remaining CPU time: 120.627 s c =============================================================================== c | 0 | 2485 2771 639496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12606 c Elapsed CPU time: 59.8249 s Remaining CPU time: 120.175 s c =============================================================================== c | 0 | 2485 2772 641846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12604 c Elapsed CPU time: 60.2738 s Remaining CPU time: 119.726 s c =============================================================================== c | 0 | 2485 2773 644196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12603 c Elapsed CPU time: 60.7308 s Remaining CPU time: 119.269 s c =============================================================================== c | 0 | 2485 2774 646546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12601 c Elapsed CPU time: 61.1947 s Remaining CPU time: 118.805 s c =============================================================================== c | 0 | 2485 2775 648896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12600 c Elapsed CPU time: 61.6466 s Remaining CPU time: 118.353 s c =============================================================================== c | 0 | 2485 2776 651246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12599 c Elapsed CPU time: 62.0986 s Remaining CPU time: 117.901 s c =============================================================================== c | 1 | 2485 2777 653596 | 5000 1 2281 | 0.000 % | c =============================================================================== c New solution: 12598 c Elapsed CPU time: 62.5725 s Remaining CPU time: 117.428 s c =============================================================================== c | 1 | 2485 2778 655946 | 5000 1 2281 | 0.000 % | c =============================================================================== c New solution: 12597 c Elapsed CPU time: 63.0194 s Remaining CPU time: 116.981 s c =============================================================================== c | 2 | 2485 2779 658296 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12596 c Elapsed CPU time: 63.4813 s Remaining CPU time: 116.519 s c =============================================================================== c | 2 | 2485 2780 660646 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12595 c Elapsed CPU time: 63.9523 s Remaining CPU time: 116.048 s c =============================================================================== c | 2 | 2485 2781 662996 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12594 c Elapsed CPU time: 64.4412 s Remaining CPU time: 115.559 s c =============================================================================== c | 2 | 2485 2782 665346 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12593 c Elapsed CPU time: 64.9081 s Remaining CPU time: 115.092 s c =============================================================================== c | 2 | 2485 2783 667696 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 65.3741 s Remaining CPU time: 114.626 s c =============================================================================== c | 2 | 2485 2784 670046 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12591 c Elapsed CPU time: 65.868 s Remaining CPU time: 114.132 s c =============================================================================== c | 2 | 2485 2785 672396 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12590 c Elapsed CPU time: 66.3459 s Remaining CPU time: 113.654 s c =============================================================================== c | 2 | 2485 2786 674746 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12589 c Elapsed CPU time: 66.8058 s Remaining CPU time: 113.194 s c =============================================================================== c | 2 | 2485 2787 677096 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12588 c Elapsed CPU time: 67.2838 s Remaining CPU time: 112.716 s c =============================================================================== c | 2 | 2485 2788 679446 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12587 c Elapsed CPU time: 67.7997 s Remaining CPU time: 112.2 s c =============================================================================== c | 2 | 2485 2789 681796 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12586 c Elapsed CPU time: 68.2826 s Remaining CPU time: 111.717 s c =============================================================================== c | 2 | 2485 2790 684146 | 5000 2 2280 | 0.000 % | c =============================================================================== c New solution: 12585 c Elapsed CPU time: 68.7875 s Remaining CPU time: 111.212 s c =============================================================================== c | 3 | 2485 2791 686496 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12584 c Elapsed CPU time: 69.2835 s Remaining CPU time: 110.717 s c =============================================================================== c | 3 | 2485 2792 688846 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12583 c Elapsed CPU time: 69.7854 s Remaining CPU time: 110.215 s c =============================================================================== c | 3 | 2485 2793 691196 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12582 c Elapsed CPU time: 70.2783 s Remaining CPU time: 109.722 s c =============================================================================== c | 3 | 2485 2794 693546 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12581 c Elapsed CPU time: 70.7682 s Remaining CPU time: 109.232 s c =============================================================================== c | 3 | 2485 2795 695896 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12580 c Elapsed CPU time: 71.2462 s Remaining CPU time: 108.754 s c =============================================================================== c | 3 | 2485 2796 698246 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12579 c Elapsed CPU time: 71.7311 s Remaining CPU time: 108.269 s c =============================================================================== c | 3 | 2485 2797 700596 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12578 c Elapsed CPU time: 72.213 s Remaining CPU time: 107.787 s c =============================================================================== c | 3 | 2485 2798 702946 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12577 c Elapsed CPU time: 72.6899 s Remaining CPU time: 107.31 s c =============================================================================== c | 3 | 2485 2799 705296 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12576 c Elapsed CPU time: 73.1469 s Remaining CPU time: 106.853 s c =============================================================================== c | 3 | 2485 2800 707646 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12575 c Elapsed CPU time: 73.6408 s Remaining CPU time: 106.359 s c =============================================================================== c | 3 | 2485 2801 709996 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12574 c Elapsed CPU time: 74.1287 s Remaining CPU time: 105.871 s c =============================================================================== c | 3 | 2485 2802 712346 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12573 c Elapsed CPU time: 74.6287 s Remaining CPU time: 105.371 s c =============================================================================== c | 3 | 2485 2803 714696 | 5000 3 2279 | 0.000 % | c =============================================================================== c New solution: 12572 c Elapsed CPU time: 75.1276 s Remaining CPU time: 104.872 s c =============================================================================== c | 4 | 2485 2804 717046 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12571 c Elapsed CPU time: 75.6255 s Remaining CPU time: 104.374 s c =============================================================================== c | 4 | 2485 2805 719396 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12570 c Elapsed CPU time: 76.1224 s Remaining CPU time: 103.878 s c =============================================================================== c | 4 | 2485 2806 721746 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12569 c Elapsed CPU time: 76.6873 s Remaining CPU time: 103.313 s c =============================================================================== c | 4 | 2485 2807 724096 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12568 c Elapsed CPU time: 77.2193 s Remaining CPU time: 102.781 s c =============================================================================== c | 4 | 2485 2808 726446 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12567 c Elapsed CPU time: 77.7312 s Remaining CPU time: 102.269 s c =============================================================================== c | 4 | 2485 2809 728796 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12566 c Elapsed CPU time: 78.2921 s Remaining CPU time: 101.708 s c =============================================================================== c | 4 | 2485 2810 731146 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12565 c Elapsed CPU time: 78.793 s Remaining CPU time: 101.207 s c =============================================================================== c | 4 | 2485 2811 733496 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12564 c Elapsed CPU time: 79.3129 s Remaining CPU time: 100.687 s c =============================================================================== c | 4 | 2485 2812 735846 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12563 c Elapsed CPU time: 79.8759 s Remaining CPU time: 100.124 s c =============================================================================== c | 4 | 2485 2813 738196 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12562 c Elapsed CPU time: 80.4378 s Remaining CPU time: 99.5622 s c =============================================================================== c | 4 | 2485 2814 740546 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12561 c Elapsed CPU time: 80.9947 s Remaining CPU time: 99.0053 s c =============================================================================== c | 4 | 2485 2815 742896 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12560 c Elapsed CPU time: 81.5256 s Remaining CPU time: 98.4744 s c =============================================================================== c | 4 | 2485 2816 745246 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12559 c Elapsed CPU time: 82.0665 s Remaining CPU time: 97.9335 s c =============================================================================== c | 4 | 2485 2817 747596 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 82.5794 s Remaining CPU time: 97.4206 s c =============================================================================== c | 4 | 2485 2818 749946 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12557 c Elapsed CPU time: 83.0944 s Remaining CPU time: 96.9056 s c =============================================================================== c | 4 | 2485 2819 752296 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 83.6193 s Remaining CPU time: 96.3807 s c =============================================================================== c | 4 | 2485 2820 754646 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12555 c Elapsed CPU time: 84.1542 s Remaining CPU time: 95.8458 s c =============================================================================== c | 4 | 2485 2821 756996 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12554 c Elapsed CPU time: 84.6821 s Remaining CPU time: 95.3179 s c =============================================================================== c | 4 | 2485 2822 759346 | 5000 4 2278 | 0.000 % | c =============================================================================== c New solution: 12553 c Elapsed CPU time: 85.208 s Remaining CPU time: 94.792 s c =============================================================================== c | 5 | 2485 2823 761696 | 5000 5 2275 | 0.000 % | c =============================================================================== c New solution: 12552 c Elapsed CPU time: 85.754 s Remaining CPU time: 94.246 s c =============================================================================== c | 5 | 2485 2824 764046 | 5000 5 2275 | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 86.2849 s Remaining CPU time: 93.7151 s c =============================================================================== c | 5 | 2485 2825 766396 | 5000 5 2275 | 0.000 % | c =============================================================================== c New solution: 12550 c Elapsed CPU time: 86.8188 s Remaining CPU time: 93.1812 s c =============================================================================== c | 5 | 2485 2826 768746 | 5000 5 2275 | 0.000 % | c =============================================================================== c New solution: 12549 c Elapsed CPU time: 87.3457 s Remaining CPU time: 92.6543 s c =============================================================================== c | 5 | 2485 2827 771096 | 5000 5 2275 | 0.000 % | c =============================================================================== c New solution: 12548 c Elapsed CPU time: 87.8866 s Remaining CPU time: 92.1134 s c =============================================================================== c | 5 | 2485 2828 773446 | 5000 5 2275 | 0.000 % | c =============================================================================== c New solution: 12547 c Elapsed CPU time: 88.4366 s Remaining CPU time: 91.5634 s c =============================================================================== c | 5 | 2485 2829 775796 | 5000 5 2275 | 0.000 % | c =============================================================================== c New solution: 12546 c Elapsed CPU time: 88.9945 s Remaining CPU time: 91.0055 s c =============================================================================== c | 6 | 2485 2830 778146 | 5000 6 2274 | 0.000 % | c =============================================================================== c New solution: 12545 c Elapsed CPU time: 89.5624 s Remaining CPU time: 90.4376 s c =============================================================================== c | 6 | 2485 2831 780496 | 5000 6 2274 | 0.000 % | c =============================================================================== c New solution: 12544 c Elapsed CPU time: 90.1933 s Remaining CPU time: 89.8067 s c =============================================================================== c | 6 | 2485 2832 782846 | 5000 6 2274 | 0.000 % | c =============================================================================== c New solution: 12543 c Elapsed CPU time: 90.7942 s Remaining CPU time: 89.2058 s c =============================================================================== c | 6 | 2485 2833 785196 | 5000 6 2274 | 0.000 % | c =============================================================================== c New solution: 12542 c Elapsed CPU time: 91.4151 s Remaining CPU time: 88.5849 s c =============================================================================== c | 7 | 2485 2834 787546 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12541 c Elapsed CPU time: 92.012 s Remaining CPU time: 87.988 s c =============================================================================== c | 7 | 2485 2835 789896 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12540 c Elapsed CPU time: 92.5769 s Remaining CPU time: 87.4231 s c =============================================================================== c | 7 | 2485 2836 792246 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12539 c Elapsed CPU time: 93.1358 s Remaining CPU time: 86.8642 s c =============================================================================== c | 7 | 2485 2837 794596 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12538 c Elapsed CPU time: 93.7397 s Remaining CPU time: 86.2603 s c =============================================================================== c | 7 | 2485 2838 796946 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12537 c Elapsed CPU time: 94.3807 s Remaining CPU time: 85.6193 s c =============================================================================== c | 7 | 2485 2839 799296 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 94.9346 s Remaining CPU time: 85.0654 s c =============================================================================== c | 7 | 2485 2840 801646 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12535 c Elapsed CPU time: 95.4885 s Remaining CPU time: 84.5115 s c =============================================================================== c | 7 | 2485 2841 803996 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12534 c Elapsed CPU time: 96.0524 s Remaining CPU time: 83.9476 s c =============================================================================== c | 7 | 2485 2842 806346 | 5000 7 1950 | 0.000 % | c =============================================================================== c New solution: 12533 c Elapsed CPU time: 96.6603 s Remaining CPU time: 83.3397 s c =============================================================================== c | 8 | 2485 2843 808696 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12532 c Elapsed CPU time: 97.2552 s Remaining CPU time: 82.7448 s c =============================================================================== c | 8 | 2485 2844 811046 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12531 c Elapsed CPU time: 97.9131 s Remaining CPU time: 82.0869 s c =============================================================================== c | 8 | 2485 2845 813396 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12530 c Elapsed CPU time: 98.509 s Remaining CPU time: 81.491 s c =============================================================================== c | 8 | 2485 2846 815746 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12529 c Elapsed CPU time: 99.1449 s Remaining CPU time: 80.8551 s c =============================================================================== c | 8 | 2485 2847 818096 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12528 c Elapsed CPU time: 99.7558 s Remaining CPU time: 80.2442 s c =============================================================================== c | 8 | 2485 2848 820446 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12527 c Elapsed CPU time: 100.357 s Remaining CPU time: 79.6433 s c =============================================================================== c | 8 | 2485 2849 822796 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12526 c Elapsed CPU time: 100.92 s Remaining CPU time: 79.0803 s c =============================================================================== c | 8 | 2485 2850 825146 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12525 c Elapsed CPU time: 101.467 s Remaining CPU time: 78.5334 s c =============================================================================== c | 8 | 2485 2851 827496 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12524 c Elapsed CPU time: 102.022 s Remaining CPU time: 77.9775 s c =============================================================================== c | 8 | 2485 2852 829846 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 102.586 s Remaining CPU time: 77.4136 s c =============================================================================== c | 8 | 2485 2853 832196 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12522 c Elapsed CPU time: 103.132 s Remaining CPU time: 76.8677 s c =============================================================================== c | 8 | 2485 2854 834546 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12521 c Elapsed CPU time: 103.763 s Remaining CPU time: 76.2368 s c =============================================================================== c | 8 | 2485 2855 836896 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12520 c Elapsed CPU time: 104.392 s Remaining CPU time: 75.6079 s c =============================================================================== c | 8 | 2485 2856 839246 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12519 c Elapsed CPU time: 105.012 s Remaining CPU time: 74.988 s c =============================================================================== c | 8 | 2485 2857 841596 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12518 c Elapsed CPU time: 105.638 s Remaining CPU time: 74.3621 s c =============================================================================== c | 8 | 2485 2858 843946 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12517 c Elapsed CPU time: 106.271 s Remaining CPU time: 73.7292 s c =============================================================================== c | 8 | 2485 2859 846296 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12516 c Elapsed CPU time: 106.875 s Remaining CPU time: 73.1252 s c =============================================================================== c | 8 | 2485 2860 848646 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12515 c Elapsed CPU time: 107.481 s Remaining CPU time: 72.5193 s c =============================================================================== c | 8 | 2485 2861 850996 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12514 c Elapsed CPU time: 108.135 s Remaining CPU time: 71.8654 s c =============================================================================== c | 8 | 2485 2862 853346 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12513 c Elapsed CPU time: 108.747 s Remaining CPU time: 71.2525 s c =============================================================================== c | 8 | 2485 2863 855696 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12512 c Elapsed CPU time: 109.411 s Remaining CPU time: 70.5886 s c =============================================================================== c | 8 | 2485 2864 858046 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12511 c Elapsed CPU time: 110.097 s Remaining CPU time: 69.9027 s c =============================================================================== c | 8 | 2485 2865 860396 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12510 c Elapsed CPU time: 110.801 s Remaining CPU time: 69.1988 s c =============================================================================== c | 8 | 2485 2866 862746 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12509 c Elapsed CPU time: 111.435 s Remaining CPU time: 68.5649 s c =============================================================================== c | 8 | 2485 2867 865096 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12508 c Elapsed CPU time: 112.055 s Remaining CPU time: 67.945 s c =============================================================================== c | 8 | 2485 2868 867446 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12507 c Elapsed CPU time: 112.641 s Remaining CPU time: 67.3591 s c =============================================================================== c | 8 | 2485 2869 869796 | 5000 8 1989 | 0.000 % | c =============================================================================== c New solution: 12506 c Elapsed CPU time: 113.319 s Remaining CPU time: 66.6812 s c =============================================================================== c | 9 | 2485 2870 872146 | 5000 9 2019 | 0.000 % | c =============================================================================== c New solution: 12505 c Elapsed CPU time: 113.924 s Remaining CPU time: 66.0763 s c =============================================================================== c | 9 | 2485 2871 874496 | 5000 9 2019 | 0.000 % | c =============================================================================== c New solution: 12504 c Elapsed CPU time: 114.531 s Remaining CPU time: 65.4694 s c =============================================================================== c | 17 | 2485 2872 876846 | 5000 17 2133 | 0.000 % | c =============================================================================== c New solution: 12503 c Elapsed CPU time: 115.135 s Remaining CPU time: 64.8645 s c =============================================================================== c | 17 | 2485 2873 879196 | 5000 17 2133 | 0.000 % | c =============================================================================== c New solution: 12502 c Elapsed CPU time: 115.726 s Remaining CPU time: 64.2736 s c =============================================================================== c | 19 | 2485 2874 881546 | 5000 19 2147 | 0.000 % | c =============================================================================== c New solution: 12501 c Elapsed CPU time: 116.318 s Remaining CPU time: 63.6817 s c =============================================================================== c | 19 | 2485 2875 883896 | 5000 19 2147 | 0.000 % | c =============================================================================== c New solution: 12500 c Elapsed CPU time: 116.925 s Remaining CPU time: 63.0748 s c =============================================================================== c | 19 | 2485 2876 886246 | 5000 19 2147 | 0.000 % | c =============================================================================== c New solution: 12499 c Elapsed CPU time: 117.563 s Remaining CPU time: 62.4369 s c =============================================================================== c | 19 | 2485 2877 888596 | 5000 19 2147 | 0.000 % | c =============================================================================== c New solution: 12498 c Elapsed CPU time: 118.167 s Remaining CPU time: 61.833 s c =============================================================================== c | 19 | 2485 2878 890946 | 5000 19 2147 | 0.000 % | c =============================================================================== c New solution: 12497 c Elapsed CPU time: 118.825 s Remaining CPU time: 61.1751 s c =============================================================================== c | 19 | 2485 2879 893296 | 5000 19 2147 | 0.000 % | c =============================================================================== c New solution: 12496 c Elapsed CPU time: 119.435 s Remaining CPU time: 60.5652 s c =============================================================================== c | 19 | 2485 2880 895646 | 5000 19 2147 | 0.000 % | c =============================================================================== c New solution: 12495 c Elapsed CPU time: 120.115 s Remaining CPU time: 59.8853 s c =============================================================================== c | 20 | 2485 2881 897996 | 5000 20 2152 | 0.000 % | c =============================================================================== c New solution: 12494 c Elapsed CPU time: 120.774 s Remaining CPU time: 59.2264 s c =============================================================================== c | 20 | 2485 2882 900346 | 5000 20 2152 | 0.000 % | c =============================================================================== c New solution: 12493 c Elapsed CPU time: 121.461 s Remaining CPU time: 58.5395 s c =============================================================================== c | 22 | 2485 2883 902696 | 5000 22 2162 | 0.000 % | c =============================================================================== c New solution: 12492 c Elapsed CPU time: 122.152 s Remaining CPU time: 57.8476 s c =============================================================================== c | 23 | 2485 2884 905046 | 5000 23 2167 | 0.000 % | c =============================================================================== c New solution: 12491 c Elapsed CPU time: 122.839 s Remaining CPU time: 57.1607 s c =============================================================================== c | 23 | 2485 2885 907396 | 5000 23 2167 | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 123.466 s Remaining CPU time: 56.5338 s c =============================================================================== c | 23 | 2485 2886 909746 | 5000 23 2167 | 0.000 % | c =============================================================================== c New solution: 12489 c Elapsed CPU time: 124.105 s Remaining CPU time: 55.8949 s c =============================================================================== c | 23 | 2485 2887 912096 | 5000 23 2167 | 0.000 % | c =============================================================================== c New solution: 12488 c Elapsed CPU time: 124.726 s Remaining CPU time: 55.274 s c =============================================================================== c | 23 | 2485 2888 914446 | 5000 23 2167 | 0.000 % | c =============================================================================== c New solution: 12487 c Elapsed CPU time: 125.382 s Remaining CPU time: 54.6181 s c =============================================================================== c | 23 | 2485 2889 916796 | 5000 23 2167 | 0.000 % | c =============================================================================== c New solution: 12486 c Elapsed CPU time: 126.005 s Remaining CPU time: 53.9952 s c =============================================================================== c | 25 | 2485 2890 919146 | 5000 25 2174 | 0.000 % | c =============================================================================== c New solution: 12485 c Elapsed CPU time: 126.649 s Remaining CPU time: 53.3513 s c =============================================================================== c | 27 | 2485 2891 921496 | 5000 27 2180 | 0.000 % | c =============================================================================== c New solution: 12484 c Elapsed CPU time: 127.33 s Remaining CPU time: 52.6704 s c =============================================================================== c | 29 | 2485 2892 923846 | 5000 29 2186 | 0.000 % | c =============================================================================== c New solution: 12483 c Elapsed CPU time: 127.974 s Remaining CPU time: 52.0265 s c =============================================================================== c | 31 | 2485 2893 926196 | 5000 31 2191 | 0.000 % | c =============================================================================== c New solution: 12482 c Elapsed CPU time: 128.616 s Remaining CPU time: 51.3836 s c =============================================================================== c | 31 | 2485 2894 928546 | 5000 31 2191 | 0.000 % | c =============================================================================== c New solution: 12481 c Elapsed CPU time: 129.295 s Remaining CPU time: 50.7047 s c =============================================================================== c | 33 | 2485 2895 930896 | 5000 33 2126 | 0.000 % | c =============================================================================== c New solution: 12480 c Elapsed CPU time: 129.935 s Remaining CPU time: 50.0648 s c =============================================================================== c | 34 | 2485 2896 933246 | 5000 34 2064 | 0.000 % | c =============================================================================== c New solution: 12479 c Elapsed CPU time: 130.605 s Remaining CPU time: 49.3949 s c =============================================================================== c | 37 | 2485 2897 935596 | 5000 37 2080 | 0.000 % | c =============================================================================== c New solution: 12478 c Elapsed CPU time: 131.229 s Remaining CPU time: 48.7709 s c =============================================================================== c | 37 | 2485 2898 937946 | 5000 37 2080 | 0.000 % | c =============================================================================== c New solution: 12477 c Elapsed CPU time: 131.852 s Remaining CPU time: 48.148 s c =============================================================================== c | 37 | 2485 2899 940296 | 5000 37 2080 | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 132.499 s Remaining CPU time: 47.5011 s c =============================================================================== c | 37 | 2485 2900 942646 | 5000 37 2080 | 0.000 % | c =============================================================================== c New solution: 12475 c Elapsed CPU time: 133.166 s Remaining CPU time: 46.8342 s c =============================================================================== c | 37 | 2485 2901 944996 | 5000 37 2080 | 0.000 % | c =============================================================================== c New solution: 12474 c Elapsed CPU time: 133.784 s Remaining CPU time: 46.2163 s c =============================================================================== c | 38 | 2485 2902 947346 | 5000 38 2084 | 0.000 % | c =============================================================================== c New solution: 12473 c Elapsed CPU time: 134.436 s Remaining CPU time: 45.5644 s c =============================================================================== c | 38 | 2485 2903 949696 | 5000 38 2084 | 0.000 % | c =============================================================================== c New solution: 12472 c Elapsed CPU time: 135.116 s Remaining CPU time: 44.8835 s c =============================================================================== c | 43 | 2485 2904 952046 | 5000 43 2104 | 0.000 % | c =============================================================================== c New solution: 12471 c Elapsed CPU time: 135.857 s Remaining CPU time: 44.1427 s c =============================================================================== c | 43 | 2485 2905 954396 | 5000 43 2104 | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 136.613 s Remaining CPU time: 43.3868 s c =============================================================================== c | 46 | 2485 2906 956746 | 5000 46 2114 | 0.000 % | c =============================================================================== c New solution: 12469 c Elapsed CPU time: 137.32 s Remaining CPU time: 42.6799 s c =============================================================================== c | 46 | 2485 2907 959096 | 5000 46 2114 | 0.000 % | c =============================================================================== c New solution: 12468 c Elapsed CPU time: 138.018 s Remaining CPU time: 41.982 s c =============================================================================== c | 51 | 2485 2908 961446 | 5000 51 2128 | 0.000 % | c =============================================================================== c New solution: 12467 c Elapsed CPU time: 138.691 s Remaining CPU time: 41.3091 s c =============================================================================== c | 52 | 2485 2909 963796 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12466 c Elapsed CPU time: 139.352 s Remaining CPU time: 40.6482 s c =============================================================================== c | 52 | 2485 2910 966146 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12465 c Elapsed CPU time: 140.009 s Remaining CPU time: 39.9913 s c =============================================================================== c | 52 | 2485 2911 968496 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12464 c Elapsed CPU time: 140.684 s Remaining CPU time: 39.3164 s c =============================================================================== c | 52 | 2485 2912 970846 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12463 c Elapsed CPU time: 141.423 s Remaining CPU time: 38.5765 s c =============================================================================== c | 52 | 2485 2913 973196 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12462 c Elapsed CPU time: 142.19 s Remaining CPU time: 37.8096 s c =============================================================================== c | 52 | 2485 2914 975546 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12461 c Elapsed CPU time: 142.909 s Remaining CPU time: 37.0907 s c =============================================================================== c | 52 | 2485 2915 977896 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12460 c Elapsed CPU time: 143.613 s Remaining CPU time: 36.3868 s c =============================================================================== c | 52 | 2485 2916 980246 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12459 c Elapsed CPU time: 144.32 s Remaining CPU time: 35.6799 s c =============================================================================== c | 52 | 2485 2917 982596 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12458 c Elapsed CPU time: 145.063 s Remaining CPU time: 34.9371 s c =============================================================================== c | 52 | 2485 2918 984946 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12457 c Elapsed CPU time: 145.772 s Remaining CPU time: 34.2282 s c =============================================================================== c | 52 | 2485 2919 987296 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12456 c Elapsed CPU time: 146.481 s Remaining CPU time: 33.5193 s c =============================================================================== c | 52 | 2485 2920 989646 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12455 c Elapsed CPU time: 147.18 s Remaining CPU time: 32.8204 s c =============================================================================== c | 52 | 2485 2921 991996 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12454 c Elapsed CPU time: 147.926 s Remaining CPU time: 32.0745 s c =============================================================================== c | 52 | 2485 2922 994346 | 5000 52 2131 | 0.000 % | c =============================================================================== c New solution: 12453 c Elapsed CPU time: 148.744 s Remaining CPU time: 31.2556 s c =============================================================================== c | 53 | 2485 2923 996696 | 5000 53 2133 | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 149.594 s Remaining CPU time: 30.4057 s c =============================================================================== c | 53 | 2485 2924 999046 | 5000 53 2133 | 0.000 % | c =============================================================================== c New solution: 12451 c Elapsed CPU time: 150.352 s Remaining CPU time: 29.6479 s c =============================================================================== c | 53 | 2485 2925 1001396 | 5000 53 2133 | 0.000 % | c =============================================================================== c New solution: 12450 c Elapsed CPU time: 151.092 s Remaining CPU time: 28.908 s c =============================================================================== c | 53 | 2485 2926 1003746 | 5000 53 2133 | 0.000 % | c =============================================================================== c New solution: 12449 c Elapsed CPU time: 151.905 s Remaining CPU time: 28.0951 s c =============================================================================== c | 56 | 2485 2927 1006096 | 5000 56 2139 | 0.000 % | c =============================================================================== c New solution: 12448 c Elapsed CPU time: 152.682 s Remaining CPU time: 27.3182 s c =============================================================================== c | 56 | 2485 2928 1008446 | 5000 56 2139 | 0.000 % | c =============================================================================== c New solution: 12447 c Elapsed CPU time: 153.38 s Remaining CPU time: 26.6203 s c =============================================================================== c | 56 | 2485 2929 1010796 | 5000 56 2139 | 0.000 % | c =============================================================================== c New solution: 12446 c Elapsed CPU time: 154.113 s Remaining CPU time: 25.8874 s c =============================================================================== c | 56 | 2485 2930 1013146 | 5000 56 2139 | 0.000 % | c =============================================================================== c New solution: 12445 c Elapsed CPU time: 154.841 s Remaining CPU time: 25.1585 s c =============================================================================== c | 68 | 2485 2931 1015496 | 5000 68 2159 | 0.000 % | c =============================================================================== c New solution: 12444 c Elapsed CPU time: 155.527 s Remaining CPU time: 24.4726 s c =============================================================================== c | 70 | 2485 2932 1017846 | 5000 70 2162 | 0.000 % | c =============================================================================== c New solution: 12443 c Elapsed CPU time: 156.298 s Remaining CPU time: 23.7018 s c =============================================================================== c | 70 | 2485 2933 1020196 | 5000 70 2162 | 0.000 % | c =============================================================================== c New solution: 12442 c Elapsed CPU time: 157.013 s Remaining CPU time: 22.9869 s c =============================================================================== c | 71 | 2485 2934 1022546 | 5000 71 2163 | 0.000 % | c =============================================================================== c New solution: 12441 c Elapsed CPU time: 157.701 s Remaining CPU time: 22.299 s c =============================================================================== c | 71 | 2485 2935 1024896 | 5000 71 2163 | 0.000 % | c =============================================================================== c New solution: 12440 c Elapsed CPU time: 158.381 s Remaining CPU time: 21.6191 s c =============================================================================== c | 71 | 2485 2936 1027246 | 5000 71 2163 | 0.000 % | c =============================================================================== c New solution: 12439 c Elapsed CPU time: 159.126 s Remaining CPU time: 20.8742 s c =============================================================================== c | 71 | 2485 2937 1029596 | 5000 71 2163 | 0.000 % | c =============================================================================== c New solution: 12438 c Elapsed CPU time: 159.901 s Remaining CPU time: 20.0993 s c =============================================================================== c | 71 | 2485 2938 1031946 | 5000 71 2163 | 0.000 % | c =============================================================================== c New solution: 12437 c Elapsed CPU time: 160.636 s Remaining CPU time: 19.3644 s c =============================================================================== c | 71 | 2485 2939 1034296 | 5000 71 2163 | 0.000 % | c =============================================================================== c New solution: 12436 c Elapsed CPU time: 161.345 s Remaining CPU time: 18.6545 s c =============================================================================== c | 71 | 2485 2940 1036646 | 5000 71 2163 | 0.000 % | c =============================================================================== c New solution: 12435 c Elapsed CPU time: 162.085 s Remaining CPU time: 17.9146 s c =============================================================================== c | 72 | 2485 2941 1038996 | 5000 72 2164 | 0.000 % | c =============================================================================== c New solution: 12434 c Elapsed CPU time: 162.838 s Remaining CPU time: 17.1618 s c =============================================================================== c | 73 | 2485 2942 1041346 | 5000 73 2165 | 0.000 % | c =============================================================================== c New solution: 12433 c Elapsed CPU time: 163.573 s Remaining CPU time: 16.4269 s c =============================================================================== c | 73 | 2485 2943 1043696 | 5000 73 2165 | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 164.332 s Remaining CPU time: 15.668 s c =============================================================================== c | 73 | 2485 2944 1046046 | 5000 73 2165 | 0.000 % | c =============================================================================== c New solution: 12431 c Elapsed CPU time: 165.093 s Remaining CPU time: 14.9071 s c =============================================================================== c | 73 | 2485 2945 1048396 | 5000 73 2165 | 0.000 % | c =============================================================================== c New solution: 12430 c Elapsed CPU time: 165.834 s Remaining CPU time: 14.1662 s c =============================================================================== c | 73 | 2485 2946 1050746 | 5000 73 2165 | 0.000 % | c =============================================================================== c New solution: 12429 c Elapsed CPU time: 166.592 s Remaining CPU time: 13.4083 s c =============================================================================== c | 73 | 2485 2947 1053096 | 5000 73 2165 | 0.000 % | c =============================================================================== c New solution: 12428 c Elapsed CPU time: 167.326 s Remaining CPU time: 12.6744 s c =============================================================================== c | 75 | 2485 2948 1055446 | 5000 75 2168 | 0.000 % | c =============================================================================== c New solution: 12427 c Elapsed CPU time: 168.014 s Remaining CPU time: 11.9855 s c =============================================================================== c | 75 | 2485 2949 1057796 | 5000 75 2168 | 0.000 % | c =============================================================================== c New solution: 12426 c Elapsed CPU time: 168.867 s Remaining CPU time: 11.1327 s c =============================================================================== c | 90 | 2485 2950 1060146 | 5000 90 2182 | 0.000 % | c =============================================================================== c New solution: 12425 c Elapsed CPU time: 169.616 s Remaining CPU time: 10.3838 s c =============================================================================== c | 92 | 2485 2951 1062496 | 5000 92 2183 | 0.000 % | c =============================================================================== c New solution: 12424 c Elapsed CPU time: 170.332 s Remaining CPU time: 9.66789 s c =============================================================================== c | 92 | 2485 2952 1064846 | 5000 92 2183 | 0.000 % | c =============================================================================== c New solution: 12423 c Elapsed CPU time: 171.112 s Remaining CPU time: 8.88801 s c =============================================================================== c | 92 | 2485 2953 1067196 | 5000 92 2183 | 0.000 % | c =============================================================================== c New solution: 12422 c Elapsed CPU time: 171.928 s Remaining CPU time: 8.07214 s c =============================================================================== c | 92 | 2485 2954 1069546 | 5000 92 2183 | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 172.668 s Remaining CPU time: 7.33225 s c =============================================================================== c | 92 | 2485 2955 1071896 | 5000 92 2183 | 0.000 % | c =============================================================================== c New solution: 12420 c Elapsed CPU time: 173.453 s Remaining CPU time: 6.54737 s c =============================================================================== c | 96 | 2485 2956 1074246 | 5000 96 2186 | 0.000 % | c =============================================================================== c New solution: 12419 c Elapsed CPU time: 174.262 s Remaining CPU time: 5.73849 s c =============================================================================== c | 101 | 2485 2957 1076596 | 5000 101 2189 | 0.000 % | c =============================================================================== c New solution: 12418 c Elapsed CPU time: 175.022 s Remaining CPU time: 4.97761 s c =============================================================================== c | 101 | 2485 2958 1078946 | 5000 101 2189 | 0.000 % | c =============================================================================== c New solution: 12417 c Elapsed CPU time: 175.799 s Remaining CPU time: 4.20073 s c =============================================================================== c | 101 | 2485 2959 1081296 | 5000 101 2189 | 0.000 % | c =============================================================================== c New solution: 12416 c Elapsed CPU time: 176.689 s Remaining CPU time: 3.31086 s c =============================================================================== c | 106 | 2485 2960 1083646 | 5000 106 2192 | 0.000 % | c =============================================================================== c New solution: 12415 c Elapsed CPU time: 177.525 s Remaining CPU time: 2.47499 s c =============================================================================== c | 111 | 2485 2961 1085996 | 5000 111 2194 | 0.000 % | c =============================================================================== c New solution: 12414 c Elapsed CPU time: 178.339 s Remaining CPU time: 1.66111 s c =============================================================================== c | 111 | 2485 2962 1088346 | 5000 111 2194 | 0.000 % | c =============================================================================== c New solution: 12413 c Elapsed CPU time: 179.077 s Remaining CPU time: 0.923224 s c =============================================================================== c | 111 | 2485 2963 1090696 | 5000 111 2194 | 0.000 % | c =============================================================================== c New solution: 12412 c Elapsed CPU time: 179.905 s Remaining CPU time: 0.09535 s c =============================================================================== c | 111 | 2485 2964 1093046 | 5000 111 2194 | 0.000 % | c There are 15 assigned variables. 2 in cost function.