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 | 2487 2512 7305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12975 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 2487 2513 9655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12971 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 2487 2514 12005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12966 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 2487 2515 14355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12962 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 2487 2516 16705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12960 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 2487 2517 19055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12956 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 2487 2518 21405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12955 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 2487 2519 23755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12953 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 2487 2520 26105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12949 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 2487 2521 28455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12948 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 0 | 2487 2522 30805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12947 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 2487 2523 33155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12946 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 2487 2524 35505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12945 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 2487 2525 37855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12944 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 0 | 2487 2526 40205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12943 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 0 | 2487 2527 42555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12940 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 0 | 2487 2528 44905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12939 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 0 | 2487 2529 47255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12938 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 0 | 2487 2530 49605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12937 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 0 | 2487 2531 51955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12936 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 0 | 2487 2532 54305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12935 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 2487 2533 56655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12934 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 0 | 2487 2534 59005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12932 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 0 | 2487 2535 61355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12930 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 0 | 2487 2536 63705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12929 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 0 | 2487 2537 66055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12927 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 0 | 2487 2538 68405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12926 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 0 | 2487 2539 70755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12920 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 0 | 2487 2540 73105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12917 c Elapsed CPU time: 0.873867 s Remaining CPU time: 179.126 s c =============================================================================== c | 0 | 2487 2541 75455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12916 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s c =============================================================================== c | 0 | 2487 2542 77805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12914 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 0 | 2487 2543 80155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12913 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 0 | 2487 2544 82505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12909 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 0 | 2487 2545 84855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12906 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 0 | 2487 2546 87205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12905 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 0 | 2487 2547 89555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12901 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 0 | 2487 2548 91905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12899 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 0 | 2487 2549 94255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12897 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 0 | 2487 2550 96605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12894 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 0 | 2487 2551 98955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12893 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 0 | 2487 2552 101305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12889 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 0 | 2487 2553 103655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12887 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 0 | 2487 2554 106005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12886 c Elapsed CPU time: 1.56576 s Remaining CPU time: 178.434 s c =============================================================================== c | 0 | 2487 2555 108355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12882 c Elapsed CPU time: 1.62375 s Remaining CPU time: 178.376 s c =============================================================================== c | 0 | 2487 2556 110705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12878 c Elapsed CPU time: 1.68074 s Remaining CPU time: 178.319 s c =============================================================================== c | 0 | 2487 2557 113055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12877 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 0 | 2487 2558 115405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12876 c Elapsed CPU time: 1.80173 s Remaining CPU time: 178.198 s c =============================================================================== c | 0 | 2487 2559 117755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12874 c Elapsed CPU time: 1.86972 s Remaining CPU time: 178.13 s c =============================================================================== c | 0 | 2487 2560 120105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12872 c Elapsed CPU time: 1.93471 s Remaining CPU time: 178.065 s c =============================================================================== c | 0 | 2487 2561 122455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12871 c Elapsed CPU time: 2.00569 s Remaining CPU time: 177.994 s c =============================================================================== c | 0 | 2487 2562 124805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12869 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 0 | 2487 2563 127155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12867 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 0 | 2487 2564 129505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12864 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 0 | 2487 2565 131855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12863 c Elapsed CPU time: 2.29465 s Remaining CPU time: 177.705 s c =============================================================================== c | 0 | 2487 2566 134205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12862 c Elapsed CPU time: 2.36864 s Remaining CPU time: 177.631 s c =============================================================================== c | 0 | 2487 2567 136555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12860 c Elapsed CPU time: 2.44163 s Remaining CPU time: 177.558 s c =============================================================================== c | 0 | 2487 2568 138905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12857 c Elapsed CPU time: 2.51962 s Remaining CPU time: 177.48 s c =============================================================================== c | 0 | 2487 2569 141255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12856 c Elapsed CPU time: 2.5996 s Remaining CPU time: 177.4 s c =============================================================================== c | 0 | 2487 2570 143605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12854 c Elapsed CPU time: 2.67859 s Remaining CPU time: 177.321 s c =============================================================================== c | 0 | 2487 2571 145955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12851 c Elapsed CPU time: 2.75958 s Remaining CPU time: 177.24 s c =============================================================================== c | 0 | 2487 2572 148305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12848 c Elapsed CPU time: 2.83957 s Remaining CPU time: 177.16 s c =============================================================================== c | 0 | 2487 2573 150655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12846 c Elapsed CPU time: 2.92455 s Remaining CPU time: 177.075 s c =============================================================================== c | 0 | 2487 2574 153005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12845 c Elapsed CPU time: 3.01354 s Remaining CPU time: 176.986 s c =============================================================================== c | 0 | 2487 2575 155355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12844 c Elapsed CPU time: 3.10153 s Remaining CPU time: 176.898 s c =============================================================================== c | 0 | 2487 2576 157705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12843 c Elapsed CPU time: 3.18751 s Remaining CPU time: 176.812 s c =============================================================================== c | 0 | 2487 2577 160055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12842 c Elapsed CPU time: 3.2765 s Remaining CPU time: 176.723 s c =============================================================================== c | 0 | 2487 2578 162405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12839 c Elapsed CPU time: 3.36749 s Remaining CPU time: 176.633 s c =============================================================================== c | 0 | 2487 2579 164755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12836 c Elapsed CPU time: 3.46447 s Remaining CPU time: 176.536 s c =============================================================================== c | 0 | 2487 2580 167105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12833 c Elapsed CPU time: 3.56246 s Remaining CPU time: 176.438 s c =============================================================================== c | 0 | 2487 2581 169455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12832 c Elapsed CPU time: 3.66144 s Remaining CPU time: 176.339 s c =============================================================================== c | 0 | 2487 2582 171805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12830 c Elapsed CPU time: 3.76143 s Remaining CPU time: 176.239 s c =============================================================================== c | 0 | 2487 2583 174155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12829 c Elapsed CPU time: 3.86241 s Remaining CPU time: 176.138 s c =============================================================================== c | 0 | 2487 2584 176505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12828 c Elapsed CPU time: 3.9684 s Remaining CPU time: 176.032 s c =============================================================================== c | 0 | 2487 2585 178855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12827 c Elapsed CPU time: 4.07438 s Remaining CPU time: 175.926 s c =============================================================================== c | 0 | 2487 2586 181205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12825 c Elapsed CPU time: 4.18036 s Remaining CPU time: 175.82 s c =============================================================================== c | 0 | 2487 2587 183555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12824 c Elapsed CPU time: 4.29035 s Remaining CPU time: 175.71 s c =============================================================================== c | 0 | 2487 2588 185905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12823 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 0 | 2487 2589 188255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12822 c Elapsed CPU time: 4.50831 s Remaining CPU time: 175.492 s c =============================================================================== c | 0 | 2487 2590 190605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12821 c Elapsed CPU time: 4.6223 s Remaining CPU time: 175.378 s c =============================================================================== c | 0 | 2487 2591 192955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12820 c Elapsed CPU time: 4.73928 s Remaining CPU time: 175.261 s c =============================================================================== c | 0 | 2487 2592 195305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12819 c Elapsed CPU time: 4.85726 s Remaining CPU time: 175.143 s c =============================================================================== c | 0 | 2487 2593 197655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12818 c Elapsed CPU time: 4.97624 s Remaining CPU time: 175.024 s c =============================================================================== c | 0 | 2487 2594 200005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12817 c Elapsed CPU time: 5.10622 s Remaining CPU time: 174.894 s c =============================================================================== c | 0 | 2487 2595 202355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12814 c Elapsed CPU time: 5.2382 s Remaining CPU time: 174.762 s c =============================================================================== c | 0 | 2487 2596 204705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12813 c Elapsed CPU time: 5.37218 s Remaining CPU time: 174.628 s c =============================================================================== c | 0 | 2487 2597 207055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12812 c Elapsed CPU time: 5.50616 s Remaining CPU time: 174.494 s c =============================================================================== c | 0 | 2487 2598 209405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12811 c Elapsed CPU time: 5.63814 s Remaining CPU time: 174.362 s c =============================================================================== c | 0 | 2487 2599 211755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12809 c Elapsed CPU time: 5.77112 s Remaining CPU time: 174.229 s c =============================================================================== c | 0 | 2487 2600 214105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12808 c Elapsed CPU time: 5.9111 s Remaining CPU time: 174.089 s c =============================================================================== c | 0 | 2487 2601 216455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12807 c Elapsed CPU time: 6.05108 s Remaining CPU time: 173.949 s c =============================================================================== c | 0 | 2487 2602 218805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12806 c Elapsed CPU time: 6.19306 s Remaining CPU time: 173.807 s c =============================================================================== c | 0 | 2487 2603 221155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12805 c Elapsed CPU time: 6.33604 s Remaining CPU time: 173.664 s c =============================================================================== c | 0 | 2487 2604 223505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12804 c Elapsed CPU time: 6.47302 s Remaining CPU time: 173.527 s c =============================================================================== c | 0 | 2487 2605 225855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12802 c Elapsed CPU time: 6.61499 s Remaining CPU time: 173.385 s c =============================================================================== c | 0 | 2487 2606 228205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12800 c Elapsed CPU time: 6.76597 s Remaining CPU time: 173.234 s c =============================================================================== c | 0 | 2487 2607 230555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12796 c Elapsed CPU time: 6.91295 s Remaining CPU time: 173.087 s c =============================================================================== c | 0 | 2487 2608 232905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12795 c Elapsed CPU time: 7.05993 s Remaining CPU time: 172.94 s c =============================================================================== c | 0 | 2487 2609 235255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12792 c Elapsed CPU time: 7.2089 s Remaining CPU time: 172.791 s c =============================================================================== c | 0 | 2487 2610 237605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12789 c Elapsed CPU time: 7.36288 s Remaining CPU time: 172.637 s c =============================================================================== c | 0 | 2487 2611 239955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12786 c Elapsed CPU time: 7.51086 s Remaining CPU time: 172.489 s c =============================================================================== c | 0 | 2487 2612 242305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12785 c Elapsed CPU time: 7.66383 s Remaining CPU time: 172.336 s c =============================================================================== c | 0 | 2487 2613 244655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12784 c Elapsed CPU time: 7.82081 s Remaining CPU time: 172.179 s c =============================================================================== c | 0 | 2487 2614 247005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12782 c Elapsed CPU time: 7.97379 s Remaining CPU time: 172.026 s c =============================================================================== c | 0 | 2487 2615 249355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12781 c Elapsed CPU time: 8.12476 s Remaining CPU time: 171.875 s c =============================================================================== c | 0 | 2487 2616 251705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12780 c Elapsed CPU time: 8.28374 s Remaining CPU time: 171.716 s c =============================================================================== c | 0 | 2487 2617 254055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12779 c Elapsed CPU time: 8.44971 s Remaining CPU time: 171.55 s c =============================================================================== c | 0 | 2487 2618 256405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12777 c Elapsed CPU time: 8.61669 s Remaining CPU time: 171.383 s c =============================================================================== c | 0 | 2487 2619 258755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12774 c Elapsed CPU time: 8.78366 s Remaining CPU time: 171.216 s c =============================================================================== c | 0 | 2487 2620 261105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12772 c Elapsed CPU time: 8.94964 s Remaining CPU time: 171.05 s c =============================================================================== c | 0 | 2487 2621 263455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12770 c Elapsed CPU time: 9.11961 s Remaining CPU time: 170.88 s c =============================================================================== c | 0 | 2487 2622 265805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12769 c Elapsed CPU time: 9.28659 s Remaining CPU time: 170.713 s c =============================================================================== c | 0 | 2487 2623 268155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12768 c Elapsed CPU time: 9.45356 s Remaining CPU time: 170.546 s c =============================================================================== c | 0 | 2487 2624 270505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12764 c Elapsed CPU time: 9.63153 s Remaining CPU time: 170.368 s c =============================================================================== c | 0 | 2487 2625 272855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12761 c Elapsed CPU time: 9.81551 s Remaining CPU time: 170.184 s c =============================================================================== c | 0 | 2487 2626 275205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12759 c Elapsed CPU time: 10.0015 s Remaining CPU time: 169.999 s c =============================================================================== c | 0 | 2487 2627 277555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12758 c Elapsed CPU time: 10.1825 s Remaining CPU time: 169.818 s c =============================================================================== c | 0 | 2487 2628 279905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12757 c Elapsed CPU time: 10.3604 s Remaining CPU time: 169.64 s c =============================================================================== c | 0 | 2487 2629 282255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12756 c Elapsed CPU time: 10.5424 s Remaining CPU time: 169.458 s c =============================================================================== c | 0 | 2487 2630 284605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12754 c Elapsed CPU time: 10.7204 s Remaining CPU time: 169.28 s c =============================================================================== c | 0 | 2487 2631 286955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12753 c Elapsed CPU time: 10.9013 s Remaining CPU time: 169.099 s c =============================================================================== c | 0 | 2487 2632 289305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12752 c Elapsed CPU time: 11.0863 s Remaining CPU time: 168.914 s c =============================================================================== c | 0 | 2487 2633 291655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12749 c Elapsed CPU time: 11.2793 s Remaining CPU time: 168.721 s c =============================================================================== c | 0 | 2487 2634 294005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12748 c Elapsed CPU time: 11.4753 s Remaining CPU time: 168.525 s c =============================================================================== c | 0 | 2487 2635 296355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12745 c Elapsed CPU time: 11.6652 s Remaining CPU time: 168.335 s c =============================================================================== c | 0 | 2487 2636 298705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12744 c Elapsed CPU time: 11.8662 s Remaining CPU time: 168.134 s c =============================================================================== c | 0 | 2487 2637 301055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12743 c Elapsed CPU time: 12.0642 s Remaining CPU time: 167.936 s c =============================================================================== c | 0 | 2487 2638 303405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12741 c Elapsed CPU time: 12.2661 s Remaining CPU time: 167.734 s c =============================================================================== c | 0 | 2487 2639 305755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12740 c Elapsed CPU time: 12.4581 s Remaining CPU time: 167.542 s c =============================================================================== c | 0 | 2487 2640 308105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12739 c Elapsed CPU time: 12.6561 s Remaining CPU time: 167.344 s c =============================================================================== c | 0 | 2487 2641 310455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12737 c Elapsed CPU time: 12.853 s Remaining CPU time: 167.147 s c =============================================================================== c | 0 | 2487 2642 312805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12734 c Elapsed CPU time: 13.047 s Remaining CPU time: 166.953 s c =============================================================================== c | 0 | 2487 2643 315155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12733 c Elapsed CPU time: 13.246 s Remaining CPU time: 166.754 s c =============================================================================== c | 0 | 2487 2644 317505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12731 c Elapsed CPU time: 13.446 s Remaining CPU time: 166.554 s c =============================================================================== c | 0 | 2487 2645 319855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12730 c Elapsed CPU time: 13.6409 s Remaining CPU time: 166.359 s c =============================================================================== c | 0 | 2487 2646 322205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12727 c Elapsed CPU time: 13.8419 s Remaining CPU time: 166.158 s c =============================================================================== c | 0 | 2487 2647 324555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12726 c Elapsed CPU time: 14.0459 s Remaining CPU time: 165.954 s c =============================================================================== c | 0 | 2487 2648 326905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12725 c Elapsed CPU time: 14.2488 s Remaining CPU time: 165.751 s c =============================================================================== c | 0 | 2487 2649 329255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12724 c Elapsed CPU time: 14.4708 s Remaining CPU time: 165.529 s c =============================================================================== c | 0 | 2487 2650 331605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12723 c Elapsed CPU time: 14.6818 s Remaining CPU time: 165.318 s c =============================================================================== c | 0 | 2487 2651 333955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12721 c Elapsed CPU time: 14.8987 s Remaining CPU time: 165.101 s c =============================================================================== c | 0 | 2487 2652 336305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12720 c Elapsed CPU time: 15.1227 s Remaining CPU time: 164.877 s c =============================================================================== c | 0 | 2487 2653 338655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12717 c Elapsed CPU time: 15.3457 s Remaining CPU time: 164.654 s c =============================================================================== c | 0 | 2487 2654 341005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12716 c Elapsed CPU time: 15.5706 s Remaining CPU time: 164.429 s c =============================================================================== c | 0 | 2487 2655 343355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12715 c Elapsed CPU time: 15.7936 s Remaining CPU time: 164.206 s c =============================================================================== c | 0 | 2487 2656 345705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12714 c Elapsed CPU time: 16.0246 s Remaining CPU time: 163.975 s c =============================================================================== c | 0 | 2487 2657 348055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12712 c Elapsed CPU time: 16.2545 s Remaining CPU time: 163.745 s c =============================================================================== c | 0 | 2487 2658 350405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12711 c Elapsed CPU time: 16.4855 s Remaining CPU time: 163.515 s c =============================================================================== c | 0 | 2487 2659 352755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12710 c Elapsed CPU time: 16.7215 s Remaining CPU time: 163.279 s c =============================================================================== c | 0 | 2487 2660 355105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12708 c Elapsed CPU time: 16.9534 s Remaining CPU time: 163.047 s c =============================================================================== c | 0 | 2487 2661 357455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12706 c Elapsed CPU time: 17.1804 s Remaining CPU time: 162.82 s c =============================================================================== c | 0 | 2487 2662 359805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12705 c Elapsed CPU time: 17.4094 s Remaining CPU time: 162.591 s c =============================================================================== c | 0 | 2487 2663 362155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 17.6343 s Remaining CPU time: 162.366 s c =============================================================================== c | 0 | 2487 2664 364505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12699 c Elapsed CPU time: 17.8643 s Remaining CPU time: 162.136 s c =============================================================================== c | 0 | 2487 2665 366855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12697 c Elapsed CPU time: 18.1072 s Remaining CPU time: 161.893 s c =============================================================================== c | 0 | 2487 2666 369205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12696 c Elapsed CPU time: 18.3532 s Remaining CPU time: 161.647 s c =============================================================================== c | 0 | 2487 2667 371555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12695 c Elapsed CPU time: 18.6062 s Remaining CPU time: 161.394 s c =============================================================================== c | 0 | 2487 2668 373905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12694 c Elapsed CPU time: 18.8591 s Remaining CPU time: 161.141 s c =============================================================================== c | 0 | 2487 2669 376255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12693 c Elapsed CPU time: 19.1111 s Remaining CPU time: 160.889 s c =============================================================================== c | 0 | 2487 2670 378605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12692 c Elapsed CPU time: 19.3641 s Remaining CPU time: 160.636 s c =============================================================================== c | 0 | 2487 2671 380955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12691 c Elapsed CPU time: 19.613 s Remaining CPU time: 160.387 s c =============================================================================== c | 0 | 2487 2672 383305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12690 c Elapsed CPU time: 19.867 s Remaining CPU time: 160.133 s c =============================================================================== c | 0 | 2487 2673 385655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12689 c Elapsed CPU time: 20.1249 s Remaining CPU time: 159.875 s c =============================================================================== c | 0 | 2487 2674 388005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12688 c Elapsed CPU time: 20.3749 s Remaining CPU time: 159.625 s c =============================================================================== c | 0 | 2487 2675 390355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12687 c Elapsed CPU time: 20.6339 s Remaining CPU time: 159.366 s c =============================================================================== c | 0 | 2487 2676 392705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12686 c Elapsed CPU time: 20.8888 s Remaining CPU time: 159.111 s c =============================================================================== c | 0 | 2487 2677 395055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12685 c Elapsed CPU time: 21.1498 s Remaining CPU time: 158.85 s c =============================================================================== c | 0 | 2487 2678 397405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12683 c Elapsed CPU time: 21.4127 s Remaining CPU time: 158.587 s c =============================================================================== c | 0 | 2487 2679 399755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12682 c Elapsed CPU time: 21.6707 s Remaining CPU time: 158.329 s c =============================================================================== c | 0 | 2487 2680 402105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12681 c Elapsed CPU time: 21.9337 s Remaining CPU time: 158.066 s c =============================================================================== c | 0 | 2487 2681 404455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12680 c Elapsed CPU time: 22.2026 s Remaining CPU time: 157.797 s c =============================================================================== c | 0 | 2487 2682 406805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12679 c Elapsed CPU time: 22.4756 s Remaining CPU time: 157.524 s c =============================================================================== c | 0 | 2487 2683 409155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12677 c Elapsed CPU time: 22.7495 s Remaining CPU time: 157.25 s c =============================================================================== c | 0 | 2487 2684 411505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12676 c Elapsed CPU time: 23.0185 s Remaining CPU time: 156.982 s c =============================================================================== c | 0 | 2487 2685 413855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12674 c Elapsed CPU time: 23.2885 s Remaining CPU time: 156.712 s c =============================================================================== c | 0 | 2487 2686 416205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12672 c Elapsed CPU time: 23.5624 s Remaining CPU time: 156.438 s c =============================================================================== c | 0 | 2487 2687 418555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12671 c Elapsed CPU time: 23.8314 s Remaining CPU time: 156.169 s c =============================================================================== c | 0 | 2487 2688 420905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12668 c Elapsed CPU time: 24.0963 s Remaining CPU time: 155.904 s c =============================================================================== c | 0 | 2487 2689 423255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12667 c Elapsed CPU time: 24.3683 s Remaining CPU time: 155.632 s c =============================================================================== c | 0 | 2487 2690 425605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12664 c Elapsed CPU time: 24.6403 s Remaining CPU time: 155.36 s c =============================================================================== c | 0 | 2487 2691 427955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12660 c Elapsed CPU time: 24.9112 s Remaining CPU time: 155.089 s c =============================================================================== c | 0 | 2487 2692 430305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12656 c Elapsed CPU time: 25.1842 s Remaining CPU time: 154.816 s c =============================================================================== c | 0 | 2487 2693 432655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12655 c Elapsed CPU time: 25.4561 s Remaining CPU time: 154.544 s c =============================================================================== c | 0 | 2487 2694 435005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12653 c Elapsed CPU time: 25.7361 s Remaining CPU time: 154.264 s c =============================================================================== c | 0 | 2487 2695 437355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12651 c Elapsed CPU time: 26.021 s Remaining CPU time: 153.979 s c =============================================================================== c | 0 | 2487 2696 439705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12649 c Elapsed CPU time: 26.303 s Remaining CPU time: 153.697 s c =============================================================================== c | 0 | 2487 2697 442055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12647 c Elapsed CPU time: 26.587 s Remaining CPU time: 153.413 s c =============================================================================== c | 0 | 2487 2698 444405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12646 c Elapsed CPU time: 26.8739 s Remaining CPU time: 153.126 s c =============================================================================== c | 0 | 2487 2699 446755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12645 c Elapsed CPU time: 27.1639 s Remaining CPU time: 152.836 s c =============================================================================== c | 0 | 2487 2700 449105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12644 c Elapsed CPU time: 27.4548 s Remaining CPU time: 152.545 s c =============================================================================== c | 0 | 2487 2701 451455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12643 c Elapsed CPU time: 27.7428 s Remaining CPU time: 152.257 s c =============================================================================== c | 0 | 2487 2702 453805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12641 c Elapsed CPU time: 28.0247 s Remaining CPU time: 151.975 s c =============================================================================== c | 0 | 2487 2703 456155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12640 c Elapsed CPU time: 28.3237 s Remaining CPU time: 151.676 s c =============================================================================== c | 0 | 2487 2704 458505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12639 c Elapsed CPU time: 28.6196 s Remaining CPU time: 151.38 s c =============================================================================== c | 0 | 2487 2705 460855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12636 c Elapsed CPU time: 28.9156 s Remaining CPU time: 151.084 s c =============================================================================== c | 0 | 2487 2706 463205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12634 c Elapsed CPU time: 29.2166 s Remaining CPU time: 150.783 s c =============================================================================== c | 0 | 2487 2707 465555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12632 c Elapsed CPU time: 29.4725 s Remaining CPU time: 150.527 s c =============================================================================== c | 0 | 2487 2708 467905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12631 c Elapsed CPU time: 29.7165 s Remaining CPU time: 150.284 s c =============================================================================== c | 0 | 2487 2709 470255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12630 c Elapsed CPU time: 29.9654 s Remaining CPU time: 150.035 s c =============================================================================== c | 0 | 2487 2710 472605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12629 c Elapsed CPU time: 30.2054 s Remaining CPU time: 149.795 s c =============================================================================== c | 0 | 2487 2711 474955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12626 c Elapsed CPU time: 30.4484 s Remaining CPU time: 149.552 s c =============================================================================== c | 0 | 2487 2712 477305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12624 c Elapsed CPU time: 30.6873 s Remaining CPU time: 149.313 s c =============================================================================== c | 0 | 2487 2713 479655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12620 c Elapsed CPU time: 30.9303 s Remaining CPU time: 149.07 s c =============================================================================== c | 0 | 2487 2714 482005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12619 c Elapsed CPU time: 31.1813 s Remaining CPU time: 148.819 s c =============================================================================== c | 0 | 2487 2715 484355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12617 c Elapsed CPU time: 31.4392 s Remaining CPU time: 148.561 s c =============================================================================== c | 0 | 2487 2716 486705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12616 c Elapsed CPU time: 31.6902 s Remaining CPU time: 148.31 s c =============================================================================== c | 0 | 2487 2717 489055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12615 c Elapsed CPU time: 31.9431 s Remaining CPU time: 148.057 s c =============================================================================== c | 0 | 2487 2718 491405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12614 c Elapsed CPU time: 32.1991 s Remaining CPU time: 147.801 s c =============================================================================== c | 0 | 2487 2719 493755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12613 c Elapsed CPU time: 32.4591 s Remaining CPU time: 147.541 s c =============================================================================== c | 0 | 2487 2720 496105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12612 c Elapsed CPU time: 32.719 s Remaining CPU time: 147.281 s c =============================================================================== c | 0 | 2487 2721 498455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12610 c Elapsed CPU time: 32.969 s Remaining CPU time: 147.031 s c =============================================================================== c | 0 | 2487 2722 500805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12609 c Elapsed CPU time: 33.2269 s Remaining CPU time: 146.773 s c =============================================================================== c | 0 | 2487 2723 503155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12606 c Elapsed CPU time: 33.4829 s Remaining CPU time: 146.517 s c =============================================================================== c | 0 | 2487 2724 505505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12603 c Elapsed CPU time: 33.7359 s Remaining CPU time: 146.264 s c =============================================================================== c | 0 | 2487 2725 507855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12601 c Elapsed CPU time: 34.0088 s Remaining CPU time: 145.991 s c =============================================================================== c | 0 | 2487 2726 510205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12600 c Elapsed CPU time: 34.2978 s Remaining CPU time: 145.702 s c =============================================================================== c | 0 | 2487 2727 512555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12599 c Elapsed CPU time: 34.5787 s Remaining CPU time: 145.421 s c =============================================================================== c | 0 | 2487 2728 514905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12598 c Elapsed CPU time: 34.8547 s Remaining CPU time: 145.145 s c =============================================================================== c | 0 | 2487 2729 517255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12597 c Elapsed CPU time: 35.1307 s Remaining CPU time: 144.869 s c =============================================================================== c | 0 | 2487 2730 519605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12595 c Elapsed CPU time: 35.4036 s Remaining CPU time: 144.596 s c =============================================================================== c | 0 | 2487 2731 521955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 35.6696 s Remaining CPU time: 144.33 s c =============================================================================== c | 0 | 2487 2732 524305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12591 c Elapsed CPU time: 35.9425 s Remaining CPU time: 144.057 s c =============================================================================== c | 0 | 2487 2733 526655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12590 c Elapsed CPU time: 36.2335 s Remaining CPU time: 143.767 s c =============================================================================== c | 0 | 2487 2734 529005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12589 c Elapsed CPU time: 36.5194 s Remaining CPU time: 143.481 s c =============================================================================== c | 0 | 2487 2735 531355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12588 c Elapsed CPU time: 36.8044 s Remaining CPU time: 143.196 s c =============================================================================== c | 0 | 2487 2736 533705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12587 c Elapsed CPU time: 37.1044 s Remaining CPU time: 142.896 s c =============================================================================== c | 0 | 2487 2737 536055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12585 c Elapsed CPU time: 37.3963 s Remaining CPU time: 142.604 s c =============================================================================== c | 0 | 2487 2738 538405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12584 c Elapsed CPU time: 37.7003 s Remaining CPU time: 142.3 s c =============================================================================== c | 0 | 2487 2739 540755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12583 c Elapsed CPU time: 37.9982 s Remaining CPU time: 142.002 s c =============================================================================== c | 0 | 2487 2740 543105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12580 c Elapsed CPU time: 38.2972 s Remaining CPU time: 141.703 s c =============================================================================== c | 0 | 2487 2741 545455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12578 c Elapsed CPU time: 38.5931 s Remaining CPU time: 141.407 s c =============================================================================== c | 0 | 2487 2742 547805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12577 c Elapsed CPU time: 38.8931 s Remaining CPU time: 141.107 s c =============================================================================== c | 0 | 2487 2743 550155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12575 c Elapsed CPU time: 39.192 s Remaining CPU time: 140.808 s c =============================================================================== c | 0 | 2487 2744 552505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12573 c Elapsed CPU time: 39.493 s Remaining CPU time: 140.507 s c =============================================================================== c | 0 | 2487 2745 554855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12572 c Elapsed CPU time: 39.8079 s Remaining CPU time: 140.192 s c =============================================================================== c | 0 | 2487 2746 557205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12571 c Elapsed CPU time: 40.1169 s Remaining CPU time: 139.883 s c =============================================================================== c | 0 | 2487 2747 559555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12570 c Elapsed CPU time: 40.4239 s Remaining CPU time: 139.576 s c =============================================================================== c | 0 | 2487 2748 561905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12569 c Elapsed CPU time: 40.7298 s Remaining CPU time: 139.27 s c =============================================================================== c | 0 | 2487 2749 564255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12568 c Elapsed CPU time: 41.0318 s Remaining CPU time: 138.968 s c =============================================================================== c | 0 | 2487 2750 566605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12567 c Elapsed CPU time: 41.3327 s Remaining CPU time: 138.667 s c =============================================================================== c | 0 | 2487 2751 568955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12566 c Elapsed CPU time: 41.6507 s Remaining CPU time: 138.349 s c =============================================================================== c | 0 | 2487 2752 571305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12565 c Elapsed CPU time: 41.9586 s Remaining CPU time: 138.041 s c =============================================================================== c | 0 | 2487 2753 573655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12564 c Elapsed CPU time: 42.2686 s Remaining CPU time: 137.731 s c =============================================================================== c | 0 | 2487 2754 576005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12562 c Elapsed CPU time: 42.5795 s Remaining CPU time: 137.42 s c =============================================================================== c | 0 | 2487 2755 578355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12561 c Elapsed CPU time: 42.8935 s Remaining CPU time: 137.107 s c =============================================================================== c | 0 | 2487 2756 580705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12560 c Elapsed CPU time: 43.2094 s Remaining CPU time: 136.791 s c =============================================================================== c | 0 | 2487 2757 583055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12559 c Elapsed CPU time: 43.5294 s Remaining CPU time: 136.471 s c =============================================================================== c | 0 | 2487 2758 585405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 43.8563 s Remaining CPU time: 136.144 s c =============================================================================== c | 0 | 2487 2759 587755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 44.1773 s Remaining CPU time: 135.823 s c =============================================================================== c | 0 | 2487 2760 590105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12555 c Elapsed CPU time: 44.4852 s Remaining CPU time: 135.515 s c =============================================================================== c | 0 | 2487 2761 592455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12552 c Elapsed CPU time: 44.8132 s Remaining CPU time: 135.187 s c =============================================================================== c | 0 | 2487 2762 594805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 45.1601 s Remaining CPU time: 134.84 s c =============================================================================== c | 0 | 2487 2763 597155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12550 c Elapsed CPU time: 45.5091 s Remaining CPU time: 134.491 s c =============================================================================== c | 0 | 2487 2764 599505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12549 c Elapsed CPU time: 45.843 s Remaining CPU time: 134.157 s c =============================================================================== c | 0 | 2487 2765 601855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12548 c Elapsed CPU time: 46.216 s Remaining CPU time: 133.784 s c =============================================================================== c | 0 | 2487 2766 604205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12546 c Elapsed CPU time: 46.5879 s Remaining CPU time: 133.412 s c =============================================================================== c | 0 | 2487 2767 606555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12544 c Elapsed CPU time: 46.9419 s Remaining CPU time: 133.058 s c =============================================================================== c | 0 | 2487 2768 608905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12543 c Elapsed CPU time: 47.3008 s Remaining CPU time: 132.699 s c =============================================================================== c | 0 | 2487 2769 611255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12542 c Elapsed CPU time: 47.6598 s Remaining CPU time: 132.34 s c =============================================================================== c | 0 | 2487 2770 613605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12540 c Elapsed CPU time: 48.0117 s Remaining CPU time: 131.988 s c =============================================================================== c | 0 | 2487 2771 615955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12539 c Elapsed CPU time: 48.3656 s Remaining CPU time: 131.634 s c =============================================================================== c | 0 | 2487 2772 618305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12538 c Elapsed CPU time: 48.7346 s Remaining CPU time: 131.265 s c =============================================================================== c | 0 | 2487 2773 620655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12537 c Elapsed CPU time: 49.0995 s Remaining CPU time: 130.9 s c =============================================================================== c | 0 | 2487 2774 623005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 49.4815 s Remaining CPU time: 130.519 s c =============================================================================== c | 0 | 2487 2775 625355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12533 c Elapsed CPU time: 49.8574 s Remaining CPU time: 130.143 s c =============================================================================== c | 0 | 2487 2776 627705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12532 c Elapsed CPU time: 50.2394 s Remaining CPU time: 129.761 s c =============================================================================== c | 0 | 2487 2777 630055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12531 c Elapsed CPU time: 50.6073 s Remaining CPU time: 129.393 s c =============================================================================== c | 0 | 2487 2778 632405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12529 c Elapsed CPU time: 50.9783 s Remaining CPU time: 129.022 s c =============================================================================== c | 0 | 2487 2779 634755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12528 c Elapsed CPU time: 51.3872 s Remaining CPU time: 128.613 s c =============================================================================== c | 0 | 2487 2780 637105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12527 c Elapsed CPU time: 51.7771 s Remaining CPU time: 128.223 s c =============================================================================== c | 0 | 2487 2781 639455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12526 c Elapsed CPU time: 52.1631 s Remaining CPU time: 127.837 s c =============================================================================== c | 0 | 2487 2782 641805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12525 c Elapsed CPU time: 52.563 s Remaining CPU time: 127.437 s c =============================================================================== c | 0 | 2487 2783 644155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12524 c Elapsed CPU time: 52.9639 s Remaining CPU time: 127.036 s c =============================================================================== c | 0 | 2487 2784 646505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 53.3739 s Remaining CPU time: 126.626 s c =============================================================================== c | 0 | 2487 2785 648855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12522 c Elapsed CPU time: 53.7718 s Remaining CPU time: 126.228 s c =============================================================================== c | 0 | 2487 2786 651205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12521 c Elapsed CPU time: 54.1748 s Remaining CPU time: 125.825 s c =============================================================================== c | 1 | 2487 2787 653555 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12520 c Elapsed CPU time: 54.5397 s Remaining CPU time: 125.46 s c =============================================================================== c | 1 | 2487 2788 655905 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12519 c Elapsed CPU time: 54.8927 s Remaining CPU time: 125.107 s c =============================================================================== c | 1 | 2487 2789 658255 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12517 c Elapsed CPU time: 55.2426 s Remaining CPU time: 124.757 s c =============================================================================== c | 1 | 2487 2790 660605 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12516 c Elapsed CPU time: 55.6235 s Remaining CPU time: 124.376 s c =============================================================================== c | 1 | 2487 2791 662955 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12515 c Elapsed CPU time: 56.0075 s Remaining CPU time: 123.993 s c =============================================================================== c | 1 | 2487 2792 665305 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12514 c Elapsed CPU time: 56.3704 s Remaining CPU time: 123.63 s c =============================================================================== c | 1 | 2487 2793 667655 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12513 c Elapsed CPU time: 56.7404 s Remaining CPU time: 123.26 s c =============================================================================== c | 1 | 2487 2794 670005 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12512 c Elapsed CPU time: 57.1153 s Remaining CPU time: 122.885 s c =============================================================================== c | 3 | 2487 2795 672355 | 5000 3 763 | 0.000 % | c =============================================================================== c New solution: 12511 c Elapsed CPU time: 57.5303 s Remaining CPU time: 122.47 s c =============================================================================== c | 3 | 2487 2796 674705 | 5000 3 763 | 0.000 % | c =============================================================================== c New solution: 12510 c Elapsed CPU time: 57.9052 s Remaining CPU time: 122.095 s c =============================================================================== c | 3 | 2487 2797 677055 | 5000 3 763 | 0.000 % | c =============================================================================== c New solution: 12509 c Elapsed CPU time: 58.3131 s Remaining CPU time: 121.687 s c =============================================================================== c | 3 | 2487 2798 679405 | 5000 3 763 | 0.000 % | c =============================================================================== c New solution: 12507 c Elapsed CPU time: 58.7011 s Remaining CPU time: 121.299 s c =============================================================================== c | 3 | 2487 2799 681755 | 5000 3 763 | 0.000 % | c =============================================================================== c New solution: 12506 c Elapsed CPU time: 59.084 s Remaining CPU time: 120.916 s c =============================================================================== c | 4 | 2487 2800 684105 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12504 c Elapsed CPU time: 59.46 s Remaining CPU time: 120.54 s c =============================================================================== c | 4 | 2487 2801 686455 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12503 c Elapsed CPU time: 59.8319 s Remaining CPU time: 120.168 s c =============================================================================== c | 4 | 2487 2802 688805 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12501 c Elapsed CPU time: 60.1898 s Remaining CPU time: 119.81 s c =============================================================================== c | 4 | 2487 2803 691155 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12500 c Elapsed CPU time: 60.5518 s Remaining CPU time: 119.448 s c =============================================================================== c | 4 | 2487 2804 693505 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12499 c Elapsed CPU time: 60.9247 s Remaining CPU time: 119.075 s c =============================================================================== c | 4 | 2487 2805 695855 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12497 c Elapsed CPU time: 61.3067 s Remaining CPU time: 118.693 s c =============================================================================== c | 4 | 2487 2806 698205 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12496 c Elapsed CPU time: 61.6786 s Remaining CPU time: 118.321 s c =============================================================================== c | 4 | 2487 2807 700555 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12495 c Elapsed CPU time: 62.0486 s Remaining CPU time: 117.951 s c =============================================================================== c | 4 | 2487 2808 702905 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12494 c Elapsed CPU time: 62.4115 s Remaining CPU time: 117.588 s c =============================================================================== c | 4 | 2487 2809 705255 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12493 c Elapsed CPU time: 62.8274 s Remaining CPU time: 117.173 s c =============================================================================== c | 4 | 2487 2810 707605 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12492 c Elapsed CPU time: 63.2564 s Remaining CPU time: 116.744 s c =============================================================================== c | 4 | 2487 2811 709955 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 63.6733 s Remaining CPU time: 116.327 s c =============================================================================== c | 4 | 2487 2812 712305 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12489 c Elapsed CPU time: 64.0503 s Remaining CPU time: 115.95 s c =============================================================================== c | 4 | 2487 2813 714655 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12488 c Elapsed CPU time: 64.4372 s Remaining CPU time: 115.563 s c =============================================================================== c | 4 | 2487 2814 717005 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12486 c Elapsed CPU time: 64.8201 s Remaining CPU time: 115.18 s c =============================================================================== c | 4 | 2487 2815 719355 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12485 c Elapsed CPU time: 65.2141 s Remaining CPU time: 114.786 s c =============================================================================== c | 4 | 2487 2816 721705 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12483 c Elapsed CPU time: 65.601 s Remaining CPU time: 114.399 s c =============================================================================== c | 4 | 2487 2817 724055 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12482 c Elapsed CPU time: 65.986 s Remaining CPU time: 114.014 s c =============================================================================== c | 4 | 2487 2818 726405 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12480 c Elapsed CPU time: 66.3769 s Remaining CPU time: 113.623 s c =============================================================================== c | 4 | 2487 2819 728755 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12478 c Elapsed CPU time: 66.7708 s Remaining CPU time: 113.229 s c =============================================================================== c | 4 | 2487 2820 731105 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12477 c Elapsed CPU time: 67.1598 s Remaining CPU time: 112.84 s c =============================================================================== c | 4 | 2487 2821 733455 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 67.5587 s Remaining CPU time: 112.441 s c =============================================================================== c | 4 | 2487 2822 735805 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12474 c Elapsed CPU time: 67.9627 s Remaining CPU time: 112.037 s c =============================================================================== c | 4 | 2487 2823 738155 | 5000 4 1143 | 0.000 % | c =============================================================================== c New solution: 12473 c Elapsed CPU time: 68.3976 s Remaining CPU time: 111.602 s c =============================================================================== c | 5 | 2487 2824 740505 | 5000 5 916 | 0.000 % | c =============================================================================== c New solution: 12472 c Elapsed CPU time: 68.8185 s Remaining CPU time: 111.181 s c =============================================================================== c | 5 | 2487 2825 742855 | 5000 5 916 | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 69.2215 s Remaining CPU time: 110.779 s c =============================================================================== c | 5 | 2487 2826 745205 | 5000 5 916 | 0.000 % | c =============================================================================== c New solution: 12469 c Elapsed CPU time: 69.6264 s Remaining CPU time: 110.374 s c =============================================================================== c | 5 | 2487 2827 747555 | 5000 5 916 | 0.000 % | c =============================================================================== c New solution: 12467 c Elapsed CPU time: 70.0164 s Remaining CPU time: 109.984 s c =============================================================================== c | 5 | 2487 2828 749905 | 5000 5 916 | 0.000 % | c =============================================================================== c New solution: 12466 c Elapsed CPU time: 70.4633 s Remaining CPU time: 109.537 s c =============================================================================== c | 6 | 2487 2829 752255 | 5000 6 1143 | 0.000 % | c =============================================================================== c New solution: 12465 c Elapsed CPU time: 70.8962 s Remaining CPU time: 109.104 s c =============================================================================== c | 10 | 2487 2830 754605 | 5000 10 1596 | 0.000 % | c =============================================================================== c New solution: 12464 c Elapsed CPU time: 71.3172 s Remaining CPU time: 108.683 s c =============================================================================== c | 10 | 2487 2831 756955 | 5000 10 1596 | 0.000 % | c =============================================================================== c New solution: 12463 c Elapsed CPU time: 71.7261 s Remaining CPU time: 108.274 s c =============================================================================== c | 10 | 2487 2832 759305 | 5000 10 1596 | 0.000 % | c =============================================================================== c New solution: 12462 c Elapsed CPU time: 72.153 s Remaining CPU time: 107.847 s c =============================================================================== c | 10 | 2487 2833 761655 | 5000 10 1596 | 0.000 % | c =============================================================================== c New solution: 12461 c Elapsed CPU time: 72.608 s Remaining CPU time: 107.392 s c =============================================================================== c | 10 | 2487 2834 764005 | 5000 10 1596 | 0.000 % | c =============================================================================== c New solution: 12460 c Elapsed CPU time: 73.0669 s Remaining CPU time: 106.933 s c =============================================================================== c | 10 | 2487 2835 766355 | 5000 10 1596 | 0.000 % | c =============================================================================== c New solution: 12458 c Elapsed CPU time: 73.5168 s Remaining CPU time: 106.483 s c =============================================================================== c | 11 | 2487 2836 768705 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12457 c Elapsed CPU time: 73.9568 s Remaining CPU time: 106.043 s c =============================================================================== c | 11 | 2487 2837 771055 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12456 c Elapsed CPU time: 74.3947 s Remaining CPU time: 105.605 s c =============================================================================== c | 11 | 2487 2838 773405 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12455 c Elapsed CPU time: 74.8316 s Remaining CPU time: 105.168 s c =============================================================================== c | 11 | 2487 2839 775755 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12454 c Elapsed CPU time: 75.2756 s Remaining CPU time: 104.724 s c =============================================================================== c | 11 | 2487 2840 778105 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12453 c Elapsed CPU time: 75.6955 s Remaining CPU time: 104.305 s c =============================================================================== c | 11 | 2487 2841 780455 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 76.1284 s Remaining CPU time: 103.872 s c =============================================================================== c | 11 | 2487 2842 782805 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12451 c Elapsed CPU time: 76.5834 s Remaining CPU time: 103.417 s c =============================================================================== c | 11 | 2487 2843 785155 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12450 c Elapsed CPU time: 77.0043 s Remaining CPU time: 102.996 s c =============================================================================== c | 11 | 2487 2844 787505 | 5000 11 1658 | 0.000 % | c =============================================================================== c New solution: 12448 c Elapsed CPU time: 77.4282 s Remaining CPU time: 102.572 s c =============================================================================== c | 12 | 2487 2845 789855 | 5000 12 1709 | 0.000 % | c =============================================================================== c New solution: 12446 c Elapsed CPU time: 77.8702 s Remaining CPU time: 102.13 s c =============================================================================== c | 12 | 2487 2846 792205 | 5000 12 1709 | 0.000 % | c =============================================================================== c New solution: 12444 c Elapsed CPU time: 78.3121 s Remaining CPU time: 101.688 s c =============================================================================== c | 12 | 2487 2847 794555 | 5000 12 1709 | 0.000 % | c =============================================================================== c New solution: 12443 c Elapsed CPU time: 78.768 s Remaining CPU time: 101.232 s c =============================================================================== c | 12 | 2487 2848 796905 | 5000 12 1709 | 0.000 % | c =============================================================================== c New solution: 12442 c Elapsed CPU time: 79.218 s Remaining CPU time: 100.782 s c =============================================================================== c | 12 | 2487 2849 799255 | 5000 12 1709 | 0.000 % | c =============================================================================== c New solution: 12440 c Elapsed CPU time: 79.6749 s Remaining CPU time: 100.325 s c =============================================================================== c | 12 | 2487 2850 801605 | 5000 12 1709 | 0.000 % | c =============================================================================== c New solution: 12439 c Elapsed CPU time: 80.1058 s Remaining CPU time: 99.8942 s c =============================================================================== c | 12 | 2487 2851 803955 | 5000 12 1709 | 0.000 % | c =============================================================================== c New solution: 12438 c Elapsed CPU time: 80.5488 s Remaining CPU time: 99.4512 s c =============================================================================== c | 12 | 2487 2852 806305 | 5000 12 1709 | 0.000 % | c =============================================================================== c New solution: 12437 c Elapsed CPU time: 81.0137 s Remaining CPU time: 98.9863 s c =============================================================================== c | 14 | 2487 2853 808655 | 5000 14 1790 | 0.000 % | c =============================================================================== c New solution: 12435 c Elapsed CPU time: 81.4606 s Remaining CPU time: 98.5394 s c =============================================================================== c | 14 | 2487 2854 811005 | 5000 14 1790 | 0.000 % | c =============================================================================== c New solution: 12434 c Elapsed CPU time: 81.8886 s Remaining CPU time: 98.1114 s c =============================================================================== c | 14 | 2487 2855 813355 | 5000 14 1790 | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 82.3345 s Remaining CPU time: 97.6655 s c =============================================================================== c | 14 | 2487 2856 815705 | 5000 14 1790 | 0.000 % | c =============================================================================== c New solution: 12430 c Elapsed CPU time: 82.7604 s Remaining CPU time: 97.2396 s c =============================================================================== c | 14 | 2487 2857 818055 | 5000 14 1790 | 0.000 % | c =============================================================================== c New solution: 12429 c Elapsed CPU time: 83.2014 s Remaining CPU time: 96.7986 s c =============================================================================== c | 14 | 2487 2858 820405 | 5000 14 1790 | 0.000 % | c =============================================================================== c New solution: 12427 c Elapsed CPU time: 83.6843 s Remaining CPU time: 96.3157 s c =============================================================================== c | 15 | 2487 2859 822755 | 5000 15 1822 | 0.000 % | c =============================================================================== c New solution: 12425 c Elapsed CPU time: 84.1312 s Remaining CPU time: 95.8688 s c =============================================================================== c | 17 | 2487 2860 825105 | 5000 17 1875 | 0.000 % | c =============================================================================== c New solution: 12423 c Elapsed CPU time: 84.5881 s Remaining CPU time: 95.4119 s c =============================================================================== c | 17 | 2487 2861 827455 | 5000 17 1875 | 0.000 % | c =============================================================================== c New solution: 12422 c Elapsed CPU time: 85.0791 s Remaining CPU time: 94.9209 s c =============================================================================== c | 33 | 2487 2862 829805 | 5000 33 2067 | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 85.552 s Remaining CPU time: 94.448 s c =============================================================================== c | 33 | 2487 2863 832155 | 5000 33 2067 | 0.000 % | c =============================================================================== c New solution: 12419 c Elapsed CPU time: 86.0109 s Remaining CPU time: 93.9891 s c =============================================================================== c | 33 | 2487 2864 834505 | 5000 33 2067 | 0.000 % | c =============================================================================== c New solution: 12418 c Elapsed CPU time: 86.4659 s Remaining CPU time: 93.5341 s c =============================================================================== c | 33 | 2487 2865 836855 | 5000 33 2067 | 0.000 % | c =============================================================================== c New solution: 12417 c Elapsed CPU time: 86.9408 s Remaining CPU time: 93.0592 s c =============================================================================== c | 33 | 2487 2866 839205 | 5000 33 2067 | 0.000 % | c =============================================================================== c New solution: 12416 c Elapsed CPU time: 87.4407 s Remaining CPU time: 92.5593 s c =============================================================================== c | 36 | 2487 2867 841555 | 5000 36 2084 | 0.000 % | c =============================================================================== c New solution: 12415 c Elapsed CPU time: 87.9286 s Remaining CPU time: 92.0714 s c =============================================================================== c | 40 | 2487 2868 843905 | 5000 40 2103 | 0.000 % | c =============================================================================== c New solution: 12414 c Elapsed CPU time: 88.3946 s Remaining CPU time: 91.6054 s c =============================================================================== c | 40 | 2487 2869 846255 | 5000 40 2103 | 0.000 % | c =============================================================================== c New solution: 12412 c Elapsed CPU time: 88.9065 s Remaining CPU time: 91.0935 s c =============================================================================== c | 55 | 2487 2870 848605 | 5000 55 2149 | 0.000 % | c =============================================================================== c New solution: 12411 c Elapsed CPU time: 89.3884 s Remaining CPU time: 90.6116 s c =============================================================================== c | 56 | 2487 2871 850955 | 5000 56 2110 | 0.000 % | c =============================================================================== c New solution: 12410 c Elapsed CPU time: 89.8553 s Remaining CPU time: 90.1447 s c =============================================================================== c | 56 | 2487 2872 853305 | 5000 56 2110 | 0.000 % | c =============================================================================== c New solution: 12409 c Elapsed CPU time: 90.3453 s Remaining CPU time: 89.6547 s c =============================================================================== c | 61 | 2487 2873 855655 | 5000 61 2123 | 0.000 % | c =============================================================================== c New solution: 12408 c Elapsed CPU time: 90.8212 s Remaining CPU time: 89.1788 s c =============================================================================== c | 64 | 2487 2874 858005 | 5000 64 2130 | 0.000 % | c =============================================================================== c New solution: 12407 c Elapsed CPU time: 91.3271 s Remaining CPU time: 88.6729 s c =============================================================================== c | 67 | 2487 2875 860355 | 5000 67 2136 | 0.000 % | c =============================================================================== c New solution: 12406 c Elapsed CPU time: 91.811 s Remaining CPU time: 88.189 s c =============================================================================== c | 67 | 2487 2876 862705 | 5000 67 2136 | 0.000 % | c =============================================================================== c New solution: 12405 c Elapsed CPU time: 92.273 s Remaining CPU time: 87.727 s c =============================================================================== c | 67 | 2487 2877 865055 | 5000 67 2136 | 0.000 % | c =============================================================================== c New solution: 12404 c Elapsed CPU time: 92.7279 s Remaining CPU time: 87.2721 s c =============================================================================== c | 68 | 2487 2878 867405 | 5000 68 2138 | 0.000 % | c =============================================================================== c New solution: 12402 c Elapsed CPU time: 93.2108 s Remaining CPU time: 86.7892 s c =============================================================================== c | 69 | 2487 2879 869755 | 5000 69 2140 | 0.000 % | c =============================================================================== c New solution: 12401 c Elapsed CPU time: 93.7008 s Remaining CPU time: 86.2992 s c =============================================================================== c | 69 | 2487 2880 872105 | 5000 69 2140 | 0.000 % | c =============================================================================== c New solution: 12400 c Elapsed CPU time: 94.2047 s Remaining CPU time: 85.7953 s c =============================================================================== c | 74 | 2487 2881 874455 | 5000 74 2149 | 0.000 % | c =============================================================================== c New solution: 12399 c Elapsed CPU time: 94.7216 s Remaining CPU time: 85.2784 s c =============================================================================== c | 74 | 2487 2882 876805 | 5000 74 2149 | 0.000 % | c =============================================================================== c New solution: 12398 c Elapsed CPU time: 95.2075 s Remaining CPU time: 84.7925 s c =============================================================================== c | 75 | 2487 2883 879155 | 5000 75 2150 | 0.000 % | c =============================================================================== c New solution: 12396 c Elapsed CPU time: 95.6895 s Remaining CPU time: 84.3105 s c =============================================================================== c | 76 | 2487 2884 881505 | 5000 76 2152 | 0.000 % | c =============================================================================== c New solution: 12395 c Elapsed CPU time: 96.1504 s Remaining CPU time: 83.8496 s c =============================================================================== c | 76 | 2487 2885 883855 | 5000 76 2152 | 0.000 % | c =============================================================================== c New solution: 12394 c Elapsed CPU time: 96.6073 s Remaining CPU time: 83.3927 s c =============================================================================== c | 79 | 2487 2886 886205 | 5000 79 2156 | 0.000 % | c =============================================================================== c New solution: 12393 c Elapsed CPU time: 97.0682 s Remaining CPU time: 82.9318 s c =============================================================================== c | 80 | 2487 2887 888555 | 5000 80 2158 | 0.000 % | c =============================================================================== c New solution: 12391 c Elapsed CPU time: 97.5622 s Remaining CPU time: 82.4378 s c =============================================================================== c | 82 | 2487 2888 890905 | 5000 82 2160 | 0.000 % | c =============================================================================== c New solution: 12389 c Elapsed CPU time: 98.0651 s Remaining CPU time: 81.9349 s c =============================================================================== c | 82 | 2487 2889 893255 | 5000 82 2160 | 0.000 % | c =============================================================================== c New solution: 12388 c Elapsed CPU time: 98.601 s Remaining CPU time: 81.399 s c =============================================================================== c | 84 | 2487 2890 895605 | 5000 84 2163 | 0.000 % | c =============================================================================== c New solution: 12387 c Elapsed CPU time: 99.0699 s Remaining CPU time: 80.9301 s c =============================================================================== c | 84 | 2487 2891 897955 | 5000 84 2163 | 0.000 % | c =============================================================================== c New solution: 12386 c Elapsed CPU time: 99.5639 s Remaining CPU time: 80.4361 s c =============================================================================== c | 84 | 2487 2892 900305 | 5000 84 2163 | 0.000 % | c =============================================================================== c New solution: 12384 c Elapsed CPU time: 100.059 s Remaining CPU time: 79.9412 s c =============================================================================== c | 84 | 2487 2893 902655 | 5000 84 2163 | 0.000 % | c =============================================================================== c New solution: 12383 c Elapsed CPU time: 100.59 s Remaining CPU time: 79.4103 s c =============================================================================== c | 84 | 2487 2894 905005 | 5000 84 2163 | 0.000 % | c =============================================================================== c New solution: 12382 c Elapsed CPU time: 101.137 s Remaining CPU time: 78.8634 s c =============================================================================== c | 91 | 2487 2895 907355 | 5000 91 2170 | 0.000 % | c =============================================================================== c New solution: 12381 c Elapsed CPU time: 101.635 s Remaining CPU time: 78.3655 s c =============================================================================== c | 91 | 2487 2896 909705 | 5000 91 2170 | 0.000 % | c =============================================================================== c New solution: 12380 c Elapsed CPU time: 102.135 s Remaining CPU time: 77.8645 s c =============================================================================== c | 91 | 2487 2897 912055 | 5000 91 2170 | 0.000 % | c =============================================================================== c New solution: 12379 c Elapsed CPU time: 102.639 s Remaining CPU time: 77.3606 s c =============================================================================== c | 99 | 2487 2898 914405 | 5000 99 2178 | 0.000 % | c =============================================================================== c New solution: 12377 c Elapsed CPU time: 103.185 s Remaining CPU time: 76.8147 s c =============================================================================== c | 100 | 2487 2899 916755 | 5000 100 2179 | 0.000 % | c =============================================================================== c New solution: 12376 c Elapsed CPU time: 103.707 s Remaining CPU time: 76.2928 s c =============================================================================== c | 100 | 2487 2900 919105 | 5000 100 2179 | 0.000 % | c =============================================================================== c New solution: 12375 c Elapsed CPU time: 104.229 s Remaining CPU time: 75.7708 s c =============================================================================== c | 100 | 2487 2901 921455 | 5000 100 2179 | 0.000 % | c =============================================================================== c New solution: 12373 c Elapsed CPU time: 104.738 s Remaining CPU time: 75.2619 s c =============================================================================== c | 100 | 2487 2902 923805 | 5000 100 2179 | 0.000 % | c =============================================================================== c New solution: 12371 c Elapsed CPU time: 105.238 s Remaining CPU time: 74.762 s c =============================================================================== c | 100 | 2487 2903 926155 | 5000 100 2179 | 0.000 % | c =============================================================================== c New solution: 12370 c Elapsed CPU time: 105.726 s Remaining CPU time: 74.2741 s c =============================================================================== c | 100 | 2487 2904 928505 | 5000 100 2179 | 0.000 % | c =============================================================================== c New solution: 12369 c Elapsed CPU time: 106.239 s Remaining CPU time: 73.7612 s c =============================================================================== c | 100 | 2487 2905 930855 | 5000 100 2179 | 0.000 % | c =============================================================================== c New solution: 12368 c Elapsed CPU time: 106.779 s Remaining CPU time: 73.2212 s c =============================================================================== c | 118 | 2487 2906 933205 | 5000 118 2191 | 0.000 % | c =============================================================================== c New solution: 12367 c Elapsed CPU time: 107.341 s Remaining CPU time: 72.6593 s c =============================================================================== c | 122 | 2487 2907 935555 | 5000 122 2194 | 0.000 % | c =============================================================================== c New solution: 12366 c Elapsed CPU time: 107.892 s Remaining CPU time: 72.1084 s c =============================================================================== c | 129 | 2487 2908 937905 | 5000 129 2197 | 0.000 % | c =============================================================================== c New solution: 12364 c Elapsed CPU time: 108.407 s Remaining CPU time: 71.5935 s c =============================================================================== c | 129 | 2487 2909 940255 | 5000 129 2197 | 0.000 % | c =============================================================================== c New solution: 12363 c Elapsed CPU time: 108.92 s Remaining CPU time: 71.0796 s c =============================================================================== c | 129 | 2487 2910 942605 | 5000 129 2197 | 0.000 % | c =============================================================================== c New solution: 12362 c Elapsed CPU time: 109.456 s Remaining CPU time: 70.5436 s c =============================================================================== c | 130 | 2487 2911 944955 | 5000 130 2198 | 0.000 % | c =============================================================================== c New solution: 12361 c Elapsed CPU time: 109.99 s Remaining CPU time: 70.0097 s c =============================================================================== c | 133 | 2487 2912 947305 | 5000 133 2182 | 0.000 % | c =============================================================================== c New solution: 12360 c Elapsed CPU time: 110.52 s Remaining CPU time: 69.4798 s c =============================================================================== c | 134 | 2487 2913 949655 | 5000 134 2183 | 0.000 % | c =============================================================================== c New solution: 12359 c Elapsed CPU time: 111.099 s Remaining CPU time: 68.9009 s c =============================================================================== c | 145 | 2487 2914 952005 | 5000 145 2188 | 0.000 % | c =============================================================================== c New solution: 12358 c Elapsed CPU time: 111.658 s Remaining CPU time: 68.342 s c =============================================================================== c | 145 | 2487 2915 954355 | 5000 145 2188 | 0.000 % | c =============================================================================== c New solution: 12356 c Elapsed CPU time: 112.244 s Remaining CPU time: 67.7561 s c =============================================================================== c | 147 | 2487 2916 956705 | 5000 147 2189 | 0.000 % | c =============================================================================== c New solution: 12355 c Elapsed CPU time: 112.815 s Remaining CPU time: 67.1852 s c =============================================================================== c | 150 | 2487 2917 959055 | 5000 150 2191 | 0.000 % | c =============================================================================== c New solution: 12353 c Elapsed CPU time: 113.364 s Remaining CPU time: 66.6362 s c =============================================================================== c | 150 | 2487 2918 961405 | 5000 150 2191 | 0.000 % | c =============================================================================== c New solution: 12352 c Elapsed CPU time: 113.931 s Remaining CPU time: 66.0693 s c =============================================================================== c | 151 | 2487 2919 963755 | 5000 151 2191 | 0.000 % | c =============================================================================== c New solution: 12351 c Elapsed CPU time: 114.491 s Remaining CPU time: 65.5094 s c =============================================================================== c | 152 | 2487 2920 966105 | 5000 152 2192 | 0.000 % | c =============================================================================== c New solution: 12350 c Elapsed CPU time: 115.064 s Remaining CPU time: 64.9365 s c =============================================================================== c | 152 | 2487 2921 968455 | 5000 152 2192 | 0.000 % | c =============================================================================== c New solution: 12349 c Elapsed CPU time: 115.623 s Remaining CPU time: 64.3766 s c =============================================================================== c | 152 | 2487 2922 970805 | 5000 152 2192 | 0.000 % | c =============================================================================== c New solution: 12348 c Elapsed CPU time: 116.298 s Remaining CPU time: 63.7017 s c =============================================================================== c | 153 | 2487 2923 973155 | 5000 153 2192 | 0.000 % | c =============================================================================== c New solution: 12347 c Elapsed CPU time: 116.857 s Remaining CPU time: 63.1428 s c =============================================================================== c | 153 | 2487 2924 975505 | 5000 153 2192 | 0.000 % | c =============================================================================== c New solution: 12345 c Elapsed CPU time: 117.391 s Remaining CPU time: 62.6088 s c =============================================================================== c | 153 | 2487 2925 977855 | 5000 153 2192 | 0.000 % | c =============================================================================== c New solution: 12344 c Elapsed CPU time: 117.915 s Remaining CPU time: 62.0849 s c =============================================================================== c | 153 | 2487 2926 980205 | 5000 153 2192 | 0.000 % | c =============================================================================== c New solution: 12342 c Elapsed CPU time: 118.487 s Remaining CPU time: 61.513 s c =============================================================================== c | 153 | 2487 2927 982555 | 5000 153 2192 | 0.000 % | c =============================================================================== c New solution: 12341 c Elapsed CPU time: 119.036 s Remaining CPU time: 60.9641 s c =============================================================================== c | 153 | 2487 2928 984905 | 5000 153 2192 | 0.000 % | c =============================================================================== c New solution: 12339 c Elapsed CPU time: 119.575 s Remaining CPU time: 60.4252 s c =============================================================================== c | 153 | 2487 2929 987255 | 5000 153 2192 | 0.000 % | c =============================================================================== c New solution: 12338 c Elapsed CPU time: 120.129 s Remaining CPU time: 59.8713 s c =============================================================================== c | 158 | 2487 2930 989605 | 5000 158 2194 | 0.000 % | c =============================================================================== c New solution: 12337 c Elapsed CPU time: 120.681 s Remaining CPU time: 59.3193 s c =============================================================================== c | 158 | 2487 2931 991955 | 5000 158 2194 | 0.000 % | c =============================================================================== c New solution: 12336 c Elapsed CPU time: 121.227 s Remaining CPU time: 58.7734 s c =============================================================================== c | 159 | 2487 2932 994305 | 5000 159 2180 | 0.000 % | c =============================================================================== c New solution: 12335 c Elapsed CPU time: 121.78 s Remaining CPU time: 58.2195 s c =============================================================================== c | 159 | 2487 2933 996655 | 5000 159 2180 | 0.000 % | c =============================================================================== c New solution: 12334 c Elapsed CPU time: 122.347 s Remaining CPU time: 57.6526 s c =============================================================================== c | 159 | 2487 2934 999005 | 5000 159 2180 | 0.000 % | c =============================================================================== c New solution: 12333 c Elapsed CPU time: 122.945 s Remaining CPU time: 57.0547 s c =============================================================================== c | 163 | 2487 2935 1001355 | 5000 163 2169 | 0.000 % | c =============================================================================== c New solution: 12331 c Elapsed CPU time: 123.535 s Remaining CPU time: 56.4648 s c =============================================================================== c | 164 | 2487 2936 1003705 | 5000 164 2169 | 0.000 % | c =============================================================================== c New solution: 12330 c Elapsed CPU time: 124.106 s Remaining CPU time: 55.8939 s c =============================================================================== c | 164 | 2487 2937 1006055 | 5000 164 2169 | 0.000 % | c =============================================================================== c New solution: 12329 c Elapsed CPU time: 124.69 s Remaining CPU time: 55.31 s c =============================================================================== c | 164 | 2487 2938 1008405 | 5000 164 2169 | 0.000 % | c =============================================================================== c New solution: 12328 c Elapsed CPU time: 125.269 s Remaining CPU time: 54.731 s c =============================================================================== c | 165 | 2487 2939 1010755 | 5000 165 2170 | 0.000 % | c =============================================================================== c New solution: 12327 c Elapsed CPU time: 125.878 s Remaining CPU time: 54.1221 s c =============================================================================== c | 174 | 2487 2940 1013105 | 5000 174 2174 | 0.000 % | c =============================================================================== c New solution: 12325 c Elapsed CPU time: 126.429 s Remaining CPU time: 53.5712 s c =============================================================================== c | 174 | 2487 2941 1015455 | 5000 174 2174 | 0.000 % | c =============================================================================== c New solution: 12324 c Elapsed CPU time: 127.003 s Remaining CPU time: 52.9973 s c =============================================================================== c | 174 | 2487 2942 1017805 | 5000 174 2174 | 0.000 % | c =============================================================================== c New solution: 12322 c Elapsed CPU time: 127.61 s Remaining CPU time: 52.3904 s c =============================================================================== c | 174 | 2487 2943 1020155 | 5000 174 2174 | 0.000 % | c =============================================================================== c New solution: 12321 c Elapsed CPU time: 128.211 s Remaining CPU time: 51.7895 s c =============================================================================== c | 174 | 2487 2944 1022505 | 5000 174 2174 | 0.000 % | c =============================================================================== c New solution: 12320 c Elapsed CPU time: 128.84 s Remaining CPU time: 51.1596 s c =============================================================================== c | 174 | 2487 2945 1024855 | 5000 174 2174 | 0.000 % | c =============================================================================== c New solution: 12319 c Elapsed CPU time: 129.48 s Remaining CPU time: 50.5197 s c =============================================================================== c | 181 | 2487 2946 1027205 | 5000 181 2177 | 0.000 % | c =============================================================================== c New solution: 12318 c Elapsed CPU time: 130.058 s Remaining CPU time: 49.9418 s c =============================================================================== c | 181 | 2487 2947 1029555 | 5000 181 2177 | 0.000 % | c =============================================================================== c New solution: 12316 c Elapsed CPU time: 130.628 s Remaining CPU time: 49.3719 s c =============================================================================== c | 181 | 2487 2948 1031905 | 5000 181 2177 | 0.000 % | c =============================================================================== c New solution: 12315 c Elapsed CPU time: 131.2 s Remaining CPU time: 48.7999 s c =============================================================================== c | 182 | 2487 2949 1034255 | 5000 182 2177 | 0.000 % | c =============================================================================== c New solution: 12314 c Elapsed CPU time: 131.771 s Remaining CPU time: 48.229 s c =============================================================================== c | 182 | 2487 2950 1036605 | 5000 182 2177 | 0.000 % | c =============================================================================== c New solution: 12312 c Elapsed CPU time: 132.343 s Remaining CPU time: 47.6571 s c =============================================================================== c | 182 | 2487 2951 1038955 | 5000 182 2177 | 0.000 % | c =============================================================================== c New solution: 12311 c Elapsed CPU time: 132.988 s Remaining CPU time: 47.0122 s c =============================================================================== c | 187 | 2487 2952 1041305 | 5000 187 2179 | 0.000 % | c =============================================================================== c New solution: 12310 c Elapsed CPU time: 133.58 s Remaining CPU time: 46.4203 s c =============================================================================== c | 190 | 2487 2953 1043655 | 5000 190 2180 | 0.000 % | c =============================================================================== c New solution: 12309 c Elapsed CPU time: 134.155 s Remaining CPU time: 45.8454 s c =============================================================================== c | 191 | 2487 2954 1046005 | 5000 191 2181 | 0.000 % | c =============================================================================== c New solution: 12308 c Elapsed CPU time: 134.708 s Remaining CPU time: 45.2925 s c =============================================================================== c | 191 | 2487 2955 1048355 | 5000 191 2181 | 0.000 % | c =============================================================================== c New solution: 12307 c Elapsed CPU time: 135.264 s Remaining CPU time: 44.7356 s c =============================================================================== c | 193 | 2487 2956 1050705 | 5000 193 2181 | 0.000 % | c =============================================================================== c New solution: 12306 c Elapsed CPU time: 135.825 s Remaining CPU time: 44.1746 s c =============================================================================== c | 193 | 2487 2957 1053055 | 5000 193 2181 | 0.000 % | c =============================================================================== c New solution: 12304 c Elapsed CPU time: 136.395 s Remaining CPU time: 43.6047 s c =============================================================================== c | 193 | 2487 2958 1055405 | 5000 193 2181 | 0.000 % | c =============================================================================== c New solution: 12303 c Elapsed CPU time: 136.985 s Remaining CPU time: 43.0148 s c =============================================================================== c | 193 | 2487 2959 1057755 | 5000 193 2181 | 0.000 % | c =============================================================================== c New solution: 12302 c Elapsed CPU time: 137.544 s Remaining CPU time: 42.4559 s c =============================================================================== c | 193 | 2487 2960 1060105 | 5000 193 2181 | 0.000 % | c =============================================================================== c New solution: 12301 c Elapsed CPU time: 138.158 s Remaining CPU time: 41.842 s c =============================================================================== c | 195 | 2487 2961 1062455 | 5000 195 2182 | 0.000 % | c =============================================================================== c New solution: 12300 c Elapsed CPU time: 138.738 s Remaining CPU time: 41.2621 s c =============================================================================== c | 198 | 2487 2962 1064805 | 5000 198 2183 | 0.000 % | c =============================================================================== c New solution: 12299 c Elapsed CPU time: 139.351 s Remaining CPU time: 40.6492 s c =============================================================================== c | 198 | 2487 2963 1067155 | 5000 198 2183 | 0.000 % | c =============================================================================== c New solution: 12298 c Elapsed CPU time: 139.968 s Remaining CPU time: 40.0323 s c =============================================================================== c | 198 | 2487 2964 1069505 | 5000 198 2183 | 0.000 % | c =============================================================================== c New solution: 12297 c Elapsed CPU time: 140.591 s Remaining CPU time: 39.4094 s c =============================================================================== c | 200 | 2487 2965 1071855 | 5000 200 2184 | 0.000 % | c =============================================================================== c New solution: 12296 c Elapsed CPU time: 141.193 s Remaining CPU time: 38.8075 s c =============================================================================== c | 200 | 2487 2966 1074205 | 5000 200 2184 | 0.000 % | c =============================================================================== c New solution: 12294 c Elapsed CPU time: 141.809 s Remaining CPU time: 38.1906 s c =============================================================================== c | 201 | 2487 2967 1076555 | 5000 201 2184 | 0.000 % | c =============================================================================== c New solution: 12293 c Elapsed CPU time: 142.424 s Remaining CPU time: 37.5757 s c =============================================================================== c | 202 | 2487 2968 1078905 | 5000 202 2184 | 0.000 % | c =============================================================================== c New solution: 12292 c Elapsed CPU time: 143.01 s Remaining CPU time: 36.9897 s c =============================================================================== c | 202 | 2487 2969 1081255 | 5000 202 2184 | 0.000 % | c =============================================================================== c New solution: 12291 c Elapsed CPU time: 143.647 s Remaining CPU time: 36.3528 s c =============================================================================== c | 204 | 2487 2970 1083605 | 5000 204 2185 | 0.000 % | c =============================================================================== c New solution: 12290 c Elapsed CPU time: 144.248 s Remaining CPU time: 35.7519 s c =============================================================================== c | 205 | 2487 2971 1085955 | 5000 205 2185 | 0.000 % | c =============================================================================== c New solution: 12289 c Elapsed CPU time: 144.847 s Remaining CPU time: 35.153 s c =============================================================================== c | 205 | 2487 2972 1088305 | 5000 205 2185 | 0.000 % | c =============================================================================== c New solution: 12288 c Elapsed CPU time: 145.438 s Remaining CPU time: 34.5621 s c =============================================================================== c | 205 | 2487 2973 1090655 | 5000 205 2185 | 0.000 % | c =============================================================================== c New solution: 12287 c Elapsed CPU time: 146.056 s Remaining CPU time: 33.9442 s c =============================================================================== c | 205 | 2487 2974 1093005 | 5000 205 2185 | 0.000 % | c =============================================================================== c New solution: 12286 c Elapsed CPU time: 146.671 s Remaining CPU time: 33.3293 s c =============================================================================== c | 207 | 2487 2975 1095355 | 5000 207 2186 | 0.000 % | c =============================================================================== c New solution: 12285 c Elapsed CPU time: 147.296 s Remaining CPU time: 32.7044 s c =============================================================================== c | 207 | 2487 2976 1097705 | 5000 207 2186 | 0.000 % | c =============================================================================== c New solution: 12284 c Elapsed CPU time: 147.911 s Remaining CPU time: 32.0895 s c =============================================================================== c | 210 | 2487 2977 1100055 | 5000 210 2187 | 0.000 % | c =============================================================================== c New solution: 12283 c Elapsed CPU time: 148.529 s Remaining CPU time: 31.4706 s c =============================================================================== c | 211 | 2487 2978 1102405 | 5000 211 2187 | 0.000 % | c =============================================================================== c New solution: 12282 c Elapsed CPU time: 149.279 s Remaining CPU time: 30.7207 s c =============================================================================== c | 221 | 2487 2979 1104755 | 5000 221 2190 | 0.000 % | c =============================================================================== c New solution: 12281 c Elapsed CPU time: 149.931 s Remaining CPU time: 30.0688 s c =============================================================================== c | 225 | 2487 2980 1107105 | 5000 225 2191 | 0.000 % | c =============================================================================== c New solution: 12280 c Elapsed CPU time: 150.534 s Remaining CPU time: 29.4659 s c =============================================================================== c | 225 | 2487 2981 1109455 | 5000 225 2191 | 0.000 % | c =============================================================================== c New solution: 12279 c Elapsed CPU time: 151.112 s Remaining CPU time: 28.888 s c =============================================================================== c | 225 | 2487 2982 1111805 | 5000 225 2191 | 0.000 % | c =============================================================================== c New solution: 12278 c Elapsed CPU time: 151.687 s Remaining CPU time: 28.3131 s c =============================================================================== c | 225 | 2487 2983 1114155 | 5000 225 2191 | 0.000 % | c =============================================================================== c New solution: 12277 c Elapsed CPU time: 152.292 s Remaining CPU time: 27.7082 s c =============================================================================== c | 225 | 2487 2984 1116505 | 5000 225 2191 | 0.000 % | c =============================================================================== c New solution: 12276 c Elapsed CPU time: 152.926 s Remaining CPU time: 27.0742 s c =============================================================================== c | 225 | 2487 2985 1118855 | 5000 225 2191 | 0.000 % | c =============================================================================== c New solution: 12275 c Elapsed CPU time: 153.569 s Remaining CPU time: 26.4313 s c =============================================================================== c | 225 | 2487 2986 1121205 | 5000 225 2191 | 0.000 % | c =============================================================================== c New solution: 12274 c Elapsed CPU time: 154.19 s Remaining CPU time: 25.8104 s c =============================================================================== c | 226 | 2487 2987 1123555 | 5000 226 2191 | 0.000 % | c =============================================================================== c New solution: 12273 c Elapsed CPU time: 154.788 s Remaining CPU time: 25.2115 s c =============================================================================== c | 226 | 2487 2988 1125905 | 5000 226 2191 | 0.000 % | c =============================================================================== c New solution: 12272 c Elapsed CPU time: 155.46 s Remaining CPU time: 24.5396 s c =============================================================================== c | 230 | 2487 2989 1128255 | 5000 230 2192 | 0.000 % | c =============================================================================== c New solution: 12271 c Elapsed CPU time: 156.117 s Remaining CPU time: 23.8827 s c =============================================================================== c | 232 | 2487 2990 1130605 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12270 c Elapsed CPU time: 156.732 s Remaining CPU time: 23.2678 s c =============================================================================== c | 232 | 2487 2991 1132955 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12269 c Elapsed CPU time: 157.379 s Remaining CPU time: 22.6209 s c =============================================================================== c | 232 | 2487 2992 1135305 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12268 c Elapsed CPU time: 157.991 s Remaining CPU time: 22.009 s c =============================================================================== c | 232 | 2487 2993 1137655 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12267 c Elapsed CPU time: 158.602 s Remaining CPU time: 21.3981 s c =============================================================================== c | 232 | 2487 2994 1140005 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12266 c Elapsed CPU time: 159.23 s Remaining CPU time: 20.7702 s c =============================================================================== c | 232 | 2487 2995 1142355 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12265 c Elapsed CPU time: 159.889 s Remaining CPU time: 20.1113 s c =============================================================================== c | 232 | 2487 2996 1144705 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12264 c Elapsed CPU time: 160.521 s Remaining CPU time: 19.4794 s c =============================================================================== c | 232 | 2487 2997 1147055 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12263 c Elapsed CPU time: 161.178 s Remaining CPU time: 18.8215 s c =============================================================================== c | 232 | 2487 2998 1149405 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12262 c Elapsed CPU time: 161.818 s Remaining CPU time: 18.1816 s c =============================================================================== c | 232 | 2487 2999 1151755 | 5000 232 2192 | 0.000 % | c =============================================================================== c New solution: 12261 c Elapsed CPU time: 162.456 s Remaining CPU time: 17.5437 s c =============================================================================== c | 233 | 2487 3000 1154105 | 5000 233 2192 | 0.000 % | c =============================================================================== c New solution: 12260 c Elapsed CPU time: 163.109 s Remaining CPU time: 16.8908 s c =============================================================================== c | 233 | 2487 3001 1156455 | 5000 233 2192 | 0.000 % | c =============================================================================== c New solution: 12259 c Elapsed CPU time: 163.76 s Remaining CPU time: 16.2399 s c =============================================================================== c | 233 | 2487 3002 1158805 | 5000 233 2192 | 0.000 % | c =============================================================================== c New solution: 12258 c Elapsed CPU time: 164.5 s Remaining CPU time: 15.5 s c =============================================================================== c | 243 | 2487 3003 1161155 | 5000 243 2195 | 0.000 % | c =============================================================================== c New solution: 12257 c Elapsed CPU time: 165.148 s Remaining CPU time: 14.8521 s c =============================================================================== c | 243 | 2487 3004 1163505 | 5000 243 2195 | 0.000 % | c =============================================================================== c New solution: 12256 c Elapsed CPU time: 165.816 s Remaining CPU time: 14.1842 s c =============================================================================== c | 243 | 2487 3005 1165855 | 5000 243 2195 | 0.000 % | c =============================================================================== c New solution: 12255 c Elapsed CPU time: 166.513 s Remaining CPU time: 13.4873 s c =============================================================================== c | 246 | 2487 3006 1168205 | 5000 246 2195 | 0.000 % | c =============================================================================== c New solution: 12254 c Elapsed CPU time: 167.168 s Remaining CPU time: 12.8324 s c =============================================================================== c | 246 | 2487 3007 1170555 | 5000 246 2195 | 0.000 % | c =============================================================================== c New solution: 12253 c Elapsed CPU time: 167.82 s Remaining CPU time: 12.1795 s c =============================================================================== c | 246 | 2487 3008 1172905 | 5000 246 2195 | 0.000 % | c =============================================================================== c New solution: 12252 c Elapsed CPU time: 168.497 s Remaining CPU time: 11.5026 s c =============================================================================== c | 247 | 2487 3009 1175255 | 5000 247 2186 | 0.000 % | c =============================================================================== c New solution: 12251 c Elapsed CPU time: 169.147 s Remaining CPU time: 10.8527 s c =============================================================================== c | 248 | 2487 3010 1177605 | 5000 248 2187 | 0.000 % | c =============================================================================== c New solution: 12250 c Elapsed CPU time: 169.798 s Remaining CPU time: 10.2018 s c =============================================================================== c | 248 | 2487 3011 1179955 | 5000 248 2187 | 0.000 % | c =============================================================================== c New solution: 12249 c Elapsed CPU time: 170.448 s Remaining CPU time: 9.55191 s c =============================================================================== c | 249 | 2487 3012 1182305 | 5000 249 2187 | 0.000 % | c =============================================================================== c New solution: 12248 c Elapsed CPU time: 171.085 s Remaining CPU time: 8.91501 s c =============================================================================== c | 249 | 2487 3013 1184655 | 5000 249 2187 | 0.000 % | c =============================================================================== c New solution: 12247 c Elapsed CPU time: 171.822 s Remaining CPU time: 8.17812 s c =============================================================================== c | 256 | 2487 3014 1187005 | 5000 256 2188 | 0.000 % | c =============================================================================== c New solution: 12246 c Elapsed CPU time: 172.484 s Remaining CPU time: 7.51622 s c =============================================================================== c | 256 | 2487 3015 1189355 | 5000 256 2188 | 0.000 % | c =============================================================================== c New solution: 12245 c Elapsed CPU time: 173.098 s Remaining CPU time: 6.90231 s c =============================================================================== c | 256 | 2487 3016 1191705 | 5000 256 2188 | 0.000 % | c =============================================================================== c New solution: 12244 c Elapsed CPU time: 173.757 s Remaining CPU time: 6.24342 s c =============================================================================== c | 257 | 2487 3017 1194055 | 5000 257 2189 | 0.000 % | c =============================================================================== c New solution: 12243 c Elapsed CPU time: 174.446 s Remaining CPU time: 5.55352 s c =============================================================================== c | 257 | 2487 3018 1196405 | 5000 257 2189 | 0.000 % | c =============================================================================== c New solution: 12242 c Elapsed CPU time: 175.075 s Remaining CPU time: 4.92462 s c =============================================================================== c | 257 | 2487 3019 1198755 | 5000 257 2189 | 0.000 % | c =============================================================================== c New solution: 12241 c Elapsed CPU time: 175.811 s Remaining CPU time: 4.18873 s c =============================================================================== c | 258 | 2487 3020 1201105 | 5000 258 2189 | 0.000 % | c =============================================================================== c New solution: 12240 c Elapsed CPU time: 176.532 s Remaining CPU time: 3.46784 s c =============================================================================== c | 260 | 2487 3021 1203455 | 5000 260 2189 | 0.000 % | c =============================================================================== c New solution: 12239 c Elapsed CPU time: 177.208 s Remaining CPU time: 2.79194 s c =============================================================================== c | 260 | 2487 3022 1205805 | 5000 260 2189 | 0.000 % | c =============================================================================== c New solution: 12238 c Elapsed CPU time: 177.904 s Remaining CPU time: 2.09605 s c =============================================================================== c | 260 | 2487 3023 1208155 | 5000 260 2189 | 0.000 % | c =============================================================================== c New solution: 12237 c Elapsed CPU time: 178.622 s Remaining CPU time: 1.37815 s c =============================================================================== c | 260 | 2487 3024 1210505 | 5000 260 2189 | 0.000 % | c =============================================================================== c New solution: 12235 c Elapsed CPU time: 179.395 s Remaining CPU time: 0.605273 s c =============================================================================== c | 261 | 2487 3025 1212855 | 5000 261 2189 | 0.000 % | c =============================================================================== c New solution: 12234 c Elapsed CPU time: 180.07 s Remaining CPU time: -0.069625 s c =============================================================================== c | 261 | 2487 3026 1215205 | 5000 261 2189 | 0.000 % | c There are 13 assigned variables. 0 in cost function.