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 | 2994 3003 8846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15517 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 2994 3004 11696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15514 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 2994 3005 14546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15513 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 2994 3006 17396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15511 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 2994 3007 20246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15507 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 2994 3008 23096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15504 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 2994 3009 25946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15503 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 2994 3010 28796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15500 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 2994 3011 31646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15497 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 2994 3012 34496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15495 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 0 | 2994 3013 37346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15494 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 0 | 2994 3014 40196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15490 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 2994 3015 43046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15489 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 0 | 2994 3016 45896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15487 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 0 | 2994 3017 48746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15486 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 0 | 2994 3018 51596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15483 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 0 | 2994 3019 54446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15481 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 2994 3020 57296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15479 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 2994 3021 60146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15477 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 0 | 2994 3022 62996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15476 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 0 | 2994 3023 65846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15474 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 0 | 2994 3024 68696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15473 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s c =============================================================================== c | 0 | 2994 3025 71546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15472 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 0 | 2994 3026 74396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 0 | 2994 3027 77246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15470 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s c =============================================================================== c | 0 | 2994 3028 80096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15469 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 0 | 2994 3029 82946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15468 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 0 | 2994 3030 85796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15467 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 0 | 2994 3031 88646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15466 c Elapsed CPU time: 1.23781 s Remaining CPU time: 178.762 s c =============================================================================== c | 0 | 2994 3032 91496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15465 c Elapsed CPU time: 1.2988 s Remaining CPU time: 178.701 s c =============================================================================== c | 0 | 2994 3033 94346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15464 c Elapsed CPU time: 1.35879 s Remaining CPU time: 178.641 s c =============================================================================== c | 0 | 2994 3034 97196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15463 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s c =============================================================================== c | 0 | 2994 3035 100046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15462 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s c =============================================================================== c | 0 | 2994 3036 102896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15460 c Elapsed CPU time: 1.55476 s Remaining CPU time: 178.445 s c =============================================================================== c | 0 | 2994 3037 105746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15458 c Elapsed CPU time: 1.61875 s Remaining CPU time: 178.381 s c =============================================================================== c | 0 | 2994 3038 108596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15455 c Elapsed CPU time: 1.68474 s Remaining CPU time: 178.315 s c =============================================================================== c | 0 | 2994 3039 111446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15454 c Elapsed CPU time: 1.75273 s Remaining CPU time: 178.247 s c =============================================================================== c | 0 | 2994 3040 114296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15452 c Elapsed CPU time: 1.82372 s Remaining CPU time: 178.176 s c =============================================================================== c | 0 | 2994 3041 117146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15450 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 0 | 2994 3042 119996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15449 c Elapsed CPU time: 1.9637 s Remaining CPU time: 178.036 s c =============================================================================== c | 0 | 2994 3043 122846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15448 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 0 | 2994 3044 125696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15445 c Elapsed CPU time: 2.11168 s Remaining CPU time: 177.888 s c =============================================================================== c | 0 | 2994 3045 128546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15441 c Elapsed CPU time: 2.19367 s Remaining CPU time: 177.806 s c =============================================================================== c | 0 | 2994 3046 131396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15440 c Elapsed CPU time: 2.27465 s Remaining CPU time: 177.725 s c =============================================================================== c | 0 | 2994 3047 134246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15439 c Elapsed CPU time: 2.35764 s Remaining CPU time: 177.642 s c =============================================================================== c | 0 | 2994 3048 137096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15438 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 0 | 2994 3049 139946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15434 c Elapsed CPU time: 2.52961 s Remaining CPU time: 177.47 s c =============================================================================== c | 0 | 2994 3050 142796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15433 c Elapsed CPU time: 2.6176 s Remaining CPU time: 177.382 s c =============================================================================== c | 0 | 2994 3051 145646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15431 c Elapsed CPU time: 2.70559 s Remaining CPU time: 177.294 s c =============================================================================== c | 0 | 2994 3052 148496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15429 c Elapsed CPU time: 2.79458 s Remaining CPU time: 177.205 s c =============================================================================== c | 0 | 2994 3053 151346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15428 c Elapsed CPU time: 2.88756 s Remaining CPU time: 177.112 s c =============================================================================== c | 0 | 2994 3054 154196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15426 c Elapsed CPU time: 2.98155 s Remaining CPU time: 177.018 s c =============================================================================== c | 0 | 2994 3055 157046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15424 c Elapsed CPU time: 3.07553 s Remaining CPU time: 176.924 s c =============================================================================== c | 0 | 2994 3056 159896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15423 c Elapsed CPU time: 3.17152 s Remaining CPU time: 176.828 s c =============================================================================== c | 0 | 2994 3057 162746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15420 c Elapsed CPU time: 3.2675 s Remaining CPU time: 176.732 s c =============================================================================== c | 0 | 2994 3058 165596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15419 c Elapsed CPU time: 3.37349 s Remaining CPU time: 176.627 s c =============================================================================== c | 0 | 2994 3059 168446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15417 c Elapsed CPU time: 3.48147 s Remaining CPU time: 176.519 s c =============================================================================== c | 0 | 2994 3060 171296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15416 c Elapsed CPU time: 3.58945 s Remaining CPU time: 176.411 s c =============================================================================== c | 0 | 2994 3061 174146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15411 c Elapsed CPU time: 3.69644 s Remaining CPU time: 176.304 s c =============================================================================== c | 0 | 2994 3062 176996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15410 c Elapsed CPU time: 3.80742 s Remaining CPU time: 176.193 s c =============================================================================== c | 0 | 2994 3063 179846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15409 c Elapsed CPU time: 3.9214 s Remaining CPU time: 176.079 s c =============================================================================== c | 0 | 2994 3064 182696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15407 c Elapsed CPU time: 4.03739 s Remaining CPU time: 175.963 s c =============================================================================== c | 0 | 2994 3065 185546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15406 c Elapsed CPU time: 4.15437 s Remaining CPU time: 175.846 s c =============================================================================== c | 0 | 2994 3066 188396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 4.27335 s Remaining CPU time: 175.727 s c =============================================================================== c | 0 | 2994 3067 191246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15404 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 0 | 2994 3068 194096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15403 c Elapsed CPU time: 4.51531 s Remaining CPU time: 175.485 s c =============================================================================== c | 0 | 2994 3069 196946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15402 c Elapsed CPU time: 4.6353 s Remaining CPU time: 175.365 s c =============================================================================== c | 0 | 2994 3070 199796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15400 c Elapsed CPU time: 4.76328 s Remaining CPU time: 175.237 s c =============================================================================== c | 0 | 2994 3071 202646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15398 c Elapsed CPU time: 4.88426 s Remaining CPU time: 175.116 s c =============================================================================== c | 0 | 2994 3072 205496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 5.01324 s Remaining CPU time: 174.987 s c =============================================================================== c | 0 | 2994 3073 208346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15395 c Elapsed CPU time: 5.14422 s Remaining CPU time: 174.856 s c =============================================================================== c | 0 | 2994 3074 211196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15393 c Elapsed CPU time: 5.2752 s Remaining CPU time: 174.725 s c =============================================================================== c | 0 | 2994 3075 214046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15392 c Elapsed CPU time: 5.40818 s Remaining CPU time: 174.592 s c =============================================================================== c | 0 | 2994 3076 216896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15386 c Elapsed CPU time: 5.54116 s Remaining CPU time: 174.459 s c =============================================================================== c | 0 | 2994 3077 219746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15384 c Elapsed CPU time: 5.68014 s Remaining CPU time: 174.32 s c =============================================================================== c | 0 | 2994 3078 222596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 5.81512 s Remaining CPU time: 174.185 s c =============================================================================== c | 0 | 2994 3079 225446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15374 c Elapsed CPU time: 5.95909 s Remaining CPU time: 174.041 s c =============================================================================== c | 0 | 2994 3080 228296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15372 c Elapsed CPU time: 6.10207 s Remaining CPU time: 173.898 s c =============================================================================== c | 0 | 2994 3081 231146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15369 c Elapsed CPU time: 6.25005 s Remaining CPU time: 173.75 s c =============================================================================== c | 0 | 2994 3082 233996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 6.39703 s Remaining CPU time: 173.603 s c =============================================================================== c | 0 | 2994 3083 236846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15366 c Elapsed CPU time: 6.55 s Remaining CPU time: 173.45 s c =============================================================================== c | 0 | 2994 3084 239696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15365 c Elapsed CPU time: 6.70198 s Remaining CPU time: 173.298 s c =============================================================================== c | 0 | 2994 3085 242546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15363 c Elapsed CPU time: 6.85496 s Remaining CPU time: 173.145 s c =============================================================================== c | 0 | 2994 3086 245396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15362 c Elapsed CPU time: 7.00593 s Remaining CPU time: 172.994 s c =============================================================================== c | 0 | 2994 3087 248246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15361 c Elapsed CPU time: 7.16591 s Remaining CPU time: 172.834 s c =============================================================================== c | 0 | 2994 3088 251096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15360 c Elapsed CPU time: 7.32789 s Remaining CPU time: 172.672 s c =============================================================================== c | 0 | 2994 3089 253946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 7.48786 s Remaining CPU time: 172.512 s c =============================================================================== c | 0 | 2994 3090 256796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15357 c Elapsed CPU time: 7.64984 s Remaining CPU time: 172.35 s c =============================================================================== c | 0 | 2994 3091 259646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15356 c Elapsed CPU time: 7.80681 s Remaining CPU time: 172.193 s c =============================================================================== c | 0 | 2994 3092 262496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15355 c Elapsed CPU time: 7.96879 s Remaining CPU time: 172.031 s c =============================================================================== c | 0 | 2994 3093 265346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 8.12976 s Remaining CPU time: 171.87 s c =============================================================================== c | 0 | 2994 3094 268196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 8.29574 s Remaining CPU time: 171.704 s c =============================================================================== c | 0 | 2994 3095 271046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15349 c Elapsed CPU time: 8.46071 s Remaining CPU time: 171.539 s c =============================================================================== c | 0 | 2994 3096 273896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15348 c Elapsed CPU time: 8.63269 s Remaining CPU time: 171.367 s c =============================================================================== c | 0 | 2994 3097 276746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15346 c Elapsed CPU time: 8.80666 s Remaining CPU time: 171.193 s c =============================================================================== c | 0 | 2994 3098 279596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15344 c Elapsed CPU time: 8.97963 s Remaining CPU time: 171.02 s c =============================================================================== c | 0 | 2994 3099 282446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 9.15461 s Remaining CPU time: 170.845 s c =============================================================================== c | 0 | 2994 3100 285296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15342 c Elapsed CPU time: 9.34258 s Remaining CPU time: 170.657 s c =============================================================================== c | 0 | 2994 3101 288146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15341 c Elapsed CPU time: 9.52755 s Remaining CPU time: 170.472 s c =============================================================================== c | 0 | 2994 3102 290996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15340 c Elapsed CPU time: 9.71852 s Remaining CPU time: 170.281 s c =============================================================================== c | 0 | 2994 3103 293846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 9.91849 s Remaining CPU time: 170.082 s c =============================================================================== c | 0 | 2994 3104 296696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15338 c Elapsed CPU time: 10.1055 s Remaining CPU time: 169.895 s c =============================================================================== c | 0 | 2994 3105 299546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15337 c Elapsed CPU time: 10.2944 s Remaining CPU time: 169.706 s c =============================================================================== c | 0 | 2994 3106 302396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15336 c Elapsed CPU time: 10.4834 s Remaining CPU time: 169.517 s c =============================================================================== c | 0 | 2994 3107 305246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15334 c Elapsed CPU time: 10.6684 s Remaining CPU time: 169.332 s c =============================================================================== c | 0 | 2994 3108 308096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15331 c Elapsed CPU time: 10.8543 s Remaining CPU time: 169.146 s c =============================================================================== c | 0 | 2994 3109 310946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15328 c Elapsed CPU time: 11.0543 s Remaining CPU time: 168.946 s c =============================================================================== c | 0 | 2994 3110 313796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15327 c Elapsed CPU time: 11.2483 s Remaining CPU time: 168.752 s c =============================================================================== c | 0 | 2994 3111 316646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15326 c Elapsed CPU time: 11.4443 s Remaining CPU time: 168.556 s c =============================================================================== c | 0 | 2994 3112 319496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 11.6532 s Remaining CPU time: 168.347 s c =============================================================================== c | 0 | 2994 3113 322346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15324 c Elapsed CPU time: 11.8752 s Remaining CPU time: 168.125 s c =============================================================================== c | 0 | 2994 3114 325196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15322 c Elapsed CPU time: 12.0962 s Remaining CPU time: 167.904 s c =============================================================================== c | 0 | 2994 3115 328046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15321 c Elapsed CPU time: 12.3311 s Remaining CPU time: 167.669 s c =============================================================================== c | 0 | 2994 3116 330896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15319 c Elapsed CPU time: 12.5641 s Remaining CPU time: 167.436 s c =============================================================================== c | 0 | 2994 3117 333746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15318 c Elapsed CPU time: 12.7911 s Remaining CPU time: 167.209 s c =============================================================================== c | 0 | 2994 3118 336596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 13.025 s Remaining CPU time: 166.975 s c =============================================================================== c | 0 | 2994 3119 339446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15316 c Elapsed CPU time: 13.26 s Remaining CPU time: 166.74 s c =============================================================================== c | 0 | 2994 3120 342296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 13.4949 s Remaining CPU time: 166.505 s c =============================================================================== c | 0 | 2994 3121 345146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15313 c Elapsed CPU time: 13.7409 s Remaining CPU time: 166.259 s c =============================================================================== c | 0 | 2994 3122 347996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 13.9749 s Remaining CPU time: 166.025 s c =============================================================================== c | 0 | 2994 3123 350846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 14.2168 s Remaining CPU time: 165.783 s c =============================================================================== c | 0 | 2994 3124 353696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 14.4488 s Remaining CPU time: 165.551 s c =============================================================================== c | 0 | 2994 3125 356546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15309 c Elapsed CPU time: 14.6828 s Remaining CPU time: 165.317 s c =============================================================================== c | 0 | 2994 3126 359396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15308 c Elapsed CPU time: 14.9157 s Remaining CPU time: 165.084 s c =============================================================================== c | 0 | 2994 3127 362246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15305 c Elapsed CPU time: 15.1537 s Remaining CPU time: 164.846 s c =============================================================================== c | 0 | 2994 3128 365096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15304 c Elapsed CPU time: 15.3967 s Remaining CPU time: 164.603 s c =============================================================================== c | 0 | 2994 3129 367946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15303 c Elapsed CPU time: 15.6346 s Remaining CPU time: 164.365 s c =============================================================================== c | 0 | 2994 3130 370796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 15.8776 s Remaining CPU time: 164.122 s c =============================================================================== c | 0 | 2994 3131 373646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15300 c Elapsed CPU time: 16.1185 s Remaining CPU time: 163.881 s c =============================================================================== c | 0 | 2994 3132 376496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15298 c Elapsed CPU time: 16.3655 s Remaining CPU time: 163.634 s c =============================================================================== c | 0 | 2994 3133 379346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 16.6435 s Remaining CPU time: 163.357 s c =============================================================================== c | 0 | 2994 3134 382196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15296 c Elapsed CPU time: 16.9144 s Remaining CPU time: 163.086 s c =============================================================================== c | 0 | 2994 3135 385046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15295 c Elapsed CPU time: 17.1844 s Remaining CPU time: 162.816 s c =============================================================================== c | 0 | 2994 3136 387896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 17.4533 s Remaining CPU time: 162.547 s c =============================================================================== c | 0 | 2994 3137 390746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 17.7163 s Remaining CPU time: 162.284 s c =============================================================================== c | 0 | 2994 3138 393596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 17.9903 s Remaining CPU time: 162.01 s c =============================================================================== c | 0 | 2994 3139 396446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15290 c Elapsed CPU time: 18.2622 s Remaining CPU time: 161.738 s c =============================================================================== c | 0 | 2994 3140 399296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15289 c Elapsed CPU time: 18.5272 s Remaining CPU time: 161.473 s c =============================================================================== c | 0 | 2994 3141 402146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15288 c Elapsed CPU time: 18.7971 s Remaining CPU time: 161.203 s c =============================================================================== c | 0 | 2994 3142 404996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 19.0731 s Remaining CPU time: 160.927 s c =============================================================================== c | 0 | 2994 3143 407846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15286 c Elapsed CPU time: 19.3401 s Remaining CPU time: 160.66 s c =============================================================================== c | 0 | 2994 3144 410696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15284 c Elapsed CPU time: 19.608 s Remaining CPU time: 160.392 s c =============================================================================== c | 0 | 2994 3145 413546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 19.884 s Remaining CPU time: 160.116 s c =============================================================================== c | 0 | 2994 3146 416396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15282 c Elapsed CPU time: 20.1619 s Remaining CPU time: 159.838 s c =============================================================================== c | 0 | 2994 3147 419246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 20.4389 s Remaining CPU time: 159.561 s c =============================================================================== c | 0 | 2994 3148 422096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 20.7218 s Remaining CPU time: 159.278 s c =============================================================================== c | 0 | 2994 3149 424946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15276 c Elapsed CPU time: 21.0038 s Remaining CPU time: 158.996 s c =============================================================================== c | 0 | 2994 3150 427796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15275 c Elapsed CPU time: 21.2798 s Remaining CPU time: 158.72 s c =============================================================================== c | 0 | 2994 3151 430646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 21.5807 s Remaining CPU time: 158.419 s c =============================================================================== c | 0 | 2994 3152 433496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 21.8917 s Remaining CPU time: 158.108 s c =============================================================================== c | 0 | 2994 3153 436346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 22.2076 s Remaining CPU time: 157.792 s c =============================================================================== c | 0 | 2994 3154 439196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 22.5256 s Remaining CPU time: 157.474 s c =============================================================================== c | 0 | 2994 3155 442046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 22.8325 s Remaining CPU time: 157.167 s c =============================================================================== c | 0 | 2994 3156 444896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 23.1415 s Remaining CPU time: 156.859 s c =============================================================================== c | 0 | 2994 3157 447746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15267 c Elapsed CPU time: 23.4564 s Remaining CPU time: 156.544 s c =============================================================================== c | 0 | 2994 3158 450596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 23.7704 s Remaining CPU time: 156.23 s c =============================================================================== c | 0 | 2994 3159 453446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15265 c Elapsed CPU time: 24.0863 s Remaining CPU time: 155.914 s c =============================================================================== c | 0 | 2994 3160 456296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15264 c Elapsed CPU time: 24.4073 s Remaining CPU time: 155.593 s c =============================================================================== c | 0 | 2994 3161 459146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 24.7232 s Remaining CPU time: 155.277 s c =============================================================================== c | 0 | 2994 3162 461996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15262 c Elapsed CPU time: 25.0392 s Remaining CPU time: 154.961 s c =============================================================================== c | 0 | 2994 3163 464846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15261 c Elapsed CPU time: 25.3641 s Remaining CPU time: 154.636 s c =============================================================================== c | 0 | 2994 3164 467696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15259 c Elapsed CPU time: 25.6851 s Remaining CPU time: 154.315 s c =============================================================================== c | 0 | 2994 3165 470546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 26.006 s Remaining CPU time: 153.994 s c =============================================================================== c | 0 | 2994 3166 473396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 26.328 s Remaining CPU time: 153.672 s c =============================================================================== c | 0 | 2994 3167 476246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15256 c Elapsed CPU time: 26.6519 s Remaining CPU time: 153.348 s c =============================================================================== c | 0 | 2994 3168 479096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15255 c Elapsed CPU time: 26.9749 s Remaining CPU time: 153.025 s c =============================================================================== c | 0 | 2994 3169 481946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 27.3418 s Remaining CPU time: 152.658 s c =============================================================================== c | 0 | 2994 3170 484796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15253 c Elapsed CPU time: 27.7098 s Remaining CPU time: 152.29 s c =============================================================================== c | 0 | 2994 3171 487646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 28.0757 s Remaining CPU time: 151.924 s c =============================================================================== c | 0 | 2994 3172 490496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15251 c Elapsed CPU time: 28.4577 s Remaining CPU time: 151.542 s c =============================================================================== c | 0 | 2994 3173 493346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 28.8306 s Remaining CPU time: 151.169 s c =============================================================================== c | 0 | 2994 3174 496196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15249 c Elapsed CPU time: 29.2006 s Remaining CPU time: 150.799 s c =============================================================================== c | 0 | 2994 3175 499046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 29.5845 s Remaining CPU time: 150.415 s c =============================================================================== c | 0 | 2994 3176 501896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 29.9684 s Remaining CPU time: 150.032 s c =============================================================================== c | 0 | 2994 3177 504746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15246 c Elapsed CPU time: 30.3564 s Remaining CPU time: 149.644 s c =============================================================================== c | 0 | 2994 3178 507596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 30.7283 s Remaining CPU time: 149.272 s c =============================================================================== c | 0 | 2994 3179 510446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15243 c Elapsed CPU time: 31.1113 s Remaining CPU time: 148.889 s c =============================================================================== c | 0 | 2994 3180 513296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 31.4932 s Remaining CPU time: 148.507 s c =============================================================================== c | 0 | 2994 3181 516146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15240 c Elapsed CPU time: 31.8722 s Remaining CPU time: 148.128 s c =============================================================================== c | 0 | 2994 3182 518996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15239 c Elapsed CPU time: 32.2601 s Remaining CPU time: 147.74 s c =============================================================================== c | 0 | 2994 3183 521846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 32.651 s Remaining CPU time: 147.349 s c =============================================================================== c | 0 | 2994 3184 524696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 33.029 s Remaining CPU time: 146.971 s c =============================================================================== c | 0 | 2994 3185 527546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 33.4109 s Remaining CPU time: 146.589 s c =============================================================================== c | 0 | 2994 3186 530396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15235 c Elapsed CPU time: 33.7899 s Remaining CPU time: 146.21 s c =============================================================================== c | 0 | 2994 3187 533246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15232 c Elapsed CPU time: 34.1818 s Remaining CPU time: 145.818 s c =============================================================================== c | 0 | 2994 3188 536096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15231 c Elapsed CPU time: 34.5717 s Remaining CPU time: 145.428 s c =============================================================================== c | 0 | 2994 3189 538946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15230 c Elapsed CPU time: 34.9517 s Remaining CPU time: 145.048 s c =============================================================================== c | 0 | 2994 3190 541796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15229 c Elapsed CPU time: 35.3416 s Remaining CPU time: 144.658 s c =============================================================================== c | 0 | 2994 3191 544646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15225 c Elapsed CPU time: 35.7266 s Remaining CPU time: 144.273 s c =============================================================================== c | 0 | 2994 3192 547496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15224 c Elapsed CPU time: 36.1095 s Remaining CPU time: 143.89 s c =============================================================================== c | 0 | 2994 3193 550346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15223 c Elapsed CPU time: 36.5104 s Remaining CPU time: 143.49 s c =============================================================================== c | 0 | 2994 3194 553196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15222 c Elapsed CPU time: 36.9134 s Remaining CPU time: 143.087 s c =============================================================================== c | 0 | 2994 3195 556046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15221 c Elapsed CPU time: 37.3163 s Remaining CPU time: 142.684 s c =============================================================================== c | 0 | 2994 3196 558896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 37.7303 s Remaining CPU time: 142.27 s c =============================================================================== c | 0 | 2994 3197 561746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15219 c Elapsed CPU time: 38.1362 s Remaining CPU time: 141.864 s c =============================================================================== c | 0 | 2994 3198 564596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15217 c Elapsed CPU time: 38.5421 s Remaining CPU time: 141.458 s c =============================================================================== c | 0 | 2994 3199 567446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15216 c Elapsed CPU time: 38.9401 s Remaining CPU time: 141.06 s c =============================================================================== c | 0 | 2994 3200 570296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15215 c Elapsed CPU time: 39.341 s Remaining CPU time: 140.659 s c =============================================================================== c | 0 | 2994 3201 573146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15213 c Elapsed CPU time: 39.739 s Remaining CPU time: 140.261 s c =============================================================================== c | 0 | 2994 3202 575996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15212 c Elapsed CPU time: 40.1399 s Remaining CPU time: 139.86 s c =============================================================================== c | 0 | 2994 3203 578846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 40.5318 s Remaining CPU time: 139.468 s c =============================================================================== c | 0 | 2994 3204 581696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15209 c Elapsed CPU time: 40.9458 s Remaining CPU time: 139.054 s c =============================================================================== c | 0 | 2994 3205 584546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15207 c Elapsed CPU time: 41.3447 s Remaining CPU time: 138.655 s c =============================================================================== c | 0 | 2994 3206 587396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 41.7547 s Remaining CPU time: 138.245 s c =============================================================================== c | 0 | 2994 3207 590246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15203 c Elapsed CPU time: 42.1556 s Remaining CPU time: 137.844 s c =============================================================================== c | 0 | 2994 3208 593096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15201 c Elapsed CPU time: 42.5545 s Remaining CPU time: 137.445 s c =============================================================================== c | 0 | 2994 3209 595946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15197 c Elapsed CPU time: 42.9565 s Remaining CPU time: 137.044 s c =============================================================================== c | 0 | 2994 3210 598796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15194 c Elapsed CPU time: 43.3594 s Remaining CPU time: 136.641 s c =============================================================================== c | 0 | 2994 3211 601646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15193 c Elapsed CPU time: 43.7683 s Remaining CPU time: 136.232 s c =============================================================================== c | 0 | 2994 3212 604496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15192 c Elapsed CPU time: 44.1743 s Remaining CPU time: 135.826 s c =============================================================================== c | 0 | 2994 3213 607346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15188 c Elapsed CPU time: 44.5792 s Remaining CPU time: 135.421 s c =============================================================================== c | 0 | 2994 3214 610196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15186 c Elapsed CPU time: 44.9912 s Remaining CPU time: 135.009 s c =============================================================================== c | 0 | 2994 3215 613046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15185 c Elapsed CPU time: 45.4141 s Remaining CPU time: 134.586 s c =============================================================================== c | 0 | 2994 3216 615896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15184 c Elapsed CPU time: 45.831 s Remaining CPU time: 134.169 s c =============================================================================== c | 0 | 2994 3217 618746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15182 c Elapsed CPU time: 46.244 s Remaining CPU time: 133.756 s c =============================================================================== c | 0 | 2994 3218 621596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15181 c Elapsed CPU time: 46.6589 s Remaining CPU time: 133.341 s c =============================================================================== c | 0 | 2994 3219 624446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15180 c Elapsed CPU time: 47.0778 s Remaining CPU time: 132.922 s c =============================================================================== c | 0 | 2994 3220 627296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15179 c Elapsed CPU time: 47.4948 s Remaining CPU time: 132.505 s c =============================================================================== c | 0 | 2994 3221 630146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15178 c Elapsed CPU time: 47.9097 s Remaining CPU time: 132.09 s c =============================================================================== c | 0 | 2994 3222 632996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15174 c Elapsed CPU time: 48.3317 s Remaining CPU time: 131.668 s c =============================================================================== c | 0 | 2994 3223 635846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15173 c Elapsed CPU time: 48.7586 s Remaining CPU time: 131.241 s c =============================================================================== c | 0 | 2994 3224 638696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15172 c Elapsed CPU time: 49.1885 s Remaining CPU time: 130.811 s c =============================================================================== c | 0 | 2994 3225 641546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15171 c Elapsed CPU time: 49.6135 s Remaining CPU time: 130.387 s c =============================================================================== c | 0 | 2994 3226 644396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15170 c Elapsed CPU time: 50.0524 s Remaining CPU time: 129.948 s c =============================================================================== c | 0 | 2994 3227 647246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15169 c Elapsed CPU time: 50.4993 s Remaining CPU time: 129.501 s c =============================================================================== c | 0 | 2994 3228 650096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15168 c Elapsed CPU time: 50.9503 s Remaining CPU time: 129.05 s c =============================================================================== c | 0 | 2994 3229 652946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15167 c Elapsed CPU time: 51.3772 s Remaining CPU time: 128.623 s c =============================================================================== c | 0 | 2994 3230 655796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15166 c Elapsed CPU time: 51.8131 s Remaining CPU time: 128.187 s c =============================================================================== c | 0 | 2994 3231 658646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15164 c Elapsed CPU time: 52.2561 s Remaining CPU time: 127.744 s c =============================================================================== c | 0 | 2994 3232 661496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15163 c Elapsed CPU time: 52.702 s Remaining CPU time: 127.298 s c =============================================================================== c | 0 | 2994 3233 664346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15161 c Elapsed CPU time: 53.1499 s Remaining CPU time: 126.85 s c =============================================================================== c | 0 | 2994 3234 667196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15160 c Elapsed CPU time: 53.6069 s Remaining CPU time: 126.393 s c =============================================================================== c | 0 | 2994 3235 670046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15157 c Elapsed CPU time: 54.0528 s Remaining CPU time: 125.947 s c =============================================================================== c | 0 | 2994 3236 672896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15155 c Elapsed CPU time: 54.4947 s Remaining CPU time: 125.505 s c =============================================================================== c | 0 | 2994 3237 675746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15154 c Elapsed CPU time: 54.9476 s Remaining CPU time: 125.052 s c =============================================================================== c | 0 | 2994 3238 678596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15151 c Elapsed CPU time: 55.3996 s Remaining CPU time: 124.6 s c =============================================================================== c | 0 | 2994 3239 681446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15149 c Elapsed CPU time: 55.8575 s Remaining CPU time: 124.142 s c =============================================================================== c | 0 | 2994 3240 684296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15148 c Elapsed CPU time: 56.3224 s Remaining CPU time: 123.678 s c =============================================================================== c | 0 | 2994 3241 687146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15146 c Elapsed CPU time: 56.7864 s Remaining CPU time: 123.214 s c =============================================================================== c | 0 | 2994 3242 689996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15145 c Elapsed CPU time: 57.2543 s Remaining CPU time: 122.746 s c =============================================================================== c | 0 | 2994 3243 692846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15143 c Elapsed CPU time: 57.7122 s Remaining CPU time: 122.288 s c =============================================================================== c | 0 | 2994 3244 695696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15141 c Elapsed CPU time: 58.1842 s Remaining CPU time: 121.816 s c =============================================================================== c | 0 | 2994 3245 698546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15139 c Elapsed CPU time: 58.6501 s Remaining CPU time: 121.35 s c =============================================================================== c | 0 | 2994 3246 701396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15138 c Elapsed CPU time: 59.117 s Remaining CPU time: 120.883 s c =============================================================================== c | 0 | 2994 3247 704246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15137 c Elapsed CPU time: 59.5799 s Remaining CPU time: 120.42 s c =============================================================================== c | 0 | 2994 3248 707096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15135 c Elapsed CPU time: 60.0499 s Remaining CPU time: 119.95 s c =============================================================================== c | 0 | 2994 3249 709946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15134 c Elapsed CPU time: 60.5168 s Remaining CPU time: 119.483 s c =============================================================================== c | 0 | 2994 3250 712796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15133 c Elapsed CPU time: 60.9907 s Remaining CPU time: 119.009 s c =============================================================================== c | 0 | 2994 3251 715646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15131 c Elapsed CPU time: 61.4897 s Remaining CPU time: 118.51 s c =============================================================================== c | 0 | 2994 3252 718496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15130 c Elapsed CPU time: 61.9716 s Remaining CPU time: 118.028 s c =============================================================================== c | 0 | 2994 3253 721346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15129 c Elapsed CPU time: 62.4765 s Remaining CPU time: 117.523 s c =============================================================================== c | 0 | 2994 3254 724196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15128 c Elapsed CPU time: 62.9704 s Remaining CPU time: 117.03 s c =============================================================================== c | 0 | 2994 3255 727046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15127 c Elapsed CPU time: 63.4504 s Remaining CPU time: 116.55 s c =============================================================================== c | 0 | 2994 3256 729896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15126 c Elapsed CPU time: 63.9263 s Remaining CPU time: 116.074 s c =============================================================================== c | 0 | 2994 3257 732746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15125 c Elapsed CPU time: 64.4162 s Remaining CPU time: 115.584 s c =============================================================================== c | 0 | 2994 3258 735596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15122 c Elapsed CPU time: 64.8941 s Remaining CPU time: 115.106 s c =============================================================================== c | 0 | 2994 3259 738446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15119 c Elapsed CPU time: 65.3841 s Remaining CPU time: 114.616 s c =============================================================================== c | 0 | 2994 3260 741296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15118 c Elapsed CPU time: 65.875 s Remaining CPU time: 114.125 s c =============================================================================== c | 0 | 2994 3261 744146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15115 c Elapsed CPU time: 66.3679 s Remaining CPU time: 113.632 s c =============================================================================== c | 0 | 2994 3262 746996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15113 c Elapsed CPU time: 66.8708 s Remaining CPU time: 113.129 s c =============================================================================== c | 0 | 2994 3263 749846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15112 c Elapsed CPU time: 67.3678 s Remaining CPU time: 112.632 s c =============================================================================== c | 0 | 2994 3264 752696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15111 c Elapsed CPU time: 67.8647 s Remaining CPU time: 112.135 s c =============================================================================== c | 0 | 2994 3265 755546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15108 c Elapsed CPU time: 68.3646 s Remaining CPU time: 111.635 s c =============================================================================== c | 0 | 2994 3266 758396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15107 c Elapsed CPU time: 68.8665 s Remaining CPU time: 111.133 s c =============================================================================== c | 0 | 2994 3267 761246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15106 c Elapsed CPU time: 69.3984 s Remaining CPU time: 110.602 s c =============================================================================== c | 0 | 2994 3268 764096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15105 c Elapsed CPU time: 69.9054 s Remaining CPU time: 110.095 s c =============================================================================== c | 0 | 2994 3269 766946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15104 c Elapsed CPU time: 70.4233 s Remaining CPU time: 109.577 s c =============================================================================== c | 0 | 2994 3270 769796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15103 c Elapsed CPU time: 70.9362 s Remaining CPU time: 109.064 s c =============================================================================== c | 0 | 2994 3271 772646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15101 c Elapsed CPU time: 71.4591 s Remaining CPU time: 108.541 s c =============================================================================== c | 0 | 2994 3272 775496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15099 c Elapsed CPU time: 71.9741 s Remaining CPU time: 108.026 s c =============================================================================== c | 0 | 2994 3273 778346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15097 c Elapsed CPU time: 72.499 s Remaining CPU time: 107.501 s c =============================================================================== c | 0 | 2994 3274 781196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15096 c Elapsed CPU time: 73.0219 s Remaining CPU time: 106.978 s c =============================================================================== c | 0 | 2994 3275 784046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15095 c Elapsed CPU time: 73.5508 s Remaining CPU time: 106.449 s c =============================================================================== c | 0 | 2994 3276 786896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15094 c Elapsed CPU time: 74.0727 s Remaining CPU time: 105.927 s c =============================================================================== c | 0 | 2994 3277 789746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15093 c Elapsed CPU time: 74.6047 s Remaining CPU time: 105.395 s c =============================================================================== c | 0 | 2994 3278 792596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15092 c Elapsed CPU time: 75.1396 s Remaining CPU time: 104.86 s c =============================================================================== c | 0 | 2994 3279 795446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15091 c Elapsed CPU time: 75.6835 s Remaining CPU time: 104.317 s c =============================================================================== c | 0 | 2994 3280 798296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15090 c Elapsed CPU time: 76.2264 s Remaining CPU time: 103.774 s c =============================================================================== c | 0 | 2994 3281 801146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15089 c Elapsed CPU time: 76.7593 s Remaining CPU time: 103.241 s c =============================================================================== c | 0 | 2994 3282 803996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15088 c Elapsed CPU time: 77.3092 s Remaining CPU time: 102.691 s c =============================================================================== c | 0 | 2994 3283 806846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15087 c Elapsed CPU time: 77.8472 s Remaining CPU time: 102.153 s c =============================================================================== c | 0 | 2994 3284 809696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15085 c Elapsed CPU time: 78.3801 s Remaining CPU time: 101.62 s c =============================================================================== c | 0 | 2994 3285 812546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15083 c Elapsed CPU time: 78.912 s Remaining CPU time: 101.088 s c =============================================================================== c | 0 | 2994 3286 815396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15082 c Elapsed CPU time: 79.4709 s Remaining CPU time: 100.529 s c =============================================================================== c | 0 | 2994 3287 818246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15080 c Elapsed CPU time: 80.0058 s Remaining CPU time: 99.9942 s c =============================================================================== c | 0 | 2994 3288 821096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15078 c Elapsed CPU time: 80.5508 s Remaining CPU time: 99.4492 s c =============================================================================== c | 0 | 2994 3289 823946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15077 c Elapsed CPU time: 81.1047 s Remaining CPU time: 98.8953 s c =============================================================================== c | 0 | 2994 3290 826796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15076 c Elapsed CPU time: 81.6646 s Remaining CPU time: 98.3354 s c =============================================================================== c | 0 | 2994 3291 829646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15075 c Elapsed CPU time: 82.2275 s Remaining CPU time: 97.7725 s c =============================================================================== c | 0 | 2994 3292 832496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15074 c Elapsed CPU time: 82.7744 s Remaining CPU time: 97.2256 s c =============================================================================== c | 0 | 2994 3293 835346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15073 c Elapsed CPU time: 83.3423 s Remaining CPU time: 96.6577 s c =============================================================================== c | 0 | 2994 3294 838196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15072 c Elapsed CPU time: 83.8972 s Remaining CPU time: 96.1028 s c =============================================================================== c | 0 | 2994 3295 841046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15071 c Elapsed CPU time: 84.4692 s Remaining CPU time: 95.5308 s c =============================================================================== c | 0 | 2994 3296 843896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15069 c Elapsed CPU time: 85.0191 s Remaining CPU time: 94.9809 s c =============================================================================== c | 1 | 2994 3297 846746 | 5000 1 2786 | 0.000 % | c =============================================================================== c New solution: 15067 c Elapsed CPU time: 85.581 s Remaining CPU time: 94.419 s c =============================================================================== c | 1 | 2994 3298 849596 | 5000 1 2786 | 0.000 % | c =============================================================================== c New solution: 15066 c Elapsed CPU time: 86.1809 s Remaining CPU time: 93.8191 s c =============================================================================== c | 2 | 2994 3299 852446 | 5000 2 1394 | 0.000 % | c =============================================================================== c New solution: 15065 c Elapsed CPU time: 86.7828 s Remaining CPU time: 93.2172 s c =============================================================================== c | 5 | 2994 3300 855296 | 5000 5 2230 | 0.000 % | c =============================================================================== c New solution: 15064 c Elapsed CPU time: 87.3737 s Remaining CPU time: 92.6263 s c =============================================================================== c | 5 | 2994 3301 858146 | 5000 5 2230 | 0.000 % | c =============================================================================== c New solution: 15063 c Elapsed CPU time: 87.9926 s Remaining CPU time: 92.0074 s c =============================================================================== c | 5 | 2994 3302 860996 | 5000 5 2230 | 0.000 % | c =============================================================================== c New solution: 15062 c Elapsed CPU time: 88.6055 s Remaining CPU time: 91.3945 s c =============================================================================== c | 5 | 2994 3303 863846 | 5000 5 2230 | 0.000 % | c =============================================================================== c New solution: 15061 c Elapsed CPU time: 89.1884 s Remaining CPU time: 90.8116 s c =============================================================================== c | 5 | 2994 3304 866696 | 5000 5 2230 | 0.000 % | c =============================================================================== c New solution: 15060 c Elapsed CPU time: 89.7764 s Remaining CPU time: 90.2236 s c =============================================================================== c | 5 | 2994 3305 869546 | 5000 5 2230 | 0.000 % | c =============================================================================== c New solution: 15059 c Elapsed CPU time: 90.3713 s Remaining CPU time: 89.6287 s c =============================================================================== c | 5 | 2994 3306 872396 | 5000 5 2230 | 0.000 % | c =============================================================================== c New solution: 15058 c Elapsed CPU time: 90.9522 s Remaining CPU time: 89.0478 s c =============================================================================== c | 6 | 2994 3307 875246 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15057 c Elapsed CPU time: 91.5511 s Remaining CPU time: 88.4489 s c =============================================================================== c | 6 | 2994 3308 878096 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15056 c Elapsed CPU time: 92.172 s Remaining CPU time: 87.828 s c =============================================================================== c | 6 | 2994 3309 880946 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15054 c Elapsed CPU time: 92.7699 s Remaining CPU time: 87.2301 s c =============================================================================== c | 6 | 2994 3310 883796 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15053 c Elapsed CPU time: 93.3778 s Remaining CPU time: 86.6222 s c =============================================================================== c | 6 | 2994 3311 886646 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15052 c Elapsed CPU time: 93.9957 s Remaining CPU time: 86.0043 s c =============================================================================== c | 6 | 2994 3312 889496 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15050 c Elapsed CPU time: 94.6066 s Remaining CPU time: 85.3934 s c =============================================================================== c | 6 | 2994 3313 892346 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15049 c Elapsed CPU time: 95.2425 s Remaining CPU time: 84.7575 s c =============================================================================== c | 6 | 2994 3314 895196 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15048 c Elapsed CPU time: 95.8604 s Remaining CPU time: 84.1396 s c =============================================================================== c | 6 | 2994 3315 898046 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15047 c Elapsed CPU time: 96.4683 s Remaining CPU time: 83.5317 s c =============================================================================== c | 6 | 2994 3316 900896 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15045 c Elapsed CPU time: 97.0932 s Remaining CPU time: 82.9068 s c =============================================================================== c | 6 | 2994 3317 903746 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15044 c Elapsed CPU time: 97.7151 s Remaining CPU time: 82.2849 s c =============================================================================== c | 6 | 2994 3318 906596 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15043 c Elapsed CPU time: 98.335 s Remaining CPU time: 81.665 s c =============================================================================== c | 6 | 2994 3319 909446 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15042 c Elapsed CPU time: 98.967 s Remaining CPU time: 81.033 s c =============================================================================== c | 6 | 2994 3320 912296 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15041 c Elapsed CPU time: 99.5749 s Remaining CPU time: 80.4251 s c =============================================================================== c | 6 | 2994 3321 915146 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15040 c Elapsed CPU time: 100.206 s Remaining CPU time: 79.7942 s c =============================================================================== c | 6 | 2994 3322 917996 | 5000 6 1859 | 0.000 % | c =============================================================================== c New solution: 15039 c Elapsed CPU time: 100.837 s Remaining CPU time: 79.1633 s c =============================================================================== c | 7 | 2994 3323 920846 | 5000 7 1990 | 0.000 % | c =============================================================================== c New solution: 15038 c Elapsed CPU time: 101.455 s Remaining CPU time: 78.5454 s c =============================================================================== c | 7 | 2994 3324 923696 | 5000 7 1990 | 0.000 % | c =============================================================================== c New solution: 15037 c Elapsed CPU time: 102.099 s Remaining CPU time: 77.9005 s c =============================================================================== c | 7 | 2994 3325 926546 | 5000 7 1990 | 0.000 % | c =============================================================================== c New solution: 15036 c Elapsed CPU time: 102.742 s Remaining CPU time: 77.2576 s c =============================================================================== c | 7 | 2994 3326 929396 | 5000 7 1990 | 0.000 % | c =============================================================================== c New solution: 15035 c Elapsed CPU time: 103.376 s Remaining CPU time: 76.6237 s c =============================================================================== c | 7 | 2994 3327 932246 | 5000 7 1990 | 0.000 % | c =============================================================================== c New solution: 15034 c Elapsed CPU time: 104.028 s Remaining CPU time: 75.9718 s c =============================================================================== c | 7 | 2994 3328 935096 | 5000 7 1990 | 0.000 % | c =============================================================================== c New solution: 15033 c Elapsed CPU time: 104.663 s Remaining CPU time: 75.3369 s c =============================================================================== c | 7 | 2994 3329 937946 | 5000 7 1990 | 0.000 % | c =============================================================================== c New solution: 15032 c Elapsed CPU time: 105.325 s Remaining CPU time: 74.675 s c =============================================================================== c | 7 | 2994 3330 940796 | 5000 7 1990 | 0.000 % | c =============================================================================== c New solution: 15031 c Elapsed CPU time: 106.012 s Remaining CPU time: 73.9881 s c =============================================================================== c | 8 | 2994 3331 943646 | 5000 8 2088 | 0.000 % | c =============================================================================== c New solution: 15030 c Elapsed CPU time: 106.66 s Remaining CPU time: 73.3402 s c =============================================================================== c | 8 | 2994 3332 946496 | 5000 8 2088 | 0.000 % | c =============================================================================== c New solution: 15029 c Elapsed CPU time: 107.295 s Remaining CPU time: 72.7053 s c =============================================================================== c | 8 | 2994 3333 949346 | 5000 8 2088 | 0.000 % | c =============================================================================== c New solution: 15028 c Elapsed CPU time: 107.922 s Remaining CPU time: 72.0784 s c =============================================================================== c | 8 | 2994 3334 952196 | 5000 8 2088 | 0.000 % | c =============================================================================== c New solution: 15027 c Elapsed CPU time: 108.59 s Remaining CPU time: 71.4095 s c =============================================================================== c | 16 | 2994 3335 955046 | 5000 16 2431 | 0.000 % | c =============================================================================== c New solution: 15026 c Elapsed CPU time: 109.241 s Remaining CPU time: 70.7586 s c =============================================================================== c | 16 | 2994 3336 957896 | 5000 16 2431 | 0.000 % | c =============================================================================== c New solution: 15025 c Elapsed CPU time: 109.9 s Remaining CPU time: 70.0997 s c =============================================================================== c | 18 | 2994 3337 960746 | 5000 18 2469 | 0.000 % | c =============================================================================== c New solution: 15024 c Elapsed CPU time: 110.572 s Remaining CPU time: 69.4278 s c =============================================================================== c | 19 | 2994 3338 963596 | 5000 19 2340 | 0.000 % | c =============================================================================== c New solution: 15023 c Elapsed CPU time: 111.222 s Remaining CPU time: 68.7779 s c =============================================================================== c | 19 | 2994 3339 966446 | 5000 19 2340 | 0.000 % | c =============================================================================== c New solution: 15022 c Elapsed CPU time: 111.87 s Remaining CPU time: 68.13 s c =============================================================================== c | 19 | 2994 3340 969296 | 5000 19 2340 | 0.000 % | c =============================================================================== c New solution: 15021 c Elapsed CPU time: 112.538 s Remaining CPU time: 67.4621 s c =============================================================================== c | 21 | 2994 3341 972146 | 5000 21 2381 | 0.000 % | c =============================================================================== c New solution: 15020 c Elapsed CPU time: 113.194 s Remaining CPU time: 66.8062 s c =============================================================================== c | 21 | 2994 3342 974996 | 5000 21 2381 | 0.000 % | c =============================================================================== c New solution: 15019 c Elapsed CPU time: 113.858 s Remaining CPU time: 66.1423 s c =============================================================================== c | 21 | 2994 3343 977846 | 5000 21 2381 | 0.000 % | c =============================================================================== c New solution: 15018 c Elapsed CPU time: 114.511 s Remaining CPU time: 65.4894 s c =============================================================================== c | 21 | 2994 3344 980696 | 5000 21 2381 | 0.000 % | c =============================================================================== c New solution: 15017 c Elapsed CPU time: 115.204 s Remaining CPU time: 64.7955 s c =============================================================================== c | 23 | 2994 3345 983546 | 5000 23 2415 | 0.000 % | c =============================================================================== c New solution: 15016 c Elapsed CPU time: 115.936 s Remaining CPU time: 64.0636 s c =============================================================================== c | 27 | 2994 3346 986396 | 5000 27 2468 | 0.000 % | c =============================================================================== c New solution: 15015 c Elapsed CPU time: 116.617 s Remaining CPU time: 63.3827 s c =============================================================================== c | 30 | 2994 3347 989246 | 5000 30 2498 | 0.000 % | c =============================================================================== c New solution: 15014 c Elapsed CPU time: 117.372 s Remaining CPU time: 62.6278 s c =============================================================================== c | 34 | 2994 3348 992096 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15013 c Elapsed CPU time: 118.053 s Remaining CPU time: 61.9469 s c =============================================================================== c | 34 | 2994 3349 994946 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15012 c Elapsed CPU time: 118.734 s Remaining CPU time: 61.2661 s c =============================================================================== c | 34 | 2994 3350 997796 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15011 c Elapsed CPU time: 119.413 s Remaining CPU time: 60.5872 s c =============================================================================== c | 34 | 2994 3351 1000646 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15010 c Elapsed CPU time: 120.093 s Remaining CPU time: 59.9073 s c =============================================================================== c | 34 | 2994 3352 1003496 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15009 c Elapsed CPU time: 120.753 s Remaining CPU time: 59.2474 s c =============================================================================== c | 34 | 2994 3353 1006346 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15008 c Elapsed CPU time: 121.431 s Remaining CPU time: 58.5695 s c =============================================================================== c | 34 | 2994 3354 1009196 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15007 c Elapsed CPU time: 122.089 s Remaining CPU time: 57.9106 s c =============================================================================== c | 34 | 2994 3355 1012046 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15006 c Elapsed CPU time: 122.745 s Remaining CPU time: 57.2547 s c =============================================================================== c | 34 | 2994 3356 1014896 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15005 c Elapsed CPU time: 123.43 s Remaining CPU time: 56.5698 s c =============================================================================== c | 34 | 2994 3357 1017746 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15004 c Elapsed CPU time: 124.099 s Remaining CPU time: 55.9009 s c =============================================================================== c | 34 | 2994 3358 1020596 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15003 c Elapsed CPU time: 124.784 s Remaining CPU time: 55.216 s c =============================================================================== c | 34 | 2994 3359 1023446 | 5000 34 2531 | 0.000 % | c =============================================================================== c New solution: 15002 c Elapsed CPU time: 125.523 s Remaining CPU time: 54.4771 s c =============================================================================== c | 35 | 2994 3360 1026296 | 5000 35 2459 | 0.000 % | c =============================================================================== c New solution: 15001 c Elapsed CPU time: 126.227 s Remaining CPU time: 53.7732 s c =============================================================================== c | 35 | 2994 3361 1029146 | 5000 35 2459 | 0.000 % | c =============================================================================== c New solution: 15000 c Elapsed CPU time: 126.913 s Remaining CPU time: 53.0873 s c =============================================================================== c | 36 | 2994 3362 1031996 | 5000 36 2467 | 0.000 % | c =============================================================================== c New solution: 14999 c Elapsed CPU time: 127.586 s Remaining CPU time: 52.4144 s c =============================================================================== c | 36 | 2994 3363 1034846 | 5000 36 2467 | 0.000 % | c =============================================================================== c New solution: 14998 c Elapsed CPU time: 128.292 s Remaining CPU time: 51.7075 s c =============================================================================== c | 36 | 2994 3364 1037696 | 5000 36 2467 | 0.000 % | c =============================================================================== c New solution: 14997 c Elapsed CPU time: 129.012 s Remaining CPU time: 50.9876 s c =============================================================================== c | 36 | 2994 3365 1040546 | 5000 36 2467 | 0.000 % | c =============================================================================== c New solution: 14996 c Elapsed CPU time: 129.712 s Remaining CPU time: 50.2877 s c =============================================================================== c | 36 | 2994 3366 1043396 | 5000 36 2467 | 0.000 % | c =============================================================================== c New solution: 14995 c Elapsed CPU time: 130.424 s Remaining CPU time: 49.5758 s c =============================================================================== c | 37 | 2994 3367 1046246 | 5000 37 2475 | 0.000 % | c =============================================================================== c New solution: 14994 c Elapsed CPU time: 131.117 s Remaining CPU time: 48.8829 s c =============================================================================== c | 37 | 2994 3368 1049096 | 5000 37 2475 | 0.000 % | c =============================================================================== c New solution: 14993 c Elapsed CPU time: 131.842 s Remaining CPU time: 48.158 s c =============================================================================== c | 40 | 2994 3369 1051946 | 5000 40 2498 | 0.000 % | c =============================================================================== c New solution: 14992 c Elapsed CPU time: 132.567 s Remaining CPU time: 47.4332 s c =============================================================================== c | 41 | 2994 3370 1054796 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14991 c Elapsed CPU time: 133.295 s Remaining CPU time: 46.7053 s c =============================================================================== c | 41 | 2994 3371 1057646 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14990 c Elapsed CPU time: 133.997 s Remaining CPU time: 46.0034 s c =============================================================================== c | 41 | 2994 3372 1060496 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14989 c Elapsed CPU time: 134.724 s Remaining CPU time: 45.2765 s c =============================================================================== c | 41 | 2994 3373 1063346 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14988 c Elapsed CPU time: 135.452 s Remaining CPU time: 44.5476 s c =============================================================================== c | 41 | 2994 3374 1066196 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14987 c Elapsed CPU time: 136.184 s Remaining CPU time: 43.8157 s c =============================================================================== c | 41 | 2994 3375 1069046 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14986 c Elapsed CPU time: 136.933 s Remaining CPU time: 43.0668 s c =============================================================================== c | 41 | 2994 3376 1071896 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14985 c Elapsed CPU time: 137.663 s Remaining CPU time: 42.3369 s c =============================================================================== c | 41 | 2994 3377 1074746 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14984 c Elapsed CPU time: 138.391 s Remaining CPU time: 41.609 s c =============================================================================== c | 41 | 2994 3378 1077596 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14983 c Elapsed CPU time: 139.136 s Remaining CPU time: 40.8642 s c =============================================================================== c | 41 | 2994 3379 1080446 | 5000 41 2504 | 0.000 % | c =============================================================================== c New solution: 14982 c Elapsed CPU time: 139.985 s Remaining CPU time: 40.0153 s c =============================================================================== c | 54 | 2994 3380 1083296 | 5000 54 2567 | 0.000 % | c =============================================================================== c New solution: 14981 c Elapsed CPU time: 140.734 s Remaining CPU time: 39.2664 s c =============================================================================== c | 54 | 2994 3381 1086146 | 5000 54 2567 | 0.000 % | c =============================================================================== c New solution: 14980 c Elapsed CPU time: 141.478 s Remaining CPU time: 38.5215 s c =============================================================================== c | 55 | 2994 3382 1088996 | 5000 55 2571 | 0.000 % | c =============================================================================== c New solution: 14979 c Elapsed CPU time: 142.236 s Remaining CPU time: 37.7636 s c =============================================================================== c | 58 | 2994 3383 1091846 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14978 c Elapsed CPU time: 142.967 s Remaining CPU time: 37.0327 s c =============================================================================== c | 58 | 2994 3384 1094696 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14977 c Elapsed CPU time: 143.715 s Remaining CPU time: 36.2848 s c =============================================================================== c | 58 | 2994 3385 1097546 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14976 c Elapsed CPU time: 144.463 s Remaining CPU time: 35.537 s c =============================================================================== c | 58 | 2994 3386 1100396 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14975 c Elapsed CPU time: 145.211 s Remaining CPU time: 34.7891 s c =============================================================================== c | 58 | 2994 3387 1103246 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14974 c Elapsed CPU time: 145.94 s Remaining CPU time: 34.0602 s c =============================================================================== c | 58 | 2994 3388 1106096 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14973 c Elapsed CPU time: 146.71 s Remaining CPU time: 33.2903 s c =============================================================================== c | 58 | 2994 3389 1108946 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14972 c Elapsed CPU time: 147.433 s Remaining CPU time: 32.5674 s c =============================================================================== c | 58 | 2994 3390 1111796 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14971 c Elapsed CPU time: 148.155 s Remaining CPU time: 31.8445 s c =============================================================================== c | 58 | 2994 3391 1114646 | 5000 58 2581 | 0.000 % | c =============================================================================== c New solution: 14970 c Elapsed CPU time: 149.06 s Remaining CPU time: 30.9397 s c =============================================================================== c | 94 | 2994 3392 1117496 | 5000 94 2622 | 0.000 % | c =============================================================================== c New solution: 14969 c Elapsed CPU time: 149.813 s Remaining CPU time: 30.1868 s c =============================================================================== c | 94 | 2994 3393 1120346 | 5000 94 2622 | 0.000 % | c =============================================================================== c New solution: 14968 c Elapsed CPU time: 150.62 s Remaining CPU time: 29.3799 s c =============================================================================== c | 98 | 2994 3394 1123196 | 5000 98 2628 | 0.000 % | c =============================================================================== c New solution: 14967 c Elapsed CPU time: 151.379 s Remaining CPU time: 28.621 s c =============================================================================== c | 99 | 2994 3395 1126046 | 5000 99 2601 | 0.000 % | c =============================================================================== c New solution: 14966 c Elapsed CPU time: 152.145 s Remaining CPU time: 27.8551 s c =============================================================================== c | 103 | 2994 3396 1128896 | 5000 103 2608 | 0.000 % | c =============================================================================== c New solution: 14965 c Elapsed CPU time: 152.928 s Remaining CPU time: 27.0722 s c =============================================================================== c | 105 | 2994 3397 1131746 | 5000 105 2611 | 0.000 % | c =============================================================================== c New solution: 14964 c Elapsed CPU time: 153.718 s Remaining CPU time: 26.2824 s c =============================================================================== c | 105 | 2994 3398 1134596 | 5000 105 2611 | 0.000 % | c =============================================================================== c New solution: 14963 c Elapsed CPU time: 154.464 s Remaining CPU time: 25.5365 s c =============================================================================== c | 105 | 2994 3399 1137446 | 5000 105 2611 | 0.000 % | c =============================================================================== c New solution: 14962 c Elapsed CPU time: 155.215 s Remaining CPU time: 24.7846 s c =============================================================================== c | 105 | 2994 3400 1140296 | 5000 105 2611 | 0.000 % | c =============================================================================== c New solution: 14961 c Elapsed CPU time: 155.999 s Remaining CPU time: 24.0007 s c =============================================================================== c | 105 | 2994 3401 1143146 | 5000 105 2611 | 0.000 % | c =============================================================================== c New solution: 14960 c Elapsed CPU time: 156.788 s Remaining CPU time: 23.2118 s c =============================================================================== c | 105 | 2994 3402 1145996 | 5000 105 2611 | 0.000 % | c =============================================================================== c New solution: 14959 c Elapsed CPU time: 157.554 s Remaining CPU time: 22.446 s c =============================================================================== c | 105 | 2994 3403 1148846 | 5000 105 2611 | 0.000 % | c =============================================================================== c New solution: 14958 c Elapsed CPU time: 158.355 s Remaining CPU time: 21.6451 s c =============================================================================== c | 106 | 2994 3404 1151696 | 5000 106 2612 | 0.000 % | c =============================================================================== c New solution: 14957 c Elapsed CPU time: 159.224 s Remaining CPU time: 20.7762 s c =============================================================================== c | 115 | 2994 3405 1154546 | 5000 115 2624 | 0.000 % | c =============================================================================== c New solution: 14956 c Elapsed CPU time: 159.998 s Remaining CPU time: 20.0023 s c =============================================================================== c | 115 | 2994 3406 1157396 | 5000 115 2624 | 0.000 % | c =============================================================================== c New solution: 14955 c Elapsed CPU time: 160.79 s Remaining CPU time: 19.2104 s c =============================================================================== c | 115 | 2994 3407 1160246 | 5000 115 2624 | 0.000 % | c =============================================================================== c New solution: 14954 c Elapsed CPU time: 161.565 s Remaining CPU time: 18.4346 s c =============================================================================== c | 116 | 2994 3408 1163096 | 5000 116 2625 | 0.000 % | c =============================================================================== c New solution: 14953 c Elapsed CPU time: 162.332 s Remaining CPU time: 17.6677 s c =============================================================================== c | 116 | 2994 3409 1165946 | 5000 116 2625 | 0.000 % | c =============================================================================== c New solution: 14952 c Elapsed CPU time: 163.125 s Remaining CPU time: 16.8748 s c =============================================================================== c | 116 | 2994 3410 1168796 | 5000 116 2625 | 0.000 % | c =============================================================================== c New solution: 14951 c Elapsed CPU time: 163.926 s Remaining CPU time: 16.0739 s c =============================================================================== c | 117 | 2994 3411 1171646 | 5000 117 2626 | 0.000 % | c =============================================================================== c New solution: 14950 c Elapsed CPU time: 164.726 s Remaining CPU time: 15.274 s c =============================================================================== c | 117 | 2994 3412 1174496 | 5000 117 2626 | 0.000 % | c =============================================================================== c New solution: 14949 c Elapsed CPU time: 165.517 s Remaining CPU time: 14.4832 s c =============================================================================== c | 117 | 2994 3413 1177346 | 5000 117 2626 | 0.000 % | c =============================================================================== c New solution: 14948 c Elapsed CPU time: 166.335 s Remaining CPU time: 13.6653 s c =============================================================================== c | 117 | 2994 3414 1180196 | 5000 117 2626 | 0.000 % | c =============================================================================== c New solution: 14947 c Elapsed CPU time: 167.152 s Remaining CPU time: 12.8484 s c =============================================================================== c | 117 | 2994 3415 1183046 | 5000 117 2626 | 0.000 % | c =============================================================================== c New solution: 14946 c Elapsed CPU time: 167.948 s Remaining CPU time: 12.0515 s c =============================================================================== c | 117 | 2994 3416 1185896 | 5000 117 2626 | 0.000 % | c =============================================================================== c New solution: 14945 c Elapsed CPU time: 168.765 s Remaining CPU time: 11.2347 s c =============================================================================== c | 117 | 2994 3417 1188746 | 5000 117 2626 | 0.000 % | c =============================================================================== c New solution: 14944 c Elapsed CPU time: 169.6 s Remaining CPU time: 10.3998 s c =============================================================================== c | 120 | 2994 3418 1191596 | 5000 120 2630 | 0.000 % | c =============================================================================== c New solution: 14943 c Elapsed CPU time: 170.403 s Remaining CPU time: 9.59691 s c =============================================================================== c | 120 | 2994 3419 1194446 | 5000 120 2630 | 0.000 % | c =============================================================================== c New solution: 14942 c Elapsed CPU time: 171.253 s Remaining CPU time: 8.74704 s c =============================================================================== c | 121 | 2994 3420 1197296 | 5000 121 2631 | 0.000 % | c =============================================================================== c New solution: 14941 c Elapsed CPU time: 172.096 s Remaining CPU time: 7.90416 s c =============================================================================== c | 125 | 2994 3421 1200146 | 5000 125 2635 | 0.000 % | c =============================================================================== c New solution: 14940 c Elapsed CPU time: 172.901 s Remaining CPU time: 7.09929 s c =============================================================================== c | 125 | 2994 3422 1202996 | 5000 125 2635 | 0.000 % | c =============================================================================== c New solution: 14939 c Elapsed CPU time: 173.725 s Remaining CPU time: 6.27541 s c =============================================================================== c | 125 | 2994 3423 1205846 | 5000 125 2635 | 0.000 % | c =============================================================================== c New solution: 14938 c Elapsed CPU time: 174.544 s Remaining CPU time: 5.45553 s c =============================================================================== c | 125 | 2994 3424 1208696 | 5000 125 2635 | 0.000 % | c =============================================================================== c New solution: 14937 c Elapsed CPU time: 175.444 s Remaining CPU time: 4.55567 s c =============================================================================== c | 125 | 2994 3425 1211546 | 5000 125 2635 | 0.000 % | c =============================================================================== c New solution: 14936 c Elapsed CPU time: 176.323 s Remaining CPU time: 3.67681 s c =============================================================================== c | 126 | 2994 3426 1214396 | 5000 126 2636 | 0.000 % | c =============================================================================== c New solution: 14935 c Elapsed CPU time: 177.169 s Remaining CPU time: 2.83093 s c =============================================================================== c | 129 | 2994 3427 1217246 | 5000 129 2639 | 0.000 % | c =============================================================================== c New solution: 14934 c Elapsed CPU time: 178.021 s Remaining CPU time: 1.97906 s c =============================================================================== c | 129 | 2994 3428 1220096 | 5000 129 2639 | 0.000 % | c =============================================================================== c New solution: 14933 c Elapsed CPU time: 178.889 s Remaining CPU time: 1.1112 s c =============================================================================== c | 131 | 2994 3429 1222946 | 5000 131 2640 | 0.000 % | c =============================================================================== c New solution: 14932 c Elapsed CPU time: 179.768 s Remaining CPU time: 0.232329 s c =============================================================================== c | 131 | 2994 3430 1225796 | 5000 131 2640 | 0.000 % | c There are 6 assigned variables. 1 in cost function.