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 | 2435 2512 7320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12780 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 2435 2513 9670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12777 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 2435 2514 12020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12770 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 2435 2515 14370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12767 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 2435 2516 16720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12766 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 2435 2517 19070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12763 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 2435 2518 21420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12762 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 2435 2519 23770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12759 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 2435 2520 26120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12758 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 2435 2521 28470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12756 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 2435 2522 30820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12755 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 0 | 2435 2523 33170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12753 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 2435 2524 35520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12752 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 2435 2525 37870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12750 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 2435 2526 40220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12749 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 2435 2527 42570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12748 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 0 | 2435 2528 44920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12746 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 0 | 2435 2529 47270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12744 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 2435 2530 49620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12743 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 0 | 2435 2531 51970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12741 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 0 | 2435 2532 54320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12739 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 0 | 2435 2533 56670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12738 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 0 | 2435 2534 59020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12737 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 0 | 2435 2535 61370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12736 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 0 | 2435 2536 63720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12735 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s c =============================================================================== c | 0 | 2435 2537 66070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12734 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 0 | 2435 2538 68420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12732 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 0 | 2435 2539 70770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12731 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 0 | 2435 2540 73120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12729 c Elapsed CPU time: 0.837872 s Remaining CPU time: 179.162 s c =============================================================================== c | 0 | 2435 2541 75470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12727 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 0 | 2435 2542 77820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12725 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 0 | 2435 2543 80170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12724 c Elapsed CPU time: 0.960853 s Remaining CPU time: 179.039 s c =============================================================================== c | 0 | 2435 2544 82520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12722 c Elapsed CPU time: 1.00285 s Remaining CPU time: 178.997 s c =============================================================================== c | 0 | 2435 2545 84870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12721 c Elapsed CPU time: 1.04684 s Remaining CPU time: 178.953 s c =============================================================================== c | 0 | 2435 2546 87220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12720 c Elapsed CPU time: 1.08983 s Remaining CPU time: 178.91 s c =============================================================================== c | 0 | 2435 2547 89570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12717 c Elapsed CPU time: 1.13283 s Remaining CPU time: 178.867 s c =============================================================================== c | 0 | 2435 2548 91920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12713 c Elapsed CPU time: 1.17882 s Remaining CPU time: 178.821 s c =============================================================================== c | 0 | 2435 2549 94270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12712 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s c =============================================================================== c | 0 | 2435 2550 96620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12708 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 0 | 2435 2551 98970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12706 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 0 | 2435 2552 101320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12705 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 0 | 2435 2553 103670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12703 c Elapsed CPU time: 1.43078 s Remaining CPU time: 178.569 s c =============================================================================== c | 0 | 2435 2554 106020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 1.48477 s Remaining CPU time: 178.515 s c =============================================================================== c | 0 | 2435 2555 108370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12701 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 0 | 2435 2556 110720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12700 c Elapsed CPU time: 1.59376 s Remaining CPU time: 178.406 s c =============================================================================== c | 0 | 2435 2557 113070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12699 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 0 | 2435 2558 115420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12696 c Elapsed CPU time: 1.71574 s Remaining CPU time: 178.284 s c =============================================================================== c | 0 | 2435 2559 117770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12694 c Elapsed CPU time: 1.77473 s Remaining CPU time: 178.225 s c =============================================================================== c | 0 | 2435 2560 120120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12690 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 0 | 2435 2561 122470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12686 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 0 | 2435 2562 124820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12683 c Elapsed CPU time: 1.9637 s Remaining CPU time: 178.036 s c =============================================================================== c | 0 | 2435 2563 127170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12682 c Elapsed CPU time: 2.02769 s Remaining CPU time: 177.972 s c =============================================================================== c | 0 | 2435 2564 129520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12679 c Elapsed CPU time: 2.09368 s Remaining CPU time: 177.906 s c =============================================================================== c | 0 | 2435 2565 131870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12677 c Elapsed CPU time: 2.16067 s Remaining CPU time: 177.839 s c =============================================================================== c | 0 | 2435 2566 134220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12671 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s c =============================================================================== c | 0 | 2435 2567 136570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12669 c Elapsed CPU time: 2.29865 s Remaining CPU time: 177.701 s c =============================================================================== c | 0 | 2435 2568 138920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12665 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 0 | 2435 2569 141270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12661 c Elapsed CPU time: 2.43963 s Remaining CPU time: 177.56 s c =============================================================================== c | 0 | 2435 2570 143620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12657 c Elapsed CPU time: 2.51062 s Remaining CPU time: 177.489 s c =============================================================================== c | 0 | 2435 2571 145970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12653 c Elapsed CPU time: 2.58261 s Remaining CPU time: 177.417 s c =============================================================================== c | 0 | 2435 2572 148320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12650 c Elapsed CPU time: 2.6536 s Remaining CPU time: 177.346 s c =============================================================================== c | 0 | 2435 2573 150670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12649 c Elapsed CPU time: 2.72858 s Remaining CPU time: 177.271 s c =============================================================================== c | 0 | 2435 2574 153020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12647 c Elapsed CPU time: 2.80457 s Remaining CPU time: 177.195 s c =============================================================================== c | 0 | 2435 2575 155370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12642 c Elapsed CPU time: 2.88156 s Remaining CPU time: 177.118 s c =============================================================================== c | 0 | 2435 2576 157720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12640 c Elapsed CPU time: 2.96155 s Remaining CPU time: 177.038 s c =============================================================================== c | 0 | 2435 2577 160070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12639 c Elapsed CPU time: 3.04354 s Remaining CPU time: 176.956 s c =============================================================================== c | 0 | 2435 2578 162420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12637 c Elapsed CPU time: 3.12652 s Remaining CPU time: 176.873 s c =============================================================================== c | 0 | 2435 2579 164770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12636 c Elapsed CPU time: 3.20751 s Remaining CPU time: 176.792 s c =============================================================================== c | 0 | 2435 2580 167120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12634 c Elapsed CPU time: 3.2935 s Remaining CPU time: 176.707 s c =============================================================================== c | 0 | 2435 2581 169470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12633 c Elapsed CPU time: 3.37449 s Remaining CPU time: 176.626 s c =============================================================================== c | 0 | 2435 2582 171820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12631 c Elapsed CPU time: 3.46247 s Remaining CPU time: 176.538 s c =============================================================================== c | 0 | 2435 2583 174170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12629 c Elapsed CPU time: 3.54846 s Remaining CPU time: 176.452 s c =============================================================================== c | 0 | 2435 2584 176520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12628 c Elapsed CPU time: 3.63645 s Remaining CPU time: 176.364 s c =============================================================================== c | 0 | 2435 2585 178870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12627 c Elapsed CPU time: 3.72443 s Remaining CPU time: 176.276 s c =============================================================================== c | 0 | 2435 2586 181220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12626 c Elapsed CPU time: 3.81542 s Remaining CPU time: 176.185 s c =============================================================================== c | 0 | 2435 2587 183570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12623 c Elapsed CPU time: 3.90641 s Remaining CPU time: 176.094 s c =============================================================================== c | 0 | 2435 2588 185920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12620 c Elapsed CPU time: 3.99639 s Remaining CPU time: 176.004 s c =============================================================================== c | 0 | 2435 2589 188270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12616 c Elapsed CPU time: 4.09138 s Remaining CPU time: 175.909 s c =============================================================================== c | 0 | 2435 2590 190620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12615 c Elapsed CPU time: 4.19036 s Remaining CPU time: 175.81 s c =============================================================================== c | 0 | 2435 2591 192970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12613 c Elapsed CPU time: 4.28535 s Remaining CPU time: 175.715 s c =============================================================================== c | 0 | 2435 2592 195320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12612 c Elapsed CPU time: 4.37833 s Remaining CPU time: 175.622 s c =============================================================================== c | 0 | 2435 2593 197670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12611 c Elapsed CPU time: 4.47932 s Remaining CPU time: 175.521 s c =============================================================================== c | 0 | 2435 2594 200020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12606 c Elapsed CPU time: 4.5763 s Remaining CPU time: 175.424 s c =============================================================================== c | 0 | 2435 2595 202370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12602 c Elapsed CPU time: 4.67629 s Remaining CPU time: 175.324 s c =============================================================================== c | 0 | 2435 2596 204720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12601 c Elapsed CPU time: 4.78227 s Remaining CPU time: 175.218 s c =============================================================================== c | 0 | 2435 2597 207070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12600 c Elapsed CPU time: 4.88826 s Remaining CPU time: 175.112 s c =============================================================================== c | 0 | 2435 2598 209420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12599 c Elapsed CPU time: 4.99924 s Remaining CPU time: 175.001 s c =============================================================================== c | 0 | 2435 2599 211770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12598 c Elapsed CPU time: 5.11122 s Remaining CPU time: 174.889 s c =============================================================================== c | 0 | 2435 2600 214120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12597 c Elapsed CPU time: 5.2242 s Remaining CPU time: 174.776 s c =============================================================================== c | 0 | 2435 2601 216470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12596 c Elapsed CPU time: 5.33919 s Remaining CPU time: 174.661 s c =============================================================================== c | 0 | 2435 2602 218820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12595 c Elapsed CPU time: 5.45817 s Remaining CPU time: 174.542 s c =============================================================================== c | 0 | 2435 2603 221170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12594 c Elapsed CPU time: 5.57115 s Remaining CPU time: 174.429 s c =============================================================================== c | 0 | 2435 2604 223520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 5.68314 s Remaining CPU time: 174.317 s c =============================================================================== c | 0 | 2435 2605 225870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12591 c Elapsed CPU time: 5.80112 s Remaining CPU time: 174.199 s c =============================================================================== c | 0 | 2435 2606 228220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12590 c Elapsed CPU time: 5.9181 s Remaining CPU time: 174.082 s c =============================================================================== c | 0 | 2435 2607 230570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12589 c Elapsed CPU time: 6.04008 s Remaining CPU time: 173.96 s c =============================================================================== c | 0 | 2435 2608 232920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12588 c Elapsed CPU time: 6.16106 s Remaining CPU time: 173.839 s c =============================================================================== c | 0 | 2435 2609 235270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12587 c Elapsed CPU time: 6.28304 s Remaining CPU time: 173.717 s c =============================================================================== c | 0 | 2435 2610 237620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12586 c Elapsed CPU time: 6.40503 s Remaining CPU time: 173.595 s c =============================================================================== c | 0 | 2435 2611 239970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12585 c Elapsed CPU time: 6.53101 s Remaining CPU time: 173.469 s c =============================================================================== c | 0 | 2435 2612 242320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12584 c Elapsed CPU time: 6.65299 s Remaining CPU time: 173.347 s c =============================================================================== c | 0 | 2435 2613 244670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12583 c Elapsed CPU time: 6.77597 s Remaining CPU time: 173.224 s c =============================================================================== c | 0 | 2435 2614 247020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12582 c Elapsed CPU time: 6.90395 s Remaining CPU time: 173.096 s c =============================================================================== c | 0 | 2435 2615 249370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12579 c Elapsed CPU time: 7.02693 s Remaining CPU time: 172.973 s c =============================================================================== c | 0 | 2435 2616 251720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12578 c Elapsed CPU time: 7.15091 s Remaining CPU time: 172.849 s c =============================================================================== c | 0 | 2435 2617 254070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12577 c Elapsed CPU time: 7.28289 s Remaining CPU time: 172.717 s c =============================================================================== c | 0 | 2435 2618 256420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12575 c Elapsed CPU time: 7.40987 s Remaining CPU time: 172.59 s c =============================================================================== c | 0 | 2435 2619 258770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12574 c Elapsed CPU time: 7.54185 s Remaining CPU time: 172.458 s c =============================================================================== c | 0 | 2435 2620 261120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12573 c Elapsed CPU time: 7.67083 s Remaining CPU time: 172.329 s c =============================================================================== c | 0 | 2435 2621 263470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12571 c Elapsed CPU time: 7.79781 s Remaining CPU time: 172.202 s c =============================================================================== c | 0 | 2435 2622 265820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12570 c Elapsed CPU time: 7.93779 s Remaining CPU time: 172.062 s c =============================================================================== c | 0 | 2435 2623 268170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12569 c Elapsed CPU time: 8.07477 s Remaining CPU time: 171.925 s c =============================================================================== c | 0 | 2435 2624 270520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12568 c Elapsed CPU time: 8.21175 s Remaining CPU time: 171.788 s c =============================================================================== c | 0 | 2435 2625 272870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12567 c Elapsed CPU time: 8.34973 s Remaining CPU time: 171.65 s c =============================================================================== c | 0 | 2435 2626 275220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12566 c Elapsed CPU time: 8.48871 s Remaining CPU time: 171.511 s c =============================================================================== c | 0 | 2435 2627 277570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12565 c Elapsed CPU time: 8.62369 s Remaining CPU time: 171.376 s c =============================================================================== c | 0 | 2435 2628 279920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12564 c Elapsed CPU time: 8.76167 s Remaining CPU time: 171.238 s c =============================================================================== c | 0 | 2435 2629 282270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12562 c Elapsed CPU time: 8.89965 s Remaining CPU time: 171.1 s c =============================================================================== c | 0 | 2435 2630 284620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12559 c Elapsed CPU time: 9.04063 s Remaining CPU time: 170.959 s c =============================================================================== c | 0 | 2435 2631 286970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 9.1816 s Remaining CPU time: 170.818 s c =============================================================================== c | 0 | 2435 2632 289320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 9.32658 s Remaining CPU time: 170.673 s c =============================================================================== c | 0 | 2435 2633 291670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12555 c Elapsed CPU time: 9.47956 s Remaining CPU time: 170.52 s c =============================================================================== c | 0 | 2435 2634 294020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12554 c Elapsed CPU time: 9.62454 s Remaining CPU time: 170.375 s c =============================================================================== c | 0 | 2435 2635 296370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12552 c Elapsed CPU time: 9.77251 s Remaining CPU time: 170.227 s c =============================================================================== c | 0 | 2435 2636 298720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 9.92349 s Remaining CPU time: 170.077 s c =============================================================================== c | 0 | 2435 2637 301070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12550 c Elapsed CPU time: 10.0755 s Remaining CPU time: 169.925 s c =============================================================================== c | 0 | 2435 2638 303420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12549 c Elapsed CPU time: 10.2284 s Remaining CPU time: 169.772 s c =============================================================================== c | 0 | 2435 2639 305770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12547 c Elapsed CPU time: 10.3784 s Remaining CPU time: 169.622 s c =============================================================================== c | 0 | 2435 2640 308120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12545 c Elapsed CPU time: 10.5354 s Remaining CPU time: 169.465 s c =============================================================================== c | 0 | 2435 2641 310470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12543 c Elapsed CPU time: 10.6884 s Remaining CPU time: 169.312 s c =============================================================================== c | 0 | 2435 2642 312820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12542 c Elapsed CPU time: 10.8474 s Remaining CPU time: 169.153 s c =============================================================================== c | 0 | 2435 2643 315170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12541 c Elapsed CPU time: 10.9983 s Remaining CPU time: 169.002 s c =============================================================================== c | 0 | 2435 2644 317520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12538 c Elapsed CPU time: 11.1533 s Remaining CPU time: 168.847 s c =============================================================================== c | 0 | 2435 2645 319870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12537 c Elapsed CPU time: 11.3153 s Remaining CPU time: 168.685 s c =============================================================================== c | 0 | 2435 2646 322220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 11.4783 s Remaining CPU time: 168.522 s c =============================================================================== c | 0 | 2435 2647 324570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12534 c Elapsed CPU time: 11.6392 s Remaining CPU time: 168.361 s c =============================================================================== c | 0 | 2435 2648 326920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12532 c Elapsed CPU time: 11.8042 s Remaining CPU time: 168.196 s c =============================================================================== c | 0 | 2435 2649 329270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12531 c Elapsed CPU time: 11.9732 s Remaining CPU time: 168.027 s c =============================================================================== c | 0 | 2435 2650 331620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12529 c Elapsed CPU time: 12.1362 s Remaining CPU time: 167.864 s c =============================================================================== c | 0 | 2435 2651 333970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12528 c Elapsed CPU time: 12.3041 s Remaining CPU time: 167.696 s c =============================================================================== c | 0 | 2435 2652 336320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12527 c Elapsed CPU time: 12.4761 s Remaining CPU time: 167.524 s c =============================================================================== c | 0 | 2435 2653 338670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12526 c Elapsed CPU time: 12.6511 s Remaining CPU time: 167.349 s c =============================================================================== c | 0 | 2435 2654 341020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12525 c Elapsed CPU time: 12.8221 s Remaining CPU time: 167.178 s c =============================================================================== c | 0 | 2435 2655 343370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 12.988 s Remaining CPU time: 167.012 s c =============================================================================== c | 0 | 2435 2656 345720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12521 c Elapsed CPU time: 13.159 s Remaining CPU time: 166.841 s c =============================================================================== c | 0 | 2435 2657 348070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12520 c Elapsed CPU time: 13.334 s Remaining CPU time: 166.666 s c =============================================================================== c | 0 | 2435 2658 350420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12519 c Elapsed CPU time: 13.5139 s Remaining CPU time: 166.486 s c =============================================================================== c | 0 | 2435 2659 352770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12518 c Elapsed CPU time: 13.6989 s Remaining CPU time: 166.301 s c =============================================================================== c | 0 | 2435 2660 355120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12515 c Elapsed CPU time: 13.8749 s Remaining CPU time: 166.125 s c =============================================================================== c | 0 | 2435 2661 357470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12514 c Elapsed CPU time: 14.0539 s Remaining CPU time: 165.946 s c =============================================================================== c | 0 | 2435 2662 359820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12513 c Elapsed CPU time: 14.2378 s Remaining CPU time: 165.762 s c =============================================================================== c | 0 | 2435 2663 362170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12512 c Elapsed CPU time: 14.4208 s Remaining CPU time: 165.579 s c =============================================================================== c | 0 | 2435 2664 364520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12509 c Elapsed CPU time: 14.6038 s Remaining CPU time: 165.396 s c =============================================================================== c | 0 | 2435 2665 366870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12506 c Elapsed CPU time: 14.7878 s Remaining CPU time: 165.212 s c =============================================================================== c | 0 | 2435 2666 369220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12502 c Elapsed CPU time: 14.9717 s Remaining CPU time: 165.028 s c =============================================================================== c | 0 | 2435 2667 371570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12500 c Elapsed CPU time: 15.1667 s Remaining CPU time: 164.833 s c =============================================================================== c | 0 | 2435 2668 373920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12499 c Elapsed CPU time: 15.3647 s Remaining CPU time: 164.635 s c =============================================================================== c | 0 | 2435 2669 376270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12498 c Elapsed CPU time: 15.5686 s Remaining CPU time: 164.431 s c =============================================================================== c | 0 | 2435 2670 378620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12497 c Elapsed CPU time: 15.7736 s Remaining CPU time: 164.226 s c =============================================================================== c | 0 | 2435 2671 380970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12496 c Elapsed CPU time: 15.9746 s Remaining CPU time: 164.025 s c =============================================================================== c | 0 | 2435 2672 383320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12493 c Elapsed CPU time: 16.1785 s Remaining CPU time: 163.821 s c =============================================================================== c | 0 | 2435 2673 385670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12492 c Elapsed CPU time: 16.3955 s Remaining CPU time: 163.604 s c =============================================================================== c | 0 | 2435 2674 388020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 16.5985 s Remaining CPU time: 163.402 s c =============================================================================== c | 0 | 2435 2675 390370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12489 c Elapsed CPU time: 16.8094 s Remaining CPU time: 163.191 s c =============================================================================== c | 0 | 2435 2676 392720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12488 c Elapsed CPU time: 17.0244 s Remaining CPU time: 162.976 s c =============================================================================== c | 0 | 2435 2677 395070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12487 c Elapsed CPU time: 17.2444 s Remaining CPU time: 162.756 s c =============================================================================== c | 0 | 2435 2678 397420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12486 c Elapsed CPU time: 17.4683 s Remaining CPU time: 162.532 s c =============================================================================== c | 0 | 2435 2679 399770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12485 c Elapsed CPU time: 17.6893 s Remaining CPU time: 162.311 s c =============================================================================== c | 0 | 2435 2680 402120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12484 c Elapsed CPU time: 17.9113 s Remaining CPU time: 162.089 s c =============================================================================== c | 0 | 2435 2681 404470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12481 c Elapsed CPU time: 18.1242 s Remaining CPU time: 161.876 s c =============================================================================== c | 0 | 2435 2682 406820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12480 c Elapsed CPU time: 18.3492 s Remaining CPU time: 161.651 s c =============================================================================== c | 0 | 2435 2683 409170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12479 c Elapsed CPU time: 18.5762 s Remaining CPU time: 161.424 s c =============================================================================== c | 0 | 2435 2684 411520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12478 c Elapsed CPU time: 18.7941 s Remaining CPU time: 161.206 s c =============================================================================== c | 0 | 2435 2685 413870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 19.0101 s Remaining CPU time: 160.99 s c =============================================================================== c | 0 | 2435 2686 416220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12473 c Elapsed CPU time: 19.2351 s Remaining CPU time: 160.765 s c =============================================================================== c | 0 | 2435 2687 418570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12472 c Elapsed CPU time: 19.455 s Remaining CPU time: 160.545 s c =============================================================================== c | 0 | 2435 2688 420920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12471 c Elapsed CPU time: 19.678 s Remaining CPU time: 160.322 s c =============================================================================== c | 0 | 2435 2689 423270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 19.901 s Remaining CPU time: 160.099 s c =============================================================================== c | 0 | 2435 2690 425620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12468 c Elapsed CPU time: 20.1199 s Remaining CPU time: 159.88 s c =============================================================================== c | 0 | 2435 2691 427970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12467 c Elapsed CPU time: 20.3399 s Remaining CPU time: 159.66 s c =============================================================================== c | 0 | 2435 2692 430320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12466 c Elapsed CPU time: 20.5679 s Remaining CPU time: 159.432 s c =============================================================================== c | 0 | 2435 2693 432670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12463 c Elapsed CPU time: 20.7938 s Remaining CPU time: 159.206 s c =============================================================================== c | 0 | 2435 2694 435020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12461 c Elapsed CPU time: 21.0188 s Remaining CPU time: 158.981 s c =============================================================================== c | 0 | 2435 2695 437370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12459 c Elapsed CPU time: 21.2428 s Remaining CPU time: 158.757 s c =============================================================================== c | 0 | 2435 2696 439720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12458 c Elapsed CPU time: 21.4827 s Remaining CPU time: 158.517 s c =============================================================================== c | 0 | 2435 2697 442070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12457 c Elapsed CPU time: 21.7317 s Remaining CPU time: 158.268 s c =============================================================================== c | 0 | 2435 2698 444420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12455 c Elapsed CPU time: 21.9647 s Remaining CPU time: 158.035 s c =============================================================================== c | 0 | 2435 2699 446770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12453 c Elapsed CPU time: 22.2036 s Remaining CPU time: 157.796 s c =============================================================================== c | 0 | 2435 2700 449120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 22.4396 s Remaining CPU time: 157.56 s c =============================================================================== c | 0 | 2435 2701 451470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12450 c Elapsed CPU time: 22.6736 s Remaining CPU time: 157.326 s c =============================================================================== c | 0 | 2435 2702 453820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12446 c Elapsed CPU time: 22.9085 s Remaining CPU time: 157.091 s c =============================================================================== c | 0 | 2435 2703 456170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12445 c Elapsed CPU time: 23.1485 s Remaining CPU time: 156.852 s c =============================================================================== c | 0 | 2435 2704 458520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12442 c Elapsed CPU time: 23.3844 s Remaining CPU time: 156.616 s c =============================================================================== c | 0 | 2435 2705 460870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12441 c Elapsed CPU time: 23.6234 s Remaining CPU time: 156.377 s c =============================================================================== c | 0 | 2435 2706 463220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12440 c Elapsed CPU time: 23.8604 s Remaining CPU time: 156.14 s c =============================================================================== c | 0 | 2435 2707 465570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12437 c Elapsed CPU time: 24.1043 s Remaining CPU time: 155.896 s c =============================================================================== c | 0 | 2435 2708 467920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12435 c Elapsed CPU time: 24.3583 s Remaining CPU time: 155.642 s c =============================================================================== c | 0 | 2435 2709 470270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12433 c Elapsed CPU time: 24.6233 s Remaining CPU time: 155.377 s c =============================================================================== c | 0 | 2435 2710 472620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 24.8742 s Remaining CPU time: 155.126 s c =============================================================================== c | 0 | 2435 2711 474970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12431 c Elapsed CPU time: 25.1302 s Remaining CPU time: 154.87 s c =============================================================================== c | 0 | 2435 2712 477320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12429 c Elapsed CPU time: 25.3781 s Remaining CPU time: 154.622 s c =============================================================================== c | 0 | 2435 2713 479670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12427 c Elapsed CPU time: 25.6351 s Remaining CPU time: 154.365 s c =============================================================================== c | 0 | 2435 2714 482020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12424 c Elapsed CPU time: 25.8871 s Remaining CPU time: 154.113 s c =============================================================================== c | 0 | 2435 2715 484370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12423 c Elapsed CPU time: 26.142 s Remaining CPU time: 153.858 s c =============================================================================== c | 0 | 2435 2716 486720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12422 c Elapsed CPU time: 26.395 s Remaining CPU time: 153.605 s c =============================================================================== c | 0 | 2435 2717 489070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 26.6529 s Remaining CPU time: 153.347 s c =============================================================================== c | 0 | 2435 2718 491420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12419 c Elapsed CPU time: 26.9169 s Remaining CPU time: 153.083 s c =============================================================================== c | 0 | 2435 2719 493770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12418 c Elapsed CPU time: 27.1749 s Remaining CPU time: 152.825 s c =============================================================================== c | 0 | 2435 2720 496120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12417 c Elapsed CPU time: 27.4268 s Remaining CPU time: 152.573 s c =============================================================================== c | 0 | 2435 2721 498470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12416 c Elapsed CPU time: 27.6818 s Remaining CPU time: 152.318 s c =============================================================================== c | 0 | 2435 2722 500820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12415 c Elapsed CPU time: 27.9428 s Remaining CPU time: 152.057 s c =============================================================================== c | 0 | 2435 2723 503170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12413 c Elapsed CPU time: 28.2157 s Remaining CPU time: 151.784 s c =============================================================================== c | 0 | 2435 2724 505520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12412 c Elapsed CPU time: 28.4937 s Remaining CPU time: 151.506 s c =============================================================================== c | 0 | 2435 2725 507870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12411 c Elapsed CPU time: 28.7566 s Remaining CPU time: 151.243 s c =============================================================================== c | 0 | 2435 2726 510220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12409 c Elapsed CPU time: 29.0146 s Remaining CPU time: 150.985 s c =============================================================================== c | 0 | 2435 2727 512570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12406 c Elapsed CPU time: 29.2865 s Remaining CPU time: 150.713 s c =============================================================================== c | 0 | 2435 2728 514920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12405 c Elapsed CPU time: 29.5535 s Remaining CPU time: 150.446 s c =============================================================================== c | 0 | 2435 2729 517270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12404 c Elapsed CPU time: 29.8135 s Remaining CPU time: 150.187 s c =============================================================================== c | 0 | 2435 2730 519620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12403 c Elapsed CPU time: 30.0834 s Remaining CPU time: 149.917 s c =============================================================================== c | 0 | 2435 2731 521970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12402 c Elapsed CPU time: 30.3564 s Remaining CPU time: 149.644 s c =============================================================================== c | 0 | 2435 2732 524320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12400 c Elapsed CPU time: 30.6203 s Remaining CPU time: 149.38 s c =============================================================================== c | 0 | 2435 2733 526670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12398 c Elapsed CPU time: 30.8883 s Remaining CPU time: 149.112 s c =============================================================================== c | 0 | 2435 2734 529020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12397 c Elapsed CPU time: 31.1623 s Remaining CPU time: 148.838 s c =============================================================================== c | 0 | 2435 2735 531370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12394 c Elapsed CPU time: 31.4362 s Remaining CPU time: 148.564 s c =============================================================================== c | 0 | 2435 2736 533720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12392 c Elapsed CPU time: 31.7172 s Remaining CPU time: 148.283 s c =============================================================================== c | 0 | 2435 2737 536070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12389 c Elapsed CPU time: 31.9811 s Remaining CPU time: 148.019 s c =============================================================================== c | 0 | 2435 2738 538420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12387 c Elapsed CPU time: 32.2491 s Remaining CPU time: 147.751 s c =============================================================================== c | 0 | 2435 2739 540770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12385 c Elapsed CPU time: 32.5211 s Remaining CPU time: 147.479 s c =============================================================================== c | 0 | 2435 2740 543120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12384 c Elapsed CPU time: 32.789 s Remaining CPU time: 147.211 s c =============================================================================== c | 0 | 2435 2741 545470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12381 c Elapsed CPU time: 33.065 s Remaining CPU time: 146.935 s c =============================================================================== c | 0 | 2435 2742 547820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12379 c Elapsed CPU time: 33.3409 s Remaining CPU time: 146.659 s c =============================================================================== c | 0 | 2435 2743 550170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12378 c Elapsed CPU time: 33.6189 s Remaining CPU time: 146.381 s c =============================================================================== c | 0 | 2435 2744 552520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12377 c Elapsed CPU time: 33.8918 s Remaining CPU time: 146.108 s c =============================================================================== c | 0 | 2435 2745 554870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12376 c Elapsed CPU time: 34.1688 s Remaining CPU time: 145.831 s c =============================================================================== c | 0 | 2435 2746 557220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12371 c Elapsed CPU time: 34.4508 s Remaining CPU time: 145.549 s c =============================================================================== c | 0 | 2435 2747 559570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12369 c Elapsed CPU time: 34.7417 s Remaining CPU time: 145.258 s c =============================================================================== c | 0 | 2435 2748 561920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12368 c Elapsed CPU time: 35.0357 s Remaining CPU time: 144.964 s c =============================================================================== c | 0 | 2435 2749 564270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12366 c Elapsed CPU time: 35.3346 s Remaining CPU time: 144.665 s c =============================================================================== c | 0 | 2435 2750 566620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12363 c Elapsed CPU time: 35.6326 s Remaining CPU time: 144.367 s c =============================================================================== c | 0 | 2435 2751 568970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12361 c Elapsed CPU time: 35.9155 s Remaining CPU time: 144.084 s c =============================================================================== c | 0 | 2435 2752 571320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12360 c Elapsed CPU time: 36.2075 s Remaining CPU time: 143.793 s c =============================================================================== c | 0 | 2435 2753 573670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12357 c Elapsed CPU time: 36.4945 s Remaining CPU time: 143.506 s c =============================================================================== c | 0 | 2435 2754 576020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12355 c Elapsed CPU time: 36.7884 s Remaining CPU time: 143.212 s c =============================================================================== c | 0 | 2435 2755 578370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12354 c Elapsed CPU time: 37.0984 s Remaining CPU time: 142.902 s c =============================================================================== c | 1 | 2435 2756 580720 | 5000 1 2293 | 0.000 % | c =============================================================================== c New solution: 12353 c Elapsed CPU time: 37.4063 s Remaining CPU time: 142.594 s c =============================================================================== c | 1 | 2435 2757 583070 | 5000 1 2293 | 0.000 % | c =============================================================================== c New solution: 12349 c Elapsed CPU time: 37.7023 s Remaining CPU time: 142.298 s c =============================================================================== c | 1 | 2435 2758 585420 | 5000 1 2293 | 0.000 % | c =============================================================================== c New solution: 12346 c Elapsed CPU time: 38.0072 s Remaining CPU time: 141.993 s c =============================================================================== c | 1 | 2435 2759 587770 | 5000 1 2293 | 0.000 % | c =============================================================================== c New solution: 12345 c Elapsed CPU time: 38.3342 s Remaining CPU time: 141.666 s c =============================================================================== c | 2 | 2435 2760 590120 | 5000 2 1148 | 0.000 % | c =============================================================================== c New solution: 12344 c Elapsed CPU time: 38.6401 s Remaining CPU time: 141.36 s c =============================================================================== c | 2 | 2435 2761 592470 | 5000 2 1148 | 0.000 % | c =============================================================================== c New solution: 12343 c Elapsed CPU time: 38.9641 s Remaining CPU time: 141.036 s c =============================================================================== c | 2 | 2435 2762 594820 | 5000 2 1148 | 0.000 % | c =============================================================================== c New solution: 12342 c Elapsed CPU time: 39.282 s Remaining CPU time: 140.718 s c =============================================================================== c | 2 | 2435 2763 597170 | 5000 2 1148 | 0.000 % | c =============================================================================== c New solution: 12341 c Elapsed CPU time: 39.596 s Remaining CPU time: 140.404 s c =============================================================================== c | 4 | 2435 2764 599520 | 5000 4 1720 | 0.000 % | c =============================================================================== c New solution: 12338 c Elapsed CPU time: 39.9209 s Remaining CPU time: 140.079 s c =============================================================================== c | 5 | 2435 2765 601870 | 5000 5 1834 | 0.000 % | c =============================================================================== c New solution: 12337 c Elapsed CPU time: 40.2409 s Remaining CPU time: 139.759 s c =============================================================================== c | 5 | 2435 2766 604220 | 5000 5 1834 | 0.000 % | c =============================================================================== c New solution: 12336 c Elapsed CPU time: 40.6038 s Remaining CPU time: 139.396 s c =============================================================================== c | 7 | 2435 2767 606570 | 5000 7 1964 | 0.000 % | c =============================================================================== c New solution: 12335 c Elapsed CPU time: 40.9588 s Remaining CPU time: 139.041 s c =============================================================================== c | 7 | 2435 2768 608920 | 5000 7 1964 | 0.000 % | c =============================================================================== c New solution: 12332 c Elapsed CPU time: 41.2897 s Remaining CPU time: 138.71 s c =============================================================================== c | 7 | 2435 2769 611270 | 5000 7 1964 | 0.000 % | c =============================================================================== c New solution: 12331 c Elapsed CPU time: 41.6337 s Remaining CPU time: 138.366 s c =============================================================================== c | 7 | 2435 2770 613620 | 5000 7 1964 | 0.000 % | c =============================================================================== c New solution: 12330 c Elapsed CPU time: 41.9486 s Remaining CPU time: 138.051 s c =============================================================================== c | 7 | 2435 2771 615970 | 5000 7 1964 | 0.000 % | c =============================================================================== c New solution: 12329 c Elapsed CPU time: 42.2646 s Remaining CPU time: 137.735 s c =============================================================================== c | 7 | 2435 2772 618320 | 5000 7 1964 | 0.000 % | c =============================================================================== c New solution: 12328 c Elapsed CPU time: 42.6255 s Remaining CPU time: 137.374 s c =============================================================================== c | 7 | 2435 2773 620670 | 5000 7 1964 | 0.000 % | c =============================================================================== c New solution: 12327 c Elapsed CPU time: 42.9715 s Remaining CPU time: 137.029 s c =============================================================================== c | 8 | 2435 2774 623020 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12326 c Elapsed CPU time: 43.3244 s Remaining CPU time: 136.676 s c =============================================================================== c | 8 | 2435 2775 625370 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12325 c Elapsed CPU time: 43.7054 s Remaining CPU time: 136.295 s c =============================================================================== c | 8 | 2435 2776 627720 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12324 c Elapsed CPU time: 44.0643 s Remaining CPU time: 135.936 s c =============================================================================== c | 8 | 2435 2777 630070 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12323 c Elapsed CPU time: 44.4322 s Remaining CPU time: 135.568 s c =============================================================================== c | 8 | 2435 2778 632420 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12322 c Elapsed CPU time: 44.8062 s Remaining CPU time: 135.194 s c =============================================================================== c | 8 | 2435 2779 634770 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12321 c Elapsed CPU time: 45.1771 s Remaining CPU time: 134.823 s c =============================================================================== c | 8 | 2435 2780 637120 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12320 c Elapsed CPU time: 45.5511 s Remaining CPU time: 134.449 s c =============================================================================== c | 8 | 2435 2781 639470 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12319 c Elapsed CPU time: 45.917 s Remaining CPU time: 134.083 s c =============================================================================== c | 8 | 2435 2782 641820 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12318 c Elapsed CPU time: 46.273 s Remaining CPU time: 133.727 s c =============================================================================== c | 8 | 2435 2783 644170 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12317 c Elapsed CPU time: 46.6439 s Remaining CPU time: 133.356 s c =============================================================================== c | 8 | 2435 2784 646520 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12316 c Elapsed CPU time: 46.9889 s Remaining CPU time: 133.011 s c =============================================================================== c | 8 | 2435 2785 648870 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12315 c Elapsed CPU time: 47.3228 s Remaining CPU time: 132.677 s c =============================================================================== c | 8 | 2435 2786 651220 | 5000 8 2005 | 0.000 % | c =============================================================================== c New solution: 12314 c Elapsed CPU time: 47.6728 s Remaining CPU time: 132.327 s c =============================================================================== c | 11 | 2435 2787 653570 | 5000 11 2082 | 0.000 % | c =============================================================================== c New solution: 12313 c Elapsed CPU time: 48.0147 s Remaining CPU time: 131.985 s c =============================================================================== c | 11 | 2435 2788 655920 | 5000 11 2082 | 0.000 % | c =============================================================================== c New solution: 12312 c Elapsed CPU time: 48.3806 s Remaining CPU time: 131.619 s c =============================================================================== c | 11 | 2435 2789 658270 | 5000 11 2082 | 0.000 % | c =============================================================================== c New solution: 12311 c Elapsed CPU time: 48.7586 s Remaining CPU time: 131.241 s c =============================================================================== c | 17 | 2435 2790 660620 | 5000 17 2155 | 0.000 % | c =============================================================================== c New solution: 12310 c Elapsed CPU time: 49.1095 s Remaining CPU time: 130.89 s c =============================================================================== c | 17 | 2435 2791 662970 | 5000 17 2155 | 0.000 % | c =============================================================================== c New solution: 12309 c Elapsed CPU time: 49.4825 s Remaining CPU time: 130.518 s c =============================================================================== c | 17 | 2435 2792 665320 | 5000 17 2155 | 0.000 % | c =============================================================================== c New solution: 12308 c Elapsed CPU time: 49.8434 s Remaining CPU time: 130.157 s c =============================================================================== c | 17 | 2435 2793 667670 | 5000 17 2155 | 0.000 % | c =============================================================================== c New solution: 12307 c Elapsed CPU time: 50.2154 s Remaining CPU time: 129.785 s c =============================================================================== c | 19 | 2435 2794 670020 | 5000 19 2169 | 0.000 % | c =============================================================================== c New solution: 12306 c Elapsed CPU time: 50.5623 s Remaining CPU time: 129.438 s c =============================================================================== c | 19 | 2435 2795 672370 | 5000 19 2169 | 0.000 % | c =============================================================================== c New solution: 12305 c Elapsed CPU time: 50.9063 s Remaining CPU time: 129.094 s c =============================================================================== c | 19 | 2435 2796 674720 | 5000 19 2169 | 0.000 % | c =============================================================================== c New solution: 12304 c Elapsed CPU time: 51.2772 s Remaining CPU time: 128.723 s c =============================================================================== c | 19 | 2435 2797 677070 | 5000 19 2169 | 0.000 % | c =============================================================================== c New solution: 12303 c Elapsed CPU time: 51.6731 s Remaining CPU time: 128.327 s c =============================================================================== c | 19 | 2435 2798 679420 | 5000 19 2169 | 0.000 % | c =============================================================================== c New solution: 12302 c Elapsed CPU time: 52.0601 s Remaining CPU time: 127.94 s c =============================================================================== c | 19 | 2435 2799 681770 | 5000 19 2169 | 0.000 % | c =============================================================================== c New solution: 12301 c Elapsed CPU time: 52.435 s Remaining CPU time: 127.565 s c =============================================================================== c | 20 | 2435 2800 684120 | 5000 20 2175 | 0.000 % | c =============================================================================== c New solution: 12300 c Elapsed CPU time: 52.8 s Remaining CPU time: 127.2 s c =============================================================================== c | 20 | 2435 2801 686470 | 5000 20 2175 | 0.000 % | c =============================================================================== c New solution: 12299 c Elapsed CPU time: 53.1719 s Remaining CPU time: 126.828 s c =============================================================================== c | 20 | 2435 2802 688820 | 5000 20 2175 | 0.000 % | c =============================================================================== c New solution: 12298 c Elapsed CPU time: 53.5409 s Remaining CPU time: 126.459 s c =============================================================================== c | 20 | 2435 2803 691170 | 5000 20 2175 | 0.000 % | c =============================================================================== c New solution: 12297 c Elapsed CPU time: 53.9298 s Remaining CPU time: 126.07 s c =============================================================================== c | 20 | 2435 2804 693520 | 5000 20 2175 | 0.000 % | c =============================================================================== c New solution: 12296 c Elapsed CPU time: 54.3077 s Remaining CPU time: 125.692 s c =============================================================================== c | 21 | 2435 2805 695870 | 5000 21 2180 | 0.000 % | c =============================================================================== c New solution: 12295 c Elapsed CPU time: 54.7147 s Remaining CPU time: 125.285 s c =============================================================================== c | 21 | 2435 2806 698220 | 5000 21 2180 | 0.000 % | c =============================================================================== c New solution: 12294 c Elapsed CPU time: 55.1196 s Remaining CPU time: 124.88 s c =============================================================================== c | 21 | 2435 2807 700570 | 5000 21 2180 | 0.000 % | c =============================================================================== c New solution: 12293 c Elapsed CPU time: 55.5116 s Remaining CPU time: 124.488 s c =============================================================================== c | 21 | 2435 2808 702920 | 5000 21 2180 | 0.000 % | c =============================================================================== c New solution: 12292 c Elapsed CPU time: 55.8805 s Remaining CPU time: 124.119 s c =============================================================================== c | 21 | 2435 2809 705270 | 5000 21 2180 | 0.000 % | c =============================================================================== c New solution: 12291 c Elapsed CPU time: 56.2714 s Remaining CPU time: 123.729 s c =============================================================================== c | 21 | 2435 2810 707620 | 5000 21 2180 | 0.000 % | c =============================================================================== c New solution: 12290 c Elapsed CPU time: 56.6724 s Remaining CPU time: 123.328 s c =============================================================================== c | 21 | 2435 2811 709970 | 5000 21 2180 | 0.000 % | c =============================================================================== c New solution: 12289 c Elapsed CPU time: 57.0843 s Remaining CPU time: 122.916 s c =============================================================================== c | 22 | 2435 2812 712320 | 5000 22 2185 | 0.000 % | c =============================================================================== c New solution: 12288 c Elapsed CPU time: 57.5003 s Remaining CPU time: 122.5 s c =============================================================================== c | 22 | 2435 2813 714670 | 5000 22 2185 | 0.000 % | c =============================================================================== c New solution: 12287 c Elapsed CPU time: 57.9152 s Remaining CPU time: 122.085 s c =============================================================================== c | 22 | 2435 2814 717020 | 5000 22 2185 | 0.000 % | c =============================================================================== c New solution: 12286 c Elapsed CPU time: 58.3201 s Remaining CPU time: 121.68 s c =============================================================================== c | 22 | 2435 2815 719370 | 5000 22 2185 | 0.000 % | c =============================================================================== c New solution: 12285 c Elapsed CPU time: 58.7351 s Remaining CPU time: 121.265 s c =============================================================================== c | 22 | 2435 2816 721720 | 5000 22 2185 | 0.000 % | c =============================================================================== c New solution: 12284 c Elapsed CPU time: 59.135 s Remaining CPU time: 120.865 s c =============================================================================== c | 22 | 2435 2817 724070 | 5000 22 2185 | 0.000 % | c =============================================================================== c New solution: 12283 c Elapsed CPU time: 59.5369 s Remaining CPU time: 120.463 s c =============================================================================== c | 22 | 2435 2818 726420 | 5000 22 2185 | 0.000 % | c =============================================================================== c New solution: 12282 c Elapsed CPU time: 59.9269 s Remaining CPU time: 120.073 s c =============================================================================== c | 22 | 2435 2819 728770 | 5000 22 2185 | 0.000 % | c =============================================================================== c New solution: 12281 c Elapsed CPU time: 60.3208 s Remaining CPU time: 119.679 s c =============================================================================== c | 23 | 2435 2820 731120 | 5000 23 2189 | 0.000 % | c =============================================================================== c New solution: 12280 c Elapsed CPU time: 60.7308 s Remaining CPU time: 119.269 s c =============================================================================== c | 23 | 2435 2821 733470 | 5000 23 2189 | 0.000 % | c =============================================================================== c New solution: 12279 c Elapsed CPU time: 61.1137 s Remaining CPU time: 118.886 s c =============================================================================== c | 23 | 2435 2822 735820 | 5000 23 2189 | 0.000 % | c =============================================================================== c New solution: 12278 c Elapsed CPU time: 61.5056 s Remaining CPU time: 118.494 s c =============================================================================== c | 23 | 2435 2823 738170 | 5000 23 2189 | 0.000 % | c =============================================================================== c New solution: 12277 c Elapsed CPU time: 61.9156 s Remaining CPU time: 118.084 s c =============================================================================== c | 23 | 2435 2824 740520 | 5000 23 2189 | 0.000 % | c =============================================================================== c New solution: 12276 c Elapsed CPU time: 62.3535 s Remaining CPU time: 117.646 s c =============================================================================== c | 24 | 2435 2825 742870 | 5000 24 2193 | 0.000 % | c =============================================================================== c New solution: 12275 c Elapsed CPU time: 62.7835 s Remaining CPU time: 117.217 s c =============================================================================== c | 24 | 2435 2826 745220 | 5000 24 2193 | 0.000 % | c =============================================================================== c New solution: 12274 c Elapsed CPU time: 63.2164 s Remaining CPU time: 116.784 s c =============================================================================== c | 24 | 2435 2827 747570 | 5000 24 2193 | 0.000 % | c =============================================================================== c New solution: 12273 c Elapsed CPU time: 63.6363 s Remaining CPU time: 116.364 s c =============================================================================== c | 24 | 2435 2828 749920 | 5000 24 2193 | 0.000 % | c =============================================================================== c New solution: 12272 c Elapsed CPU time: 64.0583 s Remaining CPU time: 115.942 s c =============================================================================== c | 24 | 2435 2829 752270 | 5000 24 2193 | 0.000 % | c =============================================================================== c New solution: 12271 c Elapsed CPU time: 64.5012 s Remaining CPU time: 115.499 s c =============================================================================== c | 36 | 2435 2830 754620 | 5000 36 2221 | 0.000 % | c =============================================================================== c New solution: 12270 c Elapsed CPU time: 64.9311 s Remaining CPU time: 115.069 s c =============================================================================== c | 36 | 2435 2831 756970 | 5000 36 2221 | 0.000 % | c =============================================================================== c New solution: 12269 c Elapsed CPU time: 65.3851 s Remaining CPU time: 114.615 s c =============================================================================== c | 36 | 2435 2832 759320 | 5000 36 2221 | 0.000 % | c =============================================================================== c New solution: 12268 c Elapsed CPU time: 65.836 s Remaining CPU time: 114.164 s c =============================================================================== c | 36 | 2435 2833 761670 | 5000 36 2221 | 0.000 % | c =============================================================================== c New solution: 12267 c Elapsed CPU time: 66.2639 s Remaining CPU time: 113.736 s c =============================================================================== c | 36 | 2435 2834 764020 | 5000 36 2221 | 0.000 % | c =============================================================================== c New solution: 12266 c Elapsed CPU time: 66.6859 s Remaining CPU time: 113.314 s c =============================================================================== c | 36 | 2435 2835 766370 | 5000 36 2221 | 0.000 % | c =============================================================================== c New solution: 12265 c Elapsed CPU time: 67.1468 s Remaining CPU time: 112.853 s c =============================================================================== c | 40 | 2435 2836 768720 | 5000 40 2227 | 0.000 % | c =============================================================================== c New solution: 12264 c Elapsed CPU time: 67.5797 s Remaining CPU time: 112.42 s c =============================================================================== c | 40 | 2435 2837 771070 | 5000 40 2227 | 0.000 % | c =============================================================================== c New solution: 12263 c Elapsed CPU time: 68.0247 s Remaining CPU time: 111.975 s c =============================================================================== c | 41 | 2435 2838 773420 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12262 c Elapsed CPU time: 68.4386 s Remaining CPU time: 111.561 s c =============================================================================== c | 41 | 2435 2839 775770 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12261 c Elapsed CPU time: 68.8715 s Remaining CPU time: 111.128 s c =============================================================================== c | 41 | 2435 2840 778120 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12260 c Elapsed CPU time: 69.2895 s Remaining CPU time: 110.711 s c =============================================================================== c | 41 | 2435 2841 780470 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12259 c Elapsed CPU time: 69.7234 s Remaining CPU time: 110.277 s c =============================================================================== c | 41 | 2435 2842 782820 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12258 c Elapsed CPU time: 70.1383 s Remaining CPU time: 109.862 s c =============================================================================== c | 41 | 2435 2843 785170 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12257 c Elapsed CPU time: 70.5513 s Remaining CPU time: 109.449 s c =============================================================================== c | 41 | 2435 2844 787520 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12256 c Elapsed CPU time: 70.9922 s Remaining CPU time: 109.008 s c =============================================================================== c | 41 | 2435 2845 789870 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12255 c Elapsed CPU time: 71.4191 s Remaining CPU time: 108.581 s c =============================================================================== c | 41 | 2435 2846 792220 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12254 c Elapsed CPU time: 71.8601 s Remaining CPU time: 108.14 s c =============================================================================== c | 41 | 2435 2847 794570 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12253 c Elapsed CPU time: 72.295 s Remaining CPU time: 107.705 s c =============================================================================== c | 41 | 2435 2848 796920 | 5000 41 2172 | 0.000 % | c =============================================================================== c New solution: 12252 c Elapsed CPU time: 72.7199 s Remaining CPU time: 107.28 s c =============================================================================== c | 43 | 2435 2849 799270 | 5000 43 2177 | 0.000 % | c =============================================================================== c New solution: 12251 c Elapsed CPU time: 73.1469 s Remaining CPU time: 106.853 s c =============================================================================== c | 43 | 2435 2850 801620 | 5000 43 2177 | 0.000 % | c =============================================================================== c New solution: 12250 c Elapsed CPU time: 73.6078 s Remaining CPU time: 106.392 s c =============================================================================== c | 43 | 2435 2851 803970 | 5000 43 2177 | 0.000 % | c =============================================================================== c New solution: 12249 c Elapsed CPU time: 74.0487 s Remaining CPU time: 105.951 s c =============================================================================== c | 43 | 2435 2852 806320 | 5000 43 2177 | 0.000 % | c =============================================================================== c New solution: 12248 c Elapsed CPU time: 74.4977 s Remaining CPU time: 105.502 s c =============================================================================== c | 46 | 2435 2853 808670 | 5000 46 2184 | 0.000 % | c =============================================================================== c New solution: 12247 c Elapsed CPU time: 74.9486 s Remaining CPU time: 105.051 s c =============================================================================== c | 46 | 2435 2854 811020 | 5000 46 2184 | 0.000 % | c =============================================================================== c New solution: 12246 c Elapsed CPU time: 75.3685 s Remaining CPU time: 104.631 s c =============================================================================== c | 46 | 2435 2855 813370 | 5000 46 2184 | 0.000 % | c =============================================================================== c New solution: 12245 c Elapsed CPU time: 75.8125 s Remaining CPU time: 104.188 s c =============================================================================== c | 46 | 2435 2856 815720 | 5000 46 2184 | 0.000 % | c =============================================================================== c New solution: 12244 c Elapsed CPU time: 76.3004 s Remaining CPU time: 103.7 s c =============================================================================== c | 47 | 2435 2857 818070 | 5000 47 2186 | 0.000 % | c =============================================================================== c New solution: 12243 c Elapsed CPU time: 76.7683 s Remaining CPU time: 103.232 s c =============================================================================== c | 47 | 2435 2858 820420 | 5000 47 2186 | 0.000 % | c =============================================================================== c New solution: 12242 c Elapsed CPU time: 77.2603 s Remaining CPU time: 102.74 s c =============================================================================== c | 49 | 2435 2859 822770 | 5000 49 2189 | 0.000 % | c =============================================================================== c New solution: 12241 c Elapsed CPU time: 77.7452 s Remaining CPU time: 102.255 s c =============================================================================== c | 49 | 2435 2860 825120 | 5000 49 2189 | 0.000 % | c =============================================================================== c New solution: 12240 c Elapsed CPU time: 78.2151 s Remaining CPU time: 101.785 s c =============================================================================== c | 49 | 2435 2861 827470 | 5000 49 2189 | 0.000 % | c =============================================================================== c New solution: 12239 c Elapsed CPU time: 78.686 s Remaining CPU time: 101.314 s c =============================================================================== c | 49 | 2435 2862 829820 | 5000 49 2189 | 0.000 % | c =============================================================================== c New solution: 12238 c Elapsed CPU time: 79.163 s Remaining CPU time: 100.837 s c =============================================================================== c | 56 | 2435 2863 832170 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12237 c Elapsed CPU time: 79.6479 s Remaining CPU time: 100.352 s c =============================================================================== c | 56 | 2435 2864 834520 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12236 c Elapsed CPU time: 80.1338 s Remaining CPU time: 99.8662 s c =============================================================================== c | 56 | 2435 2865 836870 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12235 c Elapsed CPU time: 80.5817 s Remaining CPU time: 99.4183 s c =============================================================================== c | 56 | 2435 2866 839220 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12234 c Elapsed CPU time: 81.0367 s Remaining CPU time: 98.9633 s c =============================================================================== c | 56 | 2435 2867 841570 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12233 c Elapsed CPU time: 81.5276 s Remaining CPU time: 98.4724 s c =============================================================================== c | 56 | 2435 2868 843920 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12232 c Elapsed CPU time: 82.0365 s Remaining CPU time: 97.9635 s c =============================================================================== c | 56 | 2435 2869 846270 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12231 c Elapsed CPU time: 82.5265 s Remaining CPU time: 97.4735 s c =============================================================================== c | 56 | 2435 2870 848620 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12230 c Elapsed CPU time: 83.0034 s Remaining CPU time: 96.9966 s c =============================================================================== c | 56 | 2435 2871 850970 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12229 c Elapsed CPU time: 83.4613 s Remaining CPU time: 96.5387 s c =============================================================================== c | 56 | 2435 2872 853320 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12228 c Elapsed CPU time: 83.9522 s Remaining CPU time: 96.0478 s c =============================================================================== c | 56 | 2435 2873 855670 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12227 c Elapsed CPU time: 84.4172 s Remaining CPU time: 95.5828 s c =============================================================================== c | 56 | 2435 2874 858020 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12226 c Elapsed CPU time: 84.9011 s Remaining CPU time: 95.0989 s c =============================================================================== c | 56 | 2435 2875 860370 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12225 c Elapsed CPU time: 85.381 s Remaining CPU time: 94.619 s c =============================================================================== c | 56 | 2435 2876 862720 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12224 c Elapsed CPU time: 85.8709 s Remaining CPU time: 94.1291 s c =============================================================================== c | 56 | 2435 2877 865070 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12223 c Elapsed CPU time: 86.3639 s Remaining CPU time: 93.6361 s c =============================================================================== c | 56 | 2435 2878 867420 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12222 c Elapsed CPU time: 86.8608 s Remaining CPU time: 93.1392 s c =============================================================================== c | 56 | 2435 2879 869770 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12221 c Elapsed CPU time: 87.3487 s Remaining CPU time: 92.6513 s c =============================================================================== c | 56 | 2435 2880 872120 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12220 c Elapsed CPU time: 87.8456 s Remaining CPU time: 92.1544 s c =============================================================================== c | 56 | 2435 2881 874470 | 5000 56 2200 | 0.000 % | c =============================================================================== c New solution: 12219 c Elapsed CPU time: 88.3226 s Remaining CPU time: 91.6774 s c =============================================================================== c | 57 | 2435 2882 876820 | 5000 57 2201 | 0.000 % | c =============================================================================== c New solution: 12218 c Elapsed CPU time: 88.7925 s Remaining CPU time: 91.2075 s c =============================================================================== c | 57 | 2435 2883 879170 | 5000 57 2201 | 0.000 % | c =============================================================================== c New solution: 12217 c Elapsed CPU time: 89.2774 s Remaining CPU time: 90.7226 s c =============================================================================== c | 57 | 2435 2884 881520 | 5000 57 2201 | 0.000 % | c =============================================================================== c New solution: 12216 c Elapsed CPU time: 89.7654 s Remaining CPU time: 90.2346 s c =============================================================================== c | 60 | 2435 2885 883870 | 5000 60 2205 | 0.000 % | c =============================================================================== c New solution: 12215 c Elapsed CPU time: 90.2373 s Remaining CPU time: 89.7627 s c =============================================================================== c | 60 | 2435 2886 886220 | 5000 60 2205 | 0.000 % | c =============================================================================== c New solution: 12214 c Elapsed CPU time: 90.7112 s Remaining CPU time: 89.2888 s c =============================================================================== c | 61 | 2435 2887 888570 | 5000 61 2206 | 0.000 % | c =============================================================================== c New solution: 12213 c Elapsed CPU time: 91.2181 s Remaining CPU time: 88.7819 s c =============================================================================== c | 61 | 2435 2888 890920 | 5000 61 2206 | 0.000 % | c =============================================================================== c New solution: 12212 c Elapsed CPU time: 91.7051 s Remaining CPU time: 88.2949 s c =============================================================================== c | 61 | 2435 2889 893270 | 5000 61 2206 | 0.000 % | c =============================================================================== c New solution: 12211 c Elapsed CPU time: 92.185 s Remaining CPU time: 87.815 s c =============================================================================== c | 63 | 2435 2890 895620 | 5000 63 2208 | 0.000 % | c =============================================================================== c New solution: 12210 c Elapsed CPU time: 92.6729 s Remaining CPU time: 87.3271 s c =============================================================================== c | 63 | 2435 2891 897970 | 5000 63 2208 | 0.000 % | c =============================================================================== c New solution: 12209 c Elapsed CPU time: 93.1748 s Remaining CPU time: 86.8252 s c =============================================================================== c | 63 | 2435 2892 900320 | 5000 63 2208 | 0.000 % | c =============================================================================== c New solution: 12208 c Elapsed CPU time: 93.6518 s Remaining CPU time: 86.3482 s c =============================================================================== c | 64 | 2435 2893 902670 | 5000 64 2173 | 0.000 % | c =============================================================================== c New solution: 12207 c Elapsed CPU time: 94.1657 s Remaining CPU time: 85.8343 s c =============================================================================== c | 70 | 2435 2894 905020 | 5000 70 2182 | 0.000 % | c =============================================================================== c New solution: 12206 c Elapsed CPU time: 94.6426 s Remaining CPU time: 85.3574 s c =============================================================================== c | 70 | 2435 2895 907370 | 5000 70 2182 | 0.000 % | c =============================================================================== c New solution: 12205 c Elapsed CPU time: 95.1855 s Remaining CPU time: 84.8145 s c =============================================================================== c | 83 | 2435 2896 909720 | 5000 83 2195 | 0.000 % | c =============================================================================== c New solution: 12204 c Elapsed CPU time: 95.6755 s Remaining CPU time: 84.3245 s c =============================================================================== c | 86 | 2435 2897 912070 | 5000 86 2197 | 0.000 % | c =============================================================================== c New solution: 12203 c Elapsed CPU time: 96.1664 s Remaining CPU time: 83.8336 s c =============================================================================== c | 88 | 2435 2898 914420 | 5000 88 2199 | 0.000 % | c =============================================================================== c New solution: 12202 c Elapsed CPU time: 96.6473 s Remaining CPU time: 83.3527 s c =============================================================================== c | 88 | 2435 2899 916770 | 5000 88 2199 | 0.000 % | c =============================================================================== c New solution: 12201 c Elapsed CPU time: 97.1342 s Remaining CPU time: 82.8658 s c =============================================================================== c | 88 | 2435 2900 919120 | 5000 88 2199 | 0.000 % | c =============================================================================== c New solution: 12200 c Elapsed CPU time: 97.6602 s Remaining CPU time: 82.3398 s c =============================================================================== c | 88 | 2435 2901 921470 | 5000 88 2199 | 0.000 % | c =============================================================================== c New solution: 12199 c Elapsed CPU time: 98.1651 s Remaining CPU time: 81.8349 s c =============================================================================== c | 90 | 2435 2902 923820 | 5000 90 2201 | 0.000 % | c =============================================================================== c New solution: 12198 c Elapsed CPU time: 98.719 s Remaining CPU time: 81.281 s c =============================================================================== c | 95 | 2435 2903 926170 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12197 c Elapsed CPU time: 99.2619 s Remaining CPU time: 80.7381 s c =============================================================================== c | 95 | 2435 2904 928520 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12196 c Elapsed CPU time: 99.7808 s Remaining CPU time: 80.2192 s c =============================================================================== c | 95 | 2435 2905 930870 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12195 c Elapsed CPU time: 100.331 s Remaining CPU time: 79.6693 s c =============================================================================== c | 95 | 2435 2906 933220 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12194 c Elapsed CPU time: 100.897 s Remaining CPU time: 79.1033 s c =============================================================================== c | 95 | 2435 2907 935570 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12193 c Elapsed CPU time: 101.462 s Remaining CPU time: 78.5384 s c =============================================================================== c | 95 | 2435 2908 937920 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12192 c Elapsed CPU time: 102.018 s Remaining CPU time: 77.9815 s c =============================================================================== c | 95 | 2435 2909 940270 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12191 c Elapsed CPU time: 102.544 s Remaining CPU time: 77.4556 s c =============================================================================== c | 95 | 2435 2910 942620 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12190 c Elapsed CPU time: 103.06 s Remaining CPU time: 76.9397 s c =============================================================================== c | 95 | 2435 2911 944970 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12189 c Elapsed CPU time: 103.574 s Remaining CPU time: 76.4257 s c =============================================================================== c | 95 | 2435 2912 947320 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12188 c Elapsed CPU time: 104.081 s Remaining CPU time: 75.9188 s c =============================================================================== c | 95 | 2435 2913 949670 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12187 c Elapsed CPU time: 104.583 s Remaining CPU time: 75.4169 s c =============================================================================== c | 95 | 2435 2914 952020 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12186 c Elapsed CPU time: 105.089 s Remaining CPU time: 74.911 s c =============================================================================== c | 95 | 2435 2915 954370 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12185 c Elapsed CPU time: 105.59 s Remaining CPU time: 74.4101 s c =============================================================================== c | 95 | 2435 2916 956720 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12184 c Elapsed CPU time: 106.105 s Remaining CPU time: 73.8951 s c =============================================================================== c | 95 | 2435 2917 959070 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12183 c Elapsed CPU time: 106.659 s Remaining CPU time: 73.3412 s c =============================================================================== c | 95 | 2435 2918 961420 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12182 c Elapsed CPU time: 107.192 s Remaining CPU time: 72.8083 s c =============================================================================== c | 95 | 2435 2919 963770 | 5000 95 2204 | 0.000 % | c =============================================================================== c New solution: 12181 c Elapsed CPU time: 107.71 s Remaining CPU time: 72.2904 s c =============================================================================== c | 97 | 2435 2920 966120 | 5000 97 2205 | 0.000 % | c =============================================================================== c New solution: 12180 c Elapsed CPU time: 108.231 s Remaining CPU time: 71.7695 s c =============================================================================== c | 97 | 2435 2921 968470 | 5000 97 2205 | 0.000 % | c =============================================================================== c New solution: 12179 c Elapsed CPU time: 108.731 s Remaining CPU time: 71.2685 s c =============================================================================== c | 97 | 2435 2922 970820 | 5000 97 2205 | 0.000 % | c =============================================================================== c New solution: 12178 c Elapsed CPU time: 109.301 s Remaining CPU time: 70.6986 s c =============================================================================== c | 97 | 2435 2923 973170 | 5000 97 2205 | 0.000 % | c =============================================================================== c New solution: 12177 c Elapsed CPU time: 109.857 s Remaining CPU time: 70.1427 s c =============================================================================== c | 97 | 2435 2924 975520 | 5000 97 2205 | 0.000 % | c =============================================================================== c New solution: 12176 c Elapsed CPU time: 110.447 s Remaining CPU time: 69.5528 s c =============================================================================== c | 125 | 2435 2925 977870 | 5000 125 2218 | 0.000 % | c =============================================================================== c New solution: 12175 c Elapsed CPU time: 111.006 s Remaining CPU time: 68.9939 s c =============================================================================== c | 126 | 2435 2926 980220 | 5000 126 2219 | 0.000 % | c =============================================================================== c New solution: 12174 c Elapsed CPU time: 111.541 s Remaining CPU time: 68.459 s c =============================================================================== c | 128 | 2435 2927 982570 | 5000 128 2219 | 0.000 % | c =============================================================================== c New solution: 12173 c Elapsed CPU time: 112.237 s Remaining CPU time: 67.7631 s c =============================================================================== c | 154 | 2435 2928 984920 | 5000 154 2227 | 0.000 % | c =============================================================================== c New solution: 12172 c Elapsed CPU time: 112.781 s Remaining CPU time: 67.2191 s c =============================================================================== c | 155 | 2435 2929 987270 | 5000 155 2227 | 0.000 % | c =============================================================================== c New solution: 12171 c Elapsed CPU time: 113.328 s Remaining CPU time: 66.6722 s c =============================================================================== c | 155 | 2435 2930 989620 | 5000 155 2227 | 0.000 % | c =============================================================================== c New solution: 12170 c Elapsed CPU time: 113.936 s Remaining CPU time: 66.0643 s c =============================================================================== c | 155 | 2435 2931 991970 | 5000 155 2227 | 0.000 % | c =============================================================================== c New solution: 12169 c Elapsed CPU time: 114.544 s Remaining CPU time: 65.4564 s c =============================================================================== c | 158 | 2435 2932 994320 | 5000 158 2228 | 0.000 % | c =============================================================================== c New solution: 12168 c Elapsed CPU time: 115.135 s Remaining CPU time: 64.8645 s c =============================================================================== c | 158 | 2435 2933 996670 | 5000 158 2228 | 0.000 % | c =============================================================================== c New solution: 12167 c Elapsed CPU time: 115.679 s Remaining CPU time: 64.3206 s c =============================================================================== c | 159 | 2435 2934 999020 | 5000 159 2228 | 0.000 % | c =============================================================================== c New solution: 12166 c Elapsed CPU time: 116.247 s Remaining CPU time: 63.7527 s c =============================================================================== c | 160 | 2435 2935 1001370 | 5000 160 2228 | 0.000 % | c =============================================================================== c New solution: 12165 c Elapsed CPU time: 116.77 s Remaining CPU time: 63.2298 s c =============================================================================== c | 160 | 2435 2936 1003720 | 5000 160 2228 | 0.000 % | c =============================================================================== c New solution: 12164 c Elapsed CPU time: 117.332 s Remaining CPU time: 62.6678 s c =============================================================================== c | 161 | 2435 2937 1006070 | 5000 161 2228 | 0.000 % | c =============================================================================== c New solution: 12163 c Elapsed CPU time: 117.904 s Remaining CPU time: 62.0959 s c =============================================================================== c | 161 | 2435 2938 1008420 | 5000 161 2228 | 0.000 % | c =============================================================================== c New solution: 12162 c Elapsed CPU time: 118.525 s Remaining CPU time: 61.475 s c =============================================================================== c | 183 | 2435 2939 1010770 | 5000 183 2232 | 0.000 % | c =============================================================================== c New solution: 12161 c Elapsed CPU time: 119.117 s Remaining CPU time: 60.8831 s c =============================================================================== c | 183 | 2435 2940 1013120 | 5000 183 2232 | 0.000 % | c =============================================================================== c New solution: 12160 c Elapsed CPU time: 119.721 s Remaining CPU time: 60.2792 s c =============================================================================== c | 188 | 2435 2941 1015470 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12159 c Elapsed CPU time: 120.278 s Remaining CPU time: 59.7223 s c =============================================================================== c | 188 | 2435 2942 1017820 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12158 c Elapsed CPU time: 120.832 s Remaining CPU time: 59.1684 s c =============================================================================== c | 188 | 2435 2943 1020170 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12157 c Elapsed CPU time: 121.41 s Remaining CPU time: 58.5905 s c =============================================================================== c | 188 | 2435 2944 1022520 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12156 c Elapsed CPU time: 122.006 s Remaining CPU time: 57.9935 s c =============================================================================== c | 188 | 2435 2945 1024870 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12155 c Elapsed CPU time: 122.588 s Remaining CPU time: 57.4116 s c =============================================================================== c | 188 | 2435 2946 1027220 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12154 c Elapsed CPU time: 123.157 s Remaining CPU time: 56.8427 s c =============================================================================== c | 188 | 2435 2947 1029570 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12153 c Elapsed CPU time: 123.745 s Remaining CPU time: 56.2548 s c =============================================================================== c | 188 | 2435 2948 1031920 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12152 c Elapsed CPU time: 124.318 s Remaining CPU time: 55.6819 s c =============================================================================== c | 188 | 2435 2949 1034270 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12151 c Elapsed CPU time: 124.885 s Remaining CPU time: 55.115 s c =============================================================================== c | 188 | 2435 2950 1036620 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12150 c Elapsed CPU time: 125.448 s Remaining CPU time: 54.5521 s c =============================================================================== c | 188 | 2435 2951 1038970 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12149 c Elapsed CPU time: 126.016 s Remaining CPU time: 53.9842 s c =============================================================================== c | 188 | 2435 2952 1041320 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12148 c Elapsed CPU time: 126.571 s Remaining CPU time: 53.4292 s c =============================================================================== c | 188 | 2435 2953 1043670 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12147 c Elapsed CPU time: 127.139 s Remaining CPU time: 52.8613 s c =============================================================================== c | 188 | 2435 2954 1046020 | 5000 188 2233 | 0.000 % | c =============================================================================== c New solution: 12146 c Elapsed CPU time: 127.742 s Remaining CPU time: 52.2584 s c =============================================================================== c | 192 | 2435 2955 1048370 | 5000 192 2233 | 0.000 % | c =============================================================================== c New solution: 12145 c Elapsed CPU time: 128.332 s Remaining CPU time: 51.6675 s c =============================================================================== c | 194 | 2435 2956 1050720 | 5000 194 2234 | 0.000 % | c =============================================================================== c New solution: 12144 c Elapsed CPU time: 129.015 s Remaining CPU time: 50.9846 s c =============================================================================== c | 205 | 2435 2957 1053070 | 5000 205 2235 | 0.000 % | c =============================================================================== c New solution: 12143 c Elapsed CPU time: 129.599 s Remaining CPU time: 50.4007 s c =============================================================================== c | 205 | 2435 2958 1055420 | 5000 205 2235 | 0.000 % | c =============================================================================== c New solution: 12142 c Elapsed CPU time: 130.212 s Remaining CPU time: 49.7878 s c =============================================================================== c | 211 | 2435 2959 1057770 | 5000 211 2236 | 0.000 % | c =============================================================================== c New solution: 12141 c Elapsed CPU time: 130.802 s Remaining CPU time: 49.1979 s c =============================================================================== c | 212 | 2435 2960 1060120 | 5000 212 2236 | 0.000 % | c =============================================================================== c New solution: 12140 c Elapsed CPU time: 131.363 s Remaining CPU time: 48.637 s c =============================================================================== c | 212 | 2435 2961 1062470 | 5000 212 2236 | 0.000 % | c =============================================================================== c New solution: 12139 c Elapsed CPU time: 131.94 s Remaining CPU time: 48.0601 s c =============================================================================== c | 213 | 2435 2962 1064820 | 5000 213 2236 | 0.000 % | c =============================================================================== c New solution: 12138 c Elapsed CPU time: 132.518 s Remaining CPU time: 47.4821 s c =============================================================================== c | 213 | 2435 2963 1067170 | 5000 213 2236 | 0.000 % | c =============================================================================== c New solution: 12137 c Elapsed CPU time: 133.107 s Remaining CPU time: 46.8932 s c =============================================================================== c | 218 | 2435 2964 1069520 | 5000 218 2236 | 0.000 % | c =============================================================================== c New solution: 12136 c Elapsed CPU time: 133.704 s Remaining CPU time: 46.2963 s c =============================================================================== c | 218 | 2435 2965 1071870 | 5000 218 2236 | 0.000 % | c =============================================================================== c New solution: 12135 c Elapsed CPU time: 134.286 s Remaining CPU time: 45.7144 s c =============================================================================== c | 218 | 2435 2966 1074220 | 5000 218 2236 | 0.000 % | c =============================================================================== c New solution: 12134 c Elapsed CPU time: 134.866 s Remaining CPU time: 45.1335 s c =============================================================================== c | 218 | 2435 2967 1076570 | 5000 218 2236 | 0.000 % | c =============================================================================== c New solution: 12133 c Elapsed CPU time: 135.439 s Remaining CPU time: 44.5606 s c =============================================================================== c | 218 | 2435 2968 1078920 | 5000 218 2236 | 0.000 % | c =============================================================================== c New solution: 12132 c Elapsed CPU time: 136.036 s Remaining CPU time: 43.9637 s c =============================================================================== c | 218 | 2435 2969 1081270 | 5000 218 2236 | 0.000 % | c =============================================================================== c New solution: 12131 c Elapsed CPU time: 136.618 s Remaining CPU time: 43.3818 s c =============================================================================== c | 218 | 2435 2970 1083620 | 5000 218 2236 | 0.000 % | c =============================================================================== c New solution: 12130 c Elapsed CPU time: 137.221 s Remaining CPU time: 42.7789 s c =============================================================================== c | 218 | 2435 2971 1085970 | 5000 218 2236 | 0.000 % | c =============================================================================== c New solution: 12129 c Elapsed CPU time: 137.851 s Remaining CPU time: 42.149 s c =============================================================================== c | 220 | 2435 2972 1088320 | 5000 220 2236 | 0.000 % | c =============================================================================== c New solution: 12128 c Elapsed CPU time: 138.471 s Remaining CPU time: 41.5291 s c =============================================================================== c | 222 | 2435 2973 1090670 | 5000 222 2237 | 0.000 % | c =============================================================================== c New solution: 12127 c Elapsed CPU time: 139.044 s Remaining CPU time: 40.9561 s c =============================================================================== c | 222 | 2435 2974 1093020 | 5000 222 2237 | 0.000 % | c =============================================================================== c New solution: 12126 c Elapsed CPU time: 139.627 s Remaining CPU time: 40.3732 s c =============================================================================== c | 222 | 2435 2975 1095370 | 5000 222 2237 | 0.000 % | c =============================================================================== c New solution: 12125 c Elapsed CPU time: 140.283 s Remaining CPU time: 39.7173 s c =============================================================================== c | 225 | 2435 2976 1097720 | 5000 225 2237 | 0.000 % | c =============================================================================== c New solution: 12124 c Elapsed CPU time: 140.874 s Remaining CPU time: 39.1264 s c =============================================================================== c | 225 | 2435 2977 1100070 | 5000 225 2237 | 0.000 % | c =============================================================================== c New solution: 12123 c Elapsed CPU time: 141.495 s Remaining CPU time: 38.5045 s c =============================================================================== c | 225 | 2435 2978 1102420 | 5000 225 2237 | 0.000 % | c =============================================================================== c New solution: 12122 c Elapsed CPU time: 142.129 s Remaining CPU time: 37.8706 s c =============================================================================== c | 225 | 2435 2979 1104770 | 5000 225 2237 | 0.000 % | c =============================================================================== c New solution: 12121 c Elapsed CPU time: 142.732 s Remaining CPU time: 37.2677 s c =============================================================================== c | 227 | 2435 2980 1107120 | 5000 227 2237 | 0.000 % | c =============================================================================== c New solution: 12120 c Elapsed CPU time: 143.362 s Remaining CPU time: 36.6378 s c =============================================================================== c | 227 | 2435 2981 1109470 | 5000 227 2237 | 0.000 % | c =============================================================================== c New solution: 12119 c Elapsed CPU time: 143.977 s Remaining CPU time: 36.0229 s c =============================================================================== c | 227 | 2435 2982 1111820 | 5000 227 2237 | 0.000 % | c =============================================================================== c New solution: 12118 c Elapsed CPU time: 144.565 s Remaining CPU time: 35.435 s c =============================================================================== c | 228 | 2435 2983 1114170 | 5000 228 2237 | 0.000 % | c =============================================================================== c New solution: 12117 c Elapsed CPU time: 145.167 s Remaining CPU time: 34.8331 s c =============================================================================== c | 229 | 2435 2984 1116520 | 5000 229 2237 | 0.000 % | c =============================================================================== c New solution: 12116 c Elapsed CPU time: 145.782 s Remaining CPU time: 34.2182 s c =============================================================================== c | 229 | 2435 2985 1118870 | 5000 229 2237 | 0.000 % | c =============================================================================== c New solution: 12115 c Elapsed CPU time: 146.397 s Remaining CPU time: 33.6033 s c =============================================================================== c | 230 | 2435 2986 1121220 | 5000 230 2237 | 0.000 % | c =============================================================================== c New solution: 12114 c Elapsed CPU time: 147.021 s Remaining CPU time: 32.9794 s c =============================================================================== c | 230 | 2435 2987 1123570 | 5000 230 2237 | 0.000 % | c =============================================================================== c New solution: 12113 c Elapsed CPU time: 147.618 s Remaining CPU time: 32.3824 s c =============================================================================== c | 230 | 2435 2988 1125920 | 5000 230 2237 | 0.000 % | c =============================================================================== c New solution: 12112 c Elapsed CPU time: 148.261 s Remaining CPU time: 31.7385 s c =============================================================================== c | 234 | 2435 2989 1128270 | 5000 234 2237 | 0.000 % | c =============================================================================== c New solution: 12111 c Elapsed CPU time: 148.85 s Remaining CPU time: 31.1496 s c =============================================================================== c | 234 | 2435 2990 1130620 | 5000 234 2237 | 0.000 % | c =============================================================================== c New solution: 12110 c Elapsed CPU time: 149.438 s Remaining CPU time: 30.5617 s c =============================================================================== c | 234 | 2435 2991 1132970 | 5000 234 2237 | 0.000 % | c =============================================================================== c New solution: 12109 c Elapsed CPU time: 150.066 s Remaining CPU time: 29.9338 s c =============================================================================== c | 234 | 2435 2992 1135320 | 5000 234 2237 | 0.000 % | c =============================================================================== c New solution: 12108 c Elapsed CPU time: 150.731 s Remaining CPU time: 29.2689 s c =============================================================================== c | 234 | 2435 2993 1137670 | 5000 234 2237 | 0.000 % | c =============================================================================== c New solution: 12107 c Elapsed CPU time: 151.412 s Remaining CPU time: 28.588 s c =============================================================================== c | 234 | 2435 2994 1140020 | 5000 234 2237 | 0.000 % | c =============================================================================== c New solution: 12106 c Elapsed CPU time: 152.089 s Remaining CPU time: 27.9111 s c =============================================================================== c | 234 | 2435 2995 1142370 | 5000 234 2237 | 0.000 % | c =============================================================================== c New solution: 12105 c Elapsed CPU time: 152.884 s Remaining CPU time: 27.1162 s c =============================================================================== c | 251 | 2435 2996 1144720 | 5000 251 2238 | 0.000 % | c =============================================================================== c New solution: 12104 c Elapsed CPU time: 153.525 s Remaining CPU time: 26.4753 s c =============================================================================== c | 251 | 2435 2997 1147070 | 5000 251 2238 | 0.000 % | c =============================================================================== c New solution: 12103 c Elapsed CPU time: 154.162 s Remaining CPU time: 25.8384 s c =============================================================================== c | 254 | 2435 2998 1149420 | 5000 254 2238 | 0.000 % | c =============================================================================== c New solution: 12102 c Elapsed CPU time: 154.779 s Remaining CPU time: 25.2205 s c =============================================================================== c | 254 | 2435 2999 1151770 | 5000 254 2238 | 0.000 % | c =============================================================================== c New solution: 12101 c Elapsed CPU time: 155.439 s Remaining CPU time: 24.5606 s c =============================================================================== c | 258 | 2435 3000 1154120 | 5000 258 2238 | 0.000 % | c =============================================================================== c New solution: 12100 c Elapsed CPU time: 156.035 s Remaining CPU time: 23.9647 s c =============================================================================== c | 258 | 2435 3001 1156470 | 5000 258 2238 | 0.000 % | c =============================================================================== c New solution: 12099 c Elapsed CPU time: 156.66 s Remaining CPU time: 23.3398 s c =============================================================================== c | 258 | 2435 3002 1158820 | 5000 258 2238 | 0.000 % | c =============================================================================== c New solution: 12098 c Elapsed CPU time: 157.299 s Remaining CPU time: 22.7009 s c =============================================================================== c | 258 | 2435 3003 1161170 | 5000 258 2238 | 0.000 % | c =============================================================================== c New solution: 12097 c Elapsed CPU time: 157.98 s Remaining CPU time: 22.02 s c =============================================================================== c | 261 | 2435 3004 1163520 | 5000 261 2239 | 0.000 % | c =============================================================================== c New solution: 12096 c Elapsed CPU time: 158.65 s Remaining CPU time: 21.3501 s c =============================================================================== c | 261 | 2435 3005 1165870 | 5000 261 2239 | 0.000 % | c =============================================================================== c New solution: 12095 c Elapsed CPU time: 159.351 s Remaining CPU time: 20.6492 s c =============================================================================== c | 274 | 2435 3006 1168220 | 5000 274 2239 | 0.000 % | c =============================================================================== c New solution: 12094 c Elapsed CPU time: 160.133 s Remaining CPU time: 19.8673 s c =============================================================================== c | 277 | 2435 3007 1170570 | 5000 277 2239 | 0.000 % | c =============================================================================== c New solution: 12093 c Elapsed CPU time: 160.79 s Remaining CPU time: 19.2104 s c =============================================================================== c | 277 | 2435 3008 1172920 | 5000 277 2239 | 0.000 % | c =============================================================================== c New solution: 12092 c Elapsed CPU time: 161.527 s Remaining CPU time: 18.4726 s c =============================================================================== c | 281 | 2435 3009 1175270 | 5000 281 2239 | 0.000 % | c =============================================================================== c New solution: 12091 c Elapsed CPU time: 162.168 s Remaining CPU time: 17.8317 s c =============================================================================== c | 281 | 2435 3010 1177620 | 5000 281 2239 | 0.000 % | c =============================================================================== c New solution: 12090 c Elapsed CPU time: 162.804 s Remaining CPU time: 17.1958 s c =============================================================================== c | 282 | 2435 3011 1179970 | 5000 282 2239 | 0.000 % | c =============================================================================== c New solution: 12089 c Elapsed CPU time: 163.459 s Remaining CPU time: 16.5409 s c =============================================================================== c | 282 | 2435 3012 1182320 | 5000 282 2239 | 0.000 % | c =============================================================================== c New solution: 12088 c Elapsed CPU time: 164.112 s Remaining CPU time: 15.8879 s c =============================================================================== c | 282 | 2435 3013 1184670 | 5000 282 2239 | 0.000 % | c =============================================================================== c New solution: 12087 c Elapsed CPU time: 164.763 s Remaining CPU time: 15.237 s c =============================================================================== c | 282 | 2435 3014 1187020 | 5000 282 2239 | 0.000 % | c =============================================================================== c New solution: 12086 c Elapsed CPU time: 165.425 s Remaining CPU time: 14.5751 s c =============================================================================== c | 282 | 2435 3015 1189370 | 5000 282 2239 | 0.000 % | c =============================================================================== c New solution: 12085 c Elapsed CPU time: 166.145 s Remaining CPU time: 13.8553 s c =============================================================================== c | 288 | 2435 3016 1191720 | 5000 288 2239 | 0.000 % | c =============================================================================== c New solution: 12084 c Elapsed CPU time: 167.024 s Remaining CPU time: 12.9764 s c =============================================================================== c | 303 | 2435 3017 1194070 | 5000 303 2239 | 0.000 % | c =============================================================================== c New solution: 12083 c Elapsed CPU time: 167.671 s Remaining CPU time: 12.3295 s c =============================================================================== c | 304 | 2435 3018 1196420 | 5000 304 2240 | 0.000 % | c =============================================================================== c New solution: 12082 c Elapsed CPU time: 168.437 s Remaining CPU time: 11.5626 s c =============================================================================== c | 323 | 2435 3019 1198770 | 5000 323 2240 | 0.000 % | c =============================================================================== c New solution: 12081 c Elapsed CPU time: 169.121 s Remaining CPU time: 10.8787 s c =============================================================================== c | 326 | 2435 3020 1201120 | 5000 326 2240 | 0.000 % | c =============================================================================== c New solution: 12080 c Elapsed CPU time: 169.804 s Remaining CPU time: 10.1958 s c =============================================================================== c | 326 | 2435 3021 1203470 | 5000 326 2240 | 0.000 % | c =============================================================================== c New solution: 12079 c Elapsed CPU time: 170.489 s Remaining CPU time: 9.51092 s c =============================================================================== c | 330 | 2435 3022 1205820 | 5000 330 2240 | 0.000 % | c =============================================================================== c New solution: 12078 c Elapsed CPU time: 171.136 s Remaining CPU time: 8.86402 s c =============================================================================== c | 330 | 2435 3023 1208170 | 5000 330 2240 | 0.000 % | c =============================================================================== c New solution: 12077 c Elapsed CPU time: 171.864 s Remaining CPU time: 8.13613 s c =============================================================================== c | 338 | 2435 3024 1210520 | 5000 338 2240 | 0.000 % | c =============================================================================== c New solution: 12076 c Elapsed CPU time: 172.573 s Remaining CPU time: 7.42724 s c =============================================================================== c | 342 | 2435 3025 1212870 | 5000 342 2240 | 0.000 % | c =============================================================================== c New solution: 12075 c Elapsed CPU time: 173.311 s Remaining CPU time: 6.68935 s c =============================================================================== c | 349 | 2435 3026 1215220 | 5000 349 2240 | 0.000 % | c =============================================================================== c New solution: 12074 c Elapsed CPU time: 174.004 s Remaining CPU time: 5.99645 s c =============================================================================== c | 350 | 2435 3027 1217570 | 5000 350 2240 | 0.000 % | c =============================================================================== c New solution: 12073 c Elapsed CPU time: 174.652 s Remaining CPU time: 5.34755 s c =============================================================================== c | 350 | 2435 3028 1219920 | 5000 350 2240 | 0.000 % | c =============================================================================== c New solution: 12072 c Elapsed CPU time: 175.327 s Remaining CPU time: 4.67265 s c =============================================================================== c | 350 | 2435 3029 1222270 | 5000 350 2240 | 0.000 % | c =============================================================================== c New solution: 12071 c Elapsed CPU time: 176.124 s Remaining CPU time: 3.87578 s c =============================================================================== c | 372 | 2435 3030 1224620 | 5000 372 2240 | 0.000 % | c =============================================================================== c New solution: 12070 c Elapsed CPU time: 176.859 s Remaining CPU time: 3.14089 s c =============================================================================== c | 376 | 2435 3031 1226970 | 5000 376 2240 | 0.000 % | c =============================================================================== c New solution: 12069 c Elapsed CPU time: 177.688 s Remaining CPU time: 2.31201 s c =============================================================================== c | 412 | 2435 3032 1229320 | 5000 412 2240 | 0.000 % | c =============================================================================== c New solution: 12068 c Elapsed CPU time: 178.364 s Remaining CPU time: 1.63612 s c =============================================================================== c | 414 | 2435 3033 1231670 | 5000 414 2240 | 0.000 % | c =============================================================================== c New solution: 12067 c Elapsed CPU time: 179.087 s Remaining CPU time: 0.913226 s c =============================================================================== c | 423 | 2435 3034 1234020 | 5000 423 2240 | 0.000 % | c =============================================================================== c New solution: 12066 c Elapsed CPU time: 179.903 s Remaining CPU time: 0.09735 s c =============================================================================== c | 442 | 2435 3035 1236370 | 5000 442 2240 | 0.000 % | c There are 65 assigned variables. 31 in cost function.