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 | 2985 3001 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15722 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 2985 3002 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15719 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 2985 3003 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15717 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 2985 3004 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15714 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 2985 3005 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15712 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 0 | 2985 3006 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15709 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 2985 3007 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15708 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 2985 3008 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15705 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 2985 3009 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15704 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 0 | 2985 3010 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15703 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 0 | 2985 3011 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15702 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 0 | 2985 3012 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15700 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 0 | 2985 3013 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15699 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 0 | 2985 3014 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15698 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 0 | 2985 3015 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15697 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 0 | 2985 3016 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15696 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 0 | 2985 3017 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15695 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 0 | 2985 3018 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15694 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 0 | 2985 3019 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15693 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 0 | 2985 3020 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15692 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 0 | 2985 3021 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15691 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 0 | 2985 3022 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15690 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 0 | 2985 3023 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15689 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 0 | 2985 3024 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15687 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 0 | 2985 3025 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15686 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 0 | 2985 3026 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15684 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s c =============================================================================== c | 0 | 2985 3027 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15683 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 0 | 2985 3028 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15682 c Elapsed CPU time: 1.15582 s Remaining CPU time: 178.844 s c =============================================================================== c | 0 | 2985 3029 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15680 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s c =============================================================================== c | 0 | 2985 3030 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15679 c Elapsed CPU time: 1.26781 s Remaining CPU time: 178.732 s c =============================================================================== c | 0 | 2985 3031 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15676 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 0 | 2985 3032 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15674 c Elapsed CPU time: 1.38479 s Remaining CPU time: 178.615 s c =============================================================================== c | 0 | 2985 3033 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15672 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s c =============================================================================== c | 0 | 2985 3034 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15671 c Elapsed CPU time: 1.50877 s Remaining CPU time: 178.491 s c =============================================================================== c | 0 | 2985 3035 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15669 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 0 | 2985 3036 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15668 c Elapsed CPU time: 1.64075 s Remaining CPU time: 178.359 s c =============================================================================== c | 0 | 2985 3037 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15666 c Elapsed CPU time: 1.70874 s Remaining CPU time: 178.291 s c =============================================================================== c | 0 | 2985 3038 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15663 c Elapsed CPU time: 1.77873 s Remaining CPU time: 178.221 s c =============================================================================== c | 0 | 2985 3039 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15662 c Elapsed CPU time: 1.84872 s Remaining CPU time: 178.151 s c =============================================================================== c | 0 | 2985 3040 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15661 c Elapsed CPU time: 1.91771 s Remaining CPU time: 178.082 s c =============================================================================== c | 0 | 2985 3041 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15658 c Elapsed CPU time: 1.9897 s Remaining CPU time: 178.01 s c =============================================================================== c | 0 | 2985 3042 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15655 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s c =============================================================================== c | 0 | 2985 3043 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15652 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s c =============================================================================== c | 0 | 2985 3044 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15648 c Elapsed CPU time: 2.21366 s Remaining CPU time: 177.786 s c =============================================================================== c | 0 | 2985 3045 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15645 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 0 | 2985 3046 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15644 c Elapsed CPU time: 2.37264 s Remaining CPU time: 177.627 s c =============================================================================== c | 0 | 2985 3047 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15641 c Elapsed CPU time: 2.45663 s Remaining CPU time: 177.543 s c =============================================================================== c | 0 | 2985 3048 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15639 c Elapsed CPU time: 2.53861 s Remaining CPU time: 177.461 s c =============================================================================== c | 0 | 2985 3049 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15635 c Elapsed CPU time: 2.6216 s Remaining CPU time: 177.378 s c =============================================================================== c | 0 | 2985 3050 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15631 c Elapsed CPU time: 2.70659 s Remaining CPU time: 177.293 s c =============================================================================== c | 0 | 2985 3051 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15630 c Elapsed CPU time: 2.79657 s Remaining CPU time: 177.203 s c =============================================================================== c | 0 | 2985 3052 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15629 c Elapsed CPU time: 2.88956 s Remaining CPU time: 177.11 s c =============================================================================== c | 0 | 2985 3053 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15627 c Elapsed CPU time: 2.98155 s Remaining CPU time: 177.018 s c =============================================================================== c | 0 | 2985 3054 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15626 c Elapsed CPU time: 3.07353 s Remaining CPU time: 176.926 s c =============================================================================== c | 0 | 2985 3055 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15623 c Elapsed CPU time: 3.16952 s Remaining CPU time: 176.83 s c =============================================================================== c | 0 | 2985 3056 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15621 c Elapsed CPU time: 3.2675 s Remaining CPU time: 176.732 s c =============================================================================== c | 0 | 2985 3057 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15620 c Elapsed CPU time: 3.36649 s Remaining CPU time: 176.634 s c =============================================================================== c | 0 | 2985 3058 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15619 c Elapsed CPU time: 3.47047 s Remaining CPU time: 176.53 s c =============================================================================== c | 0 | 2985 3059 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15617 c Elapsed CPU time: 3.57346 s Remaining CPU time: 176.427 s c =============================================================================== c | 0 | 2985 3060 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15614 c Elapsed CPU time: 3.67944 s Remaining CPU time: 176.321 s c =============================================================================== c | 0 | 2985 3061 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15613 c Elapsed CPU time: 3.78642 s Remaining CPU time: 176.214 s c =============================================================================== c | 0 | 2985 3062 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15612 c Elapsed CPU time: 3.89541 s Remaining CPU time: 176.105 s c =============================================================================== c | 0 | 2985 3063 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15611 c Elapsed CPU time: 4.00739 s Remaining CPU time: 175.993 s c =============================================================================== c | 0 | 2985 3064 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15610 c Elapsed CPU time: 4.11437 s Remaining CPU time: 175.886 s c =============================================================================== c | 0 | 2985 3065 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15609 c Elapsed CPU time: 4.22536 s Remaining CPU time: 175.775 s c =============================================================================== c | 0 | 2985 3066 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15608 c Elapsed CPU time: 4.34234 s Remaining CPU time: 175.658 s c =============================================================================== c | 0 | 2985 3067 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15606 c Elapsed CPU time: 4.45732 s Remaining CPU time: 175.543 s c =============================================================================== c | 0 | 2985 3068 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15604 c Elapsed CPU time: 4.5803 s Remaining CPU time: 175.42 s c =============================================================================== c | 0 | 2985 3069 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15600 c Elapsed CPU time: 4.69429 s Remaining CPU time: 175.306 s c =============================================================================== c | 0 | 2985 3070 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15598 c Elapsed CPU time: 4.81627 s Remaining CPU time: 175.184 s c =============================================================================== c | 0 | 2985 3071 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15596 c Elapsed CPU time: 4.94025 s Remaining CPU time: 175.06 s c =============================================================================== c | 0 | 2985 3072 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15595 c Elapsed CPU time: 5.06623 s Remaining CPU time: 174.934 s c =============================================================================== c | 0 | 2985 3073 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15593 c Elapsed CPU time: 5.19521 s Remaining CPU time: 174.805 s c =============================================================================== c | 0 | 2985 3074 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15591 c Elapsed CPU time: 5.32719 s Remaining CPU time: 174.673 s c =============================================================================== c | 0 | 2985 3075 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15590 c Elapsed CPU time: 5.45417 s Remaining CPU time: 174.546 s c =============================================================================== c | 0 | 2985 3076 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15588 c Elapsed CPU time: 5.58015 s Remaining CPU time: 174.42 s c =============================================================================== c | 0 | 2985 3077 225450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15587 c Elapsed CPU time: 5.71613 s Remaining CPU time: 174.284 s c =============================================================================== c | 0 | 2985 3078 228300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15585 c Elapsed CPU time: 5.85011 s Remaining CPU time: 174.15 s c =============================================================================== c | 0 | 2985 3079 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15582 c Elapsed CPU time: 5.99009 s Remaining CPU time: 174.01 s c =============================================================================== c | 0 | 2985 3080 234000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15581 c Elapsed CPU time: 6.12907 s Remaining CPU time: 173.871 s c =============================================================================== c | 0 | 2985 3081 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15578 c Elapsed CPU time: 6.27305 s Remaining CPU time: 173.727 s c =============================================================================== c | 0 | 2985 3082 239700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15577 c Elapsed CPU time: 6.41303 s Remaining CPU time: 173.587 s c =============================================================================== c | 0 | 2985 3083 242550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15576 c Elapsed CPU time: 6.56 s Remaining CPU time: 173.44 s c =============================================================================== c | 0 | 2985 3084 245400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15575 c Elapsed CPU time: 6.71398 s Remaining CPU time: 173.286 s c =============================================================================== c | 0 | 2985 3085 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15574 c Elapsed CPU time: 6.87195 s Remaining CPU time: 173.128 s c =============================================================================== c | 0 | 2985 3086 251100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15573 c Elapsed CPU time: 7.02293 s Remaining CPU time: 172.977 s c =============================================================================== c | 0 | 2985 3087 253950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15572 c Elapsed CPU time: 7.17891 s Remaining CPU time: 172.821 s c =============================================================================== c | 0 | 2985 3088 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15571 c Elapsed CPU time: 7.33988 s Remaining CPU time: 172.66 s c =============================================================================== c | 0 | 2985 3089 259650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15570 c Elapsed CPU time: 7.50386 s Remaining CPU time: 172.496 s c =============================================================================== c | 0 | 2985 3090 262500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15569 c Elapsed CPU time: 7.67083 s Remaining CPU time: 172.329 s c =============================================================================== c | 0 | 2985 3091 265350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15568 c Elapsed CPU time: 7.83981 s Remaining CPU time: 172.16 s c =============================================================================== c | 0 | 2985 3092 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15566 c Elapsed CPU time: 8.01178 s Remaining CPU time: 171.988 s c =============================================================================== c | 0 | 2985 3093 271050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15565 c Elapsed CPU time: 8.18176 s Remaining CPU time: 171.818 s c =============================================================================== c | 0 | 2985 3094 273900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15563 c Elapsed CPU time: 8.35973 s Remaining CPU time: 171.64 s c =============================================================================== c | 0 | 2985 3095 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15560 c Elapsed CPU time: 8.5307 s Remaining CPU time: 171.469 s c =============================================================================== c | 0 | 2985 3096 279600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15559 c Elapsed CPU time: 8.71268 s Remaining CPU time: 171.287 s c =============================================================================== c | 0 | 2985 3097 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15558 c Elapsed CPU time: 8.89065 s Remaining CPU time: 171.109 s c =============================================================================== c | 0 | 2985 3098 285300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15557 c Elapsed CPU time: 9.07562 s Remaining CPU time: 170.924 s c =============================================================================== c | 0 | 2985 3099 288150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15556 c Elapsed CPU time: 9.26359 s Remaining CPU time: 170.736 s c =============================================================================== c | 0 | 2985 3100 291000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15553 c Elapsed CPU time: 9.45256 s Remaining CPU time: 170.547 s c =============================================================================== c | 0 | 2985 3101 293850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15552 c Elapsed CPU time: 9.64453 s Remaining CPU time: 170.355 s c =============================================================================== c | 0 | 2985 3102 296700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15551 c Elapsed CPU time: 9.8385 s Remaining CPU time: 170.161 s c =============================================================================== c | 0 | 2985 3103 299550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15550 c Elapsed CPU time: 10.0345 s Remaining CPU time: 169.966 s c =============================================================================== c | 0 | 2985 3104 302400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15549 c Elapsed CPU time: 10.2284 s Remaining CPU time: 169.772 s c =============================================================================== c | 0 | 2985 3105 305250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15548 c Elapsed CPU time: 10.4184 s Remaining CPU time: 169.582 s c =============================================================================== c | 0 | 2985 3106 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15547 c Elapsed CPU time: 10.6114 s Remaining CPU time: 169.389 s c =============================================================================== c | 0 | 2985 3107 310950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15545 c Elapsed CPU time: 10.8094 s Remaining CPU time: 169.191 s c =============================================================================== c | 0 | 2985 3108 313800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15543 c Elapsed CPU time: 11.0083 s Remaining CPU time: 168.992 s c =============================================================================== c | 0 | 2985 3109 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15542 c Elapsed CPU time: 11.2053 s Remaining CPU time: 168.795 s c =============================================================================== c | 0 | 2985 3110 319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15541 c Elapsed CPU time: 11.4113 s Remaining CPU time: 168.589 s c =============================================================================== c | 0 | 2985 3111 322350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15540 c Elapsed CPU time: 11.6132 s Remaining CPU time: 168.387 s c =============================================================================== c | 0 | 2985 3112 325200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15539 c Elapsed CPU time: 11.8142 s Remaining CPU time: 168.186 s c =============================================================================== c | 0 | 2985 3113 328050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15538 c Elapsed CPU time: 12.0242 s Remaining CPU time: 167.976 s c =============================================================================== c | 0 | 2985 3114 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15537 c Elapsed CPU time: 12.2311 s Remaining CPU time: 167.769 s c =============================================================================== c | 0 | 2985 3115 333750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15533 c Elapsed CPU time: 12.4351 s Remaining CPU time: 167.565 s c =============================================================================== c | 0 | 2985 3116 336600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15532 c Elapsed CPU time: 12.6391 s Remaining CPU time: 167.361 s c =============================================================================== c | 0 | 2985 3117 339450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15529 c Elapsed CPU time: 12.851 s Remaining CPU time: 167.149 s c =============================================================================== c | 0 | 2985 3118 342300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15528 c Elapsed CPU time: 13.064 s Remaining CPU time: 166.936 s c =============================================================================== c | 0 | 2985 3119 345150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15527 c Elapsed CPU time: 13.275 s Remaining CPU time: 166.725 s c =============================================================================== c | 0 | 2985 3120 348000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15525 c Elapsed CPU time: 13.4889 s Remaining CPU time: 166.511 s c =============================================================================== c | 0 | 2985 3121 350850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15522 c Elapsed CPU time: 13.7079 s Remaining CPU time: 166.292 s c =============================================================================== c | 0 | 2985 3122 353700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15521 c Elapsed CPU time: 13.9349 s Remaining CPU time: 166.065 s c =============================================================================== c | 0 | 2985 3123 356550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15520 c Elapsed CPU time: 14.1608 s Remaining CPU time: 165.839 s c =============================================================================== c | 0 | 2985 3124 359400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15519 c Elapsed CPU time: 14.3828 s Remaining CPU time: 165.617 s c =============================================================================== c | 0 | 2985 3125 362250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15515 c Elapsed CPU time: 14.6038 s Remaining CPU time: 165.396 s c =============================================================================== c | 0 | 2985 3126 365100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15512 c Elapsed CPU time: 14.8307 s Remaining CPU time: 165.169 s c =============================================================================== c | 0 | 2985 3127 367950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15510 c Elapsed CPU time: 15.0597 s Remaining CPU time: 164.94 s c =============================================================================== c | 0 | 2985 3128 370800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15508 c Elapsed CPU time: 15.2877 s Remaining CPU time: 164.712 s c =============================================================================== c | 0 | 2985 3129 373650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15503 c Elapsed CPU time: 15.5176 s Remaining CPU time: 164.482 s c =============================================================================== c | 0 | 2985 3130 376500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15500 c Elapsed CPU time: 15.7566 s Remaining CPU time: 164.243 s c =============================================================================== c | 0 | 2985 3131 379350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15499 c Elapsed CPU time: 15.9956 s Remaining CPU time: 164.004 s c =============================================================================== c | 0 | 2985 3132 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15498 c Elapsed CPU time: 16.2445 s Remaining CPU time: 163.755 s c =============================================================================== c | 0 | 2985 3133 385050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15495 c Elapsed CPU time: 16.4915 s Remaining CPU time: 163.509 s c =============================================================================== c | 0 | 2985 3134 387900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15494 c Elapsed CPU time: 16.7425 s Remaining CPU time: 163.258 s c =============================================================================== c | 0 | 2985 3135 390750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15493 c Elapsed CPU time: 16.9904 s Remaining CPU time: 163.01 s c =============================================================================== c | 0 | 2985 3136 393600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15492 c Elapsed CPU time: 17.2464 s Remaining CPU time: 162.754 s c =============================================================================== c | 0 | 2985 3137 396450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15487 c Elapsed CPU time: 17.4963 s Remaining CPU time: 162.504 s c =============================================================================== c | 0 | 2985 3138 399300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15486 c Elapsed CPU time: 17.7563 s Remaining CPU time: 162.244 s c =============================================================================== c | 0 | 2985 3139 402150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15484 c Elapsed CPU time: 18.0113 s Remaining CPU time: 161.989 s c =============================================================================== c | 0 | 2985 3140 405000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15480 c Elapsed CPU time: 18.2662 s Remaining CPU time: 161.734 s c =============================================================================== c | 0 | 2985 3141 407850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15479 c Elapsed CPU time: 18.5292 s Remaining CPU time: 161.471 s c =============================================================================== c | 0 | 2985 3142 410700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15477 c Elapsed CPU time: 18.7871 s Remaining CPU time: 161.213 s c =============================================================================== c | 0 | 2985 3143 413550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15475 c Elapsed CPU time: 19.0511 s Remaining CPU time: 160.949 s c =============================================================================== c | 0 | 2985 3144 416400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15473 c Elapsed CPU time: 19.3251 s Remaining CPU time: 160.675 s c =============================================================================== c | 0 | 2985 3145 419250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15472 c Elapsed CPU time: 19.598 s Remaining CPU time: 160.402 s c =============================================================================== c | 0 | 2985 3146 422100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 19.87 s Remaining CPU time: 160.13 s c =============================================================================== c | 0 | 2985 3147 424950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15469 c Elapsed CPU time: 20.1369 s Remaining CPU time: 159.863 s c =============================================================================== c | 0 | 2985 3148 427800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15468 c Elapsed CPU time: 20.4059 s Remaining CPU time: 159.594 s c =============================================================================== c | 0 | 2985 3149 430650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15467 c Elapsed CPU time: 20.6859 s Remaining CPU time: 159.314 s c =============================================================================== c | 0 | 2985 3150 433500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15465 c Elapsed CPU time: 20.9598 s Remaining CPU time: 159.04 s c =============================================================================== c | 0 | 2985 3151 436350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15464 c Elapsed CPU time: 21.2378 s Remaining CPU time: 158.762 s c =============================================================================== c | 0 | 2985 3152 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15463 c Elapsed CPU time: 21.5227 s Remaining CPU time: 158.477 s c =============================================================================== c | 0 | 2985 3153 442050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15462 c Elapsed CPU time: 21.8057 s Remaining CPU time: 158.194 s c =============================================================================== c | 0 | 2985 3154 444900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15458 c Elapsed CPU time: 22.0916 s Remaining CPU time: 157.908 s c =============================================================================== c | 0 | 2985 3155 447750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15457 c Elapsed CPU time: 22.3766 s Remaining CPU time: 157.623 s c =============================================================================== c | 0 | 2985 3156 450600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15456 c Elapsed CPU time: 22.6656 s Remaining CPU time: 157.334 s c =============================================================================== c | 0 | 2985 3157 453450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15455 c Elapsed CPU time: 22.9565 s Remaining CPU time: 157.043 s c =============================================================================== c | 0 | 2985 3158 456300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15453 c Elapsed CPU time: 23.2435 s Remaining CPU time: 156.757 s c =============================================================================== c | 0 | 2985 3159 459150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15452 c Elapsed CPU time: 23.5414 s Remaining CPU time: 156.459 s c =============================================================================== c | 0 | 2985 3160 462000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15451 c Elapsed CPU time: 23.8394 s Remaining CPU time: 156.161 s c =============================================================================== c | 0 | 2985 3161 464850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15450 c Elapsed CPU time: 24.1473 s Remaining CPU time: 155.853 s c =============================================================================== c | 0 | 2985 3162 467700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15449 c Elapsed CPU time: 24.4573 s Remaining CPU time: 155.543 s c =============================================================================== c | 0 | 2985 3163 470550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15448 c Elapsed CPU time: 24.7672 s Remaining CPU time: 155.233 s c =============================================================================== c | 0 | 2985 3164 473400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15447 c Elapsed CPU time: 25.0682 s Remaining CPU time: 154.932 s c =============================================================================== c | 0 | 2985 3165 476250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15446 c Elapsed CPU time: 25.3711 s Remaining CPU time: 154.629 s c =============================================================================== c | 0 | 2985 3166 479100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15443 c Elapsed CPU time: 25.6871 s Remaining CPU time: 154.313 s c =============================================================================== c | 0 | 2985 3167 481950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15442 c Elapsed CPU time: 26.006 s Remaining CPU time: 153.994 s c =============================================================================== c | 0 | 2985 3168 484800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15441 c Elapsed CPU time: 26.316 s Remaining CPU time: 153.684 s c =============================================================================== c | 0 | 2985 3169 487650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15440 c Elapsed CPU time: 26.6419 s Remaining CPU time: 153.358 s c =============================================================================== c | 0 | 2985 3170 490500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15439 c Elapsed CPU time: 26.9539 s Remaining CPU time: 153.046 s c =============================================================================== c | 0 | 2985 3171 493350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15437 c Elapsed CPU time: 27.2789 s Remaining CPU time: 152.721 s c =============================================================================== c | 0 | 2985 3172 496200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15435 c Elapsed CPU time: 27.6008 s Remaining CPU time: 152.399 s c =============================================================================== c | 0 | 2985 3173 499050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15434 c Elapsed CPU time: 27.9268 s Remaining CPU time: 152.073 s c =============================================================================== c | 0 | 2985 3174 501900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15432 c Elapsed CPU time: 28.2617 s Remaining CPU time: 151.738 s c =============================================================================== c | 0 | 2985 3175 504750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15429 c Elapsed CPU time: 28.5857 s Remaining CPU time: 151.414 s c =============================================================================== c | 0 | 2985 3176 507600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15426 c Elapsed CPU time: 28.9186 s Remaining CPU time: 151.081 s c =============================================================================== c | 0 | 2985 3177 510450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15425 c Elapsed CPU time: 29.2426 s Remaining CPU time: 150.757 s c =============================================================================== c | 0 | 2985 3178 513300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15421 c Elapsed CPU time: 29.5655 s Remaining CPU time: 150.434 s c =============================================================================== c | 0 | 2985 3179 516150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15418 c Elapsed CPU time: 29.9045 s Remaining CPU time: 150.096 s c =============================================================================== c | 0 | 2985 3180 519000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15416 c Elapsed CPU time: 30.2364 s Remaining CPU time: 149.764 s c =============================================================================== c | 0 | 2985 3181 521850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 30.5654 s Remaining CPU time: 149.435 s c =============================================================================== c | 0 | 2985 3182 524700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15412 c Elapsed CPU time: 30.8973 s Remaining CPU time: 149.103 s c =============================================================================== c | 0 | 2985 3183 527550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15411 c Elapsed CPU time: 31.2383 s Remaining CPU time: 148.762 s c =============================================================================== c | 0 | 2985 3184 530400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15410 c Elapsed CPU time: 31.5732 s Remaining CPU time: 148.427 s c =============================================================================== c | 0 | 2985 3185 533250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15409 c Elapsed CPU time: 31.9141 s Remaining CPU time: 148.086 s c =============================================================================== c | 0 | 2985 3186 536100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 32.2551 s Remaining CPU time: 147.745 s c =============================================================================== c | 0 | 2985 3187 538950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15404 c Elapsed CPU time: 32.599 s Remaining CPU time: 147.401 s c =============================================================================== c | 0 | 2985 3188 541800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15400 c Elapsed CPU time: 32.94 s Remaining CPU time: 147.06 s c =============================================================================== c | 0 | 2985 3189 544650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15398 c Elapsed CPU time: 33.2859 s Remaining CPU time: 146.714 s c =============================================================================== c | 0 | 2985 3190 547500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 33.6469 s Remaining CPU time: 146.353 s c =============================================================================== c | 0 | 2985 3191 550350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15396 c Elapsed CPU time: 33.9958 s Remaining CPU time: 146.004 s c =============================================================================== c | 0 | 2985 3192 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15393 c Elapsed CPU time: 34.3458 s Remaining CPU time: 145.654 s c =============================================================================== c | 0 | 2985 3193 556050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15390 c Elapsed CPU time: 34.6947 s Remaining CPU time: 145.305 s c =============================================================================== c | 0 | 2985 3194 558900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15389 c Elapsed CPU time: 35.0507 s Remaining CPU time: 144.949 s c =============================================================================== c | 0 | 2985 3195 561750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15385 c Elapsed CPU time: 35.4106 s Remaining CPU time: 144.589 s c =============================================================================== c | 0 | 2985 3196 564600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15384 c Elapsed CPU time: 35.7656 s Remaining CPU time: 144.234 s c =============================================================================== c | 0 | 2985 3197 567450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15383 c Elapsed CPU time: 36.1295 s Remaining CPU time: 143.87 s c =============================================================================== c | 0 | 2985 3198 570300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 36.4935 s Remaining CPU time: 143.507 s c =============================================================================== c | 0 | 2985 3199 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 36.8614 s Remaining CPU time: 143.139 s c =============================================================================== c | 0 | 2985 3200 576000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15376 c Elapsed CPU time: 37.2373 s Remaining CPU time: 142.763 s c =============================================================================== c | 0 | 2985 3201 578850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15375 c Elapsed CPU time: 37.6203 s Remaining CPU time: 142.38 s c =============================================================================== c | 0 | 2985 3202 581700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15374 c Elapsed CPU time: 37.9972 s Remaining CPU time: 142.003 s c =============================================================================== c | 0 | 2985 3203 584550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15373 c Elapsed CPU time: 38.3812 s Remaining CPU time: 141.619 s c =============================================================================== c | 0 | 2985 3204 587400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15372 c Elapsed CPU time: 38.7491 s Remaining CPU time: 141.251 s c =============================================================================== c | 0 | 2985 3205 590250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15370 c Elapsed CPU time: 39.1281 s Remaining CPU time: 140.872 s c =============================================================================== c | 0 | 2985 3206 593100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15369 c Elapsed CPU time: 39.516 s Remaining CPU time: 140.484 s c =============================================================================== c | 0 | 2985 3207 595950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15368 c Elapsed CPU time: 39.9109 s Remaining CPU time: 140.089 s c =============================================================================== c | 0 | 2985 3208 598800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15366 c Elapsed CPU time: 40.2989 s Remaining CPU time: 139.701 s c =============================================================================== c | 0 | 2985 3209 601650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15364 c Elapsed CPU time: 40.6868 s Remaining CPU time: 139.313 s c =============================================================================== c | 0 | 2985 3210 604500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15361 c Elapsed CPU time: 41.0758 s Remaining CPU time: 138.924 s c =============================================================================== c | 0 | 2985 3211 607350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15359 c Elapsed CPU time: 41.4877 s Remaining CPU time: 138.512 s c =============================================================================== c | 0 | 2985 3212 610200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 41.8866 s Remaining CPU time: 138.113 s c =============================================================================== c | 0 | 2985 3213 613050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15357 c Elapsed CPU time: 42.2866 s Remaining CPU time: 137.713 s c =============================================================================== c | 0 | 2985 3214 615900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15356 c Elapsed CPU time: 42.6915 s Remaining CPU time: 137.308 s c =============================================================================== c | 0 | 2985 3215 618750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15355 c Elapsed CPU time: 43.0994 s Remaining CPU time: 136.901 s c =============================================================================== c | 0 | 2985 3216 621600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15354 c Elapsed CPU time: 43.5084 s Remaining CPU time: 136.492 s c =============================================================================== c | 0 | 2985 3217 624450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 43.9133 s Remaining CPU time: 136.087 s c =============================================================================== c | 0 | 2985 3218 627300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15351 c Elapsed CPU time: 44.3173 s Remaining CPU time: 135.683 s c =============================================================================== c | 0 | 2985 3219 630150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 44.7302 s Remaining CPU time: 135.27 s c =============================================================================== c | 0 | 2985 3220 633000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15346 c Elapsed CPU time: 45.1391 s Remaining CPU time: 134.861 s c =============================================================================== c | 0 | 2985 3221 635850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15345 c Elapsed CPU time: 45.5541 s Remaining CPU time: 134.446 s c =============================================================================== c | 0 | 2985 3222 638700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 45.972 s Remaining CPU time: 134.028 s c =============================================================================== c | 0 | 2985 3223 641550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15342 c Elapsed CPU time: 46.4229 s Remaining CPU time: 133.577 s c =============================================================================== c | 0 | 2985 3224 644400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15340 c Elapsed CPU time: 46.8849 s Remaining CPU time: 133.115 s c =============================================================================== c | 0 | 2985 3225 647250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 47.3428 s Remaining CPU time: 132.657 s c =============================================================================== c | 0 | 2985 3226 650100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15337 c Elapsed CPU time: 47.7947 s Remaining CPU time: 132.205 s c =============================================================================== c | 0 | 2985 3227 652950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15336 c Elapsed CPU time: 48.2517 s Remaining CPU time: 131.748 s c =============================================================================== c | 0 | 2985 3228 655800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15333 c Elapsed CPU time: 48.6966 s Remaining CPU time: 131.303 s c =============================================================================== c | 0 | 2985 3229 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15329 c Elapsed CPU time: 49.1455 s Remaining CPU time: 130.854 s c =============================================================================== c | 0 | 2985 3230 661500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15327 c Elapsed CPU time: 49.6135 s Remaining CPU time: 130.387 s c =============================================================================== c | 0 | 2985 3231 664350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 50.0894 s Remaining CPU time: 129.911 s c =============================================================================== c | 0 | 2985 3232 667200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15324 c Elapsed CPU time: 50.5543 s Remaining CPU time: 129.446 s c =============================================================================== c | 0 | 2985 3233 670050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15322 c Elapsed CPU time: 51.0222 s Remaining CPU time: 128.978 s c =============================================================================== c | 0 | 2985 3234 672900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 51.4952 s Remaining CPU time: 128.505 s c =============================================================================== c | 0 | 2985 3235 675750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15319 c Elapsed CPU time: 51.9611 s Remaining CPU time: 128.039 s c =============================================================================== c | 0 | 2985 3236 678600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15318 c Elapsed CPU time: 52.426 s Remaining CPU time: 127.574 s c =============================================================================== c | 0 | 2985 3237 681450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 52.905 s Remaining CPU time: 127.095 s c =============================================================================== c | 0 | 2985 3238 684300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15315 c Elapsed CPU time: 53.3719 s Remaining CPU time: 126.628 s c =============================================================================== c | 0 | 2985 3239 687150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 53.8418 s Remaining CPU time: 126.158 s c =============================================================================== c | 0 | 2985 3240 690000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 54.2997 s Remaining CPU time: 125.7 s c =============================================================================== c | 0 | 2985 3241 692850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 54.7657 s Remaining CPU time: 125.234 s c =============================================================================== c | 0 | 2985 3242 695700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15309 c Elapsed CPU time: 55.2376 s Remaining CPU time: 124.762 s c =============================================================================== c | 0 | 2985 3243 698550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15306 c Elapsed CPU time: 55.7085 s Remaining CPU time: 124.291 s c =============================================================================== c | 0 | 2985 3244 701400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15305 c Elapsed CPU time: 56.1985 s Remaining CPU time: 123.802 s c =============================================================================== c | 0 | 2985 3245 704250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15304 c Elapsed CPU time: 56.6744 s Remaining CPU time: 123.326 s c =============================================================================== c | 0 | 2985 3246 707100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15303 c Elapsed CPU time: 57.1553 s Remaining CPU time: 122.845 s c =============================================================================== c | 0 | 2985 3247 709950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15302 c Elapsed CPU time: 57.6612 s Remaining CPU time: 122.339 s c =============================================================================== c | 0 | 2985 3248 712800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 58.1492 s Remaining CPU time: 121.851 s c =============================================================================== c | 0 | 2985 3249 715650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15300 c Elapsed CPU time: 58.6311 s Remaining CPU time: 121.369 s c =============================================================================== c | 0 | 2985 3250 718500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15299 c Elapsed CPU time: 59.132 s Remaining CPU time: 120.868 s c =============================================================================== c | 0 | 2985 3251 721350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 59.6269 s Remaining CPU time: 120.373 s c =============================================================================== c | 0 | 2985 3252 724200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 60.1129 s Remaining CPU time: 119.887 s c =============================================================================== c | 0 | 2985 3253 727050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 60.5978 s Remaining CPU time: 119.402 s c =============================================================================== c | 0 | 2985 3254 729900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 61.0887 s Remaining CPU time: 118.911 s c =============================================================================== c | 1 | 2985 3255 732750 | 5000 1 2791 | 0.000 % | c =============================================================================== c New solution: 15291 c Elapsed CPU time: 61.5636 s Remaining CPU time: 118.436 s c =============================================================================== c | 1 | 2985 3256 735600 | 5000 1 2791 | 0.000 % | c =============================================================================== c New solution: 15288 c Elapsed CPU time: 62.0456 s Remaining CPU time: 117.954 s c =============================================================================== c | 2 | 2985 3257 738450 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 62.5385 s Remaining CPU time: 117.462 s c =============================================================================== c | 2 | 2985 3258 741300 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15286 c Elapsed CPU time: 63.0374 s Remaining CPU time: 116.963 s c =============================================================================== c | 2 | 2985 3259 744150 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15285 c Elapsed CPU time: 63.5643 s Remaining CPU time: 116.436 s c =============================================================================== c | 2 | 2985 3260 747000 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 64.0923 s Remaining CPU time: 115.908 s c =============================================================================== c | 2 | 2985 3261 749850 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15281 c Elapsed CPU time: 64.6292 s Remaining CPU time: 115.371 s c =============================================================================== c | 2 | 2985 3262 752700 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15280 c Elapsed CPU time: 65.1581 s Remaining CPU time: 114.842 s c =============================================================================== c | 2 | 2985 3263 755550 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15279 c Elapsed CPU time: 65.698 s Remaining CPU time: 114.302 s c =============================================================================== c | 2 | 2985 3264 758400 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 66.2309 s Remaining CPU time: 113.769 s c =============================================================================== c | 2 | 2985 3265 761250 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 66.7599 s Remaining CPU time: 113.24 s c =============================================================================== c | 2 | 2985 3266 764100 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 67.3138 s Remaining CPU time: 112.686 s c =============================================================================== c | 2 | 2985 3267 766950 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 67.8517 s Remaining CPU time: 112.148 s c =============================================================================== c | 2 | 2985 3268 769800 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 68.4276 s Remaining CPU time: 111.572 s c =============================================================================== c | 2 | 2985 3269 772650 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 68.9535 s Remaining CPU time: 111.046 s c =============================================================================== c | 2 | 2985 3270 775500 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 69.4944 s Remaining CPU time: 110.506 s c =============================================================================== c | 2 | 2985 3271 778350 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 70.0404 s Remaining CPU time: 109.96 s c =============================================================================== c | 2 | 2985 3272 781200 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15265 c Elapsed CPU time: 70.5943 s Remaining CPU time: 109.406 s c =============================================================================== c | 2 | 2985 3273 784050 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 71.1342 s Remaining CPU time: 108.866 s c =============================================================================== c | 2 | 2985 3274 786900 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15261 c Elapsed CPU time: 71.7061 s Remaining CPU time: 108.294 s c =============================================================================== c | 2 | 2985 3275 789750 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15259 c Elapsed CPU time: 72.239 s Remaining CPU time: 107.761 s c =============================================================================== c | 2 | 2985 3276 792600 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 72.7839 s Remaining CPU time: 107.216 s c =============================================================================== c | 2 | 2985 3277 795450 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 73.3079 s Remaining CPU time: 106.692 s c =============================================================================== c | 2 | 2985 3278 798300 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15255 c Elapsed CPU time: 73.8288 s Remaining CPU time: 106.171 s c =============================================================================== c | 2 | 2985 3279 801150 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 74.3797 s Remaining CPU time: 105.62 s c =============================================================================== c | 2 | 2985 3280 804000 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15253 c Elapsed CPU time: 74.9456 s Remaining CPU time: 105.054 s c =============================================================================== c | 3 | 2985 3281 806850 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 75.5535 s Remaining CPU time: 104.446 s c =============================================================================== c | 3 | 2985 3282 809700 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15251 c Elapsed CPU time: 76.1244 s Remaining CPU time: 103.876 s c =============================================================================== c | 3 | 2985 3283 812550 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 76.6993 s Remaining CPU time: 103.301 s c =============================================================================== c | 3 | 2985 3284 815400 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15249 c Elapsed CPU time: 77.2833 s Remaining CPU time: 102.717 s c =============================================================================== c | 3 | 2985 3285 818250 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 77.8662 s Remaining CPU time: 102.134 s c =============================================================================== c | 3 | 2985 3286 821100 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 78.4411 s Remaining CPU time: 101.559 s c =============================================================================== c | 3 | 2985 3287 823950 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15246 c Elapsed CPU time: 79.033 s Remaining CPU time: 100.967 s c =============================================================================== c | 3 | 2985 3288 826800 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15245 c Elapsed CPU time: 79.6269 s Remaining CPU time: 100.373 s c =============================================================================== c | 3 | 2985 3289 829650 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 80.2128 s Remaining CPU time: 99.7872 s c =============================================================================== c | 3 | 2985 3290 832500 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15243 c Elapsed CPU time: 80.8397 s Remaining CPU time: 99.1603 s c =============================================================================== c | 3 | 2985 3291 835350 | 5000 3 2788 | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 81.4366 s Remaining CPU time: 98.5634 s c =============================================================================== c | 4 | 2985 3292 838200 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15241 c Elapsed CPU time: 82.0455 s Remaining CPU time: 97.9545 s c =============================================================================== c | 4 | 2985 3293 841050 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15240 c Elapsed CPU time: 82.6304 s Remaining CPU time: 97.3696 s c =============================================================================== c | 4 | 2985 3294 843900 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15239 c Elapsed CPU time: 83.2014 s Remaining CPU time: 96.7986 s c =============================================================================== c | 4 | 2985 3295 846750 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 83.7813 s Remaining CPU time: 96.2187 s c =============================================================================== c | 4 | 2985 3296 849600 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 84.3622 s Remaining CPU time: 95.6378 s c =============================================================================== c | 4 | 2985 3297 852450 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 84.9421 s Remaining CPU time: 95.0579 s c =============================================================================== c | 4 | 2985 3298 855300 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15235 c Elapsed CPU time: 85.493 s Remaining CPU time: 94.507 s c =============================================================================== c | 4 | 2985 3299 858150 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15234 c Elapsed CPU time: 86.0899 s Remaining CPU time: 93.9101 s c =============================================================================== c | 4 | 2985 3300 861000 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15233 c Elapsed CPU time: 86.6918 s Remaining CPU time: 93.3082 s c =============================================================================== c | 4 | 2985 3301 863850 | 5000 4 2786 | 0.000 % | c =============================================================================== c New solution: 15232 c Elapsed CPU time: 87.3187 s Remaining CPU time: 92.6813 s c =============================================================================== c | 7 | 2985 3302 866700 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15231 c Elapsed CPU time: 87.9356 s Remaining CPU time: 92.0644 s c =============================================================================== c | 7 | 2985 3303 869550 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15230 c Elapsed CPU time: 88.5415 s Remaining CPU time: 91.4585 s c =============================================================================== c | 7 | 2985 3304 872400 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15229 c Elapsed CPU time: 89.1344 s Remaining CPU time: 90.8656 s c =============================================================================== c | 7 | 2985 3305 875250 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15228 c Elapsed CPU time: 89.7304 s Remaining CPU time: 90.2696 s c =============================================================================== c | 7 | 2985 3306 878100 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15227 c Elapsed CPU time: 90.3193 s Remaining CPU time: 89.6807 s c =============================================================================== c | 7 | 2985 3307 880950 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15226 c Elapsed CPU time: 90.9502 s Remaining CPU time: 89.0498 s c =============================================================================== c | 7 | 2985 3308 883800 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15225 c Elapsed CPU time: 91.5401 s Remaining CPU time: 88.4599 s c =============================================================================== c | 7 | 2985 3309 886650 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15224 c Elapsed CPU time: 92.134 s Remaining CPU time: 87.866 s c =============================================================================== c | 7 | 2985 3310 889500 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15223 c Elapsed CPU time: 92.7399 s Remaining CPU time: 87.2601 s c =============================================================================== c | 7 | 2985 3311 892350 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15222 c Elapsed CPU time: 93.3238 s Remaining CPU time: 86.6762 s c =============================================================================== c | 7 | 2985 3312 895200 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15221 c Elapsed CPU time: 93.9497 s Remaining CPU time: 86.0503 s c =============================================================================== c | 7 | 2985 3313 898050 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 94.6046 s Remaining CPU time: 85.3954 s c =============================================================================== c | 7 | 2985 3314 900900 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15219 c Elapsed CPU time: 95.2085 s Remaining CPU time: 84.7915 s c =============================================================================== c | 7 | 2985 3315 903750 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15218 c Elapsed CPU time: 95.8434 s Remaining CPU time: 84.1566 s c =============================================================================== c | 7 | 2985 3316 906600 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15217 c Elapsed CPU time: 96.4813 s Remaining CPU time: 83.5187 s c =============================================================================== c | 7 | 2985 3317 909450 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15216 c Elapsed CPU time: 97.1182 s Remaining CPU time: 82.8818 s c =============================================================================== c | 7 | 2985 3318 912300 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15215 c Elapsed CPU time: 97.7471 s Remaining CPU time: 82.2529 s c =============================================================================== c | 7 | 2985 3319 915150 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15214 c Elapsed CPU time: 98.365 s Remaining CPU time: 81.635 s c =============================================================================== c | 7 | 2985 3320 918000 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15213 c Elapsed CPU time: 98.989 s Remaining CPU time: 81.011 s c =============================================================================== c | 7 | 2985 3321 920850 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15212 c Elapsed CPU time: 99.6379 s Remaining CPU time: 80.3621 s c =============================================================================== c | 7 | 2985 3322 923700 | 5000 7 2783 | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 100.361 s Remaining CPU time: 79.6393 s c =============================================================================== c | 16 | 2985 3323 926550 | 5000 16 2780 | 0.000 % | c =============================================================================== c New solution: 15210 c Elapsed CPU time: 101.011 s Remaining CPU time: 78.9894 s c =============================================================================== c | 17 | 2985 3324 929400 | 5000 17 2780 | 0.000 % | c =============================================================================== c New solution: 15209 c Elapsed CPU time: 101.639 s Remaining CPU time: 78.3615 s c =============================================================================== c | 17 | 2985 3325 932250 | 5000 17 2780 | 0.000 % | c =============================================================================== c New solution: 15208 c Elapsed CPU time: 102.26 s Remaining CPU time: 77.7395 s c =============================================================================== c | 17 | 2985 3326 935100 | 5000 17 2780 | 0.000 % | c =============================================================================== c New solution: 15207 c Elapsed CPU time: 102.906 s Remaining CPU time: 77.0936 s c =============================================================================== c | 21 | 2985 3327 937950 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 103.563 s Remaining CPU time: 76.4367 s c =============================================================================== c | 21 | 2985 3328 940800 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15205 c Elapsed CPU time: 104.187 s Remaining CPU time: 75.8128 s c =============================================================================== c | 21 | 2985 3329 943650 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15204 c Elapsed CPU time: 104.817 s Remaining CPU time: 75.1829 s c =============================================================================== c | 21 | 2985 3330 946500 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15203 c Elapsed CPU time: 105.455 s Remaining CPU time: 74.545 s c =============================================================================== c | 21 | 2985 3331 949350 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15202 c Elapsed CPU time: 106.116 s Remaining CPU time: 73.8841 s c =============================================================================== c | 21 | 2985 3332 952200 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15201 c Elapsed CPU time: 106.777 s Remaining CPU time: 73.2232 s c =============================================================================== c | 21 | 2985 3333 955050 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15200 c Elapsed CPU time: 107.45 s Remaining CPU time: 72.5503 s c =============================================================================== c | 21 | 2985 3334 957900 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15199 c Elapsed CPU time: 108.079 s Remaining CPU time: 71.9214 s c =============================================================================== c | 21 | 2985 3335 960750 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15198 c Elapsed CPU time: 108.73 s Remaining CPU time: 71.2695 s c =============================================================================== c | 21 | 2985 3336 963600 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15197 c Elapsed CPU time: 109.366 s Remaining CPU time: 70.6336 s c =============================================================================== c | 21 | 2985 3337 966450 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15196 c Elapsed CPU time: 110.031 s Remaining CPU time: 69.9687 s c =============================================================================== c | 21 | 2985 3338 969300 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15195 c Elapsed CPU time: 110.694 s Remaining CPU time: 69.3058 s c =============================================================================== c | 21 | 2985 3339 972150 | 5000 21 2779 | 0.000 % | c =============================================================================== c New solution: 15194 c Elapsed CPU time: 111.379 s Remaining CPU time: 68.6209 s c =============================================================================== c | 22 | 2985 3340 975000 | 5000 22 2779 | 0.000 % | c =============================================================================== c New solution: 15193 c Elapsed CPU time: 112.029 s Remaining CPU time: 67.971 s c =============================================================================== c | 22 | 2985 3341 977850 | 5000 22 2779 | 0.000 % | c =============================================================================== c New solution: 15192 c Elapsed CPU time: 112.695 s Remaining CPU time: 67.3051 s c =============================================================================== c | 22 | 2985 3342 980700 | 5000 22 2779 | 0.000 % | c =============================================================================== c New solution: 15191 c Elapsed CPU time: 113.348 s Remaining CPU time: 66.6522 s c =============================================================================== c | 22 | 2985 3343 983550 | 5000 22 2779 | 0.000 % | c =============================================================================== c New solution: 15190 c Elapsed CPU time: 114.057 s Remaining CPU time: 65.9433 s c =============================================================================== c | 25 | 2985 3344 986400 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15189 c Elapsed CPU time: 114.732 s Remaining CPU time: 65.2684 s c =============================================================================== c | 25 | 2985 3345 989250 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15188 c Elapsed CPU time: 115.406 s Remaining CPU time: 64.5935 s c =============================================================================== c | 25 | 2985 3346 992100 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15187 c Elapsed CPU time: 116.089 s Remaining CPU time: 63.9106 s c =============================================================================== c | 25 | 2985 3347 994950 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15186 c Elapsed CPU time: 116.806 s Remaining CPU time: 63.1938 s c =============================================================================== c | 25 | 2985 3348 997800 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15185 c Elapsed CPU time: 117.524 s Remaining CPU time: 62.4759 s c =============================================================================== c | 25 | 2985 3349 1000650 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15184 c Elapsed CPU time: 118.217 s Remaining CPU time: 61.783 s c =============================================================================== c | 25 | 2985 3350 1003500 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15183 c Elapsed CPU time: 118.956 s Remaining CPU time: 61.0441 s c =============================================================================== c | 25 | 2985 3351 1006350 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15182 c Elapsed CPU time: 119.723 s Remaining CPU time: 60.2772 s c =============================================================================== c | 25 | 2985 3352 1009200 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15181 c Elapsed CPU time: 120.439 s Remaining CPU time: 59.5613 s c =============================================================================== c | 25 | 2985 3353 1012050 | 5000 25 2778 | 0.000 % | c =============================================================================== c New solution: 15180 c Elapsed CPU time: 121.161 s Remaining CPU time: 58.8394 s c =============================================================================== c | 28 | 2985 3354 1014900 | 5000 28 2777 | 0.000 % | c =============================================================================== c New solution: 15179 c Elapsed CPU time: 121.832 s Remaining CPU time: 58.1675 s c =============================================================================== c | 28 | 2985 3355 1017750 | 5000 28 2777 | 0.000 % | c =============================================================================== c New solution: 15178 c Elapsed CPU time: 122.526 s Remaining CPU time: 57.4736 s c =============================================================================== c | 28 | 2985 3356 1020600 | 5000 28 2777 | 0.000 % | c =============================================================================== c New solution: 15177 c Elapsed CPU time: 123.225 s Remaining CPU time: 56.7747 s c =============================================================================== c | 29 | 2985 3357 1023450 | 5000 29 2777 | 0.000 % | c =============================================================================== c New solution: 15176 c Elapsed CPU time: 123.944 s Remaining CPU time: 56.0558 s c =============================================================================== c | 33 | 2985 3358 1026300 | 5000 33 2776 | 0.000 % | c =============================================================================== c New solution: 15175 c Elapsed CPU time: 124.63 s Remaining CPU time: 55.3699 s c =============================================================================== c | 33 | 2985 3359 1029150 | 5000 33 2776 | 0.000 % | c =============================================================================== c New solution: 15174 c Elapsed CPU time: 125.352 s Remaining CPU time: 54.6481 s c =============================================================================== c | 33 | 2985 3360 1032000 | 5000 33 2776 | 0.000 % | c =============================================================================== c New solution: 15173 c Elapsed CPU time: 126.057 s Remaining CPU time: 53.9432 s c =============================================================================== c | 33 | 2985 3361 1034850 | 5000 33 2776 | 0.000 % | c =============================================================================== c New solution: 15172 c Elapsed CPU time: 126.754 s Remaining CPU time: 53.2463 s c =============================================================================== c | 33 | 2985 3362 1037700 | 5000 33 2776 | 0.000 % | c =============================================================================== c New solution: 15171 c Elapsed CPU time: 127.464 s Remaining CPU time: 52.5364 s c =============================================================================== c | 33 | 2985 3363 1040550 | 5000 33 2776 | 0.000 % | c =============================================================================== c New solution: 15170 c Elapsed CPU time: 128.145 s Remaining CPU time: 51.8555 s c =============================================================================== c | 33 | 2985 3364 1043400 | 5000 33 2776 | 0.000 % | c =============================================================================== c New solution: 15169 c Elapsed CPU time: 128.855 s Remaining CPU time: 51.1446 s c =============================================================================== c | 33 | 2985 3365 1046250 | 5000 33 2776 | 0.000 % | c =============================================================================== c New solution: 15168 c Elapsed CPU time: 129.579 s Remaining CPU time: 50.4207 s c =============================================================================== c | 34 | 2985 3366 1049100 | 5000 34 2694 | 0.000 % | c =============================================================================== c New solution: 15167 c Elapsed CPU time: 130.304 s Remaining CPU time: 49.6958 s c =============================================================================== c | 34 | 2985 3367 1051950 | 5000 34 2694 | 0.000 % | c =============================================================================== c New solution: 15166 c Elapsed CPU time: 131.03 s Remaining CPU time: 48.9699 s c =============================================================================== c | 34 | 2985 3368 1054800 | 5000 34 2694 | 0.000 % | c =============================================================================== c New solution: 15165 c Elapsed CPU time: 131.761 s Remaining CPU time: 48.239 s c =============================================================================== c | 34 | 2985 3369 1057650 | 5000 34 2694 | 0.000 % | c =============================================================================== c New solution: 15164 c Elapsed CPU time: 132.485 s Remaining CPU time: 47.5151 s c =============================================================================== c | 34 | 2985 3370 1060500 | 5000 34 2694 | 0.000 % | c =============================================================================== c New solution: 15163 c Elapsed CPU time: 133.197 s Remaining CPU time: 46.8032 s c =============================================================================== c | 34 | 2985 3371 1063350 | 5000 34 2694 | 0.000 % | c =============================================================================== c New solution: 15162 c Elapsed CPU time: 133.938 s Remaining CPU time: 46.0624 s c =============================================================================== c | 35 | 2985 3372 1066200 | 5000 35 2696 | 0.000 % | c =============================================================================== c New solution: 15161 c Elapsed CPU time: 134.675 s Remaining CPU time: 45.3255 s c =============================================================================== c | 35 | 2985 3373 1069050 | 5000 35 2696 | 0.000 % | c =============================================================================== c New solution: 15160 c Elapsed CPU time: 135.414 s Remaining CPU time: 44.5856 s c =============================================================================== c | 35 | 2985 3374 1071900 | 5000 35 2696 | 0.000 % | c =============================================================================== c New solution: 15159 c Elapsed CPU time: 136.168 s Remaining CPU time: 43.8317 s c =============================================================================== c | 36 | 2985 3375 1074750 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15158 c Elapsed CPU time: 136.884 s Remaining CPU time: 43.1158 s c =============================================================================== c | 36 | 2985 3376 1077600 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15157 c Elapsed CPU time: 137.623 s Remaining CPU time: 42.3769 s c =============================================================================== c | 36 | 2985 3377 1080450 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15156 c Elapsed CPU time: 138.348 s Remaining CPU time: 41.652 s c =============================================================================== c | 36 | 2985 3378 1083300 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15155 c Elapsed CPU time: 139.111 s Remaining CPU time: 40.8891 s c =============================================================================== c | 36 | 2985 3379 1086150 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15154 c Elapsed CPU time: 139.883 s Remaining CPU time: 40.1173 s c =============================================================================== c | 36 | 2985 3380 1089000 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15153 c Elapsed CPU time: 140.643 s Remaining CPU time: 39.3574 s c =============================================================================== c | 36 | 2985 3381 1091850 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15152 c Elapsed CPU time: 141.406 s Remaining CPU time: 38.5945 s c =============================================================================== c | 36 | 2985 3382 1094700 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15151 c Elapsed CPU time: 142.148 s Remaining CPU time: 37.8516 s c =============================================================================== c | 36 | 2985 3383 1097550 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15150 c Elapsed CPU time: 142.889 s Remaining CPU time: 37.1107 s c =============================================================================== c | 36 | 2985 3384 1100400 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15149 c Elapsed CPU time: 143.652 s Remaining CPU time: 36.3478 s c =============================================================================== c | 36 | 2985 3385 1103250 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15148 c Elapsed CPU time: 144.441 s Remaining CPU time: 35.559 s c =============================================================================== c | 36 | 2985 3386 1106100 | 5000 36 2698 | 0.000 % | c =============================================================================== c New solution: 15147 c Elapsed CPU time: 145.304 s Remaining CPU time: 34.6961 s c =============================================================================== c | 41 | 2985 3387 1108950 | 5000 41 2706 | 0.000 % | c =============================================================================== c New solution: 15146 c Elapsed CPU time: 146.078 s Remaining CPU time: 33.9222 s c =============================================================================== c | 41 | 2985 3388 1111800 | 5000 41 2706 | 0.000 % | c =============================================================================== c New solution: 15145 c Elapsed CPU time: 146.85 s Remaining CPU time: 33.1503 s c =============================================================================== c | 41 | 2985 3389 1114650 | 5000 41 2706 | 0.000 % | c =============================================================================== c New solution: 15144 c Elapsed CPU time: 147.618 s Remaining CPU time: 32.3824 s c =============================================================================== c | 45 | 2985 3390 1117500 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15143 c Elapsed CPU time: 148.394 s Remaining CPU time: 31.6056 s c =============================================================================== c | 45 | 2985 3391 1120350 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15142 c Elapsed CPU time: 149.19 s Remaining CPU time: 30.8097 s c =============================================================================== c | 45 | 2985 3392 1123200 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15141 c Elapsed CPU time: 149.952 s Remaining CPU time: 30.0478 s c =============================================================================== c | 45 | 2985 3393 1126050 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15140 c Elapsed CPU time: 150.789 s Remaining CPU time: 29.2109 s c =============================================================================== c | 45 | 2985 3394 1128900 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15139 c Elapsed CPU time: 151.575 s Remaining CPU time: 28.425 s c =============================================================================== c | 45 | 2985 3395 1131750 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15138 c Elapsed CPU time: 152.361 s Remaining CPU time: 27.6392 s c =============================================================================== c | 45 | 2985 3396 1134600 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15137 c Elapsed CPU time: 153.135 s Remaining CPU time: 26.8653 s c =============================================================================== c | 45 | 2985 3397 1137450 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15136 c Elapsed CPU time: 153.921 s Remaining CPU time: 26.0794 s c =============================================================================== c | 45 | 2985 3398 1140300 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15135 c Elapsed CPU time: 154.695 s Remaining CPU time: 25.3045 s c =============================================================================== c | 45 | 2985 3399 1143150 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15134 c Elapsed CPU time: 155.461 s Remaining CPU time: 24.5386 s c =============================================================================== c | 45 | 2985 3400 1146000 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15133 c Elapsed CPU time: 156.27 s Remaining CPU time: 23.7298 s c =============================================================================== c | 45 | 2985 3401 1148850 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15132 c Elapsed CPU time: 157.024 s Remaining CPU time: 22.9759 s c =============================================================================== c | 45 | 2985 3402 1151700 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15131 c Elapsed CPU time: 157.781 s Remaining CPU time: 22.219 s c =============================================================================== c | 45 | 2985 3403 1154550 | 5000 45 2711 | 0.000 % | c =============================================================================== c New solution: 15130 c Elapsed CPU time: 158.573 s Remaining CPU time: 21.4271 s c =============================================================================== c | 46 | 2985 3404 1157400 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15129 c Elapsed CPU time: 159.377 s Remaining CPU time: 20.6232 s c =============================================================================== c | 46 | 2985 3405 1160250 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15128 c Elapsed CPU time: 160.147 s Remaining CPU time: 19.8533 s c =============================================================================== c | 46 | 2985 3406 1163100 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15127 c Elapsed CPU time: 160.918 s Remaining CPU time: 19.0825 s c =============================================================================== c | 46 | 2985 3407 1165950 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15126 c Elapsed CPU time: 161.724 s Remaining CPU time: 18.2756 s c =============================================================================== c | 46 | 2985 3408 1168800 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15125 c Elapsed CPU time: 162.521 s Remaining CPU time: 17.4787 s c =============================================================================== c | 46 | 2985 3409 1171650 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15124 c Elapsed CPU time: 163.329 s Remaining CPU time: 16.6708 s c =============================================================================== c | 46 | 2985 3410 1174500 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15123 c Elapsed CPU time: 164.024 s Remaining CPU time: 15.9759 s c =============================================================================== c | 46 | 2985 3411 1177350 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15122 c Elapsed CPU time: 164.665 s Remaining CPU time: 15.335 s c =============================================================================== c | 46 | 2985 3412 1180200 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15121 c Elapsed CPU time: 165.314 s Remaining CPU time: 14.6861 s c =============================================================================== c | 46 | 2985 3413 1183050 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15120 c Elapsed CPU time: 165.973 s Remaining CPU time: 14.0272 s c =============================================================================== c | 46 | 2985 3414 1185900 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15119 c Elapsed CPU time: 166.61 s Remaining CPU time: 13.3903 s c =============================================================================== c | 46 | 2985 3415 1188750 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15118 c Elapsed CPU time: 167.272 s Remaining CPU time: 12.7284 s c =============================================================================== c | 46 | 2985 3416 1191600 | 5000 46 2712 | 0.000 % | c =============================================================================== c New solution: 15117 c Elapsed CPU time: 167.941 s Remaining CPU time: 12.0585 s c =============================================================================== c | 48 | 2985 3417 1194450 | 5000 48 2714 | 0.000 % | c =============================================================================== c New solution: 15116 c Elapsed CPU time: 168.596 s Remaining CPU time: 11.4036 s c =============================================================================== c | 48 | 2985 3418 1197300 | 5000 48 2714 | 0.000 % | c =============================================================================== c New solution: 15115 c Elapsed CPU time: 169.278 s Remaining CPU time: 10.7217 s c =============================================================================== c | 48 | 2985 3419 1200150 | 5000 48 2714 | 0.000 % | c =============================================================================== c New solution: 15114 c Elapsed CPU time: 169.943 s Remaining CPU time: 10.0568 s c =============================================================================== c | 48 | 2985 3420 1203000 | 5000 48 2714 | 0.000 % | c =============================================================================== c New solution: 15113 c Elapsed CPU time: 170.595 s Remaining CPU time: 9.40493 s c =============================================================================== c | 52 | 2985 3421 1205850 | 5000 52 2717 | 0.000 % | c =============================================================================== c New solution: 15112 c Elapsed CPU time: 171.249 s Remaining CPU time: 8.75103 s c =============================================================================== c | 52 | 2985 3422 1208700 | 5000 52 2717 | 0.000 % | c =============================================================================== c New solution: 15111 c Elapsed CPU time: 171.89 s Remaining CPU time: 8.11013 s c =============================================================================== c | 52 | 2985 3423 1211550 | 5000 52 2717 | 0.000 % | c =============================================================================== c New solution: 15110 c Elapsed CPU time: 172.57 s Remaining CPU time: 7.43024 s c =============================================================================== c | 52 | 2985 3424 1214400 | 5000 52 2717 | 0.000 % | c =============================================================================== c New solution: 15109 c Elapsed CPU time: 173.24 s Remaining CPU time: 6.76034 s c =============================================================================== c | 55 | 2985 3425 1217250 | 5000 55 2720 | 0.000 % | c =============================================================================== c New solution: 15108 c Elapsed CPU time: 173.941 s Remaining CPU time: 6.05944 s c =============================================================================== c | 55 | 2985 3426 1220100 | 5000 55 2720 | 0.000 % | c =============================================================================== c New solution: 15107 c Elapsed CPU time: 174.784 s Remaining CPU time: 5.21557 s c =============================================================================== c | 76 | 2985 3427 1222950 | 5000 76 2730 | 0.000 % | c =============================================================================== c New solution: 15106 c Elapsed CPU time: 175.474 s Remaining CPU time: 4.52568 s c =============================================================================== c | 76 | 2985 3428 1225800 | 5000 76 2730 | 0.000 % | c =============================================================================== c New solution: 15105 c Elapsed CPU time: 176.158 s Remaining CPU time: 3.84178 s c =============================================================================== c | 76 | 2985 3429 1228650 | 5000 76 2730 | 0.000 % | c =============================================================================== c New solution: 15104 c Elapsed CPU time: 176.818 s Remaining CPU time: 3.18188 s c =============================================================================== c | 76 | 2985 3430 1231500 | 5000 76 2730 | 0.000 % | c =============================================================================== c New solution: 15103 c Elapsed CPU time: 177.558 s Remaining CPU time: 2.44199 s c =============================================================================== c | 82 | 2985 3431 1234350 | 5000 82 2732 | 0.000 % | c =============================================================================== c New solution: 15102 c Elapsed CPU time: 178.24 s Remaining CPU time: 1.7601 s c =============================================================================== c | 82 | 2985 3432 1237200 | 5000 82 2732 | 0.000 % | c =============================================================================== c New solution: 15101 c Elapsed CPU time: 178.927 s Remaining CPU time: 1.0732 s c =============================================================================== c | 82 | 2985 3433 1240050 | 5000 82 2732 | 0.000 % | c =============================================================================== c New solution: 15100 c Elapsed CPU time: 179.602 s Remaining CPU time: 0.398304 s c =============================================================================== c | 82 | 2985 3434 1242900 | 5000 82 2732 | 0.000 % | c There are 15 assigned variables. 3 in cost function.