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 | 2998 3001 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15444 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 2998 3002 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15440 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 2998 3003 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15439 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 2998 3004 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15435 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 2998 3005 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15433 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 2998 3006 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15432 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 2998 3007 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15428 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 2998 3008 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15426 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 2998 3009 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15425 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 2998 3010 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15424 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 0 | 2998 3011 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15422 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 0 | 2998 3012 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15419 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 0 | 2998 3013 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15418 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 0 | 2998 3014 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15417 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 0 | 2998 3015 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15414 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 0 | 2998 3016 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 0 | 2998 3017 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15412 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 0 | 2998 3018 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15411 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 1 | 2998 3019 60150 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15410 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 1 | 2998 3020 63000 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15409 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 1 | 2998 3021 65850 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15407 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 1 | 2998 3022 68700 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15406 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 1 | 2998 3023 71550 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 1 | 2998 3024 74400 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15404 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 1 | 2998 3025 77250 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15403 c Elapsed CPU time: 1.02884 s Remaining CPU time: 178.971 s c =============================================================================== c | 1 | 2998 3026 80100 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15402 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 1 | 2998 3027 82950 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15401 c Elapsed CPU time: 1.15582 s Remaining CPU time: 178.844 s c =============================================================================== c | 1 | 2998 3028 85800 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15400 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 1 | 2998 3029 88650 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15399 c Elapsed CPU time: 1.3008 s Remaining CPU time: 178.699 s c =============================================================================== c | 1 | 2998 3030 91500 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15398 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s c =============================================================================== c | 1 | 2998 3031 94350 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 1.43178 s Remaining CPU time: 178.568 s c =============================================================================== c | 1 | 2998 3032 97200 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15396 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 1 | 2998 3033 100050 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15395 c Elapsed CPU time: 1.58376 s Remaining CPU time: 178.416 s c =============================================================================== c | 1 | 2998 3034 102900 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15394 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 1 | 2998 3035 105750 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15393 c Elapsed CPU time: 1.72774 s Remaining CPU time: 178.272 s c =============================================================================== c | 1 | 2998 3036 108600 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15392 c Elapsed CPU time: 1.80872 s Remaining CPU time: 178.191 s c =============================================================================== c | 1 | 2998 3037 111450 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15389 c Elapsed CPU time: 1.89871 s Remaining CPU time: 178.101 s c =============================================================================== c | 1 | 2998 3038 114300 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15388 c Elapsed CPU time: 1.9827 s Remaining CPU time: 178.017 s c =============================================================================== c | 1 | 2998 3039 117150 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15387 c Elapsed CPU time: 2.07768 s Remaining CPU time: 177.922 s c =============================================================================== c | 1 | 2998 3040 120000 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15386 c Elapsed CPU time: 2.16867 s Remaining CPU time: 177.831 s c =============================================================================== c | 1 | 2998 3041 122850 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15385 c Elapsed CPU time: 2.25966 s Remaining CPU time: 177.74 s c =============================================================================== c | 1 | 2998 3042 125700 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15384 c Elapsed CPU time: 2.35464 s Remaining CPU time: 177.645 s c =============================================================================== c | 1 | 2998 3043 128550 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15383 c Elapsed CPU time: 2.45863 s Remaining CPU time: 177.541 s c =============================================================================== c | 1 | 2998 3044 131400 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15382 c Elapsed CPU time: 2.55761 s Remaining CPU time: 177.442 s c =============================================================================== c | 1 | 2998 3045 134250 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15381 c Elapsed CPU time: 2.6536 s Remaining CPU time: 177.346 s c =============================================================================== c | 1 | 2998 3046 137100 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15380 c Elapsed CPU time: 2.74758 s Remaining CPU time: 177.252 s c =============================================================================== c | 1 | 2998 3047 139950 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 2.84457 s Remaining CPU time: 177.155 s c =============================================================================== c | 1 | 2998 3048 142800 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s c =============================================================================== c | 1 | 2998 3049 145650 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15376 c Elapsed CPU time: 3.05154 s Remaining CPU time: 176.948 s c =============================================================================== c | 1 | 2998 3050 148500 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15375 c Elapsed CPU time: 3.16052 s Remaining CPU time: 176.839 s c =============================================================================== c | 1 | 2998 3051 151350 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15374 c Elapsed CPU time: 3.2705 s Remaining CPU time: 176.729 s c =============================================================================== c | 1 | 2998 3052 154200 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15373 c Elapsed CPU time: 3.37849 s Remaining CPU time: 176.622 s c =============================================================================== c | 1 | 2998 3053 157050 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15372 c Elapsed CPU time: 3.49747 s Remaining CPU time: 176.503 s c =============================================================================== c | 1 | 2998 3054 159900 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15371 c Elapsed CPU time: 3.60445 s Remaining CPU time: 176.396 s c =============================================================================== c | 1 | 2998 3055 162750 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15370 c Elapsed CPU time: 3.72943 s Remaining CPU time: 176.271 s c =============================================================================== c | 1 | 2998 3056 165600 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15369 c Elapsed CPU time: 3.85141 s Remaining CPU time: 176.149 s c =============================================================================== c | 1 | 2998 3057 168450 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15368 c Elapsed CPU time: 3.9774 s Remaining CPU time: 176.023 s c =============================================================================== c | 1 | 2998 3058 171300 | 5000 1 2843 | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 4.09438 s Remaining CPU time: 175.906 s c =============================================================================== c | 2 | 2998 3059 174150 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15366 c Elapsed CPU time: 4.22436 s Remaining CPU time: 175.776 s c =============================================================================== c | 2 | 2998 3060 177000 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15365 c Elapsed CPU time: 4.34034 s Remaining CPU time: 175.66 s c =============================================================================== c | 2 | 2998 3061 179850 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15364 c Elapsed CPU time: 4.47532 s Remaining CPU time: 175.525 s c =============================================================================== c | 2 | 2998 3062 182700 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15363 c Elapsed CPU time: 4.6143 s Remaining CPU time: 175.386 s c =============================================================================== c | 2 | 2998 3063 185550 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15362 c Elapsed CPU time: 4.74928 s Remaining CPU time: 175.251 s c =============================================================================== c | 2 | 2998 3064 188400 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15361 c Elapsed CPU time: 4.89026 s Remaining CPU time: 175.11 s c =============================================================================== c | 2 | 2998 3065 191250 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15360 c Elapsed CPU time: 5.03523 s Remaining CPU time: 174.965 s c =============================================================================== c | 2 | 2998 3066 194100 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15359 c Elapsed CPU time: 5.19121 s Remaining CPU time: 174.809 s c =============================================================================== c | 2 | 2998 3067 196950 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 5.32919 s Remaining CPU time: 174.671 s c =============================================================================== c | 2 | 2998 3068 199800 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15357 c Elapsed CPU time: 5.47117 s Remaining CPU time: 174.529 s c =============================================================================== c | 2 | 2998 3069 202650 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15356 c Elapsed CPU time: 5.60615 s Remaining CPU time: 174.394 s c =============================================================================== c | 2 | 2998 3070 205500 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15355 c Elapsed CPU time: 5.73513 s Remaining CPU time: 174.265 s c =============================================================================== c | 2 | 2998 3071 208350 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15354 c Elapsed CPU time: 5.8811 s Remaining CPU time: 174.119 s c =============================================================================== c | 2 | 2998 3072 211200 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 6.02908 s Remaining CPU time: 173.971 s c =============================================================================== c | 2 | 2998 3073 214050 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 6.16506 s Remaining CPU time: 173.835 s c =============================================================================== c | 2 | 2998 3074 216900 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15351 c Elapsed CPU time: 6.30304 s Remaining CPU time: 173.697 s c =============================================================================== c | 2 | 2998 3075 219750 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 6.44002 s Remaining CPU time: 173.56 s c =============================================================================== c | 2 | 2998 3076 222600 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15349 c Elapsed CPU time: 6.589 s Remaining CPU time: 173.411 s c =============================================================================== c | 2 | 2998 3077 225450 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15348 c Elapsed CPU time: 6.75097 s Remaining CPU time: 173.249 s c =============================================================================== c | 2 | 2998 3078 228300 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15347 c Elapsed CPU time: 6.90195 s Remaining CPU time: 173.098 s c =============================================================================== c | 2 | 2998 3079 231150 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15346 c Elapsed CPU time: 7.06893 s Remaining CPU time: 172.931 s c =============================================================================== c | 2 | 2998 3080 234000 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15345 c Elapsed CPU time: 7.2219 s Remaining CPU time: 172.778 s c =============================================================================== c | 2 | 2998 3081 236850 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15344 c Elapsed CPU time: 7.38288 s Remaining CPU time: 172.617 s c =============================================================================== c | 2 | 2998 3082 239700 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 7.54185 s Remaining CPU time: 172.458 s c =============================================================================== c | 2 | 2998 3083 242550 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15342 c Elapsed CPU time: 7.70383 s Remaining CPU time: 172.296 s c =============================================================================== c | 2 | 2998 3084 245400 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15341 c Elapsed CPU time: 7.8798 s Remaining CPU time: 172.12 s c =============================================================================== c | 2 | 2998 3085 248250 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15340 c Elapsed CPU time: 8.04278 s Remaining CPU time: 171.957 s c =============================================================================== c | 2 | 2998 3086 251100 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 8.21075 s Remaining CPU time: 171.789 s c =============================================================================== c | 2 | 2998 3087 253950 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15338 c Elapsed CPU time: 8.38673 s Remaining CPU time: 171.613 s c =============================================================================== c | 2 | 2998 3088 256800 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15337 c Elapsed CPU time: 8.58269 s Remaining CPU time: 171.417 s c =============================================================================== c | 2 | 2998 3089 259650 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15336 c Elapsed CPU time: 8.77467 s Remaining CPU time: 171.225 s c =============================================================================== c | 2 | 2998 3090 262500 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15335 c Elapsed CPU time: 8.96264 s Remaining CPU time: 171.037 s c =============================================================================== c | 2 | 2998 3091 265350 | 5000 2 1422 | 0.000 % | c =============================================================================== c New solution: 15334 c Elapsed CPU time: 9.1746 s Remaining CPU time: 170.825 s c =============================================================================== c | 3 | 2998 3092 268200 | 5000 3 949 | 0.000 % | c =============================================================================== c New solution: 15333 c Elapsed CPU time: 9.35558 s Remaining CPU time: 170.644 s c =============================================================================== c | 3 | 2998 3093 271050 | 5000 3 949 | 0.000 % | c =============================================================================== c New solution: 15332 c Elapsed CPU time: 9.54455 s Remaining CPU time: 170.455 s c =============================================================================== c | 3 | 2998 3094 273900 | 5000 3 949 | 0.000 % | c =============================================================================== c New solution: 15331 c Elapsed CPU time: 9.74152 s Remaining CPU time: 170.258 s c =============================================================================== c | 3 | 2998 3095 276750 | 5000 3 949 | 0.000 % | c =============================================================================== c New solution: 15330 c Elapsed CPU time: 9.93149 s Remaining CPU time: 170.069 s c =============================================================================== c | 3 | 2998 3096 279600 | 5000 3 949 | 0.000 % | c =============================================================================== c New solution: 15329 c Elapsed CPU time: 10.1265 s Remaining CPU time: 169.874 s c =============================================================================== c | 3 | 2998 3097 282450 | 5000 3 949 | 0.000 % | c =============================================================================== c New solution: 15328 c Elapsed CPU time: 10.3274 s Remaining CPU time: 169.673 s c =============================================================================== c | 3 | 2998 3098 285300 | 5000 3 949 | 0.000 % | c =============================================================================== c New solution: 15327 c Elapsed CPU time: 10.5314 s Remaining CPU time: 169.469 s c =============================================================================== c | 4 | 2998 3099 288150 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15326 c Elapsed CPU time: 10.7394 s Remaining CPU time: 169.261 s c =============================================================================== c | 4 | 2998 3100 291000 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 10.9443 s Remaining CPU time: 169.056 s c =============================================================================== c | 4 | 2998 3101 293850 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15324 c Elapsed CPU time: 11.1573 s Remaining CPU time: 168.843 s c =============================================================================== c | 4 | 2998 3102 296700 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15323 c Elapsed CPU time: 11.3843 s Remaining CPU time: 168.616 s c =============================================================================== c | 4 | 2998 3103 299550 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15322 c Elapsed CPU time: 11.6102 s Remaining CPU time: 168.39 s c =============================================================================== c | 4 | 2998 3104 302400 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15321 c Elapsed CPU time: 11.8362 s Remaining CPU time: 168.164 s c =============================================================================== c | 4 | 2998 3105 305250 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 12.0752 s Remaining CPU time: 167.925 s c =============================================================================== c | 4 | 2998 3106 308100 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15319 c Elapsed CPU time: 12.3011 s Remaining CPU time: 167.699 s c =============================================================================== c | 4 | 2998 3107 310950 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15318 c Elapsed CPU time: 12.5511 s Remaining CPU time: 167.449 s c =============================================================================== c | 4 | 2998 3108 313800 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 12.8201 s Remaining CPU time: 167.18 s c =============================================================================== c | 4 | 2998 3109 316650 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15316 c Elapsed CPU time: 13.065 s Remaining CPU time: 166.935 s c =============================================================================== c | 4 | 2998 3110 319500 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15315 c Elapsed CPU time: 13.297 s Remaining CPU time: 166.703 s c =============================================================================== c | 4 | 2998 3111 322350 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 13.5369 s Remaining CPU time: 166.463 s c =============================================================================== c | 4 | 2998 3112 325200 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15313 c Elapsed CPU time: 13.7849 s Remaining CPU time: 166.215 s c =============================================================================== c | 4 | 2998 3113 328050 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 14.0239 s Remaining CPU time: 165.976 s c =============================================================================== c | 4 | 2998 3114 330900 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 14.2758 s Remaining CPU time: 165.724 s c =============================================================================== c | 4 | 2998 3115 333750 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 14.5488 s Remaining CPU time: 165.451 s c =============================================================================== c | 4 | 2998 3116 336600 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15309 c Elapsed CPU time: 14.8087 s Remaining CPU time: 165.191 s c =============================================================================== c | 4 | 2998 3117 339450 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15308 c Elapsed CPU time: 15.0597 s Remaining CPU time: 164.94 s c =============================================================================== c | 4 | 2998 3118 342300 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15307 c Elapsed CPU time: 15.3167 s Remaining CPU time: 164.683 s c =============================================================================== c | 4 | 2998 3119 345150 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15306 c Elapsed CPU time: 15.5956 s Remaining CPU time: 164.404 s c =============================================================================== c | 4 | 2998 3120 348000 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15305 c Elapsed CPU time: 15.8786 s Remaining CPU time: 164.121 s c =============================================================================== c | 4 | 2998 3121 350850 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15304 c Elapsed CPU time: 16.1415 s Remaining CPU time: 163.858 s c =============================================================================== c | 4 | 2998 3122 353700 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15303 c Elapsed CPU time: 16.3665 s Remaining CPU time: 163.633 s c =============================================================================== c | 4 | 2998 3123 356550 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15302 c Elapsed CPU time: 16.6335 s Remaining CPU time: 163.367 s c =============================================================================== c | 4 | 2998 3124 359400 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 16.8904 s Remaining CPU time: 163.11 s c =============================================================================== c | 4 | 2998 3125 362250 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15300 c Elapsed CPU time: 17.1944 s Remaining CPU time: 162.806 s c =============================================================================== c | 4 | 2998 3126 365100 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15299 c Elapsed CPU time: 17.4833 s Remaining CPU time: 162.517 s c =============================================================================== c | 4 | 2998 3127 367950 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15298 c Elapsed CPU time: 17.7373 s Remaining CPU time: 162.263 s c =============================================================================== c | 4 | 2998 3128 370800 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 18.0173 s Remaining CPU time: 161.983 s c =============================================================================== c | 4 | 2998 3129 373650 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15296 c Elapsed CPU time: 18.2612 s Remaining CPU time: 161.739 s c =============================================================================== c | 4 | 2998 3130 376500 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15295 c Elapsed CPU time: 18.5132 s Remaining CPU time: 161.487 s c =============================================================================== c | 4 | 2998 3131 379350 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 18.7781 s Remaining CPU time: 161.222 s c =============================================================================== c | 4 | 2998 3132 382200 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 19.0711 s Remaining CPU time: 160.929 s c =============================================================================== c | 4 | 2998 3133 385050 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 19.3471 s Remaining CPU time: 160.653 s c =============================================================================== c | 4 | 2998 3134 387900 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15291 c Elapsed CPU time: 19.641 s Remaining CPU time: 160.359 s c =============================================================================== c | 4 | 2998 3135 390750 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15290 c Elapsed CPU time: 19.937 s Remaining CPU time: 160.063 s c =============================================================================== c | 4 | 2998 3136 393600 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15289 c Elapsed CPU time: 20.2389 s Remaining CPU time: 159.761 s c =============================================================================== c | 4 | 2998 3137 396450 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15288 c Elapsed CPU time: 20.5639 s Remaining CPU time: 159.436 s c =============================================================================== c | 4 | 2998 3138 399300 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 20.8348 s Remaining CPU time: 159.165 s c =============================================================================== c | 4 | 2998 3139 402150 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15286 c Elapsed CPU time: 21.1108 s Remaining CPU time: 158.889 s c =============================================================================== c | 4 | 2998 3140 405000 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15285 c Elapsed CPU time: 21.4107 s Remaining CPU time: 158.589 s c =============================================================================== c | 4 | 2998 3141 407850 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15284 c Elapsed CPU time: 21.6867 s Remaining CPU time: 158.313 s c =============================================================================== c | 4 | 2998 3142 410700 | 5000 4 1419 | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 21.9867 s Remaining CPU time: 158.013 s c =============================================================================== c | 5 | 2998 3143 413550 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15282 c Elapsed CPU time: 22.2816 s Remaining CPU time: 157.718 s c =============================================================================== c | 5 | 2998 3144 416400 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15281 c Elapsed CPU time: 22.5616 s Remaining CPU time: 157.438 s c =============================================================================== c | 5 | 2998 3145 419250 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15280 c Elapsed CPU time: 22.8665 s Remaining CPU time: 157.133 s c =============================================================================== c | 5 | 2998 3146 422100 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15279 c Elapsed CPU time: 23.1655 s Remaining CPU time: 156.835 s c =============================================================================== c | 5 | 2998 3147 424950 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 23.4674 s Remaining CPU time: 156.533 s c =============================================================================== c | 5 | 2998 3148 427800 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 23.7574 s Remaining CPU time: 156.243 s c =============================================================================== c | 5 | 2998 3149 430650 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15276 c Elapsed CPU time: 24.0783 s Remaining CPU time: 155.922 s c =============================================================================== c | 5 | 2998 3150 433500 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15275 c Elapsed CPU time: 24.3763 s Remaining CPU time: 155.624 s c =============================================================================== c | 5 | 2998 3151 436350 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 24.6852 s Remaining CPU time: 155.315 s c =============================================================================== c | 5 | 2998 3152 439200 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 24.9992 s Remaining CPU time: 155.001 s c =============================================================================== c | 5 | 2998 3153 442050 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 25.2952 s Remaining CPU time: 154.705 s c =============================================================================== c | 5 | 2998 3154 444900 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 25.5941 s Remaining CPU time: 154.406 s c =============================================================================== c | 5 | 2998 3155 447750 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 25.9271 s Remaining CPU time: 154.073 s c =============================================================================== c | 5 | 2998 3156 450600 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 26.261 s Remaining CPU time: 153.739 s c =============================================================================== c | 5 | 2998 3157 453450 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 26.578 s Remaining CPU time: 153.422 s c =============================================================================== c | 5 | 2998 3158 456300 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15267 c Elapsed CPU time: 26.8789 s Remaining CPU time: 153.121 s c =============================================================================== c | 5 | 2998 3159 459150 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 27.1959 s Remaining CPU time: 152.804 s c =============================================================================== c | 5 | 2998 3160 462000 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15265 c Elapsed CPU time: 27.5138 s Remaining CPU time: 152.486 s c =============================================================================== c | 5 | 2998 3161 464850 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15264 c Elapsed CPU time: 27.8358 s Remaining CPU time: 152.164 s c =============================================================================== c | 5 | 2998 3162 467700 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 28.1717 s Remaining CPU time: 151.828 s c =============================================================================== c | 5 | 2998 3163 470550 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15262 c Elapsed CPU time: 28.5147 s Remaining CPU time: 151.485 s c =============================================================================== c | 5 | 2998 3164 473400 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15261 c Elapsed CPU time: 28.8436 s Remaining CPU time: 151.156 s c =============================================================================== c | 5 | 2998 3165 476250 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15260 c Elapsed CPU time: 29.1926 s Remaining CPU time: 150.807 s c =============================================================================== c | 5 | 2998 3166 479100 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15259 c Elapsed CPU time: 29.5365 s Remaining CPU time: 150.463 s c =============================================================================== c | 5 | 2998 3167 481950 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 29.8995 s Remaining CPU time: 150.101 s c =============================================================================== c | 5 | 2998 3168 484800 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 30.2624 s Remaining CPU time: 149.738 s c =============================================================================== c | 5 | 2998 3169 487650 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15256 c Elapsed CPU time: 30.6593 s Remaining CPU time: 149.341 s c =============================================================================== c | 5 | 2998 3170 490500 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15255 c Elapsed CPU time: 31.0083 s Remaining CPU time: 148.992 s c =============================================================================== c | 5 | 2998 3171 493350 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 31.3572 s Remaining CPU time: 148.643 s c =============================================================================== c | 5 | 2998 3172 496200 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15253 c Elapsed CPU time: 31.7072 s Remaining CPU time: 148.293 s c =============================================================================== c | 5 | 2998 3173 499050 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 32.0671 s Remaining CPU time: 147.933 s c =============================================================================== c | 5 | 2998 3174 501900 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15251 c Elapsed CPU time: 32.4181 s Remaining CPU time: 147.582 s c =============================================================================== c | 5 | 2998 3175 504750 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 32.796 s Remaining CPU time: 147.204 s c =============================================================================== c | 5 | 2998 3176 507600 | 5000 5 1699 | 0.000 % | c =============================================================================== c New solution: 15249 c Elapsed CPU time: 33.158 s Remaining CPU time: 146.842 s c =============================================================================== c | 6 | 2998 3177 510450 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 33.5359 s Remaining CPU time: 146.464 s c =============================================================================== c | 6 | 2998 3178 513300 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 33.8998 s Remaining CPU time: 146.1 s c =============================================================================== c | 6 | 2998 3179 516150 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15246 c Elapsed CPU time: 34.2778 s Remaining CPU time: 145.722 s c =============================================================================== c | 6 | 2998 3180 519000 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15245 c Elapsed CPU time: 34.6347 s Remaining CPU time: 145.365 s c =============================================================================== c | 6 | 2998 3181 521850 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 35.0357 s Remaining CPU time: 144.964 s c =============================================================================== c | 6 | 2998 3182 524700 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15243 c Elapsed CPU time: 35.4216 s Remaining CPU time: 144.578 s c =============================================================================== c | 6 | 2998 3183 527550 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 35.7906 s Remaining CPU time: 144.209 s c =============================================================================== c | 6 | 2998 3184 530400 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15241 c Elapsed CPU time: 36.1475 s Remaining CPU time: 143.852 s c =============================================================================== c | 6 | 2998 3185 533250 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15240 c Elapsed CPU time: 36.5194 s Remaining CPU time: 143.481 s c =============================================================================== c | 6 | 2998 3186 536100 | 5000 6 1416 | 0.000 % | c =============================================================================== c New solution: 15239 c Elapsed CPU time: 36.9404 s Remaining CPU time: 143.06 s c =============================================================================== c | 7 | 2998 3187 538950 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 37.4223 s Remaining CPU time: 142.578 s c =============================================================================== c | 7 | 2998 3188 541800 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 37.8592 s Remaining CPU time: 142.141 s c =============================================================================== c | 7 | 2998 3189 544650 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 38.3262 s Remaining CPU time: 141.674 s c =============================================================================== c | 7 | 2998 3190 547500 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15235 c Elapsed CPU time: 38.8311 s Remaining CPU time: 141.169 s c =============================================================================== c | 7 | 2998 3191 550350 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15234 c Elapsed CPU time: 39.229 s Remaining CPU time: 140.771 s c =============================================================================== c | 7 | 2998 3192 553200 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15233 c Elapsed CPU time: 39.656 s Remaining CPU time: 140.344 s c =============================================================================== c | 7 | 2998 3193 556050 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15232 c Elapsed CPU time: 40.0499 s Remaining CPU time: 139.95 s c =============================================================================== c | 7 | 2998 3194 558900 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15231 c Elapsed CPU time: 40.4209 s Remaining CPU time: 139.579 s c =============================================================================== c | 7 | 2998 3195 561750 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15230 c Elapsed CPU time: 40.8418 s Remaining CPU time: 139.158 s c =============================================================================== c | 7 | 2998 3196 564600 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15229 c Elapsed CPU time: 41.2437 s Remaining CPU time: 138.756 s c =============================================================================== c | 7 | 2998 3197 567450 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15228 c Elapsed CPU time: 41.6777 s Remaining CPU time: 138.322 s c =============================================================================== c | 7 | 2998 3198 570300 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15227 c Elapsed CPU time: 42.1686 s Remaining CPU time: 137.831 s c =============================================================================== c | 7 | 2998 3199 573150 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15226 c Elapsed CPU time: 42.6185 s Remaining CPU time: 137.381 s c =============================================================================== c | 7 | 2998 3200 576000 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15225 c Elapsed CPU time: 43.0465 s Remaining CPU time: 136.954 s c =============================================================================== c | 7 | 2998 3201 578850 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15224 c Elapsed CPU time: 43.4574 s Remaining CPU time: 136.543 s c =============================================================================== c | 7 | 2998 3202 581700 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15223 c Elapsed CPU time: 43.8583 s Remaining CPU time: 136.142 s c =============================================================================== c | 7 | 2998 3203 584550 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15222 c Elapsed CPU time: 44.2793 s Remaining CPU time: 135.721 s c =============================================================================== c | 7 | 2998 3204 587400 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15221 c Elapsed CPU time: 44.7542 s Remaining CPU time: 135.246 s c =============================================================================== c | 7 | 2998 3205 590250 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 45.2211 s Remaining CPU time: 134.779 s c =============================================================================== c | 7 | 2998 3206 593100 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15219 c Elapsed CPU time: 45.6881 s Remaining CPU time: 134.312 s c =============================================================================== c | 7 | 2998 3207 595950 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15218 c Elapsed CPU time: 46.118 s Remaining CPU time: 133.882 s c =============================================================================== c | 7 | 2998 3208 598800 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15217 c Elapsed CPU time: 46.5469 s Remaining CPU time: 133.453 s c =============================================================================== c | 7 | 2998 3209 601650 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15216 c Elapsed CPU time: 46.9639 s Remaining CPU time: 133.036 s c =============================================================================== c | 7 | 2998 3210 604500 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15215 c Elapsed CPU time: 47.3778 s Remaining CPU time: 132.622 s c =============================================================================== c | 7 | 2998 3211 607350 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15214 c Elapsed CPU time: 47.8257 s Remaining CPU time: 132.174 s c =============================================================================== c | 7 | 2998 3212 610200 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15213 c Elapsed CPU time: 48.2887 s Remaining CPU time: 131.711 s c =============================================================================== c | 7 | 2998 3213 613050 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15212 c Elapsed CPU time: 48.6986 s Remaining CPU time: 131.301 s c =============================================================================== c | 7 | 2998 3214 615900 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 49.1205 s Remaining CPU time: 130.879 s c =============================================================================== c | 7 | 2998 3215 618750 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15210 c Elapsed CPU time: 49.5615 s Remaining CPU time: 130.439 s c =============================================================================== c | 7 | 2998 3216 621600 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15209 c Elapsed CPU time: 49.9684 s Remaining CPU time: 130.032 s c =============================================================================== c | 7 | 2998 3217 624450 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15208 c Elapsed CPU time: 50.4563 s Remaining CPU time: 129.544 s c =============================================================================== c | 7 | 2998 3218 627300 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15207 c Elapsed CPU time: 50.9313 s Remaining CPU time: 129.069 s c =============================================================================== c | 7 | 2998 3219 630150 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 51.3722 s Remaining CPU time: 128.628 s c =============================================================================== c | 7 | 2998 3220 633000 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15205 c Elapsed CPU time: 51.8241 s Remaining CPU time: 128.176 s c =============================================================================== c | 7 | 2998 3221 635850 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15204 c Elapsed CPU time: 52.2441 s Remaining CPU time: 127.756 s c =============================================================================== c | 7 | 2998 3222 638700 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15203 c Elapsed CPU time: 52.717 s Remaining CPU time: 127.283 s c =============================================================================== c | 7 | 2998 3223 641550 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15202 c Elapsed CPU time: 53.2499 s Remaining CPU time: 126.75 s c =============================================================================== c | 7 | 2998 3224 644400 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15201 c Elapsed CPU time: 53.7518 s Remaining CPU time: 126.248 s c =============================================================================== c | 7 | 2998 3225 647250 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15200 c Elapsed CPU time: 54.2498 s Remaining CPU time: 125.75 s c =============================================================================== c | 7 | 2998 3226 650100 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15199 c Elapsed CPU time: 54.7627 s Remaining CPU time: 125.237 s c =============================================================================== c | 7 | 2998 3227 652950 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15198 c Elapsed CPU time: 55.2816 s Remaining CPU time: 124.718 s c =============================================================================== c | 7 | 2998 3228 655800 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15197 c Elapsed CPU time: 55.8045 s Remaining CPU time: 124.195 s c =============================================================================== c | 7 | 2998 3229 658650 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15196 c Elapsed CPU time: 56.3204 s Remaining CPU time: 123.68 s c =============================================================================== c | 7 | 2998 3230 661500 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15195 c Elapsed CPU time: 56.8194 s Remaining CPU time: 123.181 s c =============================================================================== c | 7 | 2998 3231 664350 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15194 c Elapsed CPU time: 57.3893 s Remaining CPU time: 122.611 s c =============================================================================== c | 7 | 2998 3232 667200 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15193 c Elapsed CPU time: 57.9562 s Remaining CPU time: 122.044 s c =============================================================================== c | 7 | 2998 3233 670050 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15192 c Elapsed CPU time: 58.4281 s Remaining CPU time: 121.572 s c =============================================================================== c | 7 | 2998 3234 672900 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15191 c Elapsed CPU time: 58.903 s Remaining CPU time: 121.097 s c =============================================================================== c | 7 | 2998 3235 675750 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15190 c Elapsed CPU time: 59.444 s Remaining CPU time: 120.556 s c =============================================================================== c | 7 | 2998 3236 678600 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15189 c Elapsed CPU time: 59.9889 s Remaining CPU time: 120.011 s c =============================================================================== c | 7 | 2998 3237 681450 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15188 c Elapsed CPU time: 60.4888 s Remaining CPU time: 119.511 s c =============================================================================== c | 7 | 2998 3238 684300 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15187 c Elapsed CPU time: 60.9757 s Remaining CPU time: 119.024 s c =============================================================================== c | 7 | 2998 3239 687150 | 5000 7 1616 | 0.000 % | c =============================================================================== c New solution: 15186 c Elapsed CPU time: 61.4467 s Remaining CPU time: 118.553 s c =============================================================================== c | 8 | 2998 3240 690000 | 5000 8 1764 | 0.000 % | c =============================================================================== c New solution: 15185 c Elapsed CPU time: 61.9126 s Remaining CPU time: 118.087 s c =============================================================================== c | 8 | 2998 3241 692850 | 5000 8 1764 | 0.000 % | c =============================================================================== c New solution: 15184 c Elapsed CPU time: 62.4095 s Remaining CPU time: 117.59 s c =============================================================================== c | 8 | 2998 3242 695700 | 5000 8 1764 | 0.000 % | c =============================================================================== c New solution: 15183 c Elapsed CPU time: 62.9564 s Remaining CPU time: 117.044 s c =============================================================================== c | 9 | 2998 3243 698550 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15182 c Elapsed CPU time: 63.4913 s Remaining CPU time: 116.509 s c =============================================================================== c | 9 | 2998 3244 701400 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15181 c Elapsed CPU time: 64.0383 s Remaining CPU time: 115.962 s c =============================================================================== c | 9 | 2998 3245 704250 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15180 c Elapsed CPU time: 64.5472 s Remaining CPU time: 115.453 s c =============================================================================== c | 9 | 2998 3246 707100 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15179 c Elapsed CPU time: 65.0661 s Remaining CPU time: 114.934 s c =============================================================================== c | 9 | 2998 3247 709950 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15178 c Elapsed CPU time: 65.599 s Remaining CPU time: 114.401 s c =============================================================================== c | 9 | 2998 3248 712800 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15177 c Elapsed CPU time: 66.1149 s Remaining CPU time: 113.885 s c =============================================================================== c | 9 | 2998 3249 715650 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15176 c Elapsed CPU time: 66.6279 s Remaining CPU time: 113.372 s c =============================================================================== c | 9 | 2998 3250 718500 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15175 c Elapsed CPU time: 67.2088 s Remaining CPU time: 112.791 s c =============================================================================== c | 9 | 2998 3251 721350 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15174 c Elapsed CPU time: 67.7497 s Remaining CPU time: 112.25 s c =============================================================================== c | 9 | 2998 3252 724200 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15173 c Elapsed CPU time: 68.2916 s Remaining CPU time: 111.708 s c =============================================================================== c | 9 | 2998 3253 727050 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15172 c Elapsed CPU time: 68.8075 s Remaining CPU time: 111.192 s c =============================================================================== c | 9 | 2998 3254 729900 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15171 c Elapsed CPU time: 69.3375 s Remaining CPU time: 110.663 s c =============================================================================== c | 9 | 2998 3255 732750 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15170 c Elapsed CPU time: 69.8694 s Remaining CPU time: 110.131 s c =============================================================================== c | 9 | 2998 3256 735600 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15169 c Elapsed CPU time: 70.4493 s Remaining CPU time: 109.551 s c =============================================================================== c | 9 | 2998 3257 738450 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15168 c Elapsed CPU time: 71.0192 s Remaining CPU time: 108.981 s c =============================================================================== c | 9 | 2998 3258 741300 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15167 c Elapsed CPU time: 71.6211 s Remaining CPU time: 108.379 s c =============================================================================== c | 9 | 2998 3259 744150 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15166 c Elapsed CPU time: 72.175 s Remaining CPU time: 107.825 s c =============================================================================== c | 9 | 2998 3260 747000 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15165 c Elapsed CPU time: 72.7179 s Remaining CPU time: 107.282 s c =============================================================================== c | 9 | 2998 3261 749850 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15164 c Elapsed CPU time: 73.2689 s Remaining CPU time: 106.731 s c =============================================================================== c | 9 | 2998 3262 752700 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15163 c Elapsed CPU time: 73.8188 s Remaining CPU time: 106.181 s c =============================================================================== c | 9 | 2998 3263 755550 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15162 c Elapsed CPU time: 74.4397 s Remaining CPU time: 105.56 s c =============================================================================== c | 9 | 2998 3264 758400 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15161 c Elapsed CPU time: 75.0466 s Remaining CPU time: 104.953 s c =============================================================================== c | 9 | 2998 3265 761250 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15160 c Elapsed CPU time: 75.6175 s Remaining CPU time: 104.382 s c =============================================================================== c | 9 | 2998 3266 764100 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15159 c Elapsed CPU time: 76.2114 s Remaining CPU time: 103.789 s c =============================================================================== c | 9 | 2998 3267 766950 | 5000 9 1880 | 0.000 % | c =============================================================================== c New solution: 15158 c Elapsed CPU time: 76.7963 s Remaining CPU time: 103.204 s c =============================================================================== c | 10 | 2998 3268 769800 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15157 c Elapsed CPU time: 77.3722 s Remaining CPU time: 102.628 s c =============================================================================== c | 10 | 2998 3269 772650 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15156 c Elapsed CPU time: 77.9591 s Remaining CPU time: 102.041 s c =============================================================================== c | 10 | 2998 3270 775500 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15155 c Elapsed CPU time: 78.5341 s Remaining CPU time: 101.466 s c =============================================================================== c | 10 | 2998 3271 778350 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15154 c Elapsed CPU time: 79.075 s Remaining CPU time: 100.925 s c =============================================================================== c | 10 | 2998 3272 781200 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15153 c Elapsed CPU time: 79.6689 s Remaining CPU time: 100.331 s c =============================================================================== c | 10 | 2998 3273 784050 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15152 c Elapsed CPU time: 80.2178 s Remaining CPU time: 99.7822 s c =============================================================================== c | 10 | 2998 3274 786900 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15151 c Elapsed CPU time: 80.7927 s Remaining CPU time: 99.2073 s c =============================================================================== c | 10 | 2998 3275 789750 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15150 c Elapsed CPU time: 81.4366 s Remaining CPU time: 98.5634 s c =============================================================================== c | 10 | 2998 3276 792600 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15149 c Elapsed CPU time: 82.1045 s Remaining CPU time: 97.8955 s c =============================================================================== c | 10 | 2998 3277 795450 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15148 c Elapsed CPU time: 82.7764 s Remaining CPU time: 97.2236 s c =============================================================================== c | 10 | 2998 3278 798300 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15147 c Elapsed CPU time: 83.3983 s Remaining CPU time: 96.6017 s c =============================================================================== c | 10 | 2998 3279 801150 | 5000 10 1972 | 0.000 % | c =============================================================================== c New solution: 15146 c Elapsed CPU time: 84.0412 s Remaining CPU time: 95.9588 s c =============================================================================== c | 12 | 2998 3280 804000 | 5000 12 1876 | 0.000 % | c =============================================================================== c New solution: 15145 c Elapsed CPU time: 84.6571 s Remaining CPU time: 95.3429 s c =============================================================================== c | 12 | 2998 3281 806850 | 5000 12 1876 | 0.000 % | c =============================================================================== c New solution: 15144 c Elapsed CPU time: 85.311 s Remaining CPU time: 94.689 s c =============================================================================== c | 12 | 2998 3282 809700 | 5000 12 1876 | 0.000 % | c =============================================================================== c New solution: 15143 c Elapsed CPU time: 85.9289 s Remaining CPU time: 94.0711 s c =============================================================================== c | 12 | 2998 3283 812550 | 5000 12 1876 | 0.000 % | c =============================================================================== c New solution: 15142 c Elapsed CPU time: 86.5858 s Remaining CPU time: 93.4142 s c =============================================================================== c | 12 | 2998 3284 815400 | 5000 12 1876 | 0.000 % | c =============================================================================== c New solution: 15141 c Elapsed CPU time: 87.2587 s Remaining CPU time: 92.7413 s c =============================================================================== c | 12 | 2998 3285 818250 | 5000 12 1876 | 0.000 % | c =============================================================================== c New solution: 15140 c Elapsed CPU time: 88.0126 s Remaining CPU time: 91.9874 s c =============================================================================== c | 13 | 2998 3286 821100 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15139 c Elapsed CPU time: 88.6435 s Remaining CPU time: 91.3565 s c =============================================================================== c | 13 | 2998 3287 823950 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15138 c Elapsed CPU time: 89.2594 s Remaining CPU time: 90.7406 s c =============================================================================== c | 13 | 2998 3288 826800 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15137 c Elapsed CPU time: 89.9233 s Remaining CPU time: 90.0767 s c =============================================================================== c | 13 | 2998 3289 829650 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15136 c Elapsed CPU time: 90.5272 s Remaining CPU time: 89.4728 s c =============================================================================== c | 13 | 2998 3290 832500 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15135 c Elapsed CPU time: 91.1691 s Remaining CPU time: 88.8309 s c =============================================================================== c | 13 | 2998 3291 835350 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15134 c Elapsed CPU time: 91.888 s Remaining CPU time: 88.112 s c =============================================================================== c | 13 | 2998 3292 838200 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15133 c Elapsed CPU time: 92.5799 s Remaining CPU time: 87.4201 s c =============================================================================== c | 13 | 2998 3293 841050 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15132 c Elapsed CPU time: 93.1928 s Remaining CPU time: 86.8072 s c =============================================================================== c | 13 | 2998 3294 843900 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15131 c Elapsed CPU time: 93.8507 s Remaining CPU time: 86.1493 s c =============================================================================== c | 13 | 2998 3295 846750 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15130 c Elapsed CPU time: 94.5266 s Remaining CPU time: 85.4734 s c =============================================================================== c | 13 | 2998 3296 849600 | 5000 13 1947 | 0.000 % | c =============================================================================== c New solution: 15129 c Elapsed CPU time: 95.1555 s Remaining CPU time: 84.8445 s c =============================================================================== c | 14 | 2998 3297 852450 | 5000 14 2008 | 0.000 % | c =============================================================================== c New solution: 15128 c Elapsed CPU time: 95.9024 s Remaining CPU time: 84.0976 s c =============================================================================== c | 23 | 2998 3298 855300 | 5000 23 2315 | 0.000 % | c =============================================================================== c New solution: 15127 c Elapsed CPU time: 96.5743 s Remaining CPU time: 83.4257 s c =============================================================================== c | 23 | 2998 3299 858150 | 5000 23 2315 | 0.000 % | c =============================================================================== c New solution: 15126 c Elapsed CPU time: 97.2262 s Remaining CPU time: 82.7738 s c =============================================================================== c | 24 | 2998 3300 861000 | 5000 24 2335 | 0.000 % | c =============================================================================== c New solution: 15125 c Elapsed CPU time: 97.8271 s Remaining CPU time: 82.1729 s c =============================================================================== c | 24 | 2998 3301 863850 | 5000 24 2335 | 0.000 % | c =============================================================================== c New solution: 15124 c Elapsed CPU time: 98.467 s Remaining CPU time: 81.533 s c =============================================================================== c | 24 | 2998 3302 866700 | 5000 24 2335 | 0.000 % | c =============================================================================== c New solution: 15123 c Elapsed CPU time: 99.1459 s Remaining CPU time: 80.8541 s c =============================================================================== c | 24 | 2998 3303 869550 | 5000 24 2335 | 0.000 % | c =============================================================================== c New solution: 15122 c Elapsed CPU time: 99.8228 s Remaining CPU time: 80.1772 s c =============================================================================== c | 24 | 2998 3304 872400 | 5000 24 2335 | 0.000 % | c =============================================================================== c New solution: 15121 c Elapsed CPU time: 100.497 s Remaining CPU time: 79.5033 s c =============================================================================== c | 24 | 2998 3305 875250 | 5000 24 2335 | 0.000 % | c =============================================================================== c New solution: 15120 c Elapsed CPU time: 101.198 s Remaining CPU time: 78.8024 s c =============================================================================== c | 26 | 2998 3306 878100 | 5000 26 2263 | 0.000 % | c =============================================================================== c New solution: 15119 c Elapsed CPU time: 101.925 s Remaining CPU time: 78.0755 s c =============================================================================== c | 26 | 2998 3307 880950 | 5000 26 2263 | 0.000 % | c =============================================================================== c New solution: 15118 c Elapsed CPU time: 102.595 s Remaining CPU time: 77.4046 s c =============================================================================== c | 26 | 2998 3308 883800 | 5000 26 2263 | 0.000 % | c =============================================================================== c New solution: 15117 c Elapsed CPU time: 103.245 s Remaining CPU time: 76.7547 s c =============================================================================== c | 26 | 2998 3309 886650 | 5000 26 2263 | 0.000 % | c =============================================================================== c New solution: 15116 c Elapsed CPU time: 103.901 s Remaining CPU time: 76.0988 s c =============================================================================== c | 26 | 2998 3310 889500 | 5000 26 2263 | 0.000 % | c =============================================================================== c New solution: 15115 c Elapsed CPU time: 104.573 s Remaining CPU time: 75.4269 s c =============================================================================== c | 26 | 2998 3311 892350 | 5000 26 2263 | 0.000 % | c =============================================================================== c New solution: 15114 c Elapsed CPU time: 105.292 s Remaining CPU time: 74.708 s c =============================================================================== c | 27 | 2998 3312 895200 | 5000 27 2282 | 0.000 % | c =============================================================================== c New solution: 15113 c Elapsed CPU time: 106.056 s Remaining CPU time: 73.9441 s c =============================================================================== c | 27 | 2998 3313 898050 | 5000 27 2282 | 0.000 % | c =============================================================================== c New solution: 15112 c Elapsed CPU time: 106.842 s Remaining CPU time: 73.1582 s c =============================================================================== c | 27 | 2998 3314 900900 | 5000 27 2282 | 0.000 % | c =============================================================================== c New solution: 15111 c Elapsed CPU time: 107.528 s Remaining CPU time: 72.4723 s c =============================================================================== c | 27 | 2998 3315 903750 | 5000 27 2282 | 0.000 % | c =============================================================================== c New solution: 15110 c Elapsed CPU time: 108.233 s Remaining CPU time: 71.7675 s c =============================================================================== c | 28 | 2998 3316 906600 | 5000 28 2300 | 0.000 % | c =============================================================================== c New solution: 15109 c Elapsed CPU time: 108.893 s Remaining CPU time: 71.1066 s c =============================================================================== c | 28 | 2998 3317 909450 | 5000 28 2300 | 0.000 % | c =============================================================================== c New solution: 15108 c Elapsed CPU time: 109.582 s Remaining CPU time: 70.4177 s c =============================================================================== c | 28 | 2998 3318 912300 | 5000 28 2300 | 0.000 % | c =============================================================================== c New solution: 15107 c Elapsed CPU time: 110.237 s Remaining CPU time: 69.7628 s c =============================================================================== c | 28 | 2998 3319 915150 | 5000 28 2300 | 0.000 % | c =============================================================================== c New solution: 15106 c Elapsed CPU time: 110.912 s Remaining CPU time: 69.0879 s c =============================================================================== c | 34 | 2998 3320 918000 | 5000 34 2387 | 0.000 % | c =============================================================================== c New solution: 15105 c Elapsed CPU time: 111.59 s Remaining CPU time: 68.41 s c =============================================================================== c | 34 | 2998 3321 920850 | 5000 34 2387 | 0.000 % | c =============================================================================== c New solution: 15104 c Elapsed CPU time: 112.268 s Remaining CPU time: 67.7321 s c =============================================================================== c | 34 | 2998 3322 923700 | 5000 34 2387 | 0.000 % | c =============================================================================== c New solution: 15103 c Elapsed CPU time: 112.959 s Remaining CPU time: 67.0412 s c =============================================================================== c | 34 | 2998 3323 926550 | 5000 34 2387 | 0.000 % | c =============================================================================== c New solution: 15102 c Elapsed CPU time: 113.658 s Remaining CPU time: 66.3423 s c =============================================================================== c | 34 | 2998 3324 929400 | 5000 34 2387 | 0.000 % | c =============================================================================== c New solution: 15101 c Elapsed CPU time: 114.389 s Remaining CPU time: 65.6114 s c =============================================================================== c | 36 | 2998 3325 932250 | 5000 36 2409 | 0.000 % | c =============================================================================== c New solution: 15100 c Elapsed CPU time: 115.062 s Remaining CPU time: 64.9385 s c =============================================================================== c | 36 | 2998 3326 935100 | 5000 36 2409 | 0.000 % | c =============================================================================== c New solution: 15099 c Elapsed CPU time: 115.751 s Remaining CPU time: 64.2486 s c =============================================================================== c | 36 | 2998 3327 937950 | 5000 36 2409 | 0.000 % | c =============================================================================== c New solution: 15098 c Elapsed CPU time: 116.457 s Remaining CPU time: 63.5427 s c =============================================================================== c | 36 | 2998 3328 940800 | 5000 36 2409 | 0.000 % | c =============================================================================== c New solution: 15097 c Elapsed CPU time: 117.218 s Remaining CPU time: 62.7818 s c =============================================================================== c | 38 | 2998 3329 943650 | 5000 38 2429 | 0.000 % | c =============================================================================== c New solution: 15096 c Elapsed CPU time: 118.012 s Remaining CPU time: 61.9879 s c =============================================================================== c | 38 | 2998 3330 946500 | 5000 38 2429 | 0.000 % | c =============================================================================== c New solution: 15095 c Elapsed CPU time: 118.785 s Remaining CPU time: 61.2151 s c =============================================================================== c | 38 | 2998 3331 949350 | 5000 38 2429 | 0.000 % | c =============================================================================== c New solution: 15094 c Elapsed CPU time: 119.543 s Remaining CPU time: 60.4572 s c =============================================================================== c | 38 | 2998 3332 952200 | 5000 38 2429 | 0.000 % | c =============================================================================== c New solution: 15093 c Elapsed CPU time: 120.275 s Remaining CPU time: 59.7253 s c =============================================================================== c | 41 | 2998 3333 955050 | 5000 41 2455 | 0.000 % | c =============================================================================== c New solution: 15092 c Elapsed CPU time: 121.008 s Remaining CPU time: 58.9924 s c =============================================================================== c | 41 | 2998 3334 957900 | 5000 41 2455 | 0.000 % | c =============================================================================== c New solution: 15091 c Elapsed CPU time: 121.982 s Remaining CPU time: 58.0175 s c =============================================================================== c | 53 | 2998 3335 960750 | 5000 53 2530 | 0.000 % | c =============================================================================== c New solution: 15090 c Elapsed CPU time: 122.791 s Remaining CPU time: 57.2087 s c =============================================================================== c | 56 | 2998 3336 963600 | 5000 56 2544 | 0.000 % | c =============================================================================== c New solution: 15089 c Elapsed CPU time: 123.593 s Remaining CPU time: 56.4068 s c =============================================================================== c | 56 | 2998 3337 966450 | 5000 56 2544 | 0.000 % | c =============================================================================== c New solution: 15088 c Elapsed CPU time: 124.363 s Remaining CPU time: 55.6369 s c =============================================================================== c | 56 | 2998 3338 969300 | 5000 56 2544 | 0.000 % | c =============================================================================== c New solution: 15087 c Elapsed CPU time: 125.137 s Remaining CPU time: 54.863 s c =============================================================================== c | 61 | 2998 3339 972150 | 5000 61 2563 | 0.000 % | c =============================================================================== c New solution: 15086 c Elapsed CPU time: 125.882 s Remaining CPU time: 54.1181 s c =============================================================================== c | 61 | 2998 3340 975000 | 5000 61 2563 | 0.000 % | c =============================================================================== c New solution: 15085 c Elapsed CPU time: 126.639 s Remaining CPU time: 53.3613 s c =============================================================================== c | 61 | 2998 3341 977850 | 5000 61 2563 | 0.000 % | c =============================================================================== c New solution: 15084 c Elapsed CPU time: 127.419 s Remaining CPU time: 52.5814 s c =============================================================================== c | 61 | 2998 3342 980700 | 5000 61 2563 | 0.000 % | c =============================================================================== c New solution: 15083 c Elapsed CPU time: 128.138 s Remaining CPU time: 51.8625 s c =============================================================================== c | 62 | 2998 3343 983550 | 5000 62 2567 | 0.000 % | c =============================================================================== c New solution: 15082 c Elapsed CPU time: 128.84 s Remaining CPU time: 51.1596 s c =============================================================================== c | 63 | 2998 3344 986400 | 5000 63 2570 | 0.000 % | c =============================================================================== c New solution: 15081 c Elapsed CPU time: 129.625 s Remaining CPU time: 50.3747 s c =============================================================================== c | 63 | 2998 3345 989250 | 5000 63 2570 | 0.000 % | c =============================================================================== c New solution: 15080 c Elapsed CPU time: 130.428 s Remaining CPU time: 49.5718 s c =============================================================================== c | 69 | 2998 3346 992100 | 5000 69 2589 | 0.000 % | c =============================================================================== c New solution: 15079 c Elapsed CPU time: 131.302 s Remaining CPU time: 48.698 s c =============================================================================== c | 74 | 2998 3347 994950 | 5000 74 2602 | 0.000 % | c =============================================================================== c New solution: 15078 c Elapsed CPU time: 132.086 s Remaining CPU time: 47.9141 s c =============================================================================== c | 74 | 2998 3348 997800 | 5000 74 2602 | 0.000 % | c =============================================================================== c New solution: 15077 c Elapsed CPU time: 132.909 s Remaining CPU time: 47.0912 s c =============================================================================== c | 74 | 2998 3349 1000650 | 5000 74 2602 | 0.000 % | c =============================================================================== c New solution: 15076 c Elapsed CPU time: 133.656 s Remaining CPU time: 46.3443 s c =============================================================================== c | 78 | 2998 3350 1003500 | 5000 78 2611 | 0.000 % | c =============================================================================== c New solution: 15075 c Elapsed CPU time: 134.466 s Remaining CPU time: 45.5344 s c =============================================================================== c | 78 | 2998 3351 1006350 | 5000 78 2611 | 0.000 % | c =============================================================================== c New solution: 15074 c Elapsed CPU time: 135.224 s Remaining CPU time: 44.7756 s c =============================================================================== c | 78 | 2998 3352 1009200 | 5000 78 2611 | 0.000 % | c =============================================================================== c New solution: 15073 c Elapsed CPU time: 135.997 s Remaining CPU time: 44.0027 s c =============================================================================== c | 78 | 2998 3353 1012050 | 5000 78 2611 | 0.000 % | c =============================================================================== c New solution: 15072 c Elapsed CPU time: 136.744 s Remaining CPU time: 43.2558 s c =============================================================================== c | 78 | 2998 3354 1014900 | 5000 78 2611 | 0.000 % | c =============================================================================== c New solution: 15071 c Elapsed CPU time: 137.595 s Remaining CPU time: 42.4049 s c =============================================================================== c | 78 | 2998 3355 1017750 | 5000 78 2611 | 0.000 % | c =============================================================================== c New solution: 15070 c Elapsed CPU time: 138.443 s Remaining CPU time: 41.557 s c =============================================================================== c | 78 | 2998 3356 1020600 | 5000 78 2611 | 0.000 % | c =============================================================================== c New solution: 15069 c Elapsed CPU time: 139.264 s Remaining CPU time: 40.7362 s c =============================================================================== c | 78 | 2998 3357 1023450 | 5000 78 2611 | 0.000 % | c =============================================================================== c New solution: 15068 c Elapsed CPU time: 140.019 s Remaining CPU time: 39.9813 s c =============================================================================== c | 79 | 2998 3358 1026300 | 5000 79 2613 | 0.000 % | c =============================================================================== c New solution: 15067 c Elapsed CPU time: 140.82 s Remaining CPU time: 39.1804 s c =============================================================================== c | 79 | 2998 3359 1029150 | 5000 79 2613 | 0.000 % | c =============================================================================== c New solution: 15066 c Elapsed CPU time: 141.586 s Remaining CPU time: 38.4135 s c =============================================================================== c | 79 | 2998 3360 1032000 | 5000 79 2613 | 0.000 % | c =============================================================================== c New solution: 15065 c Elapsed CPU time: 142.404 s Remaining CPU time: 37.5956 s c =============================================================================== c | 80 | 2998 3361 1034850 | 5000 80 2615 | 0.000 % | c =============================================================================== c New solution: 15064 c Elapsed CPU time: 143.169 s Remaining CPU time: 36.8308 s c =============================================================================== c | 80 | 2998 3362 1037700 | 5000 80 2615 | 0.000 % | c =============================================================================== c New solution: 15063 c Elapsed CPU time: 143.903 s Remaining CPU time: 36.0969 s c =============================================================================== c | 80 | 2998 3363 1040550 | 5000 80 2615 | 0.000 % | c =============================================================================== c New solution: 15062 c Elapsed CPU time: 144.672 s Remaining CPU time: 35.328 s c =============================================================================== c | 81 | 2998 3364 1043400 | 5000 81 2617 | 0.000 % | c =============================================================================== c New solution: 15061 c Elapsed CPU time: 145.473 s Remaining CPU time: 34.5271 s c =============================================================================== c | 81 | 2998 3365 1046250 | 5000 81 2617 | 0.000 % | c =============================================================================== c New solution: 15060 c Elapsed CPU time: 146.229 s Remaining CPU time: 33.7712 s c =============================================================================== c | 81 | 2998 3366 1049100 | 5000 81 2617 | 0.000 % | c =============================================================================== c New solution: 15059 c Elapsed CPU time: 147.036 s Remaining CPU time: 32.9644 s c =============================================================================== c | 83 | 2998 3367 1051950 | 5000 83 2621 | 0.000 % | c =============================================================================== c New solution: 15058 c Elapsed CPU time: 147.852 s Remaining CPU time: 32.1485 s c =============================================================================== c | 83 | 2998 3368 1054800 | 5000 83 2621 | 0.000 % | c =============================================================================== c New solution: 15057 c Elapsed CPU time: 148.7 s Remaining CPU time: 31.2996 s c =============================================================================== c | 86 | 2998 3369 1057650 | 5000 86 2626 | 0.000 % | c =============================================================================== c New solution: 15056 c Elapsed CPU time: 149.487 s Remaining CPU time: 30.5127 s c =============================================================================== c | 86 | 2998 3370 1060500 | 5000 86 2626 | 0.000 % | c =============================================================================== c New solution: 15055 c Elapsed CPU time: 150.321 s Remaining CPU time: 29.6789 s c =============================================================================== c | 86 | 2998 3371 1063350 | 5000 86 2626 | 0.000 % | c =============================================================================== c New solution: 15054 c Elapsed CPU time: 151.122 s Remaining CPU time: 28.878 s c =============================================================================== c | 89 | 2998 3372 1066200 | 5000 89 2632 | 0.000 % | c =============================================================================== c New solution: 15053 c Elapsed CPU time: 151.934 s Remaining CPU time: 28.0661 s c =============================================================================== c | 91 | 2998 3373 1069050 | 5000 91 2635 | 0.000 % | c =============================================================================== c New solution: 15052 c Elapsed CPU time: 152.722 s Remaining CPU time: 27.2782 s c =============================================================================== c | 91 | 2998 3374 1071900 | 5000 91 2635 | 0.000 % | c =============================================================================== c New solution: 15051 c Elapsed CPU time: 153.558 s Remaining CPU time: 26.4423 s c =============================================================================== c | 91 | 2998 3375 1074750 | 5000 91 2635 | 0.000 % | c =============================================================================== c New solution: 15050 c Elapsed CPU time: 154.422 s Remaining CPU time: 25.5785 s c =============================================================================== c | 91 | 2998 3376 1077600 | 5000 91 2635 | 0.000 % | c =============================================================================== c New solution: 15049 c Elapsed CPU time: 155.263 s Remaining CPU time: 24.7366 s c =============================================================================== c | 96 | 2998 3377 1080450 | 5000 96 2642 | 0.000 % | c =============================================================================== c New solution: 15048 c Elapsed CPU time: 156.091 s Remaining CPU time: 23.9087 s c =============================================================================== c | 98 | 2998 3378 1083300 | 5000 98 2588 | 0.000 % | c =============================================================================== c New solution: 15047 c Elapsed CPU time: 156.966 s Remaining CPU time: 23.0339 s c =============================================================================== c | 98 | 2998 3379 1086150 | 5000 98 2588 | 0.000 % | c =============================================================================== c New solution: 15046 c Elapsed CPU time: 157.849 s Remaining CPU time: 22.151 s c =============================================================================== c | 102 | 2998 3380 1089000 | 5000 102 2595 | 0.000 % | c =============================================================================== c New solution: 15045 c Elapsed CPU time: 158.746 s Remaining CPU time: 21.2541 s c =============================================================================== c | 102 | 2998 3381 1091850 | 5000 102 2595 | 0.000 % | c =============================================================================== c New solution: 15044 c Elapsed CPU time: 159.582 s Remaining CPU time: 20.4183 s c =============================================================================== c | 102 | 2998 3382 1094700 | 5000 102 2595 | 0.000 % | c =============================================================================== c New solution: 15043 c Elapsed CPU time: 160.554 s Remaining CPU time: 19.4464 s c =============================================================================== c | 107 | 2998 3383 1097550 | 5000 107 2604 | 0.000 % | c =============================================================================== c New solution: 15042 c Elapsed CPU time: 161.4 s Remaining CPU time: 18.5995 s c =============================================================================== c | 111 | 2998 3384 1100400 | 5000 111 2610 | 0.000 % | c =============================================================================== c New solution: 15041 c Elapsed CPU time: 162.196 s Remaining CPU time: 17.8037 s c =============================================================================== c | 111 | 2998 3385 1103250 | 5000 111 2610 | 0.000 % | c =============================================================================== c New solution: 15040 c Elapsed CPU time: 163.014 s Remaining CPU time: 16.9858 s c =============================================================================== c | 112 | 2998 3386 1106100 | 5000 112 2611 | 0.000 % | c =============================================================================== c New solution: 15039 c Elapsed CPU time: 163.807 s Remaining CPU time: 16.1929 s c =============================================================================== c | 112 | 2998 3387 1108950 | 5000 112 2611 | 0.000 % | c =============================================================================== c New solution: 15038 c Elapsed CPU time: 164.659 s Remaining CPU time: 15.341 s c =============================================================================== c | 114 | 2998 3388 1111800 | 5000 114 2614 | 0.000 % | c =============================================================================== c New solution: 15037 c Elapsed CPU time: 165.502 s Remaining CPU time: 14.4982 s c =============================================================================== c | 115 | 2998 3389 1114650 | 5000 115 2615 | 0.000 % | c =============================================================================== c New solution: 15036 c Elapsed CPU time: 166.423 s Remaining CPU time: 13.5773 s c =============================================================================== c | 119 | 2998 3390 1117500 | 5000 119 2621 | 0.000 % | c =============================================================================== c New solution: 15035 c Elapsed CPU time: 167.291 s Remaining CPU time: 12.7094 s c =============================================================================== c | 119 | 2998 3391 1120350 | 5000 119 2621 | 0.000 % | c =============================================================================== c New solution: 15034 c Elapsed CPU time: 168.198 s Remaining CPU time: 11.8016 s c =============================================================================== c | 122 | 2998 3392 1123200 | 5000 122 2624 | 0.000 % | c =============================================================================== c New solution: 15033 c Elapsed CPU time: 169.028 s Remaining CPU time: 10.9717 s c =============================================================================== c | 124 | 2998 3393 1126050 | 5000 124 2627 | 0.000 % | c =============================================================================== c New solution: 15032 c Elapsed CPU time: 169.871 s Remaining CPU time: 10.1288 s c =============================================================================== c | 126 | 2998 3394 1128900 | 5000 126 2629 | 0.000 % | c =============================================================================== c New solution: 15031 c Elapsed CPU time: 170.863 s Remaining CPU time: 9.13698 s c =============================================================================== c | 132 | 2998 3395 1131750 | 5000 132 2614 | 0.000 % | c =============================================================================== c New solution: 15030 c Elapsed CPU time: 171.769 s Remaining CPU time: 8.23111 s c =============================================================================== c | 134 | 2998 3396 1134600 | 5000 134 2617 | 0.000 % | c =============================================================================== c New solution: 15029 c Elapsed CPU time: 172.725 s Remaining CPU time: 7.27526 s c =============================================================================== c | 136 | 2998 3397 1137450 | 5000 136 2619 | 0.000 % | c =============================================================================== c New solution: 15028 c Elapsed CPU time: 173.631 s Remaining CPU time: 6.3694 s c =============================================================================== c | 139 | 2998 3398 1140300 | 5000 139 2622 | 0.000 % | c =============================================================================== c New solution: 15027 c Elapsed CPU time: 174.462 s Remaining CPU time: 5.53752 s c =============================================================================== c | 139 | 2998 3399 1143150 | 5000 139 2622 | 0.000 % | c =============================================================================== c New solution: 15026 c Elapsed CPU time: 175.438 s Remaining CPU time: 4.56167 s c =============================================================================== c | 148 | 2998 3400 1146000 | 5000 148 2631 | 0.000 % | c =============================================================================== c New solution: 15025 c Elapsed CPU time: 176.407 s Remaining CPU time: 3.59282 s c =============================================================================== c | 148 | 2998 3401 1148850 | 5000 148 2631 | 0.000 % | c =============================================================================== c New solution: 15024 c Elapsed CPU time: 177.304 s Remaining CPU time: 2.69595 s c =============================================================================== c | 148 | 2998 3402 1151700 | 5000 148 2631 | 0.000 % | c =============================================================================== c New solution: 15023 c Elapsed CPU time: 178.269 s Remaining CPU time: 1.7311 s c =============================================================================== c | 148 | 2998 3403 1154550 | 5000 148 2631 | 0.000 % | c =============================================================================== c New solution: 15022 c Elapsed CPU time: 179.199 s Remaining CPU time: 0.801243 s c =============================================================================== c | 148 | 2998 3404 1157400 | 5000 148 2631 | 0.000 % | c =============================================================================== c New solution: 15021 c Elapsed CPU time: 180.078 s Remaining CPU time: -0.077624 s c =============================================================================== c | 148 | 2998 3405 1160250 | 5000 148 2631 | 0.000 % | c There are 2 assigned variables. 0 in cost function.