c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3000 | c | Number Clauses: 3000 | 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 | 2992 3008 8822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15725 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 2992 3009 11672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15721 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 2992 3010 14522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15720 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 2992 3011 17372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15716 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 2992 3012 20222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15715 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 2992 3013 23072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15711 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 2992 3014 25922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15710 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 2992 3015 28772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15706 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 0 | 2992 3016 31622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15701 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 2992 3017 34472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15698 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 0 | 2992 3018 37322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15697 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 0 | 2992 3019 40172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15696 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 0 | 2992 3020 43022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15694 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 0 | 2992 3021 45872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15691 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 0 | 2992 3022 48722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15689 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 2992 3023 51572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15688 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 0 | 2992 3024 54422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15687 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s c =============================================================================== c | 0 | 2992 3025 57272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15684 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 0 | 2992 3026 60122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15682 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 0 | 2992 3027 62972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15679 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 0 | 2992 3028 65822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15678 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 0 | 2992 3029 68672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15674 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 0 | 2992 3030 71522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15671 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 0 | 2992 3031 74372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15669 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 0 | 2992 3032 77222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15668 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 0 | 2992 3033 80072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15667 c Elapsed CPU time: 1.01484 s Remaining CPU time: 178.985 s c =============================================================================== c | 0 | 2992 3034 82922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15662 c Elapsed CPU time: 1.06484 s Remaining CPU time: 178.935 s c =============================================================================== c | 0 | 2992 3035 85772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15661 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 0 | 2992 3036 88622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15659 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s c =============================================================================== c | 0 | 2992 3037 91472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15656 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s c =============================================================================== c | 0 | 2992 3038 94322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15652 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 0 | 2992 3039 97172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15646 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 0 | 2992 3040 100022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15644 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 0 | 2992 3041 102872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15643 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s c =============================================================================== c | 0 | 2992 3042 105722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15641 c Elapsed CPU time: 1.52077 s Remaining CPU time: 178.479 s c =============================================================================== c | 0 | 2992 3043 108572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15638 c Elapsed CPU time: 1.58576 s Remaining CPU time: 178.414 s c =============================================================================== c | 0 | 2992 3044 111422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15637 c Elapsed CPU time: 1.65175 s Remaining CPU time: 178.348 s c =============================================================================== c | 0 | 2992 3045 114272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15636 c Elapsed CPU time: 1.71774 s Remaining CPU time: 178.282 s c =============================================================================== c | 0 | 2992 3046 117122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15634 c Elapsed CPU time: 1.78373 s Remaining CPU time: 178.216 s c =============================================================================== c | 0 | 2992 3047 119972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15633 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 0 | 2992 3048 122822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15632 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 0 | 2992 3049 125672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15631 c Elapsed CPU time: 2.00069 s Remaining CPU time: 177.999 s c =============================================================================== c | 0 | 2992 3050 128522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15630 c Elapsed CPU time: 2.07468 s Remaining CPU time: 177.925 s c =============================================================================== c | 0 | 2992 3051 131372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15629 c Elapsed CPU time: 2.15067 s Remaining CPU time: 177.849 s c =============================================================================== c | 0 | 2992 3052 134222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15627 c Elapsed CPU time: 2.22866 s Remaining CPU time: 177.771 s c =============================================================================== c | 0 | 2992 3053 137072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15624 c Elapsed CPU time: 2.30865 s Remaining CPU time: 177.691 s c =============================================================================== c | 0 | 2992 3054 139922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15622 c Elapsed CPU time: 2.39064 s Remaining CPU time: 177.609 s c =============================================================================== c | 0 | 2992 3055 142772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15620 c Elapsed CPU time: 2.47062 s Remaining CPU time: 177.529 s c =============================================================================== c | 0 | 2992 3056 145622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15619 c Elapsed CPU time: 2.55461 s Remaining CPU time: 177.445 s c =============================================================================== c | 0 | 2992 3057 148472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15618 c Elapsed CPU time: 2.6426 s Remaining CPU time: 177.357 s c =============================================================================== c | 0 | 2992 3058 151322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15613 c Elapsed CPU time: 2.72959 s Remaining CPU time: 177.27 s c =============================================================================== c | 0 | 2992 3059 154172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15609 c Elapsed CPU time: 2.81657 s Remaining CPU time: 177.183 s c =============================================================================== c | 0 | 2992 3060 157022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15608 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 0 | 2992 3061 159872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15605 c Elapsed CPU time: 3.00254 s Remaining CPU time: 176.997 s c =============================================================================== c | 0 | 2992 3062 162722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15603 c Elapsed CPU time: 3.10253 s Remaining CPU time: 176.897 s c =============================================================================== c | 0 | 2992 3063 165572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15602 c Elapsed CPU time: 3.19751 s Remaining CPU time: 176.802 s c =============================================================================== c | 0 | 2992 3064 168422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15600 c Elapsed CPU time: 3.2945 s Remaining CPU time: 176.706 s c =============================================================================== c | 0 | 2992 3065 171272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15597 c Elapsed CPU time: 3.39048 s Remaining CPU time: 176.61 s c =============================================================================== c | 0 | 2992 3066 174122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15594 c Elapsed CPU time: 3.49747 s Remaining CPU time: 176.503 s c =============================================================================== c | 0 | 2992 3067 176972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15593 c Elapsed CPU time: 3.60245 s Remaining CPU time: 176.398 s c =============================================================================== c | 0 | 2992 3068 179822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15590 c Elapsed CPU time: 3.70944 s Remaining CPU time: 176.291 s c =============================================================================== c | 0 | 2992 3069 182672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15589 c Elapsed CPU time: 3.81442 s Remaining CPU time: 176.186 s c =============================================================================== c | 0 | 2992 3070 185522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15588 c Elapsed CPU time: 3.9244 s Remaining CPU time: 176.076 s c =============================================================================== c | 0 | 2992 3071 188372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15586 c Elapsed CPU time: 4.03539 s Remaining CPU time: 175.965 s c =============================================================================== c | 0 | 2992 3072 191222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15584 c Elapsed CPU time: 4.15037 s Remaining CPU time: 175.85 s c =============================================================================== c | 0 | 2992 3073 194072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15583 c Elapsed CPU time: 4.26735 s Remaining CPU time: 175.733 s c =============================================================================== c | 0 | 2992 3074 196922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15582 c Elapsed CPU time: 4.38533 s Remaining CPU time: 175.615 s c =============================================================================== c | 0 | 2992 3075 199772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15581 c Elapsed CPU time: 4.51331 s Remaining CPU time: 175.487 s c =============================================================================== c | 0 | 2992 3076 202622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15576 c Elapsed CPU time: 4.64129 s Remaining CPU time: 175.359 s c =============================================================================== c | 0 | 2992 3077 205472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15572 c Elapsed CPU time: 4.76727 s Remaining CPU time: 175.233 s c =============================================================================== c | 0 | 2992 3078 208322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15571 c Elapsed CPU time: 4.89726 s Remaining CPU time: 175.103 s c =============================================================================== c | 0 | 2992 3079 211172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15568 c Elapsed CPU time: 5.02923 s Remaining CPU time: 174.971 s c =============================================================================== c | 0 | 2992 3080 214022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15567 c Elapsed CPU time: 5.16322 s Remaining CPU time: 174.837 s c =============================================================================== c | 0 | 2992 3081 216872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15562 c Elapsed CPU time: 5.29819 s Remaining CPU time: 174.702 s c =============================================================================== c | 0 | 2992 3082 219722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15561 c Elapsed CPU time: 5.43917 s Remaining CPU time: 174.561 s c =============================================================================== c | 0 | 2992 3083 222572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15560 c Elapsed CPU time: 5.57915 s Remaining CPU time: 174.421 s c =============================================================================== c | 0 | 2992 3084 225422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15557 c Elapsed CPU time: 5.71813 s Remaining CPU time: 174.282 s c =============================================================================== c | 0 | 2992 3085 228272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15556 c Elapsed CPU time: 5.86111 s Remaining CPU time: 174.139 s c =============================================================================== c | 0 | 2992 3086 231122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15554 c Elapsed CPU time: 6.01408 s Remaining CPU time: 173.986 s c =============================================================================== c | 0 | 2992 3087 233972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15553 c Elapsed CPU time: 6.16406 s Remaining CPU time: 173.836 s c =============================================================================== c | 0 | 2992 3088 236822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15552 c Elapsed CPU time: 6.32004 s Remaining CPU time: 173.68 s c =============================================================================== c | 0 | 2992 3089 239672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15551 c Elapsed CPU time: 6.48101 s Remaining CPU time: 173.519 s c =============================================================================== c | 0 | 2992 3090 242522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15550 c Elapsed CPU time: 6.64599 s Remaining CPU time: 173.354 s c =============================================================================== c | 0 | 2992 3091 245372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15548 c Elapsed CPU time: 6.80996 s Remaining CPU time: 173.19 s c =============================================================================== c | 0 | 2992 3092 248222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15547 c Elapsed CPU time: 6.97394 s Remaining CPU time: 173.026 s c =============================================================================== c | 0 | 2992 3093 251072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15546 c Elapsed CPU time: 7.13991 s Remaining CPU time: 172.86 s c =============================================================================== c | 0 | 2992 3094 253922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15543 c Elapsed CPU time: 7.31589 s Remaining CPU time: 172.684 s c =============================================================================== c | 0 | 2992 3095 256772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15542 c Elapsed CPU time: 7.48486 s Remaining CPU time: 172.515 s c =============================================================================== c | 0 | 2992 3096 259622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15541 c Elapsed CPU time: 7.65984 s Remaining CPU time: 172.34 s c =============================================================================== c | 0 | 2992 3097 262472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15539 c Elapsed CPU time: 7.83781 s Remaining CPU time: 172.162 s c =============================================================================== c | 0 | 2992 3098 265322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15538 c Elapsed CPU time: 8.02678 s Remaining CPU time: 171.973 s c =============================================================================== c | 0 | 2992 3099 268172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15537 c Elapsed CPU time: 8.21275 s Remaining CPU time: 171.787 s c =============================================================================== c | 0 | 2992 3100 271022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15535 c Elapsed CPU time: 8.39472 s Remaining CPU time: 171.605 s c =============================================================================== c | 0 | 2992 3101 273872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15533 c Elapsed CPU time: 8.5777 s Remaining CPU time: 171.422 s c =============================================================================== c | 0 | 2992 3102 276722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15532 c Elapsed CPU time: 8.76667 s Remaining CPU time: 171.233 s c =============================================================================== c | 0 | 2992 3103 279572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15531 c Elapsed CPU time: 8.96064 s Remaining CPU time: 171.039 s c =============================================================================== c | 0 | 2992 3104 282422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15529 c Elapsed CPU time: 9.15561 s Remaining CPU time: 170.844 s c =============================================================================== c | 0 | 2992 3105 285272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15527 c Elapsed CPU time: 9.34758 s Remaining CPU time: 170.652 s c =============================================================================== c | 0 | 2992 3106 288122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15524 c Elapsed CPU time: 9.54655 s Remaining CPU time: 170.453 s c =============================================================================== c | 0 | 2992 3107 290972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15523 c Elapsed CPU time: 9.74952 s Remaining CPU time: 170.25 s c =============================================================================== c | 0 | 2992 3108 293822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15522 c Elapsed CPU time: 9.95249 s Remaining CPU time: 170.048 s c =============================================================================== c | 0 | 2992 3109 296672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15519 c Elapsed CPU time: 10.1575 s Remaining CPU time: 169.843 s c =============================================================================== c | 0 | 2992 3110 299522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15517 c Elapsed CPU time: 10.3654 s Remaining CPU time: 169.635 s c =============================================================================== c | 0 | 2992 3111 302372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15516 c Elapsed CPU time: 10.5724 s Remaining CPU time: 169.428 s c =============================================================================== c | 0 | 2992 3112 305222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15515 c Elapsed CPU time: 10.7774 s Remaining CPU time: 169.223 s c =============================================================================== c | 0 | 2992 3113 308072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15514 c Elapsed CPU time: 10.9863 s Remaining CPU time: 169.014 s c =============================================================================== c | 0 | 2992 3114 310922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15510 c Elapsed CPU time: 11.1953 s Remaining CPU time: 168.805 s c =============================================================================== c | 0 | 2992 3115 313772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15507 c Elapsed CPU time: 11.4083 s Remaining CPU time: 168.592 s c =============================================================================== c | 0 | 2992 3116 316622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15506 c Elapsed CPU time: 11.6192 s Remaining CPU time: 168.381 s c =============================================================================== c | 0 | 2992 3117 319472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15505 c Elapsed CPU time: 11.8372 s Remaining CPU time: 168.163 s c =============================================================================== c | 0 | 2992 3118 322322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15504 c Elapsed CPU time: 12.0592 s Remaining CPU time: 167.941 s c =============================================================================== c | 0 | 2992 3119 325172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15503 c Elapsed CPU time: 12.2861 s Remaining CPU time: 167.714 s c =============================================================================== c | 0 | 2992 3120 328022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15502 c Elapsed CPU time: 12.5121 s Remaining CPU time: 167.488 s c =============================================================================== c | 0 | 2992 3121 330872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15499 c Elapsed CPU time: 12.7371 s Remaining CPU time: 167.263 s c =============================================================================== c | 0 | 2992 3122 333722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15498 c Elapsed CPU time: 12.969 s Remaining CPU time: 167.031 s c =============================================================================== c | 0 | 2992 3123 336572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15497 c Elapsed CPU time: 13.201 s Remaining CPU time: 166.799 s c =============================================================================== c | 0 | 2992 3124 339422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15494 c Elapsed CPU time: 13.437 s Remaining CPU time: 166.563 s c =============================================================================== c | 0 | 2992 3125 342272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15492 c Elapsed CPU time: 13.6749 s Remaining CPU time: 166.325 s c =============================================================================== c | 0 | 2992 3126 345122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15491 c Elapsed CPU time: 13.9219 s Remaining CPU time: 166.078 s c =============================================================================== c | 0 | 2992 3127 347972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15489 c Elapsed CPU time: 14.1688 s Remaining CPU time: 165.831 s c =============================================================================== c | 0 | 2992 3128 350822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15488 c Elapsed CPU time: 14.4128 s Remaining CPU time: 165.587 s c =============================================================================== c | 0 | 2992 3129 353672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15487 c Elapsed CPU time: 14.6568 s Remaining CPU time: 165.343 s c =============================================================================== c | 0 | 2992 3130 356522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15486 c Elapsed CPU time: 14.9017 s Remaining CPU time: 165.098 s c =============================================================================== c | 0 | 2992 3131 359372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15485 c Elapsed CPU time: 15.1507 s Remaining CPU time: 164.849 s c =============================================================================== c | 0 | 2992 3132 362222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15484 c Elapsed CPU time: 15.4007 s Remaining CPU time: 164.599 s c =============================================================================== c | 0 | 2992 3133 365072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15483 c Elapsed CPU time: 15.6496 s Remaining CPU time: 164.35 s c =============================================================================== c | 0 | 2992 3134 367922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15480 c Elapsed CPU time: 15.8946 s Remaining CPU time: 164.105 s c =============================================================================== c | 0 | 2992 3135 370772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15479 c Elapsed CPU time: 16.1465 s Remaining CPU time: 163.853 s c =============================================================================== c | 0 | 2992 3136 373622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15475 c Elapsed CPU time: 16.3965 s Remaining CPU time: 163.603 s c =============================================================================== c | 0 | 2992 3137 376472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15474 c Elapsed CPU time: 16.6505 s Remaining CPU time: 163.35 s c =============================================================================== c | 0 | 2992 3138 379322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15472 c Elapsed CPU time: 16.9044 s Remaining CPU time: 163.096 s c =============================================================================== c | 0 | 2992 3139 382172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 17.1574 s Remaining CPU time: 162.843 s c =============================================================================== c | 0 | 2992 3140 385022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15470 c Elapsed CPU time: 17.4224 s Remaining CPU time: 162.578 s c =============================================================================== c | 0 | 2992 3141 387872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15469 c Elapsed CPU time: 17.6813 s Remaining CPU time: 162.319 s c =============================================================================== c | 0 | 2992 3142 390722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15468 c Elapsed CPU time: 17.9423 s Remaining CPU time: 162.058 s c =============================================================================== c | 0 | 2992 3143 393572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15467 c Elapsed CPU time: 18.2062 s Remaining CPU time: 161.794 s c =============================================================================== c | 0 | 2992 3144 396422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15465 c Elapsed CPU time: 18.4672 s Remaining CPU time: 161.533 s c =============================================================================== c | 0 | 2992 3145 399272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15464 c Elapsed CPU time: 18.7402 s Remaining CPU time: 161.26 s c =============================================================================== c | 0 | 2992 3146 402122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15462 c Elapsed CPU time: 19.0091 s Remaining CPU time: 160.991 s c =============================================================================== c | 0 | 2992 3147 404972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15459 c Elapsed CPU time: 19.2801 s Remaining CPU time: 160.72 s c =============================================================================== c | 0 | 2992 3148 407822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15458 c Elapsed CPU time: 19.563 s Remaining CPU time: 160.437 s c =============================================================================== c | 0 | 2992 3149 410672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15457 c Elapsed CPU time: 19.854 s Remaining CPU time: 160.146 s c =============================================================================== c | 0 | 2992 3150 413522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15456 c Elapsed CPU time: 20.1459 s Remaining CPU time: 159.854 s c =============================================================================== c | 0 | 2992 3151 416372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15454 c Elapsed CPU time: 20.4379 s Remaining CPU time: 159.562 s c =============================================================================== c | 0 | 2992 3152 419222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15453 c Elapsed CPU time: 20.7348 s Remaining CPU time: 159.265 s c =============================================================================== c | 0 | 2992 3153 422072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15452 c Elapsed CPU time: 21.0238 s Remaining CPU time: 158.976 s c =============================================================================== c | 0 | 2992 3154 424922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15451 c Elapsed CPU time: 21.3188 s Remaining CPU time: 158.681 s c =============================================================================== c | 0 | 2992 3155 427772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15450 c Elapsed CPU time: 21.6197 s Remaining CPU time: 158.38 s c =============================================================================== c | 0 | 2992 3156 430622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15449 c Elapsed CPU time: 21.9097 s Remaining CPU time: 158.09 s c =============================================================================== c | 0 | 2992 3157 433472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15446 c Elapsed CPU time: 22.1996 s Remaining CPU time: 157.8 s c =============================================================================== c | 0 | 2992 3158 436322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15444 c Elapsed CPU time: 22.5006 s Remaining CPU time: 157.499 s c =============================================================================== c | 0 | 2992 3159 439172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15443 c Elapsed CPU time: 22.7875 s Remaining CPU time: 157.212 s c =============================================================================== c | 0 | 2992 3160 442022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15442 c Elapsed CPU time: 23.1125 s Remaining CPU time: 156.888 s c =============================================================================== c | 0 | 2992 3161 444872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15441 c Elapsed CPU time: 23.4484 s Remaining CPU time: 156.552 s c =============================================================================== c | 0 | 2992 3162 447722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15440 c Elapsed CPU time: 23.7794 s Remaining CPU time: 156.221 s c =============================================================================== c | 0 | 2992 3163 450572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15439 c Elapsed CPU time: 24.1093 s Remaining CPU time: 155.891 s c =============================================================================== c | 0 | 2992 3164 453422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15437 c Elapsed CPU time: 24.4363 s Remaining CPU time: 155.564 s c =============================================================================== c | 0 | 2992 3165 456272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15435 c Elapsed CPU time: 24.7612 s Remaining CPU time: 155.239 s c =============================================================================== c | 0 | 2992 3166 459122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15434 c Elapsed CPU time: 25.0862 s Remaining CPU time: 154.914 s c =============================================================================== c | 0 | 2992 3167 461972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15433 c Elapsed CPU time: 25.4131 s Remaining CPU time: 154.587 s c =============================================================================== c | 0 | 2992 3168 464822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15432 c Elapsed CPU time: 25.7361 s Remaining CPU time: 154.264 s c =============================================================================== c | 0 | 2992 3169 467672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15431 c Elapsed CPU time: 26.067 s Remaining CPU time: 153.933 s c =============================================================================== c | 0 | 2992 3170 470522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15430 c Elapsed CPU time: 26.388 s Remaining CPU time: 153.612 s c =============================================================================== c | 0 | 2992 3171 473372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15429 c Elapsed CPU time: 26.7179 s Remaining CPU time: 153.282 s c =============================================================================== c | 0 | 2992 3172 476222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15427 c Elapsed CPU time: 27.0379 s Remaining CPU time: 152.962 s c =============================================================================== c | 0 | 2992 3173 479072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15424 c Elapsed CPU time: 27.3598 s Remaining CPU time: 152.64 s c =============================================================================== c | 0 | 2992 3174 481922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15420 c Elapsed CPU time: 27.6898 s Remaining CPU time: 152.31 s c =============================================================================== c | 0 | 2992 3175 484772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15418 c Elapsed CPU time: 28.0137 s Remaining CPU time: 151.986 s c =============================================================================== c | 0 | 2992 3176 487622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15417 c Elapsed CPU time: 28.3507 s Remaining CPU time: 151.649 s c =============================================================================== c | 0 | 2992 3177 490472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15416 c Elapsed CPU time: 28.6826 s Remaining CPU time: 151.317 s c =============================================================================== c | 0 | 2992 3178 493322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15415 c Elapsed CPU time: 29.0216 s Remaining CPU time: 150.978 s c =============================================================================== c | 0 | 2992 3179 496172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15414 c Elapsed CPU time: 29.3635 s Remaining CPU time: 150.636 s c =============================================================================== c | 0 | 2992 3180 499022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 29.7135 s Remaining CPU time: 150.287 s c =============================================================================== c | 0 | 2992 3181 501872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15410 c Elapsed CPU time: 30.0514 s Remaining CPU time: 149.949 s c =============================================================================== c | 0 | 2992 3182 504722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15406 c Elapsed CPU time: 30.3944 s Remaining CPU time: 149.606 s c =============================================================================== c | 0 | 2992 3183 507572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 30.7403 s Remaining CPU time: 149.26 s c =============================================================================== c | 0 | 2992 3184 510422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15404 c Elapsed CPU time: 31.0873 s Remaining CPU time: 148.913 s c =============================================================================== c | 0 | 2992 3185 513272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15402 c Elapsed CPU time: 31.4332 s Remaining CPU time: 148.567 s c =============================================================================== c | 0 | 2992 3186 516122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15401 c Elapsed CPU time: 31.7832 s Remaining CPU time: 148.217 s c =============================================================================== c | 0 | 2992 3187 518972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15400 c Elapsed CPU time: 32.1451 s Remaining CPU time: 147.855 s c =============================================================================== c | 0 | 2992 3188 521822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 32.4981 s Remaining CPU time: 147.502 s c =============================================================================== c | 0 | 2992 3189 524672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15396 c Elapsed CPU time: 32.86 s Remaining CPU time: 147.14 s c =============================================================================== c | 0 | 2992 3190 527522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15395 c Elapsed CPU time: 33.2289 s Remaining CPU time: 146.771 s c =============================================================================== c | 0 | 2992 3191 530372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15393 c Elapsed CPU time: 33.5819 s Remaining CPU time: 146.418 s c =============================================================================== c | 0 | 2992 3192 533222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15392 c Elapsed CPU time: 33.9468 s Remaining CPU time: 146.053 s c =============================================================================== c | 0 | 2992 3193 536072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15391 c Elapsed CPU time: 34.3048 s Remaining CPU time: 145.695 s c =============================================================================== c | 0 | 2992 3194 538922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15388 c Elapsed CPU time: 34.6667 s Remaining CPU time: 145.333 s c =============================================================================== c | 0 | 2992 3195 541772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15385 c Elapsed CPU time: 35.0277 s Remaining CPU time: 144.972 s c =============================================================================== c | 0 | 2992 3196 544622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15383 c Elapsed CPU time: 35.3886 s Remaining CPU time: 144.611 s c =============================================================================== c | 0 | 2992 3197 547472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15381 c Elapsed CPU time: 35.7496 s Remaining CPU time: 144.25 s c =============================================================================== c | 0 | 2992 3198 550322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15380 c Elapsed CPU time: 36.1205 s Remaining CPU time: 143.879 s c =============================================================================== c | 0 | 2992 3199 553172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15379 c Elapsed CPU time: 36.4925 s Remaining CPU time: 143.508 s c =============================================================================== c | 0 | 2992 3200 556022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 36.8574 s Remaining CPU time: 143.143 s c =============================================================================== c | 0 | 2992 3201 558872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 37.2323 s Remaining CPU time: 142.768 s c =============================================================================== c | 0 | 2992 3202 561722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15376 c Elapsed CPU time: 37.6023 s Remaining CPU time: 142.398 s c =============================================================================== c | 0 | 2992 3203 564572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15375 c Elapsed CPU time: 37.9832 s Remaining CPU time: 142.017 s c =============================================================================== c | 0 | 2992 3204 567422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15374 c Elapsed CPU time: 38.3662 s Remaining CPU time: 141.634 s c =============================================================================== c | 0 | 2992 3205 570272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15373 c Elapsed CPU time: 38.7601 s Remaining CPU time: 141.24 s c =============================================================================== c | 0 | 2992 3206 573122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15372 c Elapsed CPU time: 39.147 s Remaining CPU time: 140.853 s c =============================================================================== c | 0 | 2992 3207 575972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15371 c Elapsed CPU time: 39.532 s Remaining CPU time: 140.468 s c =============================================================================== c | 0 | 2992 3208 578822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15370 c Elapsed CPU time: 39.9239 s Remaining CPU time: 140.076 s c =============================================================================== c | 0 | 2992 3209 581672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15368 c Elapsed CPU time: 40.3099 s Remaining CPU time: 139.69 s c =============================================================================== c | 0 | 2992 3210 584522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 40.7018 s Remaining CPU time: 139.298 s c =============================================================================== c | 0 | 2992 3211 587372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15366 c Elapsed CPU time: 41.0978 s Remaining CPU time: 138.902 s c =============================================================================== c | 0 | 2992 3212 590222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15363 c Elapsed CPU time: 41.4957 s Remaining CPU time: 138.504 s c =============================================================================== c | 0 | 2992 3213 593072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15360 c Elapsed CPU time: 41.8856 s Remaining CPU time: 138.114 s c =============================================================================== c | 0 | 2992 3214 595922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15359 c Elapsed CPU time: 42.3176 s Remaining CPU time: 137.682 s c =============================================================================== c | 0 | 2992 3215 598772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 42.7575 s Remaining CPU time: 137.243 s c =============================================================================== c | 0 | 2992 3216 601622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15355 c Elapsed CPU time: 43.1814 s Remaining CPU time: 136.819 s c =============================================================================== c | 0 | 2992 3217 604472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15354 c Elapsed CPU time: 43.6264 s Remaining CPU time: 136.374 s c =============================================================================== c | 0 | 2992 3218 607322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 44.0833 s Remaining CPU time: 135.917 s c =============================================================================== c | 0 | 2992 3219 610172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 44.5252 s Remaining CPU time: 135.475 s c =============================================================================== c | 0 | 2992 3220 613022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15351 c Elapsed CPU time: 44.9732 s Remaining CPU time: 135.027 s c =============================================================================== c | 0 | 2992 3221 615872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 45.4081 s Remaining CPU time: 134.592 s c =============================================================================== c | 0 | 2992 3222 618722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15349 c Elapsed CPU time: 45.857 s Remaining CPU time: 134.143 s c =============================================================================== c | 0 | 2992 3223 621572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15348 c Elapsed CPU time: 46.301 s Remaining CPU time: 133.699 s c =============================================================================== c | 0 | 2992 3224 624422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15347 c Elapsed CPU time: 46.7499 s Remaining CPU time: 133.25 s c =============================================================================== c | 0 | 2992 3225 627272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15346 c Elapsed CPU time: 47.1838 s Remaining CPU time: 132.816 s c =============================================================================== c | 0 | 2992 3226 630122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15345 c Elapsed CPU time: 47.6328 s Remaining CPU time: 132.367 s c =============================================================================== c | 0 | 2992 3227 632972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15344 c Elapsed CPU time: 48.0757 s Remaining CPU time: 131.924 s c =============================================================================== c | 0 | 2992 3228 635822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 48.5136 s Remaining CPU time: 131.486 s c =============================================================================== c | 0 | 2992 3229 638672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15342 c Elapsed CPU time: 48.9576 s Remaining CPU time: 131.042 s c =============================================================================== c | 0 | 2992 3230 641522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15341 c Elapsed CPU time: 49.4145 s Remaining CPU time: 130.586 s c =============================================================================== c | 0 | 2992 3231 644372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15340 c Elapsed CPU time: 49.8694 s Remaining CPU time: 130.131 s c =============================================================================== c | 0 | 2992 3232 647222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 50.3144 s Remaining CPU time: 129.686 s c =============================================================================== c | 0 | 2992 3233 650072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15338 c Elapsed CPU time: 50.7563 s Remaining CPU time: 129.244 s c =============================================================================== c | 0 | 2992 3234 652922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15336 c Elapsed CPU time: 51.1992 s Remaining CPU time: 128.801 s c =============================================================================== c | 0 | 2992 3235 655772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15335 c Elapsed CPU time: 51.6401 s Remaining CPU time: 128.36 s c =============================================================================== c | 0 | 2992 3236 658622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15332 c Elapsed CPU time: 52.0811 s Remaining CPU time: 127.919 s c =============================================================================== c | 0 | 2992 3237 661472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15329 c Elapsed CPU time: 52.534 s Remaining CPU time: 127.466 s c =============================================================================== c | 0 | 2992 3238 664322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15327 c Elapsed CPU time: 52.9929 s Remaining CPU time: 127.007 s c =============================================================================== c | 0 | 2992 3239 667172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 53.4469 s Remaining CPU time: 126.553 s c =============================================================================== c | 0 | 2992 3240 670022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15321 c Elapsed CPU time: 53.9118 s Remaining CPU time: 126.088 s c =============================================================================== c | 0 | 2992 3241 672872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 54.3747 s Remaining CPU time: 125.625 s c =============================================================================== c | 0 | 2992 3242 675722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15319 c Elapsed CPU time: 54.8327 s Remaining CPU time: 125.167 s c =============================================================================== c | 0 | 2992 3243 678572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15318 c Elapsed CPU time: 55.2966 s Remaining CPU time: 124.703 s c =============================================================================== c | 0 | 2992 3244 681422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 55.7665 s Remaining CPU time: 124.233 s c =============================================================================== c | 0 | 2992 3245 684272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15315 c Elapsed CPU time: 56.2265 s Remaining CPU time: 123.774 s c =============================================================================== c | 0 | 2992 3246 687122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 56.6934 s Remaining CPU time: 123.307 s c =============================================================================== c | 0 | 2992 3247 689972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15313 c Elapsed CPU time: 57.1673 s Remaining CPU time: 122.833 s c =============================================================================== c | 0 | 2992 3248 692822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 57.6312 s Remaining CPU time: 122.369 s c =============================================================================== c | 0 | 2992 3249 695672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 58.0942 s Remaining CPU time: 121.906 s c =============================================================================== c | 0 | 2992 3250 698522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15309 c Elapsed CPU time: 58.5931 s Remaining CPU time: 121.407 s c =============================================================================== c | 0 | 2992 3251 701372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15307 c Elapsed CPU time: 59.071 s Remaining CPU time: 120.929 s c =============================================================================== c | 0 | 2992 3252 704222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15306 c Elapsed CPU time: 59.5539 s Remaining CPU time: 120.446 s c =============================================================================== c | 0 | 2992 3253 707072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15304 c Elapsed CPU time: 60.0269 s Remaining CPU time: 119.973 s c =============================================================================== c | 0 | 2992 3254 709922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15302 c Elapsed CPU time: 60.4988 s Remaining CPU time: 119.501 s c =============================================================================== c | 0 | 2992 3255 712772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 61.0037 s Remaining CPU time: 118.996 s c =============================================================================== c | 0 | 2992 3256 715622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15300 c Elapsed CPU time: 61.5007 s Remaining CPU time: 118.499 s c =============================================================================== c | 0 | 2992 3257 718472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15298 c Elapsed CPU time: 62.0026 s Remaining CPU time: 117.997 s c =============================================================================== c | 0 | 2992 3258 721322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 62.5155 s Remaining CPU time: 117.485 s c =============================================================================== c | 0 | 2992 3259 724172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15296 c Elapsed CPU time: 63.0234 s Remaining CPU time: 116.977 s c =============================================================================== c | 0 | 2992 3260 727022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 63.5293 s Remaining CPU time: 116.471 s c =============================================================================== c | 0 | 2992 3261 729872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 64.0533 s Remaining CPU time: 115.947 s c =============================================================================== c | 0 | 2992 3262 732722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 64.5762 s Remaining CPU time: 115.424 s c =============================================================================== c | 0 | 2992 3263 735572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15289 c Elapsed CPU time: 65.0921 s Remaining CPU time: 114.908 s c =============================================================================== c | 0 | 2992 3264 738422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15288 c Elapsed CPU time: 65.618 s Remaining CPU time: 114.382 s c =============================================================================== c | 0 | 2992 3265 741272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15285 c Elapsed CPU time: 66.1359 s Remaining CPU time: 113.864 s c =============================================================================== c | 0 | 2992 3266 744122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15284 c Elapsed CPU time: 66.6599 s Remaining CPU time: 113.34 s c =============================================================================== c | 0 | 2992 3267 746972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15282 c Elapsed CPU time: 67.1778 s Remaining CPU time: 112.822 s c =============================================================================== c | 0 | 2992 3268 749822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15279 c Elapsed CPU time: 67.7227 s Remaining CPU time: 112.277 s c =============================================================================== c | 0 | 2992 3269 752672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 68.2636 s Remaining CPU time: 111.736 s c =============================================================================== c | 0 | 2992 3270 755522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 68.8185 s Remaining CPU time: 111.181 s c =============================================================================== c | 0 | 2992 3271 758372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15275 c Elapsed CPU time: 69.3715 s Remaining CPU time: 110.629 s c =============================================================================== c | 0 | 2992 3272 761222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 69.9254 s Remaining CPU time: 110.075 s c =============================================================================== c | 0 | 2992 3273 764072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 70.4833 s Remaining CPU time: 109.517 s c =============================================================================== c | 0 | 2992 3274 766922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 71.0332 s Remaining CPU time: 108.967 s c =============================================================================== c | 0 | 2992 3275 769772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 71.5931 s Remaining CPU time: 108.407 s c =============================================================================== c | 0 | 2992 3276 772622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 72.147 s Remaining CPU time: 107.853 s c =============================================================================== c | 0 | 2992 3277 775472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15265 c Elapsed CPU time: 72.6959 s Remaining CPU time: 107.304 s c =============================================================================== c | 0 | 2992 3278 778322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 73.2519 s Remaining CPU time: 106.748 s c =============================================================================== c | 0 | 2992 3279 781172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15259 c Elapsed CPU time: 73.8058 s Remaining CPU time: 106.194 s c =============================================================================== c | 0 | 2992 3280 784022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 74.3937 s Remaining CPU time: 105.606 s c =============================================================================== c | 0 | 2992 3281 786872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 74.9886 s Remaining CPU time: 105.011 s c =============================================================================== c | 0 | 2992 3282 789722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15255 c Elapsed CPU time: 75.5735 s Remaining CPU time: 104.426 s c =============================================================================== c | 1 | 2992 3283 792572 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 76.1784 s Remaining CPU time: 103.822 s c =============================================================================== c | 1 | 2992 3284 795422 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15253 c Elapsed CPU time: 76.7463 s Remaining CPU time: 103.254 s c =============================================================================== c | 1 | 2992 3285 798272 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 77.3152 s Remaining CPU time: 102.685 s c =============================================================================== c | 1 | 2992 3286 801122 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15251 c Elapsed CPU time: 77.8772 s Remaining CPU time: 102.123 s c =============================================================================== c | 1 | 2992 3287 803972 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 78.4661 s Remaining CPU time: 101.534 s c =============================================================================== c | 1 | 2992 3288 806822 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 79.025 s Remaining CPU time: 100.975 s c =============================================================================== c | 1 | 2992 3289 809672 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 79.6169 s Remaining CPU time: 100.383 s c =============================================================================== c | 1 | 2992 3290 812522 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15246 c Elapsed CPU time: 80.2208 s Remaining CPU time: 99.7792 s c =============================================================================== c | 1 | 2992 3291 815372 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 80.8467 s Remaining CPU time: 99.1533 s c =============================================================================== c | 1 | 2992 3292 818222 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15243 c Elapsed CPU time: 81.5006 s Remaining CPU time: 98.4994 s c =============================================================================== c | 1 | 2992 3293 821072 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 82.1265 s Remaining CPU time: 97.8735 s c =============================================================================== c | 1 | 2992 3294 823922 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15241 c Elapsed CPU time: 82.7464 s Remaining CPU time: 97.2536 s c =============================================================================== c | 1 | 2992 3295 826772 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15240 c Elapsed CPU time: 83.3453 s Remaining CPU time: 96.6547 s c =============================================================================== c | 1 | 2992 3296 829622 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15239 c Elapsed CPU time: 83.9142 s Remaining CPU time: 96.0858 s c =============================================================================== c | 1 | 2992 3297 832472 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 84.5072 s Remaining CPU time: 95.4928 s c =============================================================================== c | 1 | 2992 3298 835322 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 85.1091 s Remaining CPU time: 94.8909 s c =============================================================================== c | 1 | 2992 3299 838172 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 85.743 s Remaining CPU time: 94.257 s c =============================================================================== c | 1 | 2992 3300 841022 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15235 c Elapsed CPU time: 86.3509 s Remaining CPU time: 93.6491 s c =============================================================================== c | 1 | 2992 3301 843872 | 5000 1 2784 | 0.000 % | c =============================================================================== c New solution: 15234 c Elapsed CPU time: 86.9748 s Remaining CPU time: 93.0252 s c =============================================================================== c | 11 | 2992 3302 846722 | 5000 11 2779 | 0.000 % | c =============================================================================== c New solution: 15233 c Elapsed CPU time: 87.5917 s Remaining CPU time: 92.4083 s c =============================================================================== c | 21 | 2992 3303 849572 | 5000 21 2778 | 0.000 % | c =============================================================================== c New solution: 15232 c Elapsed CPU time: 88.2186 s Remaining CPU time: 91.7814 s c =============================================================================== c | 24 | 2992 3304 852422 | 5000 24 2778 | 0.000 % | c =============================================================================== c New solution: 15231 c Elapsed CPU time: 88.8825 s Remaining CPU time: 91.1175 s c =============================================================================== c | 31 | 2992 3305 855272 | 5000 31 2778 | 0.000 % | c =============================================================================== c New solution: 15229 c Elapsed CPU time: 89.4714 s Remaining CPU time: 90.5286 s c =============================================================================== c | 33 | 2992 3306 858122 | 5000 33 2778 | 0.000 % | c =============================================================================== c New solution: 15227 c Elapsed CPU time: 90.0673 s Remaining CPU time: 89.9327 s c =============================================================================== c | 35 | 2992 3307 860972 | 5000 35 2778 | 0.000 % | c =============================================================================== c New solution: 15226 c Elapsed CPU time: 90.6582 s Remaining CPU time: 89.3418 s c =============================================================================== c | 35 | 2992 3308 863822 | 5000 35 2778 | 0.000 % | c =============================================================================== c New solution: 15224 c Elapsed CPU time: 91.2571 s Remaining CPU time: 88.7429 s c =============================================================================== c | 38 | 2992 3309 866672 | 5000 38 2777 | 0.000 % | c =============================================================================== c New solution: 15223 c Elapsed CPU time: 91.882 s Remaining CPU time: 88.118 s c =============================================================================== c | 40 | 2992 3310 869522 | 5000 40 2777 | 0.000 % | c =============================================================================== c New solution: 15222 c Elapsed CPU time: 92.5419 s Remaining CPU time: 87.4581 s c =============================================================================== c | 61 | 2992 3311 872372 | 5000 61 2731 | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 93.1158 s Remaining CPU time: 86.8842 s c =============================================================================== c | 63 | 2992 3312 875222 | 5000 63 2732 | 0.000 % | c =============================================================================== c New solution: 15219 c Elapsed CPU time: 93.7687 s Remaining CPU time: 86.2313 s c =============================================================================== c | 76 | 2992 3313 878072 | 5000 76 2740 | 0.000 % | c =============================================================================== c New solution: 15217 c Elapsed CPU time: 94.3717 s Remaining CPU time: 85.6283 s c =============================================================================== c | 77 | 2992 3314 880922 | 5000 77 2704 | 0.000 % | c =============================================================================== c New solution: 15215 c Elapsed CPU time: 95.0036 s Remaining CPU time: 84.9964 s c =============================================================================== c | 81 | 2992 3315 883772 | 5000 81 2707 | 0.000 % | c =============================================================================== c New solution: 15214 c Elapsed CPU time: 95.7764 s Remaining CPU time: 84.2236 s c =============================================================================== c | 102 | 2992 3316 886622 | 5000 102 2721 | 0.000 % | c =============================================================================== c New solution: 15213 c Elapsed CPU time: 96.5043 s Remaining CPU time: 83.4957 s c =============================================================================== c | 112 | 2992 3317 889472 | 5000 112 2726 | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 97.1592 s Remaining CPU time: 82.8408 s c =============================================================================== c | 117 | 2992 3318 892322 | 5000 117 2728 | 0.000 % | c =============================================================================== c New solution: 15210 c Elapsed CPU time: 97.7621 s Remaining CPU time: 82.2379 s c =============================================================================== c | 119 | 2992 3319 895172 | 5000 119 2728 | 0.000 % | c =============================================================================== c New solution: 15209 c Elapsed CPU time: 98.461 s Remaining CPU time: 81.539 s c =============================================================================== c | 128 | 2992 3320 898022 | 5000 128 2731 | 0.000 % | c =============================================================================== c New solution: 15208 c Elapsed CPU time: 99.1229 s Remaining CPU time: 80.8771 s c =============================================================================== c | 130 | 2992 3321 900872 | 5000 130 2732 | 0.000 % | c =============================================================================== c New solution: 15207 c Elapsed CPU time: 99.8168 s Remaining CPU time: 80.1832 s c =============================================================================== c | 131 | 2992 3322 903722 | 5000 131 2732 | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 100.611 s Remaining CPU time: 79.3893 s c =============================================================================== c | 151 | 2992 3323 906572 | 5000 151 2737 | 0.000 % | c =============================================================================== c New solution: 15205 c Elapsed CPU time: 101.314 s Remaining CPU time: 78.6864 s c =============================================================================== c | 154 | 2992 3324 909422 | 5000 154 2738 | 0.000 % | c =============================================================================== c New solution: 15204 c Elapsed CPU time: 102.083 s Remaining CPU time: 77.9165 s c =============================================================================== c | 160 | 2992 3325 912272 | 5000 160 2739 | 0.000 % | c =============================================================================== c New solution: 15203 c Elapsed CPU time: 102.766 s Remaining CPU time: 77.2336 s c =============================================================================== c | 160 | 2992 3326 915122 | 5000 160 2739 | 0.000 % | c =============================================================================== c New solution: 15202 c Elapsed CPU time: 103.457 s Remaining CPU time: 76.5427 s c =============================================================================== c | 163 | 2992 3327 917972 | 5000 163 2740 | 0.000 % | c =============================================================================== c New solution: 15201 c Elapsed CPU time: 104.138 s Remaining CPU time: 75.8618 s c =============================================================================== c | 163 | 2992 3328 920822 | 5000 163 2740 | 0.000 % | c =============================================================================== c New solution: 15200 c Elapsed CPU time: 104.78 s Remaining CPU time: 75.2199 s c =============================================================================== c | 163 | 2992 3329 923672 | 5000 163 2740 | 0.000 % | c =============================================================================== c New solution: 15199 c Elapsed CPU time: 105.447 s Remaining CPU time: 74.553 s c =============================================================================== c | 165 | 2992 3330 926522 | 5000 165 2740 | 0.000 % | c =============================================================================== c New solution: 15198 c Elapsed CPU time: 106.093 s Remaining CPU time: 73.9071 s c =============================================================================== c | 166 | 2992 3331 929372 | 5000 166 2740 | 0.000 % | c =============================================================================== c New solution: 15197 c Elapsed CPU time: 106.758 s Remaining CPU time: 73.2422 s c =============================================================================== c | 166 | 2992 3332 932222 | 5000 166 2740 | 0.000 % | c =============================================================================== c New solution: 15196 c Elapsed CPU time: 107.396 s Remaining CPU time: 72.6043 s c =============================================================================== c | 168 | 2992 3333 935072 | 5000 168 2741 | 0.000 % | c =============================================================================== c New solution: 15195 c Elapsed CPU time: 108.196 s Remaining CPU time: 71.8044 s c =============================================================================== c | 187 | 2992 3334 937922 | 5000 187 2729 | 0.000 % | c =============================================================================== c New solution: 15194 c Elapsed CPU time: 108.883 s Remaining CPU time: 71.1166 s c =============================================================================== c | 191 | 2992 3335 940772 | 5000 191 2729 | 0.000 % | c =============================================================================== c New solution: 15193 c Elapsed CPU time: 109.639 s Remaining CPU time: 70.3607 s c =============================================================================== c | 199 | 2992 3336 943622 | 5000 199 2731 | 0.000 % | c =============================================================================== c New solution: 15192 c Elapsed CPU time: 110.295 s Remaining CPU time: 69.7048 s c =============================================================================== c | 199 | 2992 3337 946472 | 5000 199 2731 | 0.000 % | c =============================================================================== c New solution: 15191 c Elapsed CPU time: 110.934 s Remaining CPU time: 69.0659 s c =============================================================================== c | 199 | 2992 3338 949322 | 5000 199 2731 | 0.000 % | c =============================================================================== c New solution: 15190 c Elapsed CPU time: 111.6 s Remaining CPU time: 68.4 s c =============================================================================== c | 199 | 2992 3339 952172 | 5000 199 2731 | 0.000 % | c =============================================================================== c New solution: 15189 c Elapsed CPU time: 112.268 s Remaining CPU time: 67.7321 s c =============================================================================== c | 199 | 2992 3340 955022 | 5000 199 2731 | 0.000 % | c =============================================================================== c New solution: 15188 c Elapsed CPU time: 112.985 s Remaining CPU time: 67.0152 s c =============================================================================== c | 201 | 2992 3341 957872 | 5000 201 2731 | 0.000 % | c =============================================================================== c New solution: 15187 c Elapsed CPU time: 113.64 s Remaining CPU time: 66.3603 s c =============================================================================== c | 201 | 2992 3342 960722 | 5000 201 2731 | 0.000 % | c =============================================================================== c New solution: 15186 c Elapsed CPU time: 114.366 s Remaining CPU time: 65.6344 s c =============================================================================== c | 209 | 2992 3343 963572 | 5000 209 2733 | 0.000 % | c =============================================================================== c New solution: 15185 c Elapsed CPU time: 115.063 s Remaining CPU time: 64.9375 s c =============================================================================== c | 209 | 2992 3344 966422 | 5000 209 2733 | 0.000 % | c =============================================================================== c New solution: 15184 c Elapsed CPU time: 115.766 s Remaining CPU time: 64.2336 s c =============================================================================== c | 209 | 2992 3345 969272 | 5000 209 2733 | 0.000 % | c =============================================================================== c New solution: 15183 c Elapsed CPU time: 116.47 s Remaining CPU time: 63.5297 s c =============================================================================== c | 212 | 2992 3346 972122 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15182 c Elapsed CPU time: 117.199 s Remaining CPU time: 62.8008 s c =============================================================================== c | 212 | 2992 3347 974972 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15181 c Elapsed CPU time: 117.936 s Remaining CPU time: 62.0639 s c =============================================================================== c | 212 | 2992 3348 977822 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15180 c Elapsed CPU time: 118.626 s Remaining CPU time: 61.374 s c =============================================================================== c | 212 | 2992 3349 980672 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15179 c Elapsed CPU time: 119.323 s Remaining CPU time: 60.6771 s c =============================================================================== c | 212 | 2992 3350 983522 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15178 c Elapsed CPU time: 120.026 s Remaining CPU time: 59.9742 s c =============================================================================== c | 212 | 2992 3351 986372 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15177 c Elapsed CPU time: 120.691 s Remaining CPU time: 59.3093 s c =============================================================================== c | 212 | 2992 3352 989222 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15176 c Elapsed CPU time: 121.349 s Remaining CPU time: 58.6514 s c =============================================================================== c | 212 | 2992 3353 992072 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15175 c Elapsed CPU time: 122.062 s Remaining CPU time: 57.9376 s c =============================================================================== c | 212 | 2992 3354 994922 | 5000 212 2733 | 0.000 % | c =============================================================================== c New solution: 15174 c Elapsed CPU time: 122.825 s Remaining CPU time: 57.1747 s c =============================================================================== c | 223 | 2992 3355 997772 | 5000 223 2735 | 0.000 % | c =============================================================================== c New solution: 15173 c Elapsed CPU time: 123.56 s Remaining CPU time: 56.4398 s c =============================================================================== c | 232 | 2992 3356 1000622 | 5000 232 2736 | 0.000 % | c =============================================================================== c New solution: 15172 c Elapsed CPU time: 124.326 s Remaining CPU time: 55.6739 s c =============================================================================== c | 233 | 2992 3357 1003472 | 5000 233 2736 | 0.000 % | c =============================================================================== c New solution: 15171 c Elapsed CPU time: 125.043 s Remaining CPU time: 54.957 s c =============================================================================== c | 233 | 2992 3358 1006322 | 5000 233 2736 | 0.000 % | c =============================================================================== c New solution: 15170 c Elapsed CPU time: 125.798 s Remaining CPU time: 54.2021 s c =============================================================================== c | 233 | 2992 3359 1009172 | 5000 233 2736 | 0.000 % | c =============================================================================== c New solution: 15169 c Elapsed CPU time: 126.54 s Remaining CPU time: 53.4602 s c =============================================================================== c | 237 | 2992 3360 1012022 | 5000 237 2736 | 0.000 % | c =============================================================================== c New solution: 15168 c Elapsed CPU time: 127.263 s Remaining CPU time: 52.7373 s c =============================================================================== c | 237 | 2992 3361 1014872 | 5000 237 2736 | 0.000 % | c =============================================================================== c New solution: 15167 c Elapsed CPU time: 127.963 s Remaining CPU time: 52.0375 s c =============================================================================== c | 238 | 2992 3362 1017722 | 5000 238 2736 | 0.000 % | c =============================================================================== c New solution: 15166 c Elapsed CPU time: 128.734 s Remaining CPU time: 51.2656 s c =============================================================================== c | 238 | 2992 3363 1020572 | 5000 238 2736 | 0.000 % | c =============================================================================== c New solution: 15165 c Elapsed CPU time: 129.525 s Remaining CPU time: 50.4747 s c =============================================================================== c | 238 | 2992 3364 1023422 | 5000 238 2736 | 0.000 % | c =============================================================================== c New solution: 15164 c Elapsed CPU time: 130.327 s Remaining CPU time: 49.6728 s c =============================================================================== c | 240 | 2992 3365 1026272 | 5000 240 2737 | 0.000 % | c =============================================================================== c New solution: 15163 c Elapsed CPU time: 131.128 s Remaining CPU time: 48.8719 s c =============================================================================== c | 240 | 2992 3366 1029122 | 5000 240 2737 | 0.000 % | c =============================================================================== c New solution: 15162 c Elapsed CPU time: 131.88 s Remaining CPU time: 48.12 s c =============================================================================== c | 246 | 2992 3367 1031972 | 5000 246 2737 | 0.000 % | c =============================================================================== c New solution: 15161 c Elapsed CPU time: 132.639 s Remaining CPU time: 47.3612 s c =============================================================================== c | 246 | 2992 3368 1034822 | 5000 246 2737 | 0.000 % | c =============================================================================== c New solution: 15160 c Elapsed CPU time: 133.365 s Remaining CPU time: 46.6353 s c =============================================================================== c | 246 | 2992 3369 1037672 | 5000 246 2737 | 0.000 % | c =============================================================================== c New solution: 15159 c Elapsed CPU time: 134.122 s Remaining CPU time: 45.8784 s c =============================================================================== c | 253 | 2992 3370 1040522 | 5000 253 2738 | 0.000 % | c =============================================================================== c New solution: 15158 c Elapsed CPU time: 134.874 s Remaining CPU time: 45.1255 s c =============================================================================== c | 253 | 2992 3371 1043372 | 5000 253 2738 | 0.000 % | c =============================================================================== c New solution: 15157 c Elapsed CPU time: 135.643 s Remaining CPU time: 44.3566 s c =============================================================================== c | 254 | 2992 3372 1046222 | 5000 254 2738 | 0.000 % | c =============================================================================== c New solution: 15156 c Elapsed CPU time: 136.405 s Remaining CPU time: 43.5947 s c =============================================================================== c | 254 | 2992 3373 1049072 | 5000 254 2738 | 0.000 % | c =============================================================================== c New solution: 15155 c Elapsed CPU time: 137.141 s Remaining CPU time: 42.8588 s c =============================================================================== c | 254 | 2992 3374 1051922 | 5000 254 2738 | 0.000 % | c =============================================================================== c New solution: 15154 c Elapsed CPU time: 137.879 s Remaining CPU time: 42.121 s c =============================================================================== c | 254 | 2992 3375 1054772 | 5000 254 2738 | 0.000 % | c =============================================================================== c New solution: 15153 c Elapsed CPU time: 138.621 s Remaining CPU time: 41.3791 s c =============================================================================== c | 254 | 2992 3376 1057622 | 5000 254 2738 | 0.000 % | c =============================================================================== c New solution: 15152 c Elapsed CPU time: 139.382 s Remaining CPU time: 40.6182 s c =============================================================================== c | 254 | 2992 3377 1060472 | 5000 254 2738 | 0.000 % | c =============================================================================== c New solution: 15151 c Elapsed CPU time: 140.142 s Remaining CPU time: 39.8583 s c =============================================================================== c | 255 | 2992 3378 1063322 | 5000 255 2738 | 0.000 % | c =============================================================================== c New solution: 15150 c Elapsed CPU time: 140.917 s Remaining CPU time: 39.0834 s c =============================================================================== c | 255 | 2992 3379 1066172 | 5000 255 2738 | 0.000 % | c =============================================================================== c New solution: 15149 c Elapsed CPU time: 141.637 s Remaining CPU time: 38.3625 s c =============================================================================== c | 255 | 2992 3380 1069022 | 5000 255 2738 | 0.000 % | c =============================================================================== c New solution: 15148 c Elapsed CPU time: 142.451 s Remaining CPU time: 37.5487 s c =============================================================================== c | 264 | 2992 3381 1071872 | 5000 264 2739 | 0.000 % | c =============================================================================== c New solution: 15147 c Elapsed CPU time: 143.229 s Remaining CPU time: 36.7708 s c =============================================================================== c | 267 | 2992 3382 1074722 | 5000 267 2739 | 0.000 % | c =============================================================================== c New solution: 15146 c Elapsed CPU time: 144.009 s Remaining CPU time: 35.9909 s c =============================================================================== c | 267 | 2992 3383 1077572 | 5000 267 2739 | 0.000 % | c =============================================================================== c New solution: 15145 c Elapsed CPU time: 144.804 s Remaining CPU time: 35.196 s c =============================================================================== c | 267 | 2992 3384 1080422 | 5000 267 2739 | 0.000 % | c =============================================================================== c New solution: 15144 c Elapsed CPU time: 145.582 s Remaining CPU time: 34.4181 s c =============================================================================== c | 267 | 2992 3385 1083272 | 5000 267 2739 | 0.000 % | c =============================================================================== c New solution: 15143 c Elapsed CPU time: 146.349 s Remaining CPU time: 33.6512 s c =============================================================================== c | 267 | 2992 3386 1086122 | 5000 267 2739 | 0.000 % | c =============================================================================== c New solution: 15142 c Elapsed CPU time: 147.116 s Remaining CPU time: 32.8844 s c =============================================================================== c | 268 | 2992 3387 1088972 | 5000 268 2739 | 0.000 % | c =============================================================================== c New solution: 15141 c Elapsed CPU time: 147.939 s Remaining CPU time: 32.0615 s c =============================================================================== c | 270 | 2992 3388 1091822 | 5000 270 2729 | 0.000 % | c =============================================================================== c New solution: 15140 c Elapsed CPU time: 148.747 s Remaining CPU time: 31.2526 s c =============================================================================== c | 277 | 2992 3389 1094672 | 5000 277 2730 | 0.000 % | c =============================================================================== c New solution: 15139 c Elapsed CPU time: 149.546 s Remaining CPU time: 30.4537 s c =============================================================================== c | 277 | 2992 3390 1097522 | 5000 277 2730 | 0.000 % | c =============================================================================== c New solution: 15138 c Elapsed CPU time: 150.337 s Remaining CPU time: 29.6629 s c =============================================================================== c | 277 | 2992 3391 1100372 | 5000 277 2730 | 0.000 % | c =============================================================================== c New solution: 15137 c Elapsed CPU time: 151.107 s Remaining CPU time: 28.893 s c =============================================================================== c | 277 | 2992 3392 1103222 | 5000 277 2730 | 0.000 % | c =============================================================================== c New solution: 15136 c Elapsed CPU time: 151.908 s Remaining CPU time: 28.0921 s c =============================================================================== c | 277 | 2992 3393 1106072 | 5000 277 2730 | 0.000 % | c =============================================================================== c New solution: 15135 c Elapsed CPU time: 152.672 s Remaining CPU time: 27.3282 s c =============================================================================== c | 278 | 2992 3394 1108922 | 5000 278 2730 | 0.000 % | c =============================================================================== c New solution: 15134 c Elapsed CPU time: 153.529 s Remaining CPU time: 26.4713 s c =============================================================================== c | 293 | 2992 3395 1111772 | 5000 293 2731 | 0.000 % | c =============================================================================== c New solution: 15133 c Elapsed CPU time: 154.376 s Remaining CPU time: 25.6245 s c =============================================================================== c | 297 | 2992 3396 1114622 | 5000 297 2731 | 0.000 % | c =============================================================================== c New solution: 15132 c Elapsed CPU time: 155.225 s Remaining CPU time: 24.7746 s c =============================================================================== c | 299 | 2992 3397 1117472 | 5000 299 2731 | 0.000 % | c =============================================================================== c New solution: 15131 c Elapsed CPU time: 156.183 s Remaining CPU time: 23.8167 s c =============================================================================== c | 306 | 2992 3398 1120322 | 5000 306 2732 | 0.000 % | c =============================================================================== c New solution: 15130 c Elapsed CPU time: 157.015 s Remaining CPU time: 22.9849 s c =============================================================================== c | 308 | 2992 3399 1123172 | 5000 308 2732 | 0.000 % | c =============================================================================== c New solution: 15129 c Elapsed CPU time: 157.822 s Remaining CPU time: 22.178 s c =============================================================================== c | 323 | 2992 3400 1126022 | 5000 323 2733 | 0.000 % | c =============================================================================== c New solution: 15128 c Elapsed CPU time: 158.748 s Remaining CPU time: 21.2521 s c =============================================================================== c | 337 | 2992 3401 1128872 | 5000 337 2734 | 0.000 % | c =============================================================================== c New solution: 15127 c Elapsed CPU time: 159.601 s Remaining CPU time: 20.3993 s c =============================================================================== c | 337 | 2992 3402 1131722 | 5000 337 2734 | 0.000 % | c =============================================================================== c New solution: 15126 c Elapsed CPU time: 160.727 s Remaining CPU time: 19.2734 s c =============================================================================== c | 358 | 2992 3403 1134572 | 5000 358 2735 | 0.000 % | c =============================================================================== c New solution: 15125 c Elapsed CPU time: 161.78 s Remaining CPU time: 18.2196 s c =============================================================================== c | 371 | 2992 3404 1137422 | 5000 371 2736 | 0.000 % | c =============================================================================== c New solution: 15124 c Elapsed CPU time: 162.68 s Remaining CPU time: 17.3197 s c =============================================================================== c | 372 | 2992 3405 1140272 | 5000 372 2736 | 0.000 % | c =============================================================================== c New solution: 15123 c Elapsed CPU time: 163.517 s Remaining CPU time: 16.4829 s c =============================================================================== c | 372 | 2992 3406 1143122 | 5000 372 2736 | 0.000 % | c =============================================================================== c New solution: 15122 c Elapsed CPU time: 164.338 s Remaining CPU time: 15.662 s c =============================================================================== c | 372 | 2992 3407 1145972 | 5000 372 2736 | 0.000 % | c =============================================================================== c New solution: 15121 c Elapsed CPU time: 165.181 s Remaining CPU time: 14.8191 s c =============================================================================== c | 372 | 2992 3408 1148822 | 5000 372 2736 | 0.000 % | c =============================================================================== c New solution: 15120 c Elapsed CPU time: 166.119 s Remaining CPU time: 13.8813 s c =============================================================================== c | 381 | 2992 3409 1151672 | 5000 381 2736 | 0.000 % | c =============================================================================== c New solution: 15119 c Elapsed CPU time: 167.069 s Remaining CPU time: 12.9314 s c =============================================================================== c | 384 | 2992 3410 1154522 | 5000 384 2736 | 0.000 % | c =============================================================================== c New solution: 15118 c Elapsed CPU time: 168.05 s Remaining CPU time: 11.9495 s c =============================================================================== c | 401 | 2992 3411 1157372 | 5000 401 2737 | 0.000 % | c =============================================================================== c New solution: 15117 c Elapsed CPU time: 168.927 s Remaining CPU time: 11.0727 s c =============================================================================== c | 404 | 2992 3412 1160222 | 5000 404 2737 | 0.000 % | c =============================================================================== c New solution: 15116 c Elapsed CPU time: 169.798 s Remaining CPU time: 10.2018 s c =============================================================================== c | 407 | 2992 3413 1163072 | 5000 407 2737 | 0.000 % | c =============================================================================== c New solution: 15115 c Elapsed CPU time: 170.63 s Remaining CPU time: 9.36994 s c =============================================================================== c | 408 | 2992 3414 1165922 | 5000 408 2737 | 0.000 % | c =============================================================================== c New solution: 15114 c Elapsed CPU time: 171.72 s Remaining CPU time: 8.28011 s c =============================================================================== c | 423 | 2992 3415 1168772 | 5000 423 2738 | 0.000 % | c =============================================================================== c New solution: 15113 c Elapsed CPU time: 172.542 s Remaining CPU time: 7.45823 s c =============================================================================== c | 424 | 2992 3416 1171622 | 5000 424 2738 | 0.000 % | c =============================================================================== c New solution: 15112 c Elapsed CPU time: 173.574 s Remaining CPU time: 6.42639 s c =============================================================================== c | 435 | 2992 3417 1174472 | 5000 435 2738 | 0.000 % | c =============================================================================== c New solution: 15111 c Elapsed CPU time: 174.459 s Remaining CPU time: 5.54052 s c =============================================================================== c | 437 | 2992 3418 1177322 | 5000 437 2738 | 0.000 % | c =============================================================================== c New solution: 15110 c Elapsed CPU time: 175.416 s Remaining CPU time: 4.58367 s c =============================================================================== c | 456 | 2992 3419 1180172 | 5000 456 2739 | 0.000 % | c =============================================================================== c New solution: 15109 c Elapsed CPU time: 176.306 s Remaining CPU time: 3.6938 s c =============================================================================== c | 464 | 2992 3420 1183022 | 5000 464 2739 | 0.000 % | c =============================================================================== c New solution: 15108 c Elapsed CPU time: 177.125 s Remaining CPU time: 2.87493 s c =============================================================================== c | 464 | 2992 3421 1185872 | 5000 464 2739 | 0.000 % | c =============================================================================== c New solution: 15107 c Elapsed CPU time: 177.955 s Remaining CPU time: 2.04505 s c =============================================================================== c | 465 | 2992 3422 1188722 | 5000 465 2739 | 0.000 % | c =============================================================================== c New solution: 15106 c Elapsed CPU time: 178.841 s Remaining CPU time: 1.15919 s c =============================================================================== c | 465 | 2992 3423 1191572 | 5000 465 2739 | 0.000 % | c =============================================================================== c New solution: 15105 c Elapsed CPU time: 179.747 s Remaining CPU time: 0.253326 s c =============================================================================== c | 468 | 2992 3424 1194422 | 5000 468 2739 | 0.000 % | c There are 8 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 520 6477 9270 | 5000 0 nan | 0.000 % | c ===============================================================================