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 | 2996 3003 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15537 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 2996 3004 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15534 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 2996 3005 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15531 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 2996 3006 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15529 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 2996 3007 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15527 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 2996 3008 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15526 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 2996 3009 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15524 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 2996 3010 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15523 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 2996 3011 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15522 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 2996 3012 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15521 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 2996 3013 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15519 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 0 | 2996 3014 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15517 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 2996 3015 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15515 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 0 | 2996 3016 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15514 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 0 | 2996 3017 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15512 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 0 | 2996 3018 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15509 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 0 | 2996 3019 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15508 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 0 | 2996 3020 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15507 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 0 | 2996 3021 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15506 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 0 | 2996 3022 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15505 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 0 | 2996 3023 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15504 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 0 | 2996 3024 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15503 c Elapsed CPU time: 0.862868 s Remaining CPU time: 179.137 s c =============================================================================== c | 0 | 2996 3025 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15502 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s c =============================================================================== c | 0 | 2996 3026 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15500 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 0 | 2996 3027 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15499 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 0 | 2996 3028 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15498 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s c =============================================================================== c | 0 | 2996 3029 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15496 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 0 | 2996 3030 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15490 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 0 | 2996 3031 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15489 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s c =============================================================================== c | 0 | 2996 3032 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15486 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 0 | 2996 3033 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15482 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 0 | 2996 3034 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15478 c Elapsed CPU time: 1.41478 s Remaining CPU time: 178.585 s c =============================================================================== c | 0 | 2996 3035 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15477 c Elapsed CPU time: 1.47578 s Remaining CPU time: 178.524 s c =============================================================================== c | 0 | 2996 3036 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15476 c Elapsed CPU time: 1.54177 s Remaining CPU time: 178.458 s c =============================================================================== c | 0 | 2996 3037 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15472 c Elapsed CPU time: 1.60576 s Remaining CPU time: 178.394 s c =============================================================================== c | 0 | 2996 3038 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s c =============================================================================== c | 0 | 2996 3039 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15467 c Elapsed CPU time: 1.74873 s Remaining CPU time: 178.251 s c =============================================================================== c | 0 | 2996 3040 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15466 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 0 | 2996 3041 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15465 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 0 | 2996 3042 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15464 c Elapsed CPU time: 1.9687 s Remaining CPU time: 178.031 s c =============================================================================== c | 0 | 2996 3043 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15463 c Elapsed CPU time: 2.04269 s Remaining CPU time: 177.957 s c =============================================================================== c | 0 | 2996 3044 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15460 c Elapsed CPU time: 2.12168 s Remaining CPU time: 177.878 s c =============================================================================== c | 0 | 2996 3045 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15457 c Elapsed CPU time: 2.20167 s Remaining CPU time: 177.798 s c =============================================================================== c | 0 | 2996 3046 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15456 c Elapsed CPU time: 2.28265 s Remaining CPU time: 177.717 s c =============================================================================== c | 0 | 2996 3047 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15453 c Elapsed CPU time: 2.36764 s Remaining CPU time: 177.632 s c =============================================================================== c | 0 | 2996 3048 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15452 c Elapsed CPU time: 2.45063 s Remaining CPU time: 177.549 s c =============================================================================== c | 0 | 2996 3049 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15451 c Elapsed CPU time: 2.53561 s Remaining CPU time: 177.464 s c =============================================================================== c | 0 | 2996 3050 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15450 c Elapsed CPU time: 2.6216 s Remaining CPU time: 177.378 s c =============================================================================== c | 0 | 2996 3051 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15447 c Elapsed CPU time: 2.71459 s Remaining CPU time: 177.285 s c =============================================================================== c | 0 | 2996 3052 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15446 c Elapsed CPU time: 2.80357 s Remaining CPU time: 177.196 s c =============================================================================== c | 0 | 2996 3053 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15445 c Elapsed CPU time: 2.89456 s Remaining CPU time: 177.105 s c =============================================================================== c | 0 | 2996 3054 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15442 c Elapsed CPU time: 2.98855 s Remaining CPU time: 177.011 s c =============================================================================== c | 0 | 2996 3055 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15441 c Elapsed CPU time: 3.08253 s Remaining CPU time: 176.917 s c =============================================================================== c | 0 | 2996 3056 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15440 c Elapsed CPU time: 3.17752 s Remaining CPU time: 176.822 s c =============================================================================== c | 0 | 2996 3057 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15439 c Elapsed CPU time: 3.2765 s Remaining CPU time: 176.723 s c =============================================================================== c | 0 | 2996 3058 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15438 c Elapsed CPU time: 3.37749 s Remaining CPU time: 176.623 s c =============================================================================== c | 0 | 2996 3059 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15437 c Elapsed CPU time: 3.48047 s Remaining CPU time: 176.52 s c =============================================================================== c | 0 | 2996 3060 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15435 c Elapsed CPU time: 3.58645 s Remaining CPU time: 176.414 s c =============================================================================== c | 0 | 2996 3061 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15433 c Elapsed CPU time: 3.69544 s Remaining CPU time: 176.305 s c =============================================================================== c | 0 | 2996 3062 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15432 c Elapsed CPU time: 3.80842 s Remaining CPU time: 176.192 s c =============================================================================== c | 0 | 2996 3063 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15431 c Elapsed CPU time: 3.9214 s Remaining CPU time: 176.079 s c =============================================================================== c | 0 | 2996 3064 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15427 c Elapsed CPU time: 4.03639 s Remaining CPU time: 175.964 s c =============================================================================== c | 0 | 2996 3065 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15425 c Elapsed CPU time: 4.15337 s Remaining CPU time: 175.847 s c =============================================================================== c | 0 | 2996 3066 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15424 c Elapsed CPU time: 4.26635 s Remaining CPU time: 175.734 s c =============================================================================== c | 0 | 2996 3067 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15420 c Elapsed CPU time: 4.38333 s Remaining CPU time: 175.617 s c =============================================================================== c | 0 | 2996 3068 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15419 c Elapsed CPU time: 4.50232 s Remaining CPU time: 175.498 s c =============================================================================== c | 0 | 2996 3069 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15418 c Elapsed CPU time: 4.6233 s Remaining CPU time: 175.377 s c =============================================================================== c | 0 | 2996 3070 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15417 c Elapsed CPU time: 4.75228 s Remaining CPU time: 175.248 s c =============================================================================== c | 0 | 2996 3071 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15416 c Elapsed CPU time: 4.88126 s Remaining CPU time: 175.119 s c =============================================================================== c | 0 | 2996 3072 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15415 c Elapsed CPU time: 5.01124 s Remaining CPU time: 174.989 s c =============================================================================== c | 0 | 2996 3073 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15414 c Elapsed CPU time: 5.14222 s Remaining CPU time: 174.858 s c =============================================================================== c | 0 | 2996 3074 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 5.2752 s Remaining CPU time: 174.725 s c =============================================================================== c | 0 | 2996 3075 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15412 c Elapsed CPU time: 5.41018 s Remaining CPU time: 174.59 s c =============================================================================== c | 0 | 2996 3076 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15411 c Elapsed CPU time: 5.54816 s Remaining CPU time: 174.452 s c =============================================================================== c | 0 | 2996 3077 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15410 c Elapsed CPU time: 5.68614 s Remaining CPU time: 174.314 s c =============================================================================== c | 0 | 2996 3078 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15409 c Elapsed CPU time: 5.82911 s Remaining CPU time: 174.171 s c =============================================================================== c | 0 | 2996 3079 225450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15408 c Elapsed CPU time: 5.97609 s Remaining CPU time: 174.024 s c =============================================================================== c | 0 | 2996 3080 228300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15407 c Elapsed CPU time: 6.12607 s Remaining CPU time: 173.874 s c =============================================================================== c | 0 | 2996 3081 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15406 c Elapsed CPU time: 6.28104 s Remaining CPU time: 173.719 s c =============================================================================== c | 0 | 2996 3082 234000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 6.43602 s Remaining CPU time: 173.564 s c =============================================================================== c | 0 | 2996 3083 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15403 c Elapsed CPU time: 6.592 s Remaining CPU time: 173.408 s c =============================================================================== c | 0 | 2996 3084 239700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15402 c Elapsed CPU time: 6.75197 s Remaining CPU time: 173.248 s c =============================================================================== c | 0 | 2996 3085 242550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15399 c Elapsed CPU time: 6.90995 s Remaining CPU time: 173.09 s c =============================================================================== c | 0 | 2996 3086 245400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15398 c Elapsed CPU time: 7.07192 s Remaining CPU time: 172.928 s c =============================================================================== c | 0 | 2996 3087 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 7.2329 s Remaining CPU time: 172.767 s c =============================================================================== c | 0 | 2996 3088 251100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15396 c Elapsed CPU time: 7.40587 s Remaining CPU time: 172.594 s c =============================================================================== c | 0 | 2996 3089 253950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15392 c Elapsed CPU time: 7.57485 s Remaining CPU time: 172.425 s c =============================================================================== c | 0 | 2996 3090 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15391 c Elapsed CPU time: 7.74482 s Remaining CPU time: 172.255 s c =============================================================================== c | 0 | 2996 3091 259650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15390 c Elapsed CPU time: 7.9128 s Remaining CPU time: 172.087 s c =============================================================================== c | 0 | 2996 3092 262500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15388 c Elapsed CPU time: 8.08477 s Remaining CPU time: 171.915 s c =============================================================================== c | 0 | 2996 3093 265350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15387 c Elapsed CPU time: 8.26174 s Remaining CPU time: 171.738 s c =============================================================================== c | 0 | 2996 3094 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15385 c Elapsed CPU time: 8.43672 s Remaining CPU time: 171.563 s c =============================================================================== c | 0 | 2996 3095 271050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15384 c Elapsed CPU time: 8.60869 s Remaining CPU time: 171.391 s c =============================================================================== c | 0 | 2996 3096 273900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15381 c Elapsed CPU time: 8.78566 s Remaining CPU time: 171.214 s c =============================================================================== c | 0 | 2996 3097 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15380 c Elapsed CPU time: 8.96364 s Remaining CPU time: 171.036 s c =============================================================================== c | 0 | 2996 3098 279600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15379 c Elapsed CPU time: 9.14261 s Remaining CPU time: 170.857 s c =============================================================================== c | 0 | 2996 3099 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 9.32558 s Remaining CPU time: 170.674 s c =============================================================================== c | 0 | 2996 3100 285300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15374 c Elapsed CPU time: 9.48656 s Remaining CPU time: 170.513 s c =============================================================================== c | 0 | 2996 3101 288150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15369 c Elapsed CPU time: 9.63554 s Remaining CPU time: 170.364 s c =============================================================================== c | 0 | 2996 3102 291000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15368 c Elapsed CPU time: 9.81451 s Remaining CPU time: 170.185 s c =============================================================================== c | 0 | 2996 3103 293850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 9.98648 s Remaining CPU time: 170.014 s c =============================================================================== c | 0 | 2996 3104 296700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15366 c Elapsed CPU time: 10.1645 s Remaining CPU time: 169.836 s c =============================================================================== c | 0 | 2996 3105 299550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15365 c Elapsed CPU time: 10.3354 s Remaining CPU time: 169.665 s c =============================================================================== c | 0 | 2996 3106 302400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15364 c Elapsed CPU time: 10.5204 s Remaining CPU time: 169.48 s c =============================================================================== c | 0 | 2996 3107 305250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15361 c Elapsed CPU time: 10.7114 s Remaining CPU time: 169.289 s c =============================================================================== c | 0 | 2996 3108 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15360 c Elapsed CPU time: 10.9033 s Remaining CPU time: 169.097 s c =============================================================================== c | 0 | 2996 3109 310950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 11.1303 s Remaining CPU time: 168.87 s c =============================================================================== c | 0 | 2996 3110 313800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15354 c Elapsed CPU time: 11.3563 s Remaining CPU time: 168.644 s c =============================================================================== c | 0 | 2996 3111 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 11.5512 s Remaining CPU time: 168.449 s c =============================================================================== c | 0 | 2996 3112 319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 11.7452 s Remaining CPU time: 168.255 s c =============================================================================== c | 0 | 2996 3113 322350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15351 c Elapsed CPU time: 11.9382 s Remaining CPU time: 168.062 s c =============================================================================== c | 0 | 2996 3114 325200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 12.1282 s Remaining CPU time: 167.872 s c =============================================================================== c | 0 | 2996 3115 328050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15345 c Elapsed CPU time: 12.3201 s Remaining CPU time: 167.68 s c =============================================================================== c | 0 | 2996 3116 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15344 c Elapsed CPU time: 12.5281 s Remaining CPU time: 167.472 s c =============================================================================== c | 0 | 2996 3117 333750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15342 c Elapsed CPU time: 12.7251 s Remaining CPU time: 167.275 s c =============================================================================== c | 0 | 2996 3118 336600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15340 c Elapsed CPU time: 12.925 s Remaining CPU time: 167.075 s c =============================================================================== c | 0 | 2996 3119 339450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15338 c Elapsed CPU time: 13.11 s Remaining CPU time: 166.89 s c =============================================================================== c | 0 | 2996 3120 342300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15337 c Elapsed CPU time: 13.306 s Remaining CPU time: 166.694 s c =============================================================================== c | 0 | 2996 3121 345150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15336 c Elapsed CPU time: 13.4979 s Remaining CPU time: 166.502 s c =============================================================================== c | 0 | 2996 3122 348000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15335 c Elapsed CPU time: 13.7009 s Remaining CPU time: 166.299 s c =============================================================================== c | 0 | 2996 3123 350850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15333 c Elapsed CPU time: 13.9089 s Remaining CPU time: 166.091 s c =============================================================================== c | 0 | 2996 3124 353700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15332 c Elapsed CPU time: 14.1129 s Remaining CPU time: 165.887 s c =============================================================================== c | 0 | 2996 3125 356550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15330 c Elapsed CPU time: 14.3168 s Remaining CPU time: 165.683 s c =============================================================================== c | 0 | 2996 3126 359400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15329 c Elapsed CPU time: 14.5418 s Remaining CPU time: 165.458 s c =============================================================================== c | 0 | 2996 3127 362250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15328 c Elapsed CPU time: 14.7818 s Remaining CPU time: 165.218 s c =============================================================================== c | 0 | 2996 3128 365100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15324 c Elapsed CPU time: 15.0347 s Remaining CPU time: 164.965 s c =============================================================================== c | 0 | 2996 3129 367950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15323 c Elapsed CPU time: 15.3047 s Remaining CPU time: 164.695 s c =============================================================================== c | 0 | 2996 3130 370800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15322 c Elapsed CPU time: 15.5696 s Remaining CPU time: 164.43 s c =============================================================================== c | 0 | 2996 3131 373650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 15.8306 s Remaining CPU time: 164.169 s c =============================================================================== c | 0 | 2996 3132 376500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15319 c Elapsed CPU time: 16.0956 s Remaining CPU time: 163.904 s c =============================================================================== c | 0 | 2996 3133 379350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15318 c Elapsed CPU time: 16.3635 s Remaining CPU time: 163.636 s c =============================================================================== c | 0 | 2996 3134 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15316 c Elapsed CPU time: 16.6485 s Remaining CPU time: 163.352 s c =============================================================================== c | 0 | 2996 3135 385050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 16.9354 s Remaining CPU time: 163.065 s c =============================================================================== c | 0 | 2996 3136 387900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15313 c Elapsed CPU time: 17.2254 s Remaining CPU time: 162.775 s c =============================================================================== c | 0 | 2996 3137 390750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 17.5143 s Remaining CPU time: 162.486 s c =============================================================================== c | 0 | 2996 3138 393600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 17.8153 s Remaining CPU time: 162.185 s c =============================================================================== c | 0 | 2996 3139 396450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 18.1022 s Remaining CPU time: 161.898 s c =============================================================================== c | 0 | 2996 3140 399300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15309 c Elapsed CPU time: 18.3972 s Remaining CPU time: 161.603 s c =============================================================================== c | 0 | 2996 3141 402150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15307 c Elapsed CPU time: 18.7032 s Remaining CPU time: 161.297 s c =============================================================================== c | 0 | 2996 3142 405000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15306 c Elapsed CPU time: 19.0021 s Remaining CPU time: 160.998 s c =============================================================================== c | 0 | 2996 3143 407850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15304 c Elapsed CPU time: 19.3081 s Remaining CPU time: 160.692 s c =============================================================================== c | 0 | 2996 3144 410700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15302 c Elapsed CPU time: 19.62 s Remaining CPU time: 160.38 s c =============================================================================== c | 0 | 2996 3145 413550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 19.928 s Remaining CPU time: 160.072 s c =============================================================================== c | 0 | 2996 3146 416400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15300 c Elapsed CPU time: 20.2359 s Remaining CPU time: 159.764 s c =============================================================================== c | 0 | 2996 3147 419250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15298 c Elapsed CPU time: 20.5419 s Remaining CPU time: 159.458 s c =============================================================================== c | 0 | 2996 3148 422100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15296 c Elapsed CPU time: 20.8518 s Remaining CPU time: 159.148 s c =============================================================================== c | 0 | 2996 3149 424950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15295 c Elapsed CPU time: 21.1668 s Remaining CPU time: 158.833 s c =============================================================================== c | 0 | 2996 3150 427800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 21.4897 s Remaining CPU time: 158.51 s c =============================================================================== c | 0 | 2996 3151 430650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 21.8007 s Remaining CPU time: 158.199 s c =============================================================================== c | 0 | 2996 3152 433500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 22.1186 s Remaining CPU time: 157.881 s c =============================================================================== c | 0 | 2996 3153 436350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15291 c Elapsed CPU time: 22.4446 s Remaining CPU time: 157.555 s c =============================================================================== c | 0 | 2996 3154 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 22.7675 s Remaining CPU time: 157.232 s c =============================================================================== c | 0 | 2996 3155 442050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 23.0875 s Remaining CPU time: 156.913 s c =============================================================================== c | 0 | 2996 3156 444900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15282 c Elapsed CPU time: 23.4164 s Remaining CPU time: 156.584 s c =============================================================================== c | 0 | 2996 3157 447750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15281 c Elapsed CPU time: 23.7494 s Remaining CPU time: 156.251 s c =============================================================================== c | 0 | 2996 3158 450600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15280 c Elapsed CPU time: 24.0833 s Remaining CPU time: 155.917 s c =============================================================================== c | 0 | 2996 3159 453450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 24.4113 s Remaining CPU time: 155.589 s c =============================================================================== c | 0 | 2996 3160 456300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 24.7452 s Remaining CPU time: 155.255 s c =============================================================================== c | 0 | 2996 3161 459150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15276 c Elapsed CPU time: 25.0812 s Remaining CPU time: 154.919 s c =============================================================================== c | 0 | 2996 3162 462000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15275 c Elapsed CPU time: 25.4271 s Remaining CPU time: 154.573 s c =============================================================================== c | 0 | 2996 3163 464850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 25.7761 s Remaining CPU time: 154.224 s c =============================================================================== c | 0 | 2996 3164 467700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 26.138 s Remaining CPU time: 153.862 s c =============================================================================== c | 0 | 2996 3165 470550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 26.481 s Remaining CPU time: 153.519 s c =============================================================================== c | 0 | 2996 3166 473400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 26.8299 s Remaining CPU time: 153.17 s c =============================================================================== c | 0 | 2996 3167 476250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 27.1689 s Remaining CPU time: 152.831 s c =============================================================================== c | 0 | 2996 3168 479100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 27.5128 s Remaining CPU time: 152.487 s c =============================================================================== c | 0 | 2996 3169 481950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 27.8668 s Remaining CPU time: 152.133 s c =============================================================================== c | 0 | 2996 3170 484800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15267 c Elapsed CPU time: 28.2167 s Remaining CPU time: 151.783 s c =============================================================================== c | 0 | 2996 3171 487650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 28.5747 s Remaining CPU time: 151.425 s c =============================================================================== c | 0 | 2996 3172 490500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15264 c Elapsed CPU time: 28.9386 s Remaining CPU time: 151.061 s c =============================================================================== c | 0 | 2996 3173 493350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 29.2935 s Remaining CPU time: 150.706 s c =============================================================================== c | 0 | 2996 3174 496200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15262 c Elapsed CPU time: 29.6445 s Remaining CPU time: 150.356 s c =============================================================================== c | 0 | 2996 3175 499050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15261 c Elapsed CPU time: 29.9964 s Remaining CPU time: 150.004 s c =============================================================================== c | 0 | 2996 3176 501900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15260 c Elapsed CPU time: 30.3534 s Remaining CPU time: 149.647 s c =============================================================================== c | 0 | 2996 3177 504750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15259 c Elapsed CPU time: 30.7203 s Remaining CPU time: 149.28 s c =============================================================================== c | 0 | 2996 3178 507600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15256 c Elapsed CPU time: 31.0963 s Remaining CPU time: 148.904 s c =============================================================================== c | 0 | 2996 3179 510450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 31.4712 s Remaining CPU time: 148.529 s c =============================================================================== c | 0 | 2996 3180 513300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 31.8512 s Remaining CPU time: 148.149 s c =============================================================================== c | 0 | 2996 3181 516150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15249 c Elapsed CPU time: 32.2311 s Remaining CPU time: 147.769 s c =============================================================================== c | 0 | 2996 3182 519000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 32.622 s Remaining CPU time: 147.378 s c =============================================================================== c | 0 | 2996 3183 521850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 33.003 s Remaining CPU time: 146.997 s c =============================================================================== c | 0 | 2996 3184 524700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15246 c Elapsed CPU time: 33.3889 s Remaining CPU time: 146.611 s c =============================================================================== c | 0 | 2996 3185 527550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15245 c Elapsed CPU time: 33.7739 s Remaining CPU time: 146.226 s c =============================================================================== c | 0 | 2996 3186 530400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 34.1658 s Remaining CPU time: 145.834 s c =============================================================================== c | 0 | 2996 3187 533250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15243 c Elapsed CPU time: 34.5557 s Remaining CPU time: 145.444 s c =============================================================================== c | 0 | 2996 3188 536100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 34.9477 s Remaining CPU time: 145.052 s c =============================================================================== c | 0 | 2996 3189 538950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 35.3446 s Remaining CPU time: 144.655 s c =============================================================================== c | 0 | 2996 3190 541800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 35.7436 s Remaining CPU time: 144.256 s c =============================================================================== c | 0 | 2996 3191 544650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 36.1485 s Remaining CPU time: 143.851 s c =============================================================================== c | 0 | 2996 3192 547500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15232 c Elapsed CPU time: 36.5514 s Remaining CPU time: 143.449 s c =============================================================================== c | 0 | 2996 3193 550350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15229 c Elapsed CPU time: 36.9524 s Remaining CPU time: 143.048 s c =============================================================================== c | 0 | 2996 3194 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15226 c Elapsed CPU time: 37.3633 s Remaining CPU time: 142.637 s c =============================================================================== c | 0 | 2996 3195 556050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15223 c Elapsed CPU time: 37.7803 s Remaining CPU time: 142.22 s c =============================================================================== c | 0 | 2996 3196 558900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 38.2042 s Remaining CPU time: 141.796 s c =============================================================================== c | 0 | 2996 3197 561750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15219 c Elapsed CPU time: 38.6241 s Remaining CPU time: 141.376 s c =============================================================================== c | 0 | 2996 3198 564600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15218 c Elapsed CPU time: 39.0381 s Remaining CPU time: 140.962 s c =============================================================================== c | 0 | 2996 3199 567450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15217 c Elapsed CPU time: 39.473 s Remaining CPU time: 140.527 s c =============================================================================== c | 0 | 2996 3200 570300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15216 c Elapsed CPU time: 39.9159 s Remaining CPU time: 140.084 s c =============================================================================== c | 0 | 2996 3201 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15215 c Elapsed CPU time: 40.3659 s Remaining CPU time: 139.634 s c =============================================================================== c | 0 | 2996 3202 576000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15214 c Elapsed CPU time: 40.8208 s Remaining CPU time: 139.179 s c =============================================================================== c | 0 | 2996 3203 578850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15212 c Elapsed CPU time: 41.2827 s Remaining CPU time: 138.717 s c =============================================================================== c | 0 | 2996 3204 581700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 41.7477 s Remaining CPU time: 138.252 s c =============================================================================== c | 0 | 2996 3205 584550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15210 c Elapsed CPU time: 42.2056 s Remaining CPU time: 137.794 s c =============================================================================== c | 0 | 2996 3206 587400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15209 c Elapsed CPU time: 42.6515 s Remaining CPU time: 137.348 s c =============================================================================== c | 0 | 2996 3207 590250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15208 c Elapsed CPU time: 43.0894 s Remaining CPU time: 136.911 s c =============================================================================== c | 0 | 2996 3208 593100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 43.5404 s Remaining CPU time: 136.46 s c =============================================================================== c | 0 | 2996 3209 595950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15204 c Elapsed CPU time: 43.9883 s Remaining CPU time: 136.012 s c =============================================================================== c | 0 | 2996 3210 598800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15203 c Elapsed CPU time: 44.4322 s Remaining CPU time: 135.568 s c =============================================================================== c | 0 | 2996 3211 601650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15202 c Elapsed CPU time: 44.8812 s Remaining CPU time: 135.119 s c =============================================================================== c | 0 | 2996 3212 604500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15200 c Elapsed CPU time: 45.3271 s Remaining CPU time: 134.673 s c =============================================================================== c | 0 | 2996 3213 607350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15199 c Elapsed CPU time: 45.777 s Remaining CPU time: 134.223 s c =============================================================================== c | 0 | 2996 3214 610200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15198 c Elapsed CPU time: 46.237 s Remaining CPU time: 133.763 s c =============================================================================== c | 0 | 2996 3215 613050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15197 c Elapsed CPU time: 46.6959 s Remaining CPU time: 133.304 s c =============================================================================== c | 0 | 2996 3216 615900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15196 c Elapsed CPU time: 47.1548 s Remaining CPU time: 132.845 s c =============================================================================== c | 0 | 2996 3217 618750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15195 c Elapsed CPU time: 47.6068 s Remaining CPU time: 132.393 s c =============================================================================== c | 0 | 2996 3218 621600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15194 c Elapsed CPU time: 48.0677 s Remaining CPU time: 131.932 s c =============================================================================== c | 0 | 2996 3219 624450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15192 c Elapsed CPU time: 48.5266 s Remaining CPU time: 131.473 s c =============================================================================== c | 0 | 2996 3220 627300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15191 c Elapsed CPU time: 48.9776 s Remaining CPU time: 131.022 s c =============================================================================== c | 0 | 2996 3221 630150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15190 c Elapsed CPU time: 49.4225 s Remaining CPU time: 130.578 s c =============================================================================== c | 0 | 2996 3222 633000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15186 c Elapsed CPU time: 49.8734 s Remaining CPU time: 130.127 s c =============================================================================== c | 0 | 2996 3223 635850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15183 c Elapsed CPU time: 50.3313 s Remaining CPU time: 129.669 s c =============================================================================== c | 0 | 2996 3224 638700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15181 c Elapsed CPU time: 50.7793 s Remaining CPU time: 129.221 s c =============================================================================== c | 0 | 2996 3225 641550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15177 c Elapsed CPU time: 51.2272 s Remaining CPU time: 128.773 s c =============================================================================== c | 0 | 2996 3226 644400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15176 c Elapsed CPU time: 51.6861 s Remaining CPU time: 128.314 s c =============================================================================== c | 0 | 2996 3227 647250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15175 c Elapsed CPU time: 52.1531 s Remaining CPU time: 127.847 s c =============================================================================== c | 0 | 2996 3228 650100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15174 c Elapsed CPU time: 52.621 s Remaining CPU time: 127.379 s c =============================================================================== c | 0 | 2996 3229 652950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15172 c Elapsed CPU time: 53.0909 s Remaining CPU time: 126.909 s c =============================================================================== c | 0 | 2996 3230 655800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15171 c Elapsed CPU time: 53.5639 s Remaining CPU time: 126.436 s c =============================================================================== c | 0 | 2996 3231 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15170 c Elapsed CPU time: 54.0448 s Remaining CPU time: 125.955 s c =============================================================================== c | 0 | 2996 3232 661500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15169 c Elapsed CPU time: 54.5307 s Remaining CPU time: 125.469 s c =============================================================================== c | 0 | 2996 3233 664350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15168 c Elapsed CPU time: 54.9986 s Remaining CPU time: 125.001 s c =============================================================================== c | 0 | 2996 3234 667200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15167 c Elapsed CPU time: 55.4756 s Remaining CPU time: 124.524 s c =============================================================================== c | 0 | 2996 3235 670050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15166 c Elapsed CPU time: 55.9445 s Remaining CPU time: 124.056 s c =============================================================================== c | 0 | 2996 3236 672900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15165 c Elapsed CPU time: 56.4194 s Remaining CPU time: 123.581 s c =============================================================================== c | 0 | 2996 3237 675750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15163 c Elapsed CPU time: 56.8834 s Remaining CPU time: 123.117 s c =============================================================================== c | 0 | 2996 3238 678600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15162 c Elapsed CPU time: 57.3463 s Remaining CPU time: 122.654 s c =============================================================================== c | 0 | 2996 3239 681450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15159 c Elapsed CPU time: 57.8202 s Remaining CPU time: 122.18 s c =============================================================================== c | 0 | 2996 3240 684300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15158 c Elapsed CPU time: 58.2881 s Remaining CPU time: 121.712 s c =============================================================================== c | 0 | 2996 3241 687150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15157 c Elapsed CPU time: 58.7681 s Remaining CPU time: 121.232 s c =============================================================================== c | 0 | 2996 3242 690000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15156 c Elapsed CPU time: 59.249 s Remaining CPU time: 120.751 s c =============================================================================== c | 0 | 2996 3243 692850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15155 c Elapsed CPU time: 59.7289 s Remaining CPU time: 120.271 s c =============================================================================== c | 0 | 2996 3244 695700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15153 c Elapsed CPU time: 60.2078 s Remaining CPU time: 119.792 s c =============================================================================== c | 0 | 2996 3245 698550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15151 c Elapsed CPU time: 60.6848 s Remaining CPU time: 119.315 s c =============================================================================== c | 0 | 2996 3246 701400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15150 c Elapsed CPU time: 61.1657 s Remaining CPU time: 118.834 s c =============================================================================== c | 0 | 2996 3247 704250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15148 c Elapsed CPU time: 61.6556 s Remaining CPU time: 118.344 s c =============================================================================== c | 0 | 2996 3248 707100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15146 c Elapsed CPU time: 62.1256 s Remaining CPU time: 117.874 s c =============================================================================== c | 0 | 2996 3249 709950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15145 c Elapsed CPU time: 62.6085 s Remaining CPU time: 117.392 s c =============================================================================== c | 0 | 2996 3250 712800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15143 c Elapsed CPU time: 63.0894 s Remaining CPU time: 116.911 s c =============================================================================== c | 0 | 2996 3251 715650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15139 c Elapsed CPU time: 63.5813 s Remaining CPU time: 116.419 s c =============================================================================== c | 0 | 2996 3252 718500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15138 c Elapsed CPU time: 64.0923 s Remaining CPU time: 115.908 s c =============================================================================== c | 0 | 2996 3253 721350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15137 c Elapsed CPU time: 64.5732 s Remaining CPU time: 115.427 s c =============================================================================== c | 0 | 2996 3254 724200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15135 c Elapsed CPU time: 65.0701 s Remaining CPU time: 114.93 s c =============================================================================== c | 0 | 2996 3255 727050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15134 c Elapsed CPU time: 65.558 s Remaining CPU time: 114.442 s c =============================================================================== c | 0 | 2996 3256 729900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15131 c Elapsed CPU time: 66.048 s Remaining CPU time: 113.952 s c =============================================================================== c | 0 | 2996 3257 732750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15129 c Elapsed CPU time: 66.5639 s Remaining CPU time: 113.436 s c =============================================================================== c | 1 | 2996 3258 735600 | 5000 1 2794 | 0.000 % | c =============================================================================== c New solution: 15128 c Elapsed CPU time: 67.0808 s Remaining CPU time: 112.919 s c =============================================================================== c | 1 | 2996 3259 738450 | 5000 1 2794 | 0.000 % | c =============================================================================== c New solution: 15126 c Elapsed CPU time: 67.5937 s Remaining CPU time: 112.406 s c =============================================================================== c | 1 | 2996 3260 741300 | 5000 1 2794 | 0.000 % | c =============================================================================== c New solution: 15125 c Elapsed CPU time: 68.0916 s Remaining CPU time: 111.908 s c =============================================================================== c | 1 | 2996 3261 744150 | 5000 1 2794 | 0.000 % | c =============================================================================== c New solution: 15124 c Elapsed CPU time: 68.5906 s Remaining CPU time: 111.409 s c =============================================================================== c | 1 | 2996 3262 747000 | 5000 1 2794 | 0.000 % | c =============================================================================== c New solution: 15122 c Elapsed CPU time: 69.0955 s Remaining CPU time: 110.905 s c =============================================================================== c | 1 | 2996 3263 749850 | 5000 1 2794 | 0.000 % | c =============================================================================== c New solution: 15121 c Elapsed CPU time: 69.6164 s Remaining CPU time: 110.384 s c =============================================================================== c | 2 | 2996 3264 752700 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15120 c Elapsed CPU time: 70.1333 s Remaining CPU time: 109.867 s c =============================================================================== c | 2 | 2996 3265 755550 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15119 c Elapsed CPU time: 70.6693 s Remaining CPU time: 109.331 s c =============================================================================== c | 2 | 2996 3266 758400 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15117 c Elapsed CPU time: 71.2052 s Remaining CPU time: 108.795 s c =============================================================================== c | 2 | 2996 3267 761250 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15116 c Elapsed CPU time: 71.7601 s Remaining CPU time: 108.24 s c =============================================================================== c | 2 | 2996 3268 764100 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15115 c Elapsed CPU time: 72.321 s Remaining CPU time: 107.679 s c =============================================================================== c | 2 | 2996 3269 766950 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15114 c Elapsed CPU time: 72.8589 s Remaining CPU time: 107.141 s c =============================================================================== c | 2 | 2996 3270 769800 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15113 c Elapsed CPU time: 73.4168 s Remaining CPU time: 106.583 s c =============================================================================== c | 2 | 2996 3271 772650 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15112 c Elapsed CPU time: 73.9768 s Remaining CPU time: 106.023 s c =============================================================================== c | 2 | 2996 3272 775500 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15111 c Elapsed CPU time: 74.5907 s Remaining CPU time: 105.409 s c =============================================================================== c | 2 | 2996 3273 778350 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15110 c Elapsed CPU time: 75.1896 s Remaining CPU time: 104.81 s c =============================================================================== c | 2 | 2996 3274 781200 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15109 c Elapsed CPU time: 75.8035 s Remaining CPU time: 104.197 s c =============================================================================== c | 2 | 2996 3275 784050 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15108 c Elapsed CPU time: 76.3764 s Remaining CPU time: 103.624 s c =============================================================================== c | 2 | 2996 3276 786900 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15107 c Elapsed CPU time: 76.9653 s Remaining CPU time: 103.035 s c =============================================================================== c | 2 | 2996 3277 789750 | 5000 2 2793 | 0.000 % | c =============================================================================== c New solution: 15105 c Elapsed CPU time: 77.5602 s Remaining CPU time: 102.44 s c =============================================================================== c | 3 | 2996 3278 792600 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15104 c Elapsed CPU time: 78.1541 s Remaining CPU time: 101.846 s c =============================================================================== c | 3 | 2996 3279 795450 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15103 c Elapsed CPU time: 78.745 s Remaining CPU time: 101.255 s c =============================================================================== c | 3 | 2996 3280 798300 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15102 c Elapsed CPU time: 79.3089 s Remaining CPU time: 100.691 s c =============================================================================== c | 3 | 2996 3281 801150 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15101 c Elapsed CPU time: 79.9009 s Remaining CPU time: 100.099 s c =============================================================================== c | 3 | 2996 3282 804000 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15100 c Elapsed CPU time: 80.4878 s Remaining CPU time: 99.5122 s c =============================================================================== c | 3 | 2996 3283 806850 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15099 c Elapsed CPU time: 81.0737 s Remaining CPU time: 98.9263 s c =============================================================================== c | 3 | 2996 3284 809700 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15098 c Elapsed CPU time: 81.6686 s Remaining CPU time: 98.3314 s c =============================================================================== c | 3 | 2996 3285 812550 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15097 c Elapsed CPU time: 82.2495 s Remaining CPU time: 97.7505 s c =============================================================================== c | 3 | 2996 3286 815400 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15096 c Elapsed CPU time: 82.8174 s Remaining CPU time: 97.1826 s c =============================================================================== c | 3 | 2996 3287 818250 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15095 c Elapsed CPU time: 83.4093 s Remaining CPU time: 96.5907 s c =============================================================================== c | 3 | 2996 3288 821100 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15094 c Elapsed CPU time: 83.9932 s Remaining CPU time: 96.0068 s c =============================================================================== c | 3 | 2996 3289 823950 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15093 c Elapsed CPU time: 84.5911 s Remaining CPU time: 95.4089 s c =============================================================================== c | 3 | 2996 3290 826800 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15092 c Elapsed CPU time: 85.1691 s Remaining CPU time: 94.8309 s c =============================================================================== c | 3 | 2996 3291 829650 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15091 c Elapsed CPU time: 85.751 s Remaining CPU time: 94.249 s c =============================================================================== c | 3 | 2996 3292 832500 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15090 c Elapsed CPU time: 86.3459 s Remaining CPU time: 93.6541 s c =============================================================================== c | 3 | 2996 3293 835350 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15089 c Elapsed CPU time: 86.9538 s Remaining CPU time: 93.0462 s c =============================================================================== c | 3 | 2996 3294 838200 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15088 c Elapsed CPU time: 87.5577 s Remaining CPU time: 92.4423 s c =============================================================================== c | 3 | 2996 3295 841050 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15087 c Elapsed CPU time: 88.1626 s Remaining CPU time: 91.8374 s c =============================================================================== c | 3 | 2996 3296 843900 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15086 c Elapsed CPU time: 88.7365 s Remaining CPU time: 91.2635 s c =============================================================================== c | 3 | 2996 3297 846750 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15085 c Elapsed CPU time: 89.3414 s Remaining CPU time: 90.6586 s c =============================================================================== c | 3 | 2996 3298 849600 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15084 c Elapsed CPU time: 89.9863 s Remaining CPU time: 90.0137 s c =============================================================================== c | 3 | 2996 3299 852450 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15083 c Elapsed CPU time: 90.5882 s Remaining CPU time: 89.4118 s c =============================================================================== c | 3 | 2996 3300 855300 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15082 c Elapsed CPU time: 91.1811 s Remaining CPU time: 88.8189 s c =============================================================================== c | 3 | 2996 3301 858150 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15081 c Elapsed CPU time: 91.796 s Remaining CPU time: 88.204 s c =============================================================================== c | 3 | 2996 3302 861000 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15080 c Elapsed CPU time: 92.41 s Remaining CPU time: 87.59 s c =============================================================================== c | 3 | 2996 3303 863850 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15079 c Elapsed CPU time: 93.0189 s Remaining CPU time: 86.9811 s c =============================================================================== c | 3 | 2996 3304 866700 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15078 c Elapsed CPU time: 93.6168 s Remaining CPU time: 86.3832 s c =============================================================================== c | 3 | 2996 3305 869550 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15077 c Elapsed CPU time: 94.1967 s Remaining CPU time: 85.8033 s c =============================================================================== c | 3 | 2996 3306 872400 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15076 c Elapsed CPU time: 94.7726 s Remaining CPU time: 85.2274 s c =============================================================================== c | 3 | 2996 3307 875250 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15075 c Elapsed CPU time: 95.3565 s Remaining CPU time: 84.6435 s c =============================================================================== c | 3 | 2996 3308 878100 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15074 c Elapsed CPU time: 95.9454 s Remaining CPU time: 84.0546 s c =============================================================================== c | 3 | 2996 3309 880950 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15073 c Elapsed CPU time: 96.5713 s Remaining CPU time: 83.4287 s c =============================================================================== c | 3 | 2996 3310 883800 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15072 c Elapsed CPU time: 97.1912 s Remaining CPU time: 82.8088 s c =============================================================================== c | 3 | 2996 3311 886650 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15071 c Elapsed CPU time: 97.8111 s Remaining CPU time: 82.1889 s c =============================================================================== c | 3 | 2996 3312 889500 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15070 c Elapsed CPU time: 98.453 s Remaining CPU time: 81.547 s c =============================================================================== c | 3 | 2996 3313 892350 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15069 c Elapsed CPU time: 99.0919 s Remaining CPU time: 80.9081 s c =============================================================================== c | 3 | 2996 3314 895200 | 5000 3 2791 | 0.000 % | c =============================================================================== c New solution: 15068 c Elapsed CPU time: 99.7338 s Remaining CPU time: 80.2662 s c =============================================================================== c | 4 | 2996 3315 898050 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15067 c Elapsed CPU time: 100.399 s Remaining CPU time: 79.6013 s c =============================================================================== c | 4 | 2996 3316 900900 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15066 c Elapsed CPU time: 101.035 s Remaining CPU time: 78.9654 s c =============================================================================== c | 4 | 2996 3317 903750 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15065 c Elapsed CPU time: 101.666 s Remaining CPU time: 78.3345 s c =============================================================================== c | 4 | 2996 3318 906600 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15064 c Elapsed CPU time: 102.317 s Remaining CPU time: 77.6826 s c =============================================================================== c | 4 | 2996 3319 909450 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15063 c Elapsed CPU time: 102.976 s Remaining CPU time: 77.0237 s c =============================================================================== c | 4 | 2996 3320 912300 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15062 c Elapsed CPU time: 103.597 s Remaining CPU time: 76.4027 s c =============================================================================== c | 4 | 2996 3321 915150 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15061 c Elapsed CPU time: 104.213 s Remaining CPU time: 75.7868 s c =============================================================================== c | 4 | 2996 3322 918000 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15060 c Elapsed CPU time: 104.883 s Remaining CPU time: 75.1169 s c =============================================================================== c | 4 | 2996 3323 920850 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15059 c Elapsed CPU time: 105.536 s Remaining CPU time: 74.464 s c =============================================================================== c | 4 | 2996 3324 923700 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15058 c Elapsed CPU time: 106.23 s Remaining CPU time: 73.7702 s c =============================================================================== c | 4 | 2996 3325 926550 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15057 c Elapsed CPU time: 106.906 s Remaining CPU time: 73.0943 s c =============================================================================== c | 4 | 2996 3326 929400 | 5000 4 2094 | 0.000 % | c =============================================================================== c New solution: 15056 c Elapsed CPU time: 107.553 s Remaining CPU time: 72.4474 s c =============================================================================== c | 5 | 2996 3327 932250 | 5000 5 2230 | 0.000 % | c =============================================================================== c New solution: 15055 c Elapsed CPU time: 108.208 s Remaining CPU time: 71.7925 s c =============================================================================== c | 6 | 2996 3328 935100 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15054 c Elapsed CPU time: 108.83 s Remaining CPU time: 71.1695 s c =============================================================================== c | 6 | 2996 3329 937950 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15053 c Elapsed CPU time: 109.46 s Remaining CPU time: 70.5396 s c =============================================================================== c | 6 | 2996 3330 940800 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15052 c Elapsed CPU time: 110.13 s Remaining CPU time: 69.8697 s c =============================================================================== c | 6 | 2996 3331 943650 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15051 c Elapsed CPU time: 110.783 s Remaining CPU time: 69.2168 s c =============================================================================== c | 6 | 2996 3332 946500 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15050 c Elapsed CPU time: 111.444 s Remaining CPU time: 68.5559 s c =============================================================================== c | 6 | 2996 3333 949350 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15049 c Elapsed CPU time: 112.133 s Remaining CPU time: 67.867 s c =============================================================================== c | 6 | 2996 3334 952200 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15048 c Elapsed CPU time: 112.818 s Remaining CPU time: 67.1822 s c =============================================================================== c | 6 | 2996 3335 955050 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15047 c Elapsed CPU time: 113.485 s Remaining CPU time: 66.5153 s c =============================================================================== c | 6 | 2996 3336 957900 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15046 c Elapsed CPU time: 114.151 s Remaining CPU time: 65.8494 s c =============================================================================== c | 6 | 2996 3337 960750 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15045 c Elapsed CPU time: 114.895 s Remaining CPU time: 65.1055 s c =============================================================================== c | 6 | 2996 3338 963600 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15044 c Elapsed CPU time: 115.665 s Remaining CPU time: 64.3346 s c =============================================================================== c | 6 | 2996 3339 966450 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15043 c Elapsed CPU time: 116.386 s Remaining CPU time: 63.6137 s c =============================================================================== c | 6 | 2996 3340 969300 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15042 c Elapsed CPU time: 117.108 s Remaining CPU time: 62.8918 s c =============================================================================== c | 6 | 2996 3341 972150 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15041 c Elapsed CPU time: 117.803 s Remaining CPU time: 62.1969 s c =============================================================================== c | 6 | 2996 3342 975000 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15040 c Elapsed CPU time: 118.567 s Remaining CPU time: 61.433 s c =============================================================================== c | 6 | 2996 3343 977850 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15039 c Elapsed CPU time: 119.274 s Remaining CPU time: 60.7261 s c =============================================================================== c | 6 | 2996 3344 980700 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15038 c Elapsed CPU time: 119.945 s Remaining CPU time: 60.0552 s c =============================================================================== c | 6 | 2996 3345 983550 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15037 c Elapsed CPU time: 120.634 s Remaining CPU time: 59.3663 s c =============================================================================== c | 6 | 2996 3346 986400 | 5000 6 2321 | 0.000 % | c =============================================================================== c New solution: 15036 c Elapsed CPU time: 121.308 s Remaining CPU time: 58.6924 s c =============================================================================== c | 8 | 2996 3347 989250 | 5000 8 2435 | 0.000 % | c =============================================================================== c New solution: 15035 c Elapsed CPU time: 121.976 s Remaining CPU time: 58.0235 s c =============================================================================== c | 8 | 2996 3348 992100 | 5000 8 2435 | 0.000 % | c =============================================================================== c New solution: 15034 c Elapsed CPU time: 122.702 s Remaining CPU time: 57.2977 s c =============================================================================== c | 8 | 2996 3349 994950 | 5000 8 2435 | 0.000 % | c =============================================================================== c New solution: 15033 c Elapsed CPU time: 123.476 s Remaining CPU time: 56.5238 s c =============================================================================== c | 8 | 2996 3350 997800 | 5000 8 2435 | 0.000 % | c =============================================================================== c New solution: 15032 c Elapsed CPU time: 124.25 s Remaining CPU time: 55.7499 s c =============================================================================== c | 8 | 2996 3351 1000650 | 5000 8 2435 | 0.000 % | c =============================================================================== c New solution: 15031 c Elapsed CPU time: 125.038 s Remaining CPU time: 54.962 s c =============================================================================== c | 9 | 2996 3352 1003500 | 5000 9 2472 | 0.000 % | c =============================================================================== c New solution: 15030 c Elapsed CPU time: 125.821 s Remaining CPU time: 54.1791 s c =============================================================================== c | 9 | 2996 3353 1006350 | 5000 9 2472 | 0.000 % | c =============================================================================== c New solution: 15029 c Elapsed CPU time: 126.553 s Remaining CPU time: 53.4472 s c =============================================================================== c | 9 | 2996 3354 1009200 | 5000 9 2472 | 0.000 % | c =============================================================================== c New solution: 15028 c Elapsed CPU time: 127.276 s Remaining CPU time: 52.7243 s c =============================================================================== c | 9 | 2996 3355 1012050 | 5000 9 2472 | 0.000 % | c =============================================================================== c New solution: 15027 c Elapsed CPU time: 128.003 s Remaining CPU time: 51.9975 s c =============================================================================== c | 9 | 2996 3356 1014900 | 5000 9 2472 | 0.000 % | c =============================================================================== c New solution: 15026 c Elapsed CPU time: 128.743 s Remaining CPU time: 51.2566 s c =============================================================================== c | 9 | 2996 3357 1017750 | 5000 9 2472 | 0.000 % | c =============================================================================== c New solution: 15025 c Elapsed CPU time: 129.461 s Remaining CPU time: 50.5387 s c =============================================================================== c | 9 | 2996 3358 1020600 | 5000 9 2472 | 0.000 % | c =============================================================================== c New solution: 15024 c Elapsed CPU time: 130.159 s Remaining CPU time: 49.8408 s c =============================================================================== c | 10 | 2996 3359 1023450 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15023 c Elapsed CPU time: 130.882 s Remaining CPU time: 49.1179 s c =============================================================================== c | 10 | 2996 3360 1026300 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15022 c Elapsed CPU time: 131.633 s Remaining CPU time: 48.367 s c =============================================================================== c | 10 | 2996 3361 1029150 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15021 c Elapsed CPU time: 132.382 s Remaining CPU time: 47.6181 s c =============================================================================== c | 10 | 2996 3362 1032000 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15020 c Elapsed CPU time: 133.09 s Remaining CPU time: 46.9102 s c =============================================================================== c | 10 | 2996 3363 1034850 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15019 c Elapsed CPU time: 133.842 s Remaining CPU time: 46.1583 s c =============================================================================== c | 10 | 2996 3364 1037700 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15018 c Elapsed CPU time: 134.582 s Remaining CPU time: 45.4185 s c =============================================================================== c | 10 | 2996 3365 1040550 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15017 c Elapsed CPU time: 135.333 s Remaining CPU time: 44.6666 s c =============================================================================== c | 10 | 2996 3366 1043400 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15016 c Elapsed CPU time: 136.119 s Remaining CPU time: 43.8807 s c =============================================================================== c | 10 | 2996 3367 1046250 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15015 c Elapsed CPU time: 136.948 s Remaining CPU time: 43.0518 s c =============================================================================== c | 10 | 2996 3368 1049100 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15014 c Elapsed CPU time: 137.758 s Remaining CPU time: 42.2419 s c =============================================================================== c | 10 | 2996 3369 1051950 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15013 c Elapsed CPU time: 138.589 s Remaining CPU time: 41.4111 s c =============================================================================== c | 10 | 2996 3370 1054800 | 5000 10 2225 | 0.000 % | c =============================================================================== c New solution: 15012 c Elapsed CPU time: 139.409 s Remaining CPU time: 40.5912 s c =============================================================================== c | 12 | 2996 3371 1057650 | 5000 12 2316 | 0.000 % | c =============================================================================== c New solution: 15011 c Elapsed CPU time: 140.217 s Remaining CPU time: 39.7833 s c =============================================================================== c | 12 | 2996 3372 1060500 | 5000 12 2316 | 0.000 % | c =============================================================================== c New solution: 15010 c Elapsed CPU time: 141.008 s Remaining CPU time: 38.9924 s c =============================================================================== c | 12 | 2996 3373 1063350 | 5000 12 2316 | 0.000 % | c =============================================================================== c New solution: 15009 c Elapsed CPU time: 141.755 s Remaining CPU time: 38.2446 s c =============================================================================== c | 12 | 2996 3374 1066200 | 5000 12 2316 | 0.000 % | c =============================================================================== c New solution: 15008 c Elapsed CPU time: 142.515 s Remaining CPU time: 37.4847 s c =============================================================================== c | 12 | 2996 3375 1069050 | 5000 12 2316 | 0.000 % | c =============================================================================== c New solution: 15007 c Elapsed CPU time: 143.286 s Remaining CPU time: 36.7138 s c =============================================================================== c | 12 | 2996 3376 1071900 | 5000 12 2316 | 0.000 % | c =============================================================================== c New solution: 15006 c Elapsed CPU time: 144.126 s Remaining CPU time: 35.8739 s c =============================================================================== c | 14 | 2996 3377 1074750 | 5000 14 2380 | 0.000 % | c =============================================================================== c New solution: 15005 c Elapsed CPU time: 144.897 s Remaining CPU time: 35.103 s c =============================================================================== c | 14 | 2996 3378 1077600 | 5000 14 2380 | 0.000 % | c =============================================================================== c New solution: 15004 c Elapsed CPU time: 145.668 s Remaining CPU time: 34.3321 s c =============================================================================== c | 14 | 2996 3379 1080450 | 5000 14 2380 | 0.000 % | c =============================================================================== c New solution: 15003 c Elapsed CPU time: 146.404 s Remaining CPU time: 33.5963 s c =============================================================================== c | 14 | 2996 3380 1083300 | 5000 14 2380 | 0.000 % | c =============================================================================== c New solution: 15002 c Elapsed CPU time: 147.21 s Remaining CPU time: 32.7904 s c =============================================================================== c | 14 | 2996 3381 1086150 | 5000 14 2380 | 0.000 % | c =============================================================================== c New solution: 15001 c Elapsed CPU time: 148.001 s Remaining CPU time: 31.9985 s c =============================================================================== c | 14 | 2996 3382 1089000 | 5000 14 2380 | 0.000 % | c =============================================================================== c New solution: 15000 c Elapsed CPU time: 148.824 s Remaining CPU time: 31.1756 s c =============================================================================== c | 14 | 2996 3383 1091850 | 5000 14 2380 | 0.000 % | c =============================================================================== c New solution: 14999 c Elapsed CPU time: 149.63 s Remaining CPU time: 30.3697 s c =============================================================================== c | 14 | 2996 3384 1094700 | 5000 14 2380 | 0.000 % | c =============================================================================== c New solution: 14998 c Elapsed CPU time: 150.486 s Remaining CPU time: 29.5139 s c =============================================================================== c | 16 | 2996 3385 1097550 | 5000 16 2428 | 0.000 % | c =============================================================================== c New solution: 14997 c Elapsed CPU time: 151.269 s Remaining CPU time: 28.731 s c =============================================================================== c | 16 | 2996 3386 1100400 | 5000 16 2428 | 0.000 % | c =============================================================================== c New solution: 14996 c Elapsed CPU time: 152.026 s Remaining CPU time: 27.9741 s c =============================================================================== c | 16 | 2996 3387 1103250 | 5000 16 2428 | 0.000 % | c =============================================================================== c New solution: 14995 c Elapsed CPU time: 152.816 s Remaining CPU time: 27.1842 s c =============================================================================== c | 16 | 2996 3388 1106100 | 5000 16 2428 | 0.000 % | c =============================================================================== c New solution: 14994 c Elapsed CPU time: 153.656 s Remaining CPU time: 26.3444 s c =============================================================================== c | 16 | 2996 3389 1108950 | 5000 16 2428 | 0.000 % | c =============================================================================== c New solution: 14993 c Elapsed CPU time: 154.599 s Remaining CPU time: 25.4005 s c =============================================================================== c | 17 | 2996 3390 1111800 | 5000 17 2448 | 0.000 % | c =============================================================================== c New solution: 14992 c Elapsed CPU time: 155.426 s Remaining CPU time: 24.5736 s c =============================================================================== c | 17 | 2996 3391 1114650 | 5000 17 2448 | 0.000 % | c =============================================================================== c New solution: 14991 c Elapsed CPU time: 156.257 s Remaining CPU time: 23.7428 s c =============================================================================== c | 17 | 2996 3392 1117500 | 5000 17 2448 | 0.000 % | c =============================================================================== c New solution: 14990 c Elapsed CPU time: 157.116 s Remaining CPU time: 22.8839 s c =============================================================================== c | 17 | 2996 3393 1120350 | 5000 17 2448 | 0.000 % | c =============================================================================== c New solution: 14989 c Elapsed CPU time: 157.956 s Remaining CPU time: 22.044 s c =============================================================================== c | 18 | 2996 3394 1123200 | 5000 18 2312 | 0.000 % | c =============================================================================== c New solution: 14988 c Elapsed CPU time: 158.782 s Remaining CPU time: 21.2181 s c =============================================================================== c | 18 | 2996 3395 1126050 | 5000 18 2312 | 0.000 % | c =============================================================================== c New solution: 14987 c Elapsed CPU time: 159.596 s Remaining CPU time: 20.4043 s c =============================================================================== c | 18 | 2996 3396 1128900 | 5000 18 2312 | 0.000 % | c =============================================================================== c New solution: 14986 c Elapsed CPU time: 160.419 s Remaining CPU time: 19.5814 s c =============================================================================== c | 18 | 2996 3397 1131750 | 5000 18 2312 | 0.000 % | c =============================================================================== c New solution: 14985 c Elapsed CPU time: 161.219 s Remaining CPU time: 18.7805 s c =============================================================================== c | 18 | 2996 3398 1134600 | 5000 18 2312 | 0.000 % | c =============================================================================== c New solution: 14984 c Elapsed CPU time: 162.029 s Remaining CPU time: 17.9706 s c =============================================================================== c | 18 | 2996 3399 1137450 | 5000 18 2312 | 0.000 % | c =============================================================================== c New solution: 14983 c Elapsed CPU time: 162.884 s Remaining CPU time: 17.1158 s c =============================================================================== c | 18 | 2996 3400 1140300 | 5000 18 2312 | 0.000 % | c =============================================================================== c New solution: 14982 c Elapsed CPU time: 163.686 s Remaining CPU time: 16.3139 s c =============================================================================== c | 18 | 2996 3401 1143150 | 5000 18 2312 | 0.000 % | c =============================================================================== c New solution: 14981 c Elapsed CPU time: 164.466 s Remaining CPU time: 15.534 s c =============================================================================== c | 20 | 2996 3402 1146000 | 5000 20 2356 | 0.000 % | c =============================================================================== c New solution: 14980 c Elapsed CPU time: 165.267 s Remaining CPU time: 14.7331 s c =============================================================================== c | 20 | 2996 3403 1148850 | 5000 20 2356 | 0.000 % | c =============================================================================== c New solution: 14979 c Elapsed CPU time: 166.095 s Remaining CPU time: 13.9053 s c =============================================================================== c | 21 | 2996 3404 1151700 | 5000 21 2375 | 0.000 % | c =============================================================================== c New solution: 14978 c Elapsed CPU time: 166.878 s Remaining CPU time: 13.1224 s c =============================================================================== c | 21 | 2996 3405 1154550 | 5000 21 2375 | 0.000 % | c =============================================================================== c New solution: 14977 c Elapsed CPU time: 167.682 s Remaining CPU time: 12.3185 s c =============================================================================== c | 21 | 2996 3406 1157400 | 5000 21 2375 | 0.000 % | c =============================================================================== c New solution: 14976 c Elapsed CPU time: 168.551 s Remaining CPU time: 11.4486 s c =============================================================================== c | 21 | 2996 3407 1160250 | 5000 21 2375 | 0.000 % | c =============================================================================== c New solution: 14975 c Elapsed CPU time: 169.469 s Remaining CPU time: 10.5308 s c =============================================================================== c | 23 | 2996 3408 1163100 | 5000 23 2408 | 0.000 % | c =============================================================================== c New solution: 14974 c Elapsed CPU time: 170.398 s Remaining CPU time: 9.6019 s c =============================================================================== c | 24 | 2996 3409 1165950 | 5000 24 2423 | 0.000 % | c =============================================================================== c New solution: 14973 c Elapsed CPU time: 171.273 s Remaining CPU time: 8.72704 s c =============================================================================== c | 28 | 2996 3410 1168800 | 5000 28 2471 | 0.000 % | c =============================================================================== c New solution: 14972 c Elapsed CPU time: 172.108 s Remaining CPU time: 7.89217 s c =============================================================================== c | 28 | 2996 3411 1171650 | 5000 28 2471 | 0.000 % | c =============================================================================== c New solution: 14971 c Elapsed CPU time: 172.931 s Remaining CPU time: 7.06929 s c =============================================================================== c | 28 | 2996 3412 1174500 | 5000 28 2471 | 0.000 % | c =============================================================================== c New solution: 14970 c Elapsed CPU time: 173.798 s Remaining CPU time: 6.20242 s c =============================================================================== c | 30 | 2996 3413 1177350 | 5000 30 2490 | 0.000 % | c =============================================================================== c New solution: 14969 c Elapsed CPU time: 174.627 s Remaining CPU time: 5.37255 s c =============================================================================== c | 30 | 2996 3414 1180200 | 5000 30 2490 | 0.000 % | c =============================================================================== c New solution: 14968 c Elapsed CPU time: 175.458 s Remaining CPU time: 4.54167 s c =============================================================================== c | 30 | 2996 3415 1183050 | 5000 30 2490 | 0.000 % | c =============================================================================== c New solution: 14967 c Elapsed CPU time: 176.314 s Remaining CPU time: 3.6858 s c =============================================================================== c | 30 | 2996 3416 1185900 | 5000 30 2490 | 0.000 % | c =============================================================================== c New solution: 14966 c Elapsed CPU time: 177.211 s Remaining CPU time: 2.78894 s c =============================================================================== c | 33 | 2996 3417 1188750 | 5000 33 2514 | 0.000 % | c =============================================================================== c New solution: 14965 c Elapsed CPU time: 178.099 s Remaining CPU time: 1.90108 s c =============================================================================== c | 33 | 2996 3418 1191600 | 5000 33 2514 | 0.000 % | c =============================================================================== c New solution: 14964 c Elapsed CPU time: 178.926 s Remaining CPU time: 1.0742 s c =============================================================================== c | 33 | 2996 3419 1194450 | 5000 33 2514 | 0.000 % | c =============================================================================== c New solution: 14963 c Elapsed CPU time: 179.76 s Remaining CPU time: 0.240328 s c =============================================================================== c | 34 | 2996 3420 1197300 | 5000 34 2521 | 0.000 % | c There are 4 assigned variables. 0 in cost function.