| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.05 | 1800.41 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dc1l.opb |
| MD5SUM | b626c8307376f19de1f1e51bf91eca4f |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 322124420039689472000 |
| Best CPU time to get the best result obtained on this benchmark | 1800.74 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17540679175205888 |
| Optimality of the best value was proved | NO |
| Number of variables | 85198 |
| Total number of constraints | 1652 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1652 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 35129 |
| Number of terms in the objective function | 85198 |
| Biggest coefficient in the objective function | 536870912000000000000 |
| Number of bits for the biggest coefficient in the objective function | 69 |
| Sum of the numbers in the objective function | 6796468271401867858547 |
| Number of bits of the sum of numbers in the objective function | 73 |
| Biggest number in a constraint | 536870912000000000000 |
| Number of bits of the biggest number in a constraint | 69 |
| Biggest sum of numbers in a constraint | 6796468271401867858547 |
| Number of bits of the biggest sum of numbers | 73 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 5.19/5.23 c Converting 3286 PB-constraints to clauses... 5.19/5.25 c -- Unit propagations: (none) 5.19/5.25 c -- Detecting intervals from adjacent constraints: #################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 5.29/5.33 c -- Clauses(.)/Splits(s): ssssssssssss 5.60/5.65 c ---[3296]---> Adder-cost: 204 maxlim: 100352 bits: 18/17 5.60/5.66 c ---[3294]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 5.60/5.68 c ---[3292]---> Adder-cost: 196 maxlim: 98304 bits: 18/17 5.60/5.69 c ---[3290]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 5.69/5.70 c ---[3288]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 5.69/5.71 c ---[3286]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 5.69/5.71 c ---[3284]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.72 c ---[3282]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 5.69/5.73 c ---[3280]---> Adder-cost: 366 maxlim: 228352 bits: 19/18 5.69/5.75 c ---[3278]---> Adder-cost: 280 maxlim: 238592 bits: 19/18 5.69/5.78 c ---[3276]---> Adder-cost: 1036 maxlim: 534528 bits: 21/20 5.79/5.85 c ---[3274]---> Adder-cost: 1074 maxlim: 663552 bits: 21/20 5.89/5.93 c ---[3272]---> Adder-cost: 1174 maxlim: 603136 bits: 21/20 5.99/6.00 c ---[3270]---> Adder-cost: 686 maxlim: 395264 bits: 20/19 5.99/6.04 c ---[3268]---> Adder-cost: 508 maxlim: 261120 bits: 19/18 5.99/6.07 c ---[3266]---> Adder-cost: 490 maxlim: 277504 bits: 20/19 6.09/6.11 c ---[3264]---> Adder-cost: 306 maxlim: 159744 bits: 19/18 6.09/6.13 c ---[3262]---> Adder-cost: 222 maxlim: 159744 bits: 19/18 6.09/6.15 c ---[3260]---> Adder-cost: 238 maxlim: 119808 bits: 18/17 6.09/6.16 c ---[3258]---> Adder-cost: 170 maxlim: 116736 bits: 18/17 6.09/6.17 c ---[3256]---> Adder-cost: 292 maxlim: 159744 bits: 19/18 6.09/6.19 c ---[3254]---> Adder-cost: 300 maxlim: 181248 bits: 19/18 6.19/6.21 c ---[3252]---> Adder-cost: 532 maxlim: 292864 bits: 20/19 6.19/6.25 c ---[3250]---> Adder-cost: 498 maxlim: 293888 bits: 20/19 6.19/6.29 c ---[3248]---> Adder-cost: 356 maxlim: 199680 bits: 19/18 6.29/6.31 c ---[3246]---> Adder-cost: 300 maxlim: 176128 bits: 19/18 6.29/6.33 c ---[3244]---> Adder-cost: 560 maxlim: 284672 bits: 20/19 6.29/6.37 c ---[3242]---> Adder-cost: 398 maxlim: 233472 bits: 19/18 6.29/6.39 c ---[3240]---> Adder-cost: 222 maxlim: 117760 bits: 18/17 6.39/6.41 c ---[3238]---> Adder-cost: 208 maxlim: 108544 bits: 18/17 6.39/6.42 c ---[3236]---> Adder-cost: 322 maxlim: 166912 bits: 19/18 6.39/6.44 c ---[3234]---> Adder-cost: 224 maxlim: 125952 bits: 18/17 6.39/6.45 c ---[3232]---> Adder-cost: 240 maxlim: 123904 bits: 18/17 6.39/6.47 c ---[3230]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 6.39/6.48 c ---[3228]---> Adder-cost: 406 maxlim: 205824 bits: 19/18 6.49/6.50 c ---[3226]---> Adder-cost: 242 maxlim: 162816 bits: 19/18 6.49/6.52 c ---[3224]---> Adder-cost: 184 maxlim: 101376 bits: 18/17 6.49/6.54 c ---[3222]---> Adder-cost: 160 maxlim: 94208 bits: 18/17 6.49/6.55 c ---[3220]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.55 c ---[3218]---> Adder-cost: 178 maxlim: 88064 bits: 18/17 6.49/6.56 c ---[3216]---> Adder-cost: 164 maxlim: 104448 bits: 18/17 6.49/6.58 c ---[3214]---> Adder-cost: 202 maxlim: 112640 bits: 18/17 6.49/6.59 c ---[3212]---> Adder-cost: 316 maxlim: 158720 bits: 19/18 6.60/6.61 c ---[3210]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 6.60/6.63 c ---[3208]---> Adder-cost: 308 maxlim: 157696 bits: 19/18 6.60/6.65 c ---[3206]---> Adder-cost: 414 maxlim: 229376 bits: 19/18 6.60/6.67 c ---[3204]---> Adder-cost: 410 maxlim: 240640 bits: 19/18 6.60/6.70 c ---[3202]---> Adder-cost: 120 maxlim: 240640 bits: 19/18 6.70/6.73 c ---[3200]---> Adder-cost: 430 maxlim: 224256 bits: 19/18 6.70/6.75 c ---[3198]---> Adder-cost: 334 maxlim: 192512 bits: 19/18 6.70/6.77 c ---[3196]---> Adder-cost: 268 maxlim: 132096 bits: 19/18 6.70/6.79 c ---[3194]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 6.79/6.81 c ---[3192]---> Adder-cost: 274 maxlim: 139264 bits: 19/18 6.79/6.82 c ---[3190]---> Adder-cost: 152 maxlim: 139264 bits: 19/18 6.79/6.84 c ---[3188]---> Adder-cost: 292 maxlim: 153600 bits: 19/18 6.79/6.86 c ---[3186]---> Adder-cost: 92 maxlim: 153600 bits: 19/18 6.79/6.88 c ---[3184]---> Adder-cost: 362 maxlim: 187392 bits: 19/18 6.89/6.90 c ---[3182]---> Adder-cost: 346 maxlim: 185344 bits: 19/18 6.89/6.92 c ---[3180]---> Adder-cost: 382 maxlim: 201728 bits: 19/18 6.89/6.95 c ---[3178]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 6.89/6.97 c ---[3176]---> Adder-cost: 254 maxlim: 129024 bits: 18/17 6.89/6.98 c ---[3174]---> Adder-cost: 184 maxlim: 100352 bits: 18/17 6.99/7.00 c ---[3172]---> Adder-cost: 222 maxlim: 133120 bits: 19/18 6.99/7.01 c ---[3170]---> Adder-cost: 272 maxlim: 134144 bits: 19/18 6.99/7.03 c ---[3168]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 6.99/7.05 c ---[3166]---> Adder-cost: 206 maxlim: 107520 bits: 18/17 6.99/7.06 c ---[3164]---> Adder-cost: 202 maxlim: 106496 bits: 18/17 6.99/7.07 c ---[3162]---> Adder-cost: 118 maxlim: 71680 bits: 18/17 6.99/7.08 c ---[3160]---> Adder-cost: 182 maxlim: 90112 bits: 18/17 6.99/7.09 c ---[3158]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 7.09/7.10 c ---[3156]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.11 c ---[3154]---> Adder-cost: 412 maxlim: 206848 bits: 19/18 7.09/7.13 c ---[3152]---> Adder-cost: 114 maxlim: 206848 bits: 19/18 7.09/7.16 c ---[3150]---> Adder-cost: 166 maxlim: 86016 bits: 18/17 7.09/7.17 c ---[3148]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 7.09/7.18 c ---[3146]---> Adder-cost: 204 maxlim: 101376 bits: 18/17 7.09/7.19 c ---[3144]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 7.19/7.20 c ---[3142]---> Adder-cost: 290 maxlim: 143360 bits: 19/18 7.19/7.22 c ---[3140]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 7.19/7.24 c ---[3138]---> Adder-cost: 492 maxlim: 252928 bits: 19/18 7.19/7.27 c ---[3136]---> Adder-cost: 360 maxlim: 181248 bits: 19/18 7.19/7.29 c ---[3134]---> Adder-cost: 126 maxlim: 252928 bits: 19/18 7.29/7.32 c ---[3132]---> Adder-cost: 338 maxlim: 167936 bits: 19/18 7.29/7.34 c ---[3130]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 7.29/7.36 c ---[3128]---> Adder-cost: 306 maxlim: 169984 bits: 19/18 7.29/7.38 c ---[3126]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 7.39/7.40 c ---[3124]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 7.39/7.42 c ---[3122]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 7.39/7.43 c ---[3120]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 7.39/7.45 c ---[3118]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 7.39/7.46 c ---[3116]---> Adder-cost: 202 maxlim: 98304 bits: 18/17 7.39/7.47 c ---[3114]---> Adder-cost: 430 maxlim: 221184 bits: 19/18 7.49/7.50 c ---[3112]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 7.49/7.51 c ---[3110]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 7.49/7.52 c ---[3108]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 7.49/7.53 c ---[3106]---> Adder-cost: 110 maxlim: 60416 bits: 17/16 7.49/7.54 c ---[3104]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 7.49/7.54 c ---[3102]---> Adder-cost: 380 maxlim: 193536 bits: 19/18 7.49/7.56 c ---[3100]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 7.49/7.59 c ---[3098]---> Adder-cost: 492 maxlim: 273408 bits: 20/19 7.59/7.62 c ---[3096]---> Adder-cost: 142 maxlim: 273408 bits: 20/19 7.59/7.65 c ---[3094]---> Adder-cost: 542 maxlim: 271360 bits: 20/19 7.59/7.69 c ---[3092]---> Adder-cost: 116 maxlim: 221184 bits: 19/18 7.69/7.71 c ---[3090]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 7.69/7.75 c ---[3088]---> Adder-cost: 626 maxlim: 318464 bits: 20/19 7.69/7.79 c ---[3086]---> Adder-cost: 152 maxlim: 318464 bits: 20/19 7.79/7.82 c ---[3084]---> Adder-cost: 428 maxlim: 220160 bits: 19/18 7.79/7.85 c ---[3082]---> Adder-cost: 110 maxlim: 220160 bits: 19/18 7.79/7.87 c ---[3080]---> Adder-cost: 400 maxlim: 204800 bits: 19/18 7.89/7.90 c ---[3078]---> Adder-cost: 118 maxlim: 204800 bits: 19/18 7.89/7.92 c ---[3076]---> Adder-cost: 358 maxlim: 190464 bits: 19/18 7.89/7.94 c ---[3074]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 7.89/7.97 c ---[3072]---> Adder-cost: 314 maxlim: 160768 bits: 19/18 7.89/7.99 c ---[3070]---> Adder-cost: 284 maxlim: 142336 bits: 19/18 7.99/8.00 c ---[3068]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 7.99/8.02 c ---[3066]---> Adder-cost: 256 maxlim: 134144 bits: 19/18 7.99/8.04 c ---[3064]---> Adder-cost: 178 maxlim: 131072 bits: 19/18 7.99/8.06 c ---[3062]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 7.99/8.07 c ---[3060]---> Adder-cost: 360 maxlim: 184320 bits: 19/18 7.99/8.09 c ---[3058]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 8.09/8.12 c ---[3056]---> Adder-cost: 932 maxlim: 478208 bits: 20/19 8.09/8.17 c ---[3054]---> Adder-cost: 184 maxlim: 478208 bits: 20/19 8.19/8.22 c ---[3052]---> Adder-cost: 396 maxlim: 219136 bits: 19/18 8.19/8.25 c ---[3050]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 8.19/8.27 c ---[3048]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 8.19/8.29 c ---[3046]---> Adder-cost: 336 maxlim: 173056 bits: 19/18 8.29/8.31 c ---[3044]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 8.29/8.33 c ---[3042]---> Adder-cost: 342 maxlim: 173056 bits: 19/18 8.29/8.35 c ---[3040]---> Adder-cost: 250 maxlim: 176128 bits: 19/18 8.29/8.37 c ---[3038]---> Adder-cost: 422 maxlim: 215040 bits: 19/18 8.39/8.40 c ---[3036]---> Adder-cost: 118 maxlim: 215040 bits: 19/18 8.39/8.42 c ---[3034]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 8.39/8.44 c ---[3032]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 8.39/8.46 c ---[3030]---> Adder-cost: 366 maxlim: 187392 bits: 19/18 8.39/8.48 c ---[3028]---> Adder-cost: 102 maxlim: 187392 bits: 19/18 8.49/8.50 c ---[3026]---> Adder-cost: 282 maxlim: 142336 bits: 19/18 8.49/8.52 c ---[3024]---> Adder-cost: 560 maxlim: 282624 bits: 20/19 8.49/8.56 c ---[3022]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 8.49/8.59 c ---[3020]---> Adder-cost: 396 maxlim: 206848 bits: 19/18 8.59/8.61 c ---[3018]---> Adder-cost: 374 maxlim: 201728 bits: 19/18 8.59/8.64 c ---[3016]---> Adder-cost: 438 maxlim: 240640 bits: 19/18 8.59/8.66 c ---[3014]---> Adder-cost: 120 maxlim: 240640 bits: 19/18 8.59/8.69 c ---[3012]---> Adder-cost: 362 maxlim: 194560 bits: 19/18 8.69/8.71 c ---[3010]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 8.69/8.74 c ---[3008]---> Adder-cost: 312 maxlim: 156672 bits: 19/18 8.69/8.76 c ---[3006]---> Adder-cost: 264 maxlim: 155648 bits: 19/18 8.69/8.78 c ---[3004]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 8.69/8.79 c ---[3002]---> Adder-cost: 336 maxlim: 168960 bits: 19/18 8.79/8.81 c ---[3000]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 8.79/8.83 c ---[2998]---> Adder-cost: 364 maxlim: 184320 bits: 19/18 8.79/8.85 c ---[2996]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 8.79/8.88 c ---[2994]---> Adder-cost: 240 maxlim: 126976 bits: 18/17 8.79/8.89 c ---[2992]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 8.89/8.91 c ---[2990]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 8.89/8.91 c ---[2988]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 8.89/8.92 c ---[2986]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 8.89/8.93 c ---[2984]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 8.89/8.93 c ---[2982]---> Adder-cost: 252 maxlim: 154624 bits: 19/18 8.89/8.95 c ---[2980]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 8.89/8.96 c ---[2978]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 8.89/8.97 c ---[2976]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 8.89/8.98 c ---[2974]---> Adder-cost: 404 maxlim: 202752 bits: 19/18 8.99/9.00 c ---[2972]---> Adder-cost: 112 maxlim: 202752 bits: 19/18 8.99/9.02 c ---[2970]---> Adder-cost: 332 maxlim: 251904 bits: 19/18 8.99/9.05 c ---[2968]---> Adder-cost: 466 maxlim: 240640 bits: 19/18 8.99/9.08 c ---[2966]---> Adder-cost: 126 maxlim: 251904 bits: 19/18 9.09/9.11 c ---[2964]---> Adder-cost: 874 maxlim: 477184 bits: 20/19 9.09/9.17 c ---[2962]---> Adder-cost: 184 maxlim: 477184 bits: 20/19 9.19/9.22 c ---[2960]---> Adder-cost: 876 maxlim: 472064 bits: 20/19 9.19/9.27 c ---[2958]---> Adder-cost: 190 maxlim: 472064 bits: 20/19 9.29/9.33 c ---[2956]---> Adder-cost: 404 maxlim: 239616 bits: 19/18 9.29/9.35 c ---[2954]---> Adder-cost: 1208 maxlim: 663552 bits: 21/20 9.39/9.43 c ---[2952]---> Adder-cost: 234 maxlim: 663552 bits: 21/20 9.49/9.51 c ---[2950]---> Adder-cost: 1068 maxlim: 607232 bits: 21/20 9.49/9.59 c ---[2948]---> Adder-cost: 230 maxlim: 607232 bits: 21/20 9.59/9.66 c ---[2946]---> Adder-cost: 1664 maxlim: 906240 bits: 21/20 9.69/9.76 c ---[2944]---> Adder-cost: 288 maxlim: 178176 bits: 19/18 9.69/9.79 c ---[2942]---> Adder-cost: 282 maxlim: 906240 bits: 21/20 9.79/9.89 c ---[2940]---> Adder-cost: 1996 maxlim: 1088512 bits: 22/21 9.99/10.03 c ---[2938]---> Adder-cost: 1880 maxlim: 1071104 bits: 22/21 10.09/10.17 c ---[2936]---> Adder-cost: 1680 maxlim: 934912 bits: 21/20 10.19/10.28 c ---[2934]---> Adder-cost: 1552 maxlim: 850944 bits: 21/20 10.29/10.38 c ---[2932]---> Adder-cost: 102 maxlim: 178176 bits: 19/18 10.39/10.40 c ---[2930]---> Adder-cost: 1408 maxlim: 828416 bits: 21/20 10.49/10.50 c ---[2928]---> Adder-cost: 1240 maxlim: 706560 bits: 21/20 10.49/10.58 c ---[2926]---> Adder-cost: 964 maxlim: 532480 bits: 21/20 10.59/10.65 c ---[2924]---> Adder-cost: 1018 maxlim: 555008 bits: 21/20 10.69/10.72 c ---[2922]---> Adder-cost: 210 maxlim: 555008 bits: 21/20 10.69/10.79 c ---[2920]---> Adder-cost: 886 maxlim: 499712 bits: 20/19 10.79/10.84 c ---[2918]---> Adder-cost: 424 maxlim: 212992 bits: 19/18 10.79/10.87 c ---[2916]---> Adder-cost: 198 maxlim: 499712 bits: 20/19 10.89/10.92 c ---[2914]---> Adder-cost: 1086 maxlim: 600064 bits: 21/20 10.89/11.00 c ---[2912]---> Adder-cost: 230 maxlim: 600064 bits: 21/20 11.00/11.07 c ---[2910]---> Adder-cost: 1218 maxlim: 658432 bits: 21/20 11.10/11.15 c ---[2908]---> Adder-cost: 240 maxlim: 658432 bits: 21/20 11.19/11.23 c ---[2906]---> Adder-cost: 1304 maxlim: 707584 bits: 21/20 11.29/11.31 c ---[2904]---> Adder-cost: 1014 maxlim: 555008 bits: 21/20 11.29/11.38 c ---[2902]---> Adder-cost: 210 maxlim: 555008 bits: 21/20 11.39/11.45 c ---[2900]---> Adder-cost: 122 maxlim: 212992 bits: 19/18 11.39/11.47 c ---[2898]---> Adder-cost: 698 maxlim: 368640 bits: 20/19 11.49/11.51 c ---[2896]---> Adder-cost: 160 maxlim: 368640 bits: 20/19 11.49/11.56 c ---[2894]---> Adder-cost: 718 maxlim: 408576 bits: 20/19 11.59/11.60 c ---[2892]---> Adder-cost: 170 maxlim: 408576 bits: 20/19 11.59/11.65 c ---[2890]---> Adder-cost: 636 maxlim: 340992 bits: 20/19 11.59/11.69 c ---[2888]---> Adder-cost: 350 maxlim: 184320 bits: 19/18 11.69/11.71 c ---[2886]---> Adder-cost: 152 maxlim: 340992 bits: 20/19 11.69/11.75 c ---[2884]---> Adder-cost: 716 maxlim: 394240 bits: 20/19 11.79/11.80 c ---[2882]---> Adder-cost: 166 maxlim: 394240 bits: 20/19 11.79/11.84 c ---[2880]---> Adder-cost: 612 maxlim: 339968 bits: 20/19 11.79/11.88 c ---[2878]---> Adder-cost: 154 maxlim: 339968 bits: 20/19 11.89/11.92 c ---[2876]---> Adder-cost: 264 maxlim: 154624 bits: 19/18 11.89/11.94 c ---[2874]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 11.89/11.96 c ---[2872]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 11.89/11.98 c ---[2870]---> Adder-cost: 190 maxlim: 105472 bits: 18/17 11.99/12.00 c ---[2868]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 11.99/12.01 c ---[2866]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 11.99/12.01 c ---[2864]---> Adder-cost: 348 maxlim: 174080 bits: 19/18 11.99/12.03 c ---[2862]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 11.99/12.04 c ---[2860]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 11.99/12.04 c ---[2858]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 11.99/12.05 c ---[2856]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 11.99/12.05 c ---[2854]---> Adder-cost: 844 maxlim: 436224 bits: 20/19 11.99/12.10 c ---[2852]---> Adder-cost: 770 maxlim: 447488 bits: 20/19 12.10/12.15 c ---[2850]---> Adder-cost: 546 maxlim: 302080 bits: 20/19 12.10/12.19 c ---[2848]---> Adder-cost: 304 maxlim: 206848 bits: 19/18 12.20/12.21 c ---[2846]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 12.20/12.23 c ---[2844]---> Adder-cost: 472 maxlim: 250880 bits: 19/18 12.20/12.26 c ---[2842]---> Adder-cost: 466 maxlim: 273408 bits: 20/19 12.20/12.29 c ---[2840]---> Adder-cost: 520 maxlim: 285696 bits: 20/19 12.29/12.33 c ---[2838]---> Adder-cost: 568 maxlim: 312320 bits: 20/19 12.29/12.37 c ---[2836]---> Adder-cost: 562 maxlim: 290816 bits: 20/19 12.39/12.40 c ---[2834]---> Adder-cost: 436 maxlim: 281600 bits: 20/19 12.39/12.44 c ---[2832]---> Adder-cost: 278 maxlim: 142336 bits: 19/18 12.39/12.46 c ---[2830]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 12.39/12.47 c ---[2828]---> Adder-cost: 284 maxlim: 141312 bits: 19/18 12.39/12.49 c ---[2826]---> Adder-cost: 284 maxlim: 157696 bits: 19/18 12.49/12.51 c ---[2824]---> Adder-cost: 388 maxlim: 200704 bits: 19/18 12.49/12.53 c ---[2822]---> Adder-cost: 408 maxlim: 227328 bits: 19/18 12.49/12.56 c ---[2820]---> Adder-cost: 414 maxlim: 223232 bits: 19/18 12.49/12.58 c ---[2818]---> Adder-cost: 614 maxlim: 324608 bits: 20/19 12.59/12.62 c ---[2816]---> Adder-cost: 750 maxlim: 453632 bits: 20/19 12.59/12.67 c ---[2814]---> Adder-cost: 676 maxlim: 376832 bits: 20/19 12.69/12.72 c ---[2812]---> Adder-cost: 394 maxlim: 246784 bits: 19/18 12.69/12.74 c ---[2810]---> Adder-cost: 526 maxlim: 262144 bits: 20/19 12.69/12.78 c ---[2808]---> Adder-cost: 434 maxlim: 241664 bits: 19/18 12.79/12.80 c ---[2806]---> Adder-cost: 396 maxlim: 205824 bits: 19/18 12.79/12.83 c ---[2804]---> Adder-cost: 414 maxlim: 222208 bits: 19/18 12.79/12.85 c ---[2802]---> Adder-cost: 116 maxlim: 200704 bits: 19/18 12.79/12.88 c ---[2800]---> Adder-cost: 340 maxlim: 178176 bits: 19/18 12.89/12.90 c ---[2798]---> Adder-cost: 252 maxlim: 145408 bits: 19/18 12.89/12.92 c ---[2796]---> Adder-cost: 216 maxlim: 109568 bits: 18/17 12.89/12.93 c ---[2794]---> Adder-cost: 204 maxlim: 120832 bits: 18/17 12.89/12.94 c ---[2792]---> Adder-cost: 278 maxlim: 147456 bits: 19/18 12.89/12.96 c ---[2790]---> Adder-cost: 94 maxlim: 92160 bits: 18/17 12.89/12.97 c ---[2788]---> Adder-cost: 396 maxlim: 199680 bits: 19/18 12.99/13.00 c ---[2786]---> Adder-cost: 114 maxlim: 199680 bits: 19/18 12.99/13.02 c ---[2784]---> Adder-cost: 516 maxlim: 264192 bits: 20/19 12.99/13.05 c ---[2782]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 12.99/13.09 c ---[2780]---> Adder-cost: 362 maxlim: 182272 bits: 19/18 13.09/13.11 c ---[2778]---> Adder-cost: 376 maxlim: 198656 bits: 19/18 13.09/13.13 c ---[2776]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 13.09/13.15 c ---[2774]---> Adder-cost: 334 maxlim: 171008 bits: 19/18 13.09/13.18 c ---[2772]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 13.09/13.20 c ---[2770]---> Adder-cost: 396 maxlim: 203776 bits: 19/18 13.20/13.22 c ---[2768]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 13.20/13.24 c ---[2766]---> Adder-cost: 402 maxlim: 203776 bits: 19/18 13.20/13.27 c ---[2764]---> Adder-cost: 354 maxlim: 207872 bits: 19/18 13.20/13.29 c ---[2762]---> Adder-cost: 372 maxlim: 190464 bits: 19/18 13.30/13.31 c ---[2760]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 13.30/13.34 c ---[2758]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 13.30/13.36 c ---[2756]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 13.30/13.38 c ---[2754]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 13.39/13.40 c ---[2752]---> Adder-cost: 280 maxlim: 141312 bits: 19/18 13.39/13.42 c ---[2750]---> Adder-cost: 264 maxlim: 139264 bits: 19/18 13.39/13.43 c ---[2748]---> Adder-cost: 344 maxlim: 180224 bits: 19/18 13.39/13.45 c ---[2746]---> Adder-cost: 110 maxlim: 180224 bits: 19/18 13.39/13.48 c ---[2744]---> Adder-cost: 262 maxlim: 132096 bits: 19/18 13.39/13.49 c ---[2742]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 13.49/13.51 c ---[2740]---> Adder-cost: 226 maxlim: 121856 bits: 18/17 13.49/13.52 c ---[2738]---> Adder-cost: 80 maxlim: 121856 bits: 18/17 13.49/13.54 c ---[2736]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 13.49/13.56 c ---[2734]---> Adder-cost: 466 maxlim: 235520 bits: 19/18 13.49/13.59 c ---[2732]---> Adder-cost: 126 maxlim: 235520 bits: 19/18 13.59/13.61 c ---[2730]---> Adder-cost: 332 maxlim: 165888 bits: 19/18 13.59/13.63 c ---[2728]---> Adder-cost: 188 maxlim: 156672 bits: 19/18 13.59/13.65 c ---[2726]---> Adder-cost: 184 maxlim: 90112 bits: 18/17 13.59/13.66 c ---[2724]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 13.59/13.67 c ---[2722]---> Adder-cost: 192 maxlim: 96256 bits: 18/17 13.59/13.69 c ---[2720]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 13.69/13.70 c ---[2718]---> Adder-cost: 208 maxlim: 105472 bits: 18/17 13.69/13.71 c ---[2716]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 13.69/13.72 c ---[2714]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 13.69/13.74 c ---[2712]---> Adder-cost: 228 maxlim: 120832 bits: 18/17 13.69/13.76 c ---[2710]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 13.69/13.77 c ---[2708]---> Adder-cost: 124 maxlim: 64512 bits: 17/16 13.69/13.78 c ---[2706]---> Adder-cost: 50 maxlim: 64512 bits: 17/16 13.69/13.79 c ---[2704]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 13.69/13.79 c ---[2702]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 7 13.79/13.80 c ---[2700]---> Adder-cost: 214 maxlim: 110592 bits: 18/17 13.79/13.81 c ---[2698]---> Adder-cost: 236 maxlim: 129024 bits: 18/17 13.79/13.83 c ---[2696]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 13.79/13.84 c ---[2694]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 13.79/13.85 c ---[2692]---> Adder-cost: 262 maxlim: 144384 bits: 19/18 13.79/13.87 c ---[2690]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 13.79/13.88 c ---[2688]---> Adder-cost: 224 maxlim: 115712 bits: 18/17 13.89/13.90 c ---[2686]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 13.89/13.91 c ---[2684]---> Adder-cost: 434 maxlim: 224256 bits: 19/18 13.89/13.95 c ---[2682]---> Adder-cost: 114 maxlim: 224256 bits: 19/18 13.89/13.97 c ---[2680]---> Adder-cost: 358 maxlim: 186368 bits: 19/18 13.99/14.00 c ---[2678]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 13.99/14.02 c ---[2676]---> Adder-cost: 310 maxlim: 157696 bits: 19/18 13.99/14.04 c ---[2674]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 13.99/14.06 c ---[2672]---> Adder-cost: 340 maxlim: 173056 bits: 19/18 13.99/14.08 c ---[2670]---> Adder-cost: 90 maxlim: 144384 bits: 19/18 13.99/14.09 c ---[2668]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 14.09/14.12 c ---[2666]---> Adder-cost: 150 maxlim: 75776 bits: 18/17 14.09/14.12 c ---[2664]---> Adder-cost: 136 maxlim: 74752 bits: 18/17 14.09/14.13 c ---[2662]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 14.09/14.14 c ---[2660]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 14.09/14.15 c ---[2658]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 14.09/14.16 c ---[2656]---> Adder-cost: 272 maxlim: 133120 bits: 19/18 14.09/14.18 c ---[2654]---> Adder-cost: 244 maxlim: 169984 bits: 19/18 14.19/14.20 c ---[2652]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 14.19/14.22 c ---[2650]---> Adder-cost: 372 maxlim: 191488 bits: 19/18 14.19/14.24 c ---[2648]---> Adder-cost: 204 maxlim: 104448 bits: 18/17 14.19/14.25 c ---[2646]---> Adder-cost: 104 maxlim: 191488 bits: 19/18 14.19/14.27 c ---[2644]---> Adder-cost: 312 maxlim: 160768 bits: 19/18 14.19/14.29 c ---[2642]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 14.30/14.31 c ---[2640]---> Adder-cost: 610 maxlim: 316416 bits: 20/19 14.30/14.35 c ---[2638]---> Adder-cost: 154 maxlim: 316416 bits: 20/19 14.30/14.39 c ---[2636]---> Adder-cost: 516 maxlim: 263168 bits: 20/19 14.40/14.42 c ---[2634]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 14.40/14.46 c ---[2632]---> Adder-cost: 382 maxlim: 198656 bits: 19/18 14.40/14.48 c ---[2630]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 14.49/14.50 c ---[2628]---> Adder-cost: 270 maxlim: 142336 bits: 19/18 14.49/14.52 c ---[2626]---> Adder-cost: 124 maxlim: 71680 bits: 18/17 14.49/14.53 c ---[2624]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 14.49/14.55 c ---[2622]---> Adder-cost: 360 maxlim: 181248 bits: 19/18 14.49/14.57 c ---[2620]---> Adder-cost: 106 maxlim: 181248 bits: 19/18 14.49/14.59 c ---[2618]---> Adder-cost: 532 maxlim: 280576 bits: 20/19 14.59/14.62 c ---[2616]---> Adder-cost: 136 maxlim: 280576 bits: 20/19 14.59/14.66 c ---[2614]---> Adder-cost: 374 maxlim: 196608 bits: 19/18 14.59/14.68 c ---[2612]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 14.69/14.71 c ---[2610]---> Adder-cost: 384 maxlim: 194560 bits: 19/18 14.69/14.73 c ---[2608]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 14.69/14.75 c ---[2606]---> Adder-cost: 222 maxlim: 113664 bits: 18/17 14.69/14.76 c ---[2604]---> Adder-cost: 364 maxlim: 185344 bits: 19/18 14.69/14.79 c ---[2602]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 14.79/14.80 c ---[2600]---> Adder-cost: 174 maxlim: 87040 bits: 18/17 14.79/14.81 c ---[2598]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 14.79/14.82 c ---[2596]---> Adder-cost: 290 maxlim: 145408 bits: 19/18 14.79/14.84 c ---[2594]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 14.79/14.86 c ---[2592]---> Adder-cost: 144 maxlim: 74752 bits: 18/17 14.79/14.87 c ---[2590]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 14.79/14.88 c ---[2588]---> Adder-cost: 240 maxlim: 120832 bits: 18/17 14.79/14.89 c ---[2586]---> Adder-cost: 200 maxlim: 119808 bits: 18/17 14.89/14.91 c ---[2584]---> Adder-cost: 160 maxlim: 84992 bits: 18/17 14.89/14.92 c ---[2582]---> Adder-cost: 394 maxlim: 198656 bits: 19/18 14.89/14.94 c ---[2580]---> Adder-cost: 256 maxlim: 224256 bits: 19/18 14.89/14.97 c ---[2578]---> Adder-cost: 114 maxlim: 224256 bits: 19/18 14.89/14.99 c ---[2576]---> Adder-cost: 286 maxlim: 149504 bits: 19/18 14.99/15.01 c ---[2574]---> Adder-cost: 290 maxlim: 168960 bits: 19/18 14.99/15.03 c ---[2572]---> Adder-cost: 340 maxlim: 172032 bits: 19/18 14.99/15.05 c ---[2570]---> Adder-cost: 102 maxlim: 172032 bits: 19/18 14.99/15.07 c ---[2568]---> Adder-cost: 352 maxlim: 185344 bits: 19/18 14.99/15.09 c ---[2566]---> Adder-cost: 248 maxlim: 154624 bits: 19/18 15.09/15.11 c ---[2564]---> Adder-cost: 208 maxlim: 103424 bits: 18/17 15.09/15.13 c ---[2562]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 15.09/15.14 c ---[2560]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 15.09/15.14 c ---[2558]---> Adder-cost: 558 maxlim: 281600 bits: 20/19 15.09/15.18 c ---[2556]---> Adder-cost: 384 maxlim: 265216 bits: 20/19 15.19/15.21 c ---[2554]---> Adder-cost: 426 maxlim: 232448 bits: 19/18 15.19/15.24 c ---[2552]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 15.19/15.27 c ---[2550]---> Adder-cost: 236 maxlim: 121856 bits: 18/17 15.19/15.28 c ---[2548]---> Adder-cost: 180 maxlim: 94208 bits: 18/17 15.19/15.29 c ---[2546]---> Adder-cost: 250 maxlim: 128000 bits: 18/17 15.29/15.31 c ---[2544]---> Adder-cost: 78 maxlim: 128000 bits: 18/17 15.29/15.32 c ---[2542]---> Adder-cost: 274 maxlim: 138240 bits: 19/18 15.29/15.34 c ---[2540]---> Adder-cost: 134 maxlim: 89088 bits: 18/17 15.29/15.35 c ---[2538]---> Adder-cost: 172 maxlim: 86016 bits: 18/17 15.29/15.36 c ---[2536]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 15.29/15.37 c ---[2534]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 15.29/15.38 c ---[2532]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 15.29/15.38 c ---[2530]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 15.29/15.39 c ---[2528]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 15.40/15.41 c ---[2526]---> Adder-cost: 228 maxlim: 115712 bits: 18/17 15.40/15.42 c ---[2524]---> Adder-cost: 160 maxlim: 118784 bits: 18/17 15.40/15.44 c ---[2522]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 15.40/15.45 c ---[2520]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 15.40/15.46 c ---[2518]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 15.40/15.47 c ---[2516]---> Adder-cost: 288 maxlim: 145408 bits: 19/18 15.40/15.49 c ---[2514]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 15.50/15.51 c ---[2512]---> Adder-cost: 312 maxlim: 156672 bits: 19/18 15.50/15.53 c ---[2510]---> Adder-cost: 96 maxlim: 156672 bits: 19/18 15.50/15.54 c ---[2508]---> Adder-cost: 288 maxlim: 151552 bits: 19/18 15.50/15.56 c ---[2506]---> Adder-cost: 214 maxlim: 107520 bits: 18/17 15.50/15.58 c ---[2504]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 15.50/15.59 c ---[2502]---> Adder-cost: 208 maxlim: 104448 bits: 18/17 15.59/15.60 c ---[2500]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 15.59/15.62 c ---[2498]---> Adder-cost: 234 maxlim: 117760 bits: 18/17 15.59/15.63 c ---[2496]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 15.59/15.64 c ---[2494]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 15.59/15.66 c ---[2492]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 15.59/15.67 c ---[2490]---> Adder-cost: 248 maxlim: 126976 bits: 18/17 15.59/15.69 c ---[2488]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 15.69/15.70 c ---[2486]---> Adder-cost: 242 maxlim: 168960 bits: 19/18 15.69/15.72 c ---[2484]---> Adder-cost: 170 maxlim: 81920 bits: 18/17 15.69/15.73 c ---[2482]---> Adder-cost: 68 maxlim: 81920 bits: 18/17 15.69/15.74 c ---[2480]---> Adder-cost: 136 maxlim: 66560 bits: 18/17 15.69/15.75 c ---[2478]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 15.69/15.76 c ---[2476]---> Adder-cost: 244 maxlim: 122880 bits: 18/17 15.69/15.77 c ---[2474]---> Adder-cost: 286 maxlim: 169984 bits: 19/18 15.79/15.80 c ---[2472]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 15.79/15.82 c ---[2470]---> Adder-cost: 604 maxlim: 318464 bits: 20/19 15.79/15.86 c ---[2468]---> Adder-cost: 152 maxlim: 318464 bits: 20/19 15.79/15.89 c ---[2466]---> Adder-cost: 222 maxlim: 110592 bits: 18/17 15.89/15.91 c ---[2464]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 15.89/15.92 c ---[2462]---> Adder-cost: 328 maxlim: 163840 bits: 19/18 15.89/15.94 c ---[2460]---> Adder-cost: 102 maxlim: 163840 bits: 19/18 15.89/15.96 c ---[2458]---> Adder-cost: 246 maxlim: 122880 bits: 18/17 15.89/15.98 c ---[2456]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 15.89/15.99 c ---[2454]---> Adder-cost: 262 maxlim: 140288 bits: 19/18 15.99/16.01 c ---[2452]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 15.99/16.03 c ---[2450]---> Adder-cost: 224 maxlim: 112640 bits: 18/17 15.99/16.04 c ---[2448]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 15.99/16.05 c ---[2446]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 15.99/16.07 c ---[2444]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 15.99/16.08 c ---[2442]---> Adder-cost: 146 maxlim: 71680 bits: 18/17 15.99/16.09 c ---[2440]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 16.09/16.10 c ---[2438]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 16.09/16.11 c ---[2436]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 16.09/16.12 c ---[2434]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 16.09/16.13 c ---[2432]---> Adder-cost: 412 maxlim: 251904 bits: 19/18 16.09/16.16 c ---[2430]---> Adder-cost: 126 maxlim: 251904 bits: 19/18 16.09/16.19 c ---[2428]---> Adder-cost: 642 maxlim: 325632 bits: 20/19 16.19/16.23 c ---[2426]---> Adder-cost: 654 maxlim: 352256 bits: 20/19 16.19/16.27 c ---[2424]---> Adder-cost: 508 maxlim: 284672 bits: 20/19 16.29/16.30 c ---[2422]---> Adder-cost: 672 maxlim: 380928 bits: 20/19 16.29/16.35 c ---[2420]---> Adder-cost: 552 maxlim: 278528 bits: 20/19 16.29/16.38 c ---[2418]---> Adder-cost: 326 maxlim: 272384 bits: 20/19 16.39/16.42 c ---[2416]---> Adder-cost: 418 maxlim: 221184 bits: 19/18 16.39/16.44 c ---[2414]---> Adder-cost: 312 maxlim: 178176 bits: 19/18 16.39/16.46 c ---[2412]---> Adder-cost: 288 maxlim: 154624 bits: 19/18 16.39/16.48 c ---[2410]---> Adder-cost: 306 maxlim: 166912 bits: 19/18 16.39/16.50 c ---[2408]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 16.50/16.52 c ---[2406]---> Adder-cost: 864 maxlim: 442368 bits: 20/19 16.50/16.57 c ---[2404]---> Adder-cost: 610 maxlim: 482304 bits: 20/19 16.60/16.63 c ---[2402]---> Adder-cost: 820 maxlim: 462848 bits: 20/19 16.60/16.68 c ---[2400]---> Adder-cost: 846 maxlim: 458752 bits: 20/19 16.69/16.73 c ---[2398]---> Adder-cost: 490 maxlim: 269312 bits: 20/19 16.69/16.77 c ---[2396]---> Adder-cost: 312 maxlim: 165888 bits: 19/18 16.69/16.79 c ---[2394]---> Adder-cost: 654 maxlim: 342016 bits: 20/19 16.79/16.83 c ---[2392]---> Adder-cost: 664 maxlim: 344064 bits: 20/19 16.79/16.87 c ---[2390]---> Adder-cost: 566 maxlim: 294912 bits: 20/19 16.89/16.91 c ---[2388]---> Adder-cost: 482 maxlim: 288768 bits: 20/19 16.89/16.94 c ---[2386]---> Adder-cost: 1092 maxlim: 576512 bits: 21/20 16.99/17.01 c ---[2384]---> Adder-cost: 408 maxlim: 215040 bits: 19/18 16.99/17.04 c ---[2382]---> Adder-cost: 330 maxlim: 180224 bits: 19/18 16.99/17.06 c ---[2380]---> Adder-cost: 322 maxlim: 181248 bits: 19/18 16.99/17.08 c ---[2378]---> Adder-cost: 234 maxlim: 133120 bits: 19/18 17.09/17.10 c ---[2376]---> Adder-cost: 356 maxlim: 186368 bits: 19/18 17.09/17.12 c ---[2374]---> Adder-cost: 236 maxlim: 133120 bits: 19/18 17.09/17.14 c ---[2372]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 17.09/17.14 c ---[2370]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 17.09/17.14 c ---[2368]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 17.09/17.15 c ---[2366]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 17.09/17.16 c ---[2364]---> Adder-cost: 634 maxlim: 577536 bits: 21/20 17.19/17.23 c ---[2362]---> Adder-cost: 270 maxlim: 146432 bits: 19/18 17.19/17.25 c ---[2360]---> Adder-cost: 252 maxlim: 167936 bits: 19/18 17.19/17.27 c ---[2358]---> Adder-cost: 276 maxlim: 138240 bits: 19/18 17.19/17.29 c ---[2356]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 17.29/17.31 c ---[2354]---> Adder-cost: 412 maxlim: 207872 bits: 19/18 17.29/17.33 c ---[2352]---> Adder-cost: 464 maxlim: 245760 bits: 19/18 17.29/17.36 c ---[2350]---> Adder-cost: 372 maxlim: 197632 bits: 19/18 17.29/17.38 c ---[2348]---> Adder-cost: 112 maxlim: 197632 bits: 19/18 17.39/17.41 c ---[2346]---> Adder-cost: 378 maxlim: 195584 bits: 19/18 17.39/17.43 c ---[2344]---> Adder-cost: 338 maxlim: 197632 bits: 19/18 17.39/17.45 c ---[2342]---> Adder-cost: 262 maxlim: 136192 bits: 19/18 17.39/17.47 c ---[2340]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 17.39/17.49 c ---[2338]---> Adder-cost: 284 maxlim: 144384 bits: 19/18 17.49/17.51 c ---[2336]---> Adder-cost: 100 maxlim: 116736 bits: 18/17 17.49/17.52 c ---[2334]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 17.49/17.53 c ---[2332]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 17.49/17.53 c ---[2330]---> Adder-cost: 240 maxlim: 120832 bits: 18/17 17.49/17.55 c ---[2328]---> Adder-cost: 304 maxlim: 153600 bits: 19/18 17.49/17.57 c ---[2326]---> Adder-cost: 282 maxlim: 142336 bits: 19/18 17.49/17.58 c ---[2324]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 17.49/17.60 c ---[2322]---> Adder-cost: 358 maxlim: 181248 bits: 19/18 17.60/17.62 c ---[2320]---> Adder-cost: 224 maxlim: 123904 bits: 18/17 17.60/17.64 c ---[2318]---> Adder-cost: 188 maxlim: 97280 bits: 18/17 17.60/17.65 c ---[2316]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 17.60/17.66 c ---[2314]---> Adder-cost: 270 maxlim: 134144 bits: 19/18 17.60/17.68 c ---[2312]---> Adder-cost: 222 maxlim: 117760 bits: 18/17 17.60/17.69 c ---[2310]---> Adder-cost: 154 maxlim: 83968 bits: 18/17 17.70/17.71 c ---[2308]---> Adder-cost: 134 maxlim: 82944 bits: 18/17 17.70/17.72 c ---[2306]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 17.70/17.72 c ---[2304]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 17.70/17.74 c ---[2302]---> Adder-cost: 148 maxlim: 136192 bits: 19/18 17.70/17.76 c ---[2300]---> Adder-cost: 300 maxlim: 171008 bits: 19/18 17.70/17.78 c ---[2298]---> Adder-cost: 308 maxlim: 166912 bits: 19/18 17.79/17.80 c ---[2296]---> Adder-cost: 376 maxlim: 194560 bits: 19/18 17.79/17.82 c ---[2294]---> Adder-cost: 406 maxlim: 224256 bits: 19/18 17.79/17.84 c ---[2292]---> Adder-cost: 418 maxlim: 218112 bits: 19/18 17.79/17.87 c ---[2290]---> Adder-cost: 506 maxlim: 284672 bits: 20/19 17.89/17.91 c ---[2288]---> Adder-cost: 376 maxlim: 190464 bits: 19/18 17.89/17.93 c ---[2286]---> Adder-cost: 346 maxlim: 215040 bits: 19/18 17.89/17.95 c ---[2284]---> Adder-cost: 290 maxlim: 146432 bits: 19/18 17.89/17.97 c ---[2282]---> Adder-cost: 218 maxlim: 577536 bits: 21/20 17.99/18.04 c ---[2280]---> Adder-cost: 268 maxlim: 135168 bits: 19/18 17.99/18.06 c ---[2278]---> Adder-cost: 456 maxlim: 231424 bits: 19/18 17.99/18.09 c ---[2276]---> Adder-cost: 412 maxlim: 215040 bits: 19/18 18.09/18.11 c ---[2274]---> Adder-cost: 454 maxlim: 259072 bits: 19/18 18.09/18.14 c ---[2272]---> Adder-cost: 480 maxlim: 281600 bits: 20/19 18.09/18.18 c ---[2270]---> Adder-cost: 410 maxlim: 210944 bits: 19/18 18.19/18.20 c ---[2268]---> Adder-cost: 302 maxlim: 203776 bits: 19/18 18.19/18.23 c ---[2266]---> Adder-cost: 302 maxlim: 171008 bits: 19/18 18.19/18.25 c ---[2264]---> Adder-cost: 208 maxlim: 116736 bits: 18/17 18.19/18.26 c ---[2262]---> Adder-cost: 1136 maxlim: 701440 bits: 21/20 18.29/18.35 c ---[2260]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 18.29/18.35 c ---[2258]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 18.29/18.35 c ---[2256]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 18.29/18.36 c ---[2254]---> Adder-cost: 168 maxlim: 88064 bits: 18/17 18.29/18.37 c ---[2252]---> Adder-cost: 366 maxlim: 194560 bits: 19/18 18.29/18.39 c ---[2250]---> Adder-cost: 284 maxlim: 156672 bits: 19/18 18.39/18.41 c ---[2248]---> Adder-cost: 194 maxlim: 112640 bits: 18/17 18.39/18.43 c ---[2246]---> Adder-cost: 194 maxlim: 109568 bits: 18/17 18.39/18.44 c ---[2244]---> Adder-cost: 204 maxlim: 111616 bits: 18/17 18.39/18.45 c ---[2242]---> Adder-cost: 106 maxlim: 71680 bits: 18/17 18.39/18.46 c ---[2240]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 18.49/18.55 c ---[2238]---> Adder-cost: 216 maxlim: 107520 bits: 18/17 18.49/18.56 c ---[2236]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 18.49/18.57 c ---[2234]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 18.49/18.59 c ---[2232]---> Adder-cost: 80 maxlim: 119808 bits: 18/17 18.59/18.60 c ---[2230]---> Adder-cost: 288 maxlim: 144384 bits: 19/18 18.59/18.62 c ---[2228]---> Adder-cost: 90 maxlim: 144384 bits: 19/18 18.59/18.64 c ---[2226]---> Adder-cost: 348 maxlim: 183296 bits: 19/18 18.59/18.66 c ---[2224]---> Adder-cost: 104 maxlim: 183296 bits: 19/18 18.59/18.68 c ---[2222]---> Adder-cost: 428 maxlim: 219136 bits: 19/18 18.70/18.71 c ---[2220]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 18.70/18.73 c ---[2218]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 18.80/18.82 c ---[2216]---> Adder-cost: 420 maxlim: 218112 bits: 19/18 18.80/18.84 c ---[2214]---> Adder-cost: 396 maxlim: 222208 bits: 19/18 18.80/18.87 c ---[2212]---> Adder-cost: 492 maxlim: 257024 bits: 19/18 18.89/18.90 c ---[2210]---> Adder-cost: 132 maxlim: 257024 bits: 19/18 18.89/18.93 c ---[2208]---> Adder-cost: 362 maxlim: 190464 bits: 19/18 18.89/18.95 c ---[2206]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 18.89/18.98 c ---[2204]---> Adder-cost: 954 maxlim: 504832 bits: 20/19 18.99/19.03 c ---[2202]---> Adder-cost: 190 maxlim: 504832 bits: 20/19 18.99/19.09 c ---[2200]---> Adder-cost: 536 maxlim: 277504 bits: 20/19 19.09/19.13 c ---[2198]---> Adder-cost: 136 maxlim: 277504 bits: 20/19 19.09/19.16 c ---[2196]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 19.19/19.25 c ---[2194]---> Adder-cost: 694 maxlim: 356352 bits: 20/19 19.19/19.29 c ---[2192]---> Adder-cost: 156 maxlim: 356352 bits: 20/19 19.29/19.33 c ---[2190]---> Adder-cost: 668 maxlim: 342016 bits: 20/19 19.29/19.37 c ---[2188]---> Adder-cost: 152 maxlim: 342016 bits: 20/19 19.39/19.41 c ---[2186]---> Adder-cost: 544 maxlim: 274432 bits: 20/19 19.39/19.45 c ---[2184]---> Adder-cost: 148 maxlim: 274432 bits: 20/19 19.39/19.48 c ---[2182]---> Adder-cost: 376 maxlim: 194560 bits: 19/18 19.49/19.50 c ---[2180]---> Adder-cost: 282 maxlim: 173056 bits: 19/18 19.49/19.52 c ---[2178]---> Adder-cost: 292 maxlim: 152576 bits: 19/18 19.49/19.54 c ---[2176]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 19.49/19.56 c ---[2174]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 19.59/19.65 c ---[2172]---> Adder-cost: 118 maxlim: 62464 bits: 17/16 19.59/19.65 c ---[2170]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 19.59/19.66 c ---[2168]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 19.59/19.66 c ---[2166]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 19.59/19.67 c ---[2164]---> Adder-cost: 206 maxlim: 102400 bits: 18/17 19.59/19.68 c ---[2162]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 19.59/19.69 c ---[2160]---> Adder-cost: 144 maxlim: 86016 bits: 18/17 19.69/19.70 c ---[2158]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 19.69/19.72 c ---[2156]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 19.69/19.73 c ---[2154]---> Adder-cost: 182 maxlim: 102400 bits: 18/17 19.69/19.74 c ---[2152]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 19.79/19.82 c ---[2150]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 19.79/19.84 c ---[2148]---> Adder-cost: 214 maxlim: 117760 bits: 18/17 19.79/19.85 c ---[2146]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 19.79/19.86 c ---[2144]---> Adder-cost: 310 maxlim: 159744 bits: 19/18 19.79/19.88 c ---[2142]---> Adder-cost: 94 maxlim: 159744 bits: 19/18 19.89/19.90 c ---[2140]---> Adder-cost: 442 maxlim: 234496 bits: 19/18 19.89/19.93 c ---[2138]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 19.89/19.96 c ---[2136]---> Adder-cost: 344 maxlim: 179200 bits: 19/18 19.89/19.98 c ---[2134]---> Adder-cost: 100 maxlim: 179200 bits: 19/18 19.99/20.00 c ---[2132]---> Adder-cost: 418 maxlim: 218112 bits: 19/18 19.99/20.03 c ---[2130]---> Adder-cost: 502 maxlim: 269312 bits: 20/19 19.99/20.06 c ---[2128]---> Adder-cost: 116 maxlim: 218112 bits: 19/18 19.99/20.09 c ---[2126]---> Adder-cost: 500 maxlim: 258048 bits: 19/18 20.09/20.12 c ---[2124]---> Adder-cost: 126 maxlim: 258048 bits: 19/18 20.09/20.15 c ---[2122]---> Adder-cost: 322 maxlim: 195584 bits: 19/18 20.09/20.17 c ---[2120]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 20.09/20.19 c ---[2118]---> Adder-cost: 168 maxlim: 81920 bits: 18/17 20.19/20.20 c ---[2116]---> Adder-cost: 110 maxlim: 84992 bits: 18/17 20.19/20.21 c ---[2114]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 20.19/20.22 c ---[2112]---> Adder-cost: 200 maxlim: 98304 bits: 18/17 20.19/20.24 c ---[2110]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 20.19/20.25 c ---[2108]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 20.19/20.28 c ---[2106]---> Adder-cost: 250 maxlim: 129024 bits: 18/17 20.29/20.30 c ---[2104]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 20.29/20.31 c ---[2102]---> Adder-cost: 332 maxlim: 164864 bits: 19/18 20.29/20.33 c ---[2100]---> Adder-cost: 100 maxlim: 164864 bits: 19/18 20.29/20.35 c ---[2098]---> Adder-cost: 566 maxlim: 291840 bits: 20/19 20.29/20.39 c ---[2096]---> Adder-cost: 146 maxlim: 291840 bits: 20/19 20.39/20.43 c ---[2094]---> Adder-cost: 396 maxlim: 210944 bits: 19/18 20.39/20.45 c ---[2092]---> Adder-cost: 262 maxlim: 204800 bits: 19/18 20.39/20.48 c ---[2090]---> Adder-cost: 432 maxlim: 220160 bits: 19/18 20.49/20.50 c ---[2088]---> Adder-cost: 110 maxlim: 220160 bits: 19/18 20.49/20.53 c ---[2086]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 20.49/20.56 c ---[2084]---> Adder-cost: 206 maxlim: 103424 bits: 18/17 20.49/20.57 c ---[2082]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 20.49/20.59 c ---[2080]---> Adder-cost: 272 maxlim: 135168 bits: 19/18 20.59/20.60 c ---[2078]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 20.59/20.62 c ---[2076]---> Adder-cost: 180 maxlim: 90112 bits: 18/17 20.59/20.63 c ---[2074]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 20.59/20.64 c ---[2072]---> Adder-cost: 184 maxlim: 91136 bits: 18/17 20.59/20.66 c ---[2070]---> Adder-cost: 116 maxlim: 84992 bits: 18/17 20.59/20.67 c ---[2068]---> Adder-cost: 300 maxlim: 152576 bits: 19/18 20.59/20.69 c ---[2066]---> Adder-cost: 194 maxlim: 171008 bits: 19/18 20.69/20.71 c ---[2064]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 20.69/20.74 c ---[2062]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 20.69/20.76 c ---[2060]---> Adder-cost: 274 maxlim: 136192 bits: 19/18 20.69/20.78 c ---[2058]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 20.69/20.79 c ---[2056]---> Adder-cost: 182 maxlim: 93184 bits: 18/17 20.79/20.81 c ---[2054]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 20.79/20.82 c ---[2052]---> Adder-cost: 412 maxlim: 209920 bits: 19/18 20.79/20.84 c ---[2050]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 20.79/20.87 c ---[2048]---> Adder-cost: 396 maxlim: 201728 bits: 19/18 20.79/20.89 c ---[2046]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 20.89/20.92 c ---[2044]---> Adder-cost: 628 maxlim: 338944 bits: 20/19 20.89/20.96 c ---[2042]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 20.89/20.99 c ---[2040]---> Adder-cost: 156 maxlim: 338944 bits: 20/19 20.99/21.03 c ---[2038]---> Adder-cost: 268 maxlim: 131072 bits: 19/18 20.99/21.05 c ---[2036]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 20.99/21.07 c ---[2034]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 20.99/21.08 c ---[2032]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 21.09/21.10 c ---[2030]---> Adder-cost: 300 maxlim: 158720 bits: 19/18 21.09/21.12 c ---[2028]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 21.09/21.14 c ---[2026]---> Adder-cost: 236 maxlim: 120832 bits: 18/17 21.09/21.16 c ---[2024]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 21.09/21.17 c ---[2022]---> Adder-cost: 192 maxlim: 96256 bits: 18/17 21.09/21.18 c ---[2020]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 21.19/21.22 c ---[2018]---> Adder-cost: 158 maxlim: 91136 bits: 18/17 21.19/21.23 c ---[2016]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 21.19/21.24 c ---[2014]---> Adder-cost: 156 maxlim: 92160 bits: 18/17 21.19/21.25 c ---[2012]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.19/21.26 c ---[2010]---> Adder-cost: 524 maxlim: 296960 bits: 20/19 21.29/21.30 c ---[2008]---> Adder-cost: 790 maxlim: 508928 bits: 20/19 21.29/21.36 c ---[2006]---> Adder-cost: 896 maxlim: 475136 bits: 20/19 21.39/21.41 c ---[2004]---> Adder-cost: 610 maxlim: 342016 bits: 20/19 21.39/21.45 c ---[2002]---> Adder-cost: 432 maxlim: 238592 bits: 19/18 21.39/21.48 c ---[2000]---> Adder-cost: 474 maxlim: 262144 bits: 20/19 21.49/21.51 c ---[1998]---> Adder-cost: 504 maxlim: 262144 bits: 20/19 21.49/21.55 c ---[1996]---> Adder-cost: 250 maxlim: 129024 bits: 18/17 21.49/21.56 c ---[1994]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 21.49/21.57 c ---[1992]---> Adder-cost: 218 maxlim: 131072 bits: 19/18 21.49/21.59 c ---[1990]---> Adder-cost: 564 maxlim: 283648 bits: 20/19 21.59/21.63 c ---[1988]---> Adder-cost: 544 maxlim: 278528 bits: 20/19 21.59/21.66 c ---[1986]---> Adder-cost: 430 maxlim: 248832 bits: 19/18 21.59/21.69 c ---[1984]---> Adder-cost: 356 maxlim: 224256 bits: 19/18 21.69/21.72 c ---[1982]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 21.69/21.75 c ---[1980]---> Adder-cost: 626 maxlim: 322560 bits: 20/19 21.69/21.79 c ---[1978]---> Adder-cost: 600 maxlim: 359424 bits: 20/19 21.79/21.83 c ---[1976]---> Adder-cost: 526 maxlim: 305152 bits: 20/19 21.79/21.87 c ---[1974]---> Adder-cost: 320 maxlim: 188416 bits: 19/18 21.79/21.89 c ---[1972]---> Adder-cost: 526 maxlim: 272384 bits: 20/19 21.89/21.92 c ---[1970]---> Adder-cost: 446 maxlim: 243712 bits: 19/18 21.89/21.95 c ---[1968]---> Adder-cost: 350 maxlim: 202752 bits: 19/18 21.89/21.98 c ---[1966]---> Adder-cost: 208 maxlim: 120832 bits: 18/17 21.89/21.99 c ---[1964]---> Adder-cost: 266 maxlim: 144384 bits: 19/18 21.99/22.01 c ---[1962]---> Adder-cost: 126 maxlim: 98304 bits: 18/17 21.99/22.02 c ---[1960]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 21.99/22.06 c ---[1958]---> Adder-cost: 190 maxlim: 94208 bits: 18/17 21.99/22.07 c ---[1956]---> Adder-cost: 186 maxlim: 104448 bits: 18/17 21.99/22.08 c ---[1954]---> Adder-cost: 286 maxlim: 181248 bits: 19/18 21.99/22.10 c ---[1952]---> Adder-cost: 272 maxlim: 179200 bits: 19/18 22.09/22.12 c ---[1950]---> Adder-cost: 310 maxlim: 161792 bits: 19/18 22.09/22.14 c ---[1948]---> Adder-cost: 376 maxlim: 215040 bits: 19/18 22.09/22.17 c ---[1946]---> Adder-cost: 254 maxlim: 144384 bits: 19/18 22.09/22.19 c ---[1944]---> Adder-cost: 200 maxlim: 131072 bits: 19/18 22.19/22.20 c ---[1942]---> Adder-cost: 332 maxlim: 167936 bits: 19/18 22.19/22.22 c ---[1940]---> Adder-cost: 274 maxlim: 156672 bits: 19/18 22.19/22.24 c ---[1938]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 22.29/22.31 c ---[1936]---> Adder-cost: 318 maxlim: 163840 bits: 19/18 22.29/22.33 c ---[1934]---> Adder-cost: 350 maxlim: 193536 bits: 19/18 22.29/22.35 c ---[1932]---> Adder-cost: 382 maxlim: 233472 bits: 19/18 22.29/22.38 c ---[1930]---> Adder-cost: 462 maxlim: 283648 bits: 20/19 22.38/22.41 c ---[1928]---> Adder-cost: 520 maxlim: 300032 bits: 20/19 22.38/22.45 c ---[1926]---> Adder-cost: 394 maxlim: 208896 bits: 19/18 22.38/22.47 c ---[1924]---> Adder-cost: 692 maxlim: 377856 bits: 20/19 22.48/22.52 c ---[1922]---> Adder-cost: 630 maxlim: 339968 bits: 20/19 22.48/22.56 c ---[1920]---> Adder-cost: 572 maxlim: 358400 bits: 20/19 22.58/22.60 c ---[1918]---> Adder-cost: 508 maxlim: 286720 bits: 20/19 22.58/22.63 c ---[1916]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 22.58/22.67 c ---[1914]---> Adder-cost: 404 maxlim: 210944 bits: 19/18 22.58/22.69 c ---[1912]---> Adder-cost: 250 maxlim: 162816 bits: 19/18 22.68/22.71 c ---[1910]---> Adder-cost: 188 maxlim: 95232 bits: 18/17 22.68/22.72 c ---[1908]---> Adder-cost: 194 maxlim: 107520 bits: 18/17 22.68/22.74 c ---[1906]---> Adder-cost: 368 maxlim: 192512 bits: 19/18 22.68/22.76 c ---[1904]---> Adder-cost: 236 maxlim: 130048 bits: 18/17 22.68/22.78 c ---[1902]---> Adder-cost: 150 maxlim: 82944 bits: 18/17 22.68/22.79 c ---[1900]---> Adder-cost: 156 maxlim: 80896 bits: 18/17 22.78/22.80 c ---[1898]---> Adder-cost: 184 maxlim: 92160 bits: 18/17 22.78/22.81 c ---[1896]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 22.78/22.81 c ---[1894]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 22.78/22.85 c ---[1892]---> Adder-cost: 284 maxlim: 140288 bits: 19/18 22.78/22.86 c ---[1890]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 22.78/22.88 c ---[1888]---> Adder-cost: 344 maxlim: 178176 bits: 19/18 22.88/22.90 c ---[1886]---> Adder-cost: 102 maxlim: 178176 bits: 19/18 22.88/22.92 c ---[1884]---> Adder-cost: 288 maxlim: 143360 bits: 19/18 22.88/22.94 c ---[1882]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 22.88/22.96 c ---[1880]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 22.88/22.98 c ---[1878]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 22.88/22.99 c ---[1876]---> Adder-cost: 240 maxlim: 122880 bits: 18/17 22.98/23.01 c ---[1874]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 22.98/23.02 c ---[1872]---> Adder-cost: 448 maxlim: 241664 bits: 19/18 22.98/23.05 c ---[1870]---> Adder-cost: 96 maxlim: 52224 bits: 17/16 22.98/23.06 c ---[1868]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 22.98/23.06 c ---[1866]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 22.98/23.08 c ---[1864]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 22.98/23.10 c ---[1862]---> Adder-cost: 362 maxlim: 187392 bits: 19/18 23.09/23.12 c ---[1860]---> Adder-cost: 340 maxlim: 188416 bits: 19/18 23.09/23.14 c ---[1858]---> Adder-cost: 376 maxlim: 190464 bits: 19/18 23.09/23.16 c ---[1856]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 23.09/23.19 c ---[1854]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 23.19/23.21 c ---[1852]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 23.19/23.23 c ---[1850]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 23.19/23.26 c ---[1848]---> Adder-cost: 198 maxlim: 100352 bits: 18/17 23.19/23.27 c ---[1846]---> Adder-cost: 122 maxlim: 97280 bits: 18/17 23.19/23.28 c ---[1844]---> Adder-cost: 96 maxlim: 54272 bits: 17/16 23.19/23.29 c ---[1842]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 23.28/23.30 c ---[1840]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 23.28/23.30 c ---[1838]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 23.28/23.30 c ---[1836]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 23.28/23.31 c ---[1834]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 23.28/23.31 c ---[1832]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 23.28/23.32 c ---[1830]---> Adder-cost: 270 maxlim: 134144 bits: 19/18 23.28/23.33 c ---[1828]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 23.28/23.35 c ---[1826]---> Adder-cost: 232 maxlim: 118784 bits: 18/17 23.28/23.37 c ---[1824]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 23.28/23.38 c ---[1822]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 23.28/23.39 c ---[1820]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 23.38/23.41 c ---[1818]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 23.38/23.42 c ---[1816]---> Adder-cost: 150 maxlim: 74752 bits: 18/17 23.38/23.43 c ---[1814]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 23.38/23.43 c ---[1812]---> Adder-cost: 330 maxlim: 165888 bits: 19/18 23.38/23.45 c ---[1810]---> Adder-cost: 262 maxlim: 166912 bits: 19/18 23.38/23.48 c ---[1808]---> Adder-cost: 522 maxlim: 263168 bits: 20/19 23.48/23.51 c ---[1806]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 23.48/23.54 c ---[1804]---> Adder-cost: 316 maxlim: 164864 bits: 19/18 23.48/23.56 c ---[1802]---> Adder-cost: 100 maxlim: 164864 bits: 19/18 23.48/23.58 c ---[1800]---> Adder-cost: 218 maxlim: 123904 bits: 18/17 23.58/23.60 c ---[1798]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 23.58/23.61 c ---[1796]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 23.58/23.63 c ---[1794]---> Adder-cost: 178 maxlim: 109568 bits: 18/17 23.58/23.64 c ---[1792]---> Adder-cost: 212 maxlim: 110592 bits: 18/17 23.58/23.65 c ---[1790]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 23.58/23.67 c ---[1788]---> Adder-cost: 350 maxlim: 177152 bits: 19/18 23.58/23.69 c ---[1786]---> Adder-cost: 100 maxlim: 177152 bits: 19/18 23.68/23.71 c ---[1784]---> Adder-cost: 244 maxlim: 129024 bits: 18/17 23.68/23.72 c ---[1782]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 23.68/23.74 c ---[1780]---> Adder-cost: 278 maxlim: 142336 bits: 19/18 23.68/23.76 c ---[1778]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 23.68/23.77 c ---[1776]---> Adder-cost: 188 maxlim: 97280 bits: 18/17 23.68/23.79 c ---[1774]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 23.78/23.80 c ---[1772]---> Adder-cost: 244 maxlim: 126976 bits: 18/17 23.78/23.81 c ---[1770]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 23.78/23.83 c ---[1768]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 23.78/23.86 c ---[1766]---> Adder-cost: 206 maxlim: 104448 bits: 18/17 23.78/23.87 c ---[1764]---> Adder-cost: 176 maxlim: 93184 bits: 18/17 23.78/23.88 c ---[1762]---> Adder-cost: 90 maxlim: 54272 bits: 17/16 23.78/23.89 c ---[1760]---> Adder-cost: 376 maxlim: 188416 bits: 19/18 23.88/23.91 c ---[1758]---> Adder-cost: 106 maxlim: 188416 bits: 19/18 23.88/23.93 c ---[1756]---> Adder-cost: 274 maxlim: 135168 bits: 19/18 23.88/23.95 c ---[1754]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 23.88/23.97 c ---[1752]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 23.88/23.98 c ---[1750]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 23.98/24.00 c ---[1748]---> Adder-cost: 270 maxlim: 132096 bits: 19/18 23.98/24.02 c ---[1746]---> Adder-cost: 584 maxlim: 307200 bits: 20/19 23.98/24.06 c ---[1744]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 23.98/24.07 c ---[1742]---> Adder-cost: 138 maxlim: 80896 bits: 18/17 23.98/24.08 c ---[1740]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 23.98/24.09 c ---[1738]---> Adder-cost: 288 maxlim: 145408 bits: 19/18 24.08/24.11 c ---[1736]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 24.08/24.13 c ---[1734]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 24.08/24.15 c ---[1732]---> Adder-cost: 372 maxlim: 194560 bits: 19/18 24.08/24.17 c ---[1730]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 24.08/24.19 c ---[1728]---> Adder-cost: 244 maxlim: 123904 bits: 18/17 24.19/24.21 c ---[1726]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 24.19/24.22 c ---[1724]---> Adder-cost: 146 maxlim: 307200 bits: 20/19 24.19/24.26 c ---[1722]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 24.19/24.28 c ---[1720]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 24.19/24.29 c ---[1718]---> Adder-cost: 130 maxlim: 68608 bits: 18/17 24.19/24.30 c ---[1716]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 24.29/24.31 c ---[1714]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 24.29/24.32 c ---[1712]---> Adder-cost: 128 maxlim: 84992 bits: 18/17 24.29/24.33 c ---[1710]---> Adder-cost: 414 maxlim: 210944 bits: 19/18 24.29/24.35 c ---[1708]---> Adder-cost: 380 maxlim: 197632 bits: 19/18 24.29/24.38 c ---[1706]---> Adder-cost: 194 maxlim: 112640 bits: 18/17 24.29/24.39 c ---[1704]---> Adder-cost: 138 maxlim: 83968 bits: 18/17 24.38/24.40 c ---[1702]---> Adder-cost: 202 maxlim: 104448 bits: 18/17 24.38/24.42 c ---[1700]---> Adder-cost: 252 maxlim: 129024 bits: 18/17 24.38/24.43 c ---[1698]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 24.38/24.45 c ---[1696]---> Adder-cost: 362 maxlim: 186368 bits: 19/18 24.38/24.47 c ---[1694]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 24.38/24.49 c ---[1692]---> Adder-cost: 284 maxlim: 139264 bits: 19/18 24.48/24.51 c ---[1690]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 24.48/24.53 c ---[1688]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 24.48/24.54 c ---[1686]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 24.48/24.56 c ---[1684]---> Adder-cost: 326 maxlim: 168960 bits: 19/18 24.48/24.58 c ---[1682]---> Adder-cost: 298 maxlim: 166912 bits: 19/18 24.58/24.60 c ---[1680]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 24.58/24.61 c ---[1678]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 24.58/24.61 c ---[1676]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 24.58/24.62 c ---[1674]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 24.58/24.63 c ---[1672]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 24.58/24.63 c ---[1670]---> Adder-cost: 234 maxlim: 117760 bits: 18/17 24.58/24.65 c ---[1668]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 24.58/24.66 c ---[1666]---> Adder-cost: 136 maxlim: 66560 bits: 18/17 24.58/24.67 c ---[1664]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 24.58/24.68 c ---[1662]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 24.58/24.69 c ---[1660]---> Adder-cost: 144 maxlim: 70656 bits: 18/17 24.68/24.70 c ---[1658]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 24.68/24.71 c ---[1656]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 24.68/24.72 c ---[1654]---> Adder-cost: 244 maxlim: 125952 bits: 18/17 24.68/24.73 c ---[1652]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 24.68/24.75 c ---[1650]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 24.68/24.75 c ---[1648]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 24.68/24.76 c ---[1646]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 24.68/24.76 c ---[1644]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 24.68/24.77 c ---[1642]---> Adder-cost: 146 maxlim: 307200 bits: 20/19 24.78/24.80 c ---[1640]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 24.78/24.81 c ---[1638]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 24.78/24.81 c ---[1636]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 24.78/24.82 c ---[1634]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 24.78/24.83 c ---[1632]---> Adder-cost: 570 maxlim: 287744 bits: 20/19 24.78/24.86 c ---[1630]---> Adder-cost: 150 maxlim: 287744 bits: 20/19 24.88/24.90 c ---[1628]---> Adder-cost: 818 maxlim: 435200 bits: 20/19 24.88/24.95 c ---[1626]---> Adder-cost: 182 maxlim: 435200 bits: 20/19 24.98/25.00 c ---[1624]---> Adder-cost: 796 maxlim: 408576 bits: 20/19 24.98/25.04 c ---[1622]---> Adder-cost: 170 maxlim: 408576 bits: 20/19 24.98/25.09 c ---[1620]---> Adder-cost: 1024 maxlim: 553984 bits: 21/20 25.08/25.16 c ---[1618]---> Adder-cost: 360 maxlim: 185344 bits: 19/18 25.08/25.18 c ---[1616]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 25.18/25.20 c ---[1614]---> Adder-cost: 394 maxlim: 228352 bits: 19/18 25.18/25.23 c ---[1612]---> Adder-cost: 412 maxlim: 227328 bits: 19/18 25.18/25.26 c ---[1610]---> Adder-cost: 332 maxlim: 193536 bits: 19/18 25.18/25.28 c ---[1608]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 25.29/25.30 c ---[1606]---> Adder-cost: 284 maxlim: 139264 bits: 19/18 25.29/25.32 c ---[1604]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 25.29/25.34 c ---[1602]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 25.29/25.34 c ---[1600]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 25.29/25.35 c ---[1598]---> Adder-cost: 630 maxlim: 528384 bits: 21/20 25.39/25.42 c ---[1596]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 25.39/25.42 c ---[1594]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 25.39/25.43 c ---[1592]---> Adder-cost: 166 maxlim: 81920 bits: 18/17 25.39/25.44 c ---[1590]---> Adder-cost: 68 maxlim: 81920 bits: 18/17 25.39/25.45 c ---[1588]---> Adder-cost: 98 maxlim: 56320 bits: 17/16 25.39/25.45 c ---[1586]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 25.39/25.46 c ---[1584]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 25.39/25.46 c ---[1582]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 25.39/25.47 c ---[1580]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 25.39/25.47 c ---[1578]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 25.39/25.48 c ---[1576]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 25.48/25.55 c ---[1574]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 25.48/25.56 c ---[1572]---> Adder-cost: 186 maxlim: 108544 bits: 18/17 25.48/25.57 c ---[1570]---> Adder-cost: 494 maxlim: 250880 bits: 19/18 25.58/25.60 c ---[1568]---> Adder-cost: 440 maxlim: 258048 bits: 19/18 25.58/25.63 c ---[1566]---> Adder-cost: 224 maxlim: 116736 bits: 18/17 25.58/25.64 c ---[1564]---> Adder-cost: 182 maxlim: 106496 bits: 18/17 25.58/25.66 c ---[1562]---> Adder-cost: 172 maxlim: 88064 bits: 18/17 25.58/25.67 c ---[1560]---> Adder-cost: 222 maxlim: 110592 bits: 18/17 25.58/25.68 c ---[1558]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 25.58/25.69 c ---[1556]---> Adder-cost: 252 maxlim: 130048 bits: 18/17 25.68/25.71 c ---[1554]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 25.68/25.78 c ---[1552]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 25.68/25.79 c ---[1550]---> Adder-cost: 536 maxlim: 271360 bits: 20/19 25.78/25.83 c ---[1548]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 25.78/25.86 c ---[1546]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 25.88/25.90 c ---[1544]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 25.88/25.93 c ---[1542]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 25.88/25.94 c ---[1540]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 25.88/25.94 c ---[1538]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 25.88/25.95 c ---[1536]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 25.88/25.95 c ---[1534]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 25.88/25.96 c ---[1532]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 25.98/26.03 c ---[1530]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 25.98/26.03 c ---[1528]---> Adder-cost: 228 maxlim: 115712 bits: 18/17 25.98/26.05 c ---[1526]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 25.98/26.06 c ---[1524]---> Adder-cost: 84 maxlim: 51200 bits: 17/16 25.98/26.07 c ---[1522]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 25.98/26.07 c ---[1520]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 25.98/26.08 c ---[1518]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 25.98/26.09 c ---[1516]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 26.08/26.10 c ---[1514]---> Adder-cost: 666 maxlim: 344064 bits: 20/19 26.08/26.14 c ---[1512]---> Adder-cost: 552 maxlim: 326656 bits: 20/19 26.08/26.18 c ---[1510]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 26.18/26.25 c ---[1508]---> Adder-cost: 510 maxlim: 290816 bits: 20/19 26.18/26.29 c ---[1506]---> Adder-cost: 146 maxlim: 290816 bits: 20/19 26.28/26.32 c ---[1504]---> Adder-cost: 488 maxlim: 254976 bits: 19/18 26.28/26.35 c ---[1502]---> Adder-cost: 276 maxlim: 193536 bits: 19/18 26.28/26.37 c ---[1500]---> Adder-cost: 240 maxlim: 136192 bits: 19/18 26.28/26.39 c ---[1498]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 26.39/26.41 c ---[1496]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 26.39/26.42 c ---[1494]---> Adder-cost: 230 maxlim: 116736 bits: 18/17 26.39/26.43 c ---[1492]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 26.39/26.44 c ---[1490]---> Adder-cost: 220 maxlim: 110592 bits: 18/17 26.39/26.46 c ---[1488]---> Adder-cost: 560 maxlim: 349184 bits: 20/19 26.39/26.50 c ---[1486]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 26.49/26.51 c ---[1484]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 26.49/26.52 c ---[1482]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 26.49/26.54 c ---[1480]---> Adder-cost: 488 maxlim: 253952 bits: 19/18 26.49/26.57 c ---[1478]---> Adder-cost: 132 maxlim: 253952 bits: 19/18 26.49/26.60 c ---[1476]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 26.58/26.61 c ---[1474]---> Adder-cost: 196 maxlim: 100352 bits: 18/17 26.58/26.62 c ---[1472]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 26.58/26.63 c ---[1470]---> Adder-cost: 466 maxlim: 237568 bits: 19/18 26.58/26.66 c ---[1468]---> Adder-cost: 384 maxlim: 214016 bits: 19/18 26.58/26.68 c ---[1466]---> Adder-cost: 426 maxlim: 237568 bits: 19/18 26.68/26.71 c ---[1464]---> Adder-cost: 128 maxlim: 237568 bits: 19/18 26.68/26.74 c ---[1462]---> Adder-cost: 470 maxlim: 250880 bits: 19/18 26.68/26.77 c ---[1460]---> Adder-cost: 460 maxlim: 250880 bits: 19/18 26.78/26.80 c ---[1458]---> Adder-cost: 484 maxlim: 264192 bits: 20/19 26.78/26.83 c ---[1456]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 26.78/26.86 c ---[1454]---> Adder-cost: 160 maxlim: 90112 bits: 18/17 26.78/26.88 c ---[1452]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 26.78/26.88 c ---[1450]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 26.78/26.89 c ---[1448]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 26.78/26.89 c ---[1446]---> Adder-cost: 306 maxlim: 151552 bits: 19/18 26.88/26.91 c ---[1444]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 26.88/26.93 c ---[1442]---> Adder-cost: 276 maxlim: 157696 bits: 19/18 26.88/26.95 c ---[1440]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 26.88/26.97 c ---[1438]---> Adder-cost: 570 maxlim: 286720 bits: 20/19 26.98/27.01 c ---[1436]---> Adder-cost: 496 maxlim: 285696 bits: 20/19 26.98/27.04 c ---[1434]---> Adder-cost: 454 maxlim: 271360 bits: 20/19 26.98/27.08 c ---[1432]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 27.08/27.11 c ---[1430]---> Adder-cost: 544 maxlim: 278528 bits: 20/19 27.08/27.14 c ---[1428]---> Adder-cost: 148 maxlim: 278528 bits: 20/19 27.08/27.18 c ---[1426]---> Adder-cost: 672 maxlim: 351232 bits: 20/19 27.18/27.22 c ---[1424]---> Adder-cost: 152 maxlim: 351232 bits: 20/19 27.18/27.26 c ---[1422]---> Adder-cost: 400 maxlim: 200704 bits: 19/18 27.18/27.29 c ---[1420]---> Adder-cost: 116 maxlim: 200704 bits: 19/18 27.28/27.31 c ---[1418]---> Adder-cost: 454 maxlim: 234496 bits: 19/18 27.28/27.34 c ---[1416]---> Adder-cost: 348 maxlim: 193536 bits: 19/18 27.28/27.36 c ---[1414]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 27.28/27.38 c ---[1412]---> Adder-cost: 288 maxlim: 146432 bits: 19/18 27.39/27.40 c ---[1410]---> Adder-cost: 88 maxlim: 146432 bits: 19/18 27.39/27.42 c ---[1408]---> Adder-cost: 238 maxlim: 122880 bits: 18/17 27.39/27.43 c ---[1406]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 27.39/27.45 c ---[1404]---> Adder-cost: 204 maxlim: 102400 bits: 18/17 27.39/27.46 c ---[1402]---> Adder-cost: 132 maxlim: 99328 bits: 18/17 27.39/27.47 c ---[1400]---> Adder-cost: 140 maxlim: 75776 bits: 18/17 27.39/27.48 c ---[1398]---> Adder-cost: 426 maxlim: 212992 bits: 19/18 27.50/27.51 c ---[1396]---> Adder-cost: 122 maxlim: 212992 bits: 19/18 27.50/27.53 c ---[1394]---> Adder-cost: 548 maxlim: 293888 bits: 20/19 27.50/27.57 c ---[1392]---> Adder-cost: 376 maxlim: 306176 bits: 20/19 27.60/27.61 c ---[1390]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 27.60/27.65 c ---[1388]---> Adder-cost: 722 maxlim: 386048 bits: 20/19 27.60/27.69 c ---[1386]---> Adder-cost: 562 maxlim: 387072 bits: 20/19 27.69/27.74 c ---[1384]---> Adder-cost: 160 maxlim: 387072 bits: 20/19 27.69/27.78 c ---[1382]---> Adder-cost: 736 maxlim: 398336 bits: 20/19 27.79/27.83 c ---[1380]---> Adder-cost: 178 maxlim: 398336 bits: 20/19 27.79/27.87 c ---[1378]---> Adder-cost: 178 maxlim: 398336 bits: 20/19 27.89/27.92 c ---[1376]---> Adder-cost: 496 maxlim: 275456 bits: 20/19 27.89/27.95 c ---[1374]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 27.89/27.99 c ---[1372]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 27.99/28.02 c ---[1370]---> Adder-cost: 890 maxlim: 506880 bits: 20/19 27.99/28.08 c ---[1368]---> Adder-cost: 192 maxlim: 506880 bits: 20/19 28.09/28.14 c ---[1363]---> Adder-cost: 7502 maxlim: 4320256 bits: 24/23 28.79/28.82 c ---[1356]---> Adder-cost: 156951 maxlim: 351637503 bits: 30/29 74.68/74.76 c ---[1354]---> Adder-cost: 90410 maxlim: 300771327 bits: 30/29 102.77/102.88 c ---[1350]---> Adder-cost: 192 maxlim: 506880 bits: 20/19 102.87/102.94 c ---[1348]---> Adder-cost: 724 maxlim: 423936 bits: 20/19 102.87/102.99 c ---[1346]---> Adder-cost: 172 maxlim: 423936 bits: 20/19 102.97/103.04 c ---[1344]---> Adder-cost: 172 maxlim: 423936 bits: 20/19 102.97/103.09 c ---[1342]---> Adder-cost: 448 maxlim: 246784 bits: 19/18 103.07/103.12 c ---[1340]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 103.07/103.15 c ---[1338]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 103.07/103.18 c ---[1336]---> Adder-cost: 318 maxlim: 165888 bits: 19/18 103.17/103.20 c ---[1334]---> Adder-cost: 182 maxlim: 162816 bits: 19/18 103.17/103.22 c ---[1332]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 103.17/103.24 c ---[1330]---> Adder-cost: 88 maxlim: 70656 bits: 18/17 103.17/103.25 c ---[1328]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 103.17/103.25 c ---[1326]---> Adder-cost: 152 maxlim: 75776 bits: 18/17 103.17/103.26 c ---[1324]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 103.17/103.27 c ---[1322]---> Adder-cost: 587 maxlim: 312320 bits: 20/19 103.27/103.31 c ---[1320]---> Adder-cost: 386 maxlim: 242688 bits: 19/18 103.27/103.34 c ---[1318]---> Adder-cost: 354 maxlim: 197632 bits: 19/18 103.27/103.36 c ---[1316]---> Adder-cost: 112 maxlim: 197632 bits: 19/18 103.27/103.39 c ---[1314]---> Adder-cost: 478 maxlim: 256000 bits: 19/18 103.38/103.42 c ---[1312]---> Adder-cost: 416 maxlim: 227328 bits: 19/18 103.38/103.45 c ---[1310]---> Adder-cost: 250 maxlim: 142336 bits: 19/18 103.38/103.46 c ---[1308]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 103.38/103.48 c ---[1306]---> Adder-cost: 134 maxlim: 68608 bits: 18/17 103.38/103.49 c ---[1304]---> Adder-cost: 192 maxlim: 97280 bits: 18/17 103.48/103.50 c ---[1302]---> Adder-cost: 196 maxlim: 114688 bits: 18/17 103.48/103.52 c ---[1300]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 103.48/103.53 c ---[1298]---> Adder-cost: 338 maxlim: 171008 bits: 19/18 103.48/103.55 c ---[1296]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 103.48/103.57 c ---[1294]---> Adder-cost: 272 maxlim: 142336 bits: 19/18 103.48/103.59 c ---[1292]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 103.57/103.61 c ---[1290]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 103.57/103.63 c ---[1288]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 103.57/103.65 c ---[1286]---> Adder-cost: 234 maxlim: 123904 bits: 18/17 103.57/103.66 c ---[1284]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 103.57/103.68 c ---[1282]---> Adder-cost: 362 maxlim: 184320 bits: 19/18 103.67/103.70 c ---[1280]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 103.67/103.72 c ---[1278]---> Adder-cost: 354 maxlim: 185344 bits: 19/18 103.67/103.74 c ---[1276]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 103.67/103.77 c ---[1274]---> Adder-cost: 262 maxlim: 131072 bits: 19/18 103.67/103.78 c ---[1272]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 103.77/103.80 c ---[1270]---> Adder-cost: 218 maxlim: 122880 bits: 18/17 103.77/103.81 c ---[1268]---> Adder-cost: 180 maxlim: 121856 bits: 18/17 103.77/103.83 c ---[1266]---> Adder-cost: 162 maxlim: 88064 bits: 18/17 103.77/103.84 c ---[1264]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 103.77/103.85 c ---[1262]---> Adder-cost: 144 maxlim: 77824 bits: 18/17 103.77/103.86 c ---[1260]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 103.77/103.87 c ---[1258]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 103.77/103.88 c ---[1256]---> Adder-cost: 96 maxlim: 68608 bits: 18/17 103.77/103.89 c ---[1254]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 103.87/103.90 c ---[1252]---> Adder-cost: 592 maxlim: 312320 bits: 20/19 103.87/103.94 c ---[1250]---> Adder-cost: 518 maxlim: 347136 bits: 20/19 103.87/103.98 c ---[1248]---> Adder-cost: 650 maxlim: 351232 bits: 20/19 103.97/104.02 c ---[1246]---> Adder-cost: 152 maxlim: 351232 bits: 20/19 103.97/104.06 c ---[1244]---> Adder-cost: 580 maxlim: 315392 bits: 20/19 104.07/104.10 c ---[1242]---> Adder-cost: 558 maxlim: 299008 bits: 20/19 104.07/104.14 c ---[1240]---> Adder-cost: 260 maxlim: 139264 bits: 19/18 104.07/104.16 c ---[1238]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 104.07/104.17 c ---[1236]---> Adder-cost: 158 maxlim: 91136 bits: 18/17 104.07/104.18 c ---[1234]---> Adder-cost: 410 maxlim: 216064 bits: 19/18 104.17/104.21 c ---[1232]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 104.17/104.24 c ---[1230]---> Adder-cost: 590 maxlim: 326656 bits: 20/19 104.17/104.28 c ---[1228]---> Adder-cost: 448 maxlim: 333824 bits: 20/19 104.27/104.32 c ---[1226]---> Adder-cost: 154 maxlim: 333824 bits: 20/19 104.27/104.36 c ---[1224]---> Adder-cost: 534 maxlim: 297984 bits: 20/19 104.37/104.40 c ---[1222]---> Adder-cost: 142 maxlim: 297984 bits: 20/19 104.37/104.43 c ---[1220]---> Adder-cost: 142 maxlim: 297984 bits: 20/19 104.37/104.47 c ---[1218]---> Adder-cost: 682 maxlim: 390144 bits: 20/19 104.48/104.52 c ---[1216]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 104.48/104.56 c ---[1214]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 104.58/104.61 c ---[1212]---> Adder-cost: 714 maxlim: 390144 bits: 20/19 104.58/104.65 c ---[1210]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 104.67/104.70 c ---[1208]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 104.67/104.74 c ---[1206]---> Adder-cost: 720 maxlim: 389120 bits: 20/19 104.67/104.79 c ---[1204]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 104.77/104.83 c ---[1202]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 104.77/104.88 c ---[1200]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 104.87/104.92 c ---[1198]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 104.87/104.97 c ---[1196]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 104.97/105.01 c ---[1194]---> Adder-cost: 530 maxlim: 306176 bits: 20/19 104.97/105.05 c ---[1192]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 104.97/105.09 c ---[1190]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 105.07/105.13 c ---[1188]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 105.07/105.17 c ---[1186]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 105.17/105.20 c ---[1184]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 105.17/105.24 c ---[1182]---> Adder-cost: 482 maxlim: 266240 bits: 20/19 105.17/105.28 c ---[1180]---> Adder-cost: 332 maxlim: 263168 bits: 20/19 105.27/105.31 c ---[1178]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 105.27/105.34 c ---[1176]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 105.27/105.38 c ---[1174]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 105.37/105.41 c ---[1172]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 105.37/105.44 c ---[1170]---> Adder-cost: 238 maxlim: 123904 bits: 18/17 105.37/105.46 c ---[1168]---> Adder-cost: 150 maxlim: 101376 bits: 18/17 105.37/105.47 c ---[1166]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 105.37/105.48 c ---[1164]---> Adder-cost: 106 maxlim: 66560 bits: 18/17 105.37/105.49 c ---[1162]---> Adder-cost: 212 maxlim: 107520 bits: 18/17 105.47/105.51 c ---[1160]---> Adder-cost: 242 maxlim: 146432 bits: 19/18 105.47/105.53 c ---[1158]---> Adder-cost: 88 maxlim: 146432 bits: 19/18 105.47/105.54 c ---[1156]---> Adder-cost: 616 maxlim: 335872 bits: 20/19 105.47/105.58 c ---[1154]---> Adder-cost: 578 maxlim: 310272 bits: 20/19 105.58/105.62 c ---[1152]---> Adder-cost: 438 maxlim: 239616 bits: 19/18 105.58/105.65 c ---[1150]---> Adder-cost: 122 maxlim: 239616 bits: 19/18 105.58/105.68 c ---[1148]---> Adder-cost: 508 maxlim: 266240 bits: 20/19 105.68/105.71 c ---[1146]---> Adder-cost: 234 maxlim: 247808 bits: 19/18 105.68/105.74 c ---[1144]---> Adder-cost: 329 maxlim: 176128 bits: 19/18 105.68/105.76 c ---[1142]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 105.68/105.79 c ---[1140]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 105.68/105.79 c ---[1138]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 105.77/105.80 c ---[1136]---> Adder-cost: 122 maxlim: 63488 bits: 17/16 105.77/105.81 c ---[1134]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 105.77/105.81 c ---[1132]---> Adder-cost: 246 maxlim: 130048 bits: 18/17 105.77/105.83 c ---[1130]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 105.77/105.84 c ---[1128]---> Adder-cost: 262 maxlim: 137216 bits: 19/18 105.77/105.86 c ---[1126]---> Adder-cost: 88 maxlim: 137216 bits: 19/18 105.77/105.88 c ---[1124]---> Adder-cost: 410 maxlim: 207872 bits: 19/18 105.87/105.90 c ---[1122]---> Adder-cost: 352 maxlim: 203776 bits: 19/18 105.87/105.93 c ---[1120]---> Adder-cost: 352 maxlim: 203776 bits: 19/18 105.87/105.95 c ---[1118]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 105.87/105.98 c ---[1116]---> Adder-cost: 272 maxlim: 136192 bits: 19/18 105.87/106.00 c ---[1114]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 105.97/106.01 c ---[1112]---> Adder-cost: 380 maxlim: 194560 bits: 19/18 105.97/106.04 c ---[1110]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 105.97/106.06 c ---[1108]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 105.97/106.07 c ---[1106]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 105.97/106.09 c ---[1104]---> Adder-cost: 184 maxlim: 93184 bits: 18/17 106.07/106.10 c ---[1102]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 106.07/106.11 c ---[1100]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 106.07/106.12 c ---[1098]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 106.07/106.14 c ---[1096]---> Adder-cost: 176 maxlim: 93184 bits: 18/17 106.07/106.15 c ---[1094]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 106.07/106.16 c ---[1092]---> Adder-cost: 134 maxlim: 69632 bits: 18/17 106.07/106.17 c ---[1090]---> Adder-cost: 98 maxlim: 61440 bits: 17/16 106.07/106.18 c ---[1088]---> Adder-cost: 114 maxlim: 59392 bits: 17/16 106.07/106.18 c ---[1086]---> Adder-cost: 106 maxlim: 65536 bits: 18/17 106.07/106.19 c ---[1084]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 106.17/106.20 c ---[1082]---> Adder-cost: 336 maxlim: 175104 bits: 19/18 106.17/106.22 c ---[1080]---> Adder-cost: 264 maxlim: 168960 bits: 19/18 106.17/106.24 c ---[1078]---> Adder-cost: 312 maxlim: 176128 bits: 19/18 106.17/106.26 c ---[1076]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 106.17/106.29 c ---[1074]---> Adder-cost: 394 maxlim: 200704 bits: 19/18 106.27/106.31 c ---[1072]---> Adder-cost: 308 maxlim: 174080 bits: 19/18 106.27/106.33 c ---[1070]---> Adder-cost: 290 maxlim: 173056 bits: 19/18 106.27/106.35 c ---[1068]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 106.27/106.37 c ---[1066]---> Adder-cost: 296 maxlim: 149504 bits: 19/18 106.27/106.39 c ---[1064]---> Adder-cost: 214 maxlim: 180224 bits: 19/18 106.37/106.41 c ---[1062]---> Adder-cost: 110 maxlim: 180224 bits: 19/18 106.37/106.44 c ---[1060]---> Adder-cost: 390 maxlim: 201728 bits: 19/18 106.37/106.46 c ---[1058]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 106.37/106.48 c ---[1056]---> Adder-cost: 432 maxlim: 248832 bits: 19/18 106.47/106.51 c ---[1054]---> Adder-cost: 128 maxlim: 248832 bits: 19/18 106.47/106.54 c ---[1052]---> Adder-cost: 516 maxlim: 266240 bits: 20/19 106.47/106.58 c ---[1050]---> Adder-cost: 142 maxlim: 266240 bits: 20/19 106.57/106.61 c ---[1048]---> Adder-cost: 466 maxlim: 248832 bits: 19/18 106.57/106.64 c ---[1046]---> Adder-cost: 128 maxlim: 248832 bits: 19/18 106.57/106.67 c ---[1044]---> Adder-cost: 524 maxlim: 272384 bits: 20/19 106.68/106.71 c ---[1042]---> Adder-cost: 142 maxlim: 272384 bits: 20/19 106.68/106.74 c ---[1040]---> Adder-cost: 322 maxlim: 176128 bits: 19/18 106.68/106.76 c ---[1038]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 106.68/106.78 c ---[1036]---> Adder-cost: 504 maxlim: 282624 bits: 20/19 106.78/106.82 c ---[1034]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 106.78/106.85 c ---[1032]---> Adder-cost: 336 maxlim: 176128 bits: 19/18 106.78/106.88 c ---[1030]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 106.87/106.90 c ---[1028]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 106.87/106.90 c ---[1026]---> Adder-cost: 252 maxlim: 131072 bits: 19/18 106.87/106.92 c ---[1024]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 106.87/106.94 c ---[1022]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 106.87/106.95 c ---[1020]---> Adder-cost: 342 maxlim: 178176 bits: 19/18 106.87/106.97 c ---[1018]---> Adder-cost: 392 maxlim: 198656 bits: 19/18 106.97/107.00 c ---[1016]---> Adder-cost: 472 maxlim: 264192 bits: 20/19 106.97/107.03 c ---[1014]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 106.97/107.07 c ---[1012]---> Adder-cost: 598 maxlim: 320512 bits: 20/19 107.07/107.10 c ---[1010]---> Adder-cost: 612 maxlim: 336896 bits: 20/19 107.07/107.15 c ---[1008]---> Adder-cost: 302 maxlim: 158720 bits: 19/18 107.07/107.17 c ---[1006]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 107.07/107.19 c ---[1004]---> Adder-cost: 446 maxlim: 234496 bits: 19/18 107.17/107.21 c ---[1002]---> Adder-cost: 344 maxlim: 231424 bits: 19/18 107.17/107.24 c ---[1000]---> Adder-cost: 224 maxlim: 116736 bits: 18/17 107.17/107.25 c ---[ 998]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 107.17/107.27 c ---[ 996]---> Adder-cost: 348 maxlim: 202752 bits: 19/18 107.17/107.29 c ---[ 994]---> Adder-cost: 374 maxlim: 220160 bits: 19/18 107.27/107.32 c ---[ 992]---> Adder-cost: 402 maxlim: 210944 bits: 19/18 107.27/107.35 c ---[ 990]---> Adder-cost: 114 maxlim: 210944 bits: 19/18 107.27/107.37 c ---[ 988]---> Adder-cost: 360 maxlim: 184320 bits: 19/18 107.27/107.39 c ---[ 986]---> Adder-cost: 236 maxlim: 139264 bits: 19/18 107.37/107.41 c ---[ 984]---> Adder-cost: 278 maxlim: 140288 bits: 19/18 107.37/107.43 c ---[ 982]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 107.37/107.45 c ---[ 980]---> Adder-cost: 392 maxlim: 210944 bits: 19/18 107.37/107.47 c ---[ 978]---> Adder-cost: 216 maxlim: 126976 bits: 18/17 107.37/107.49 c ---[ 976]---> Adder-cost: 94 maxlim: 53248 bits: 17/16 107.37/107.49 c ---[ 974]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 107.47/107.50 c ---[ 972]---> Adder-cost: 224 maxlim: 115712 bits: 18/17 107.47/107.51 c ---[ 970]---> Adder-cost: 164 maxlim: 90112 bits: 18/17 107.47/107.53 c ---[ 968]---> Adder-cost: 84 maxlim: 60416 bits: 17/16 107.47/107.53 c ---[ 966]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 107.47/107.54 c ---[ 964]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 107.47/107.55 c ---[ 962]---> Adder-cost: 272 maxlim: 139264 bits: 19/18 107.47/107.57 c ---[ 960]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 107.47/107.59 c ---[ 958]---> Adder-cost: 774 maxlim: 406528 bits: 20/19 107.57/107.64 c ---[ 956]---> Adder-cost: 166 maxlim: 406528 bits: 20/19 107.57/107.68 c ---[ 954]---> Adder-cost: 716 maxlim: 397312 bits: 20/19 107.67/107.73 c ---[ 952]---> Adder-cost: 178 maxlim: 397312 bits: 20/19 107.67/107.77 c ---[ 950]---> Adder-cost: 254 maxlim: 130048 bits: 18/17 107.67/107.79 c ---[ 948]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 107.78/107.81 c ---[ 946]---> Adder-cost: 482 maxlim: 256000 bits: 19/18 107.78/107.84 c ---[ 944]---> Adder-cost: 354 maxlim: 251904 bits: 19/18 107.78/107.87 c ---[ 942]---> Adder-cost: 524 maxlim: 305152 bits: 20/19 107.88/107.90 c ---[ 940]---> Adder-cost: 146 maxlim: 305152 bits: 20/19 107.88/107.94 c ---[ 938]---> Adder-cost: 332 maxlim: 173056 bits: 19/18 107.88/107.96 c ---[ 936]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 107.88/107.99 c ---[ 934]---> Adder-cost: 194 maxlim: 101376 bits: 18/17 107.97/108.00 c ---[ 932]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 107.97/108.01 c ---[ 930]---> Adder-cost: 288 maxlim: 147456 bits: 19/18 107.97/108.03 c ---[ 928]---> Adder-cost: 94 maxlim: 147456 bits: 19/18 107.97/108.05 c ---[ 926]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 107.97/108.06 c ---[ 924]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 107.97/108.07 c ---[ 922]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 107.97/108.07 c ---[ 920]---> Adder-cost: 358 maxlim: 188416 bits: 19/18 107.97/108.09 c ---[ 918]---> Adder-cost: 106 maxlim: 188416 bits: 19/18 108.07/108.12 c ---[ 916]---> Adder-cost: 280 maxlim: 145408 bits: 19/18 108.07/108.13 c ---[ 914]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 108.07/108.15 c ---[ 912]---> Adder-cost: 338 maxlim: 173056 bits: 19/18 108.07/108.17 c ---[ 910]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 108.07/108.19 c ---[ 908]---> Adder-cost: 354 maxlim: 186368 bits: 19/18 108.17/108.22 c ---[ 906]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 108.17/108.24 c ---[ 904]---> Adder-cost: 178 maxlim: 92160 bits: 18/17 108.17/108.25 c ---[ 902]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 108.17/108.26 c ---[ 900]---> Adder-cost: 228 maxlim: 114688 bits: 18/17 108.17/108.28 c ---[ 898]---> Adder-cost: 216 maxlim: 113664 bits: 18/17 108.17/108.29 c ---[ 896]---> Adder-cost: 438 maxlim: 230400 bits: 19/18 108.27/108.32 c ---[ 894]---> Adder-cost: 124 maxlim: 230400 bits: 19/18 108.27/108.35 c ---[ 892]---> Adder-cost: 422 maxlim: 221184 bits: 19/18 108.27/108.37 c ---[ 890]---> Adder-cost: 116 maxlim: 221184 bits: 19/18 108.37/108.40 c ---[ 888]---> Adder-cost: 248 maxlim: 129024 bits: 18/17 108.37/108.41 c ---[ 886]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 108.37/108.43 c ---[ 884]---> Adder-cost: 280 maxlim: 139264 bits: 19/18 108.37/108.45 c ---[ 882]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 108.37/108.47 c ---[ 880]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 108.37/108.48 c ---[ 878]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 108.37/108.49 c ---[ 876]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 108.37/108.49 c ---[ 874]---> Adder-cost: 276 maxlim: 171008 bits: 19/18 108.47/108.51 c ---[ 872]---> Adder-cost: 288 maxlim: 253952 bits: 19/18 108.47/108.54 c ---[ 870]---> Adder-cost: 250 maxlim: 256000 bits: 19/18 108.47/108.57 c ---[ 868]---> Adder-cost: 472 maxlim: 257024 bits: 19/18 108.57/108.60 c ---[ 866]---> Adder-cost: 624 maxlim: 357376 bits: 20/19 108.57/108.65 c ---[ 864]---> Adder-cost: 456 maxlim: 317440 bits: 20/19 108.57/108.69 c ---[ 862]---> Adder-cost: 612 maxlim: 339968 bits: 20/19 108.67/108.73 c ---[ 860]---> Adder-cost: 638 maxlim: 348160 bits: 20/19 108.67/108.77 c ---[ 858]---> Adder-cost: 672 maxlim: 407552 bits: 20/19 108.77/108.82 c ---[ 856]---> Adder-cost: 402 maxlim: 241664 bits: 19/18 108.77/108.85 c ---[ 854]---> Adder-cost: 358 maxlim: 222208 bits: 19/18 108.77/108.87 c ---[ 852]---> Adder-cost: 332 maxlim: 177152 bits: 19/18 108.77/108.89 c ---[ 850]---> Adder-cost: 326 maxlim: 226304 bits: 19/18 108.88/108.92 c ---[ 848]---> Adder-cost: 412 maxlim: 245760 bits: 19/18 108.88/108.95 c ---[ 846]---> Adder-cost: 348 maxlim: 231424 bits: 19/18 108.88/108.98 c ---[ 844]---> Adder-cost: 478 maxlim: 251904 bits: 19/18 108.98/109.01 c ---[ 842]---> Adder-cost: 392 maxlim: 225280 bits: 19/18 108.98/109.03 c ---[ 840]---> Adder-cost: 282 maxlim: 161792 bits: 19/18 108.98/109.05 c ---[ 838]---> Adder-cost: 266 maxlim: 150528 bits: 19/18 108.98/109.07 c ---[ 836]---> Adder-cost: 426 maxlim: 220160 bits: 19/18 109.07/109.10 c ---[ 834]---> Adder-cost: 394 maxlim: 231424 bits: 19/18 109.07/109.13 c ---[ 832]---> Adder-cost: 335 maxlim: 194560 bits: 19/18 109.07/109.15 c ---[ 830]---> Adder-cost: 338 maxlim: 190464 bits: 19/18 109.07/109.17 c ---[ 828]---> Adder-cost: 564 maxlim: 305152 bits: 20/19 109.17/109.21 c ---[ 826]---> Adder-cost: 368 maxlim: 251904 bits: 19/18 109.17/109.24 c ---[ 824]---> Adder-cost: 238 maxlim: 148480 bits: 19/18 109.17/109.26 c ---[ 822]---> Adder-cost: 172 maxlim: 111616 bits: 18/17 109.17/109.27 c ---[ 820]---> Adder-cost: 284 maxlim: 164864 bits: 19/18 109.17/109.29 c ---[ 818]---> Adder-cost: 196 maxlim: 110592 bits: 18/17 109.27/109.31 c ---[ 816]---> Adder-cost: 160 maxlim: 101376 bits: 18/17 109.27/109.32 c ---[ 814]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 109.27/109.32 c ---[ 812]---> Adder-cost: 128 maxlim: 71680 bits: 18/17 109.27/109.33 c ---[ 810]---> Adder-cost: 168 maxlim: 86016 bits: 18/17 109.27/109.35 c ---[ 808]---> Adder-cost: 120 maxlim: 90112 bits: 18/17 109.27/109.36 c ---[ 806]---> Adder-cost: 430 maxlim: 268288 bits: 20/19 109.27/109.39 c ---[ 804]---> Adder-cost: 680 maxlim: 450560 bits: 20/19 109.37/109.44 c ---[ 802]---> Adder-cost: 182 maxlim: 450560 bits: 20/19 109.37/109.50 c ---[ 800]---> Adder-cost: 360 maxlim: 187392 bits: 19/18 109.47/109.52 c ---[ 798]---> Adder-cost: 296 maxlim: 207872 bits: 19/18 109.47/109.54 c ---[ 796]---> Adder-cost: 384 maxlim: 196608 bits: 19/18 109.47/109.57 c ---[ 794]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 109.47/109.59 c ---[ 792]---> Adder-cost: 452 maxlim: 248832 bits: 19/18 109.57/109.62 c ---[ 790]---> Adder-cost: 346 maxlim: 204800 bits: 19/18 109.57/109.64 c ---[ 788]---> Adder-cost: 248 maxlim: 131072 bits: 19/18 109.57/109.66 c ---[ 786]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 109.57/109.68 c ---[ 784]---> Adder-cost: 260 maxlim: 133120 bits: 19/18 109.57/109.70 c ---[ 782]---> Adder-cost: 186 maxlim: 104448 bits: 18/17 109.67/109.71 c ---[ 780]---> Adder-cost: 194 maxlim: 116736 bits: 18/17 109.67/109.72 c ---[ 778]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 109.67/109.74 c ---[ 776]---> Adder-cost: 780 maxlim: 414720 bits: 20/19 109.67/109.79 c ---[ 774]---> Adder-cost: 727 maxlim: 398336 bits: 20/19 109.77/109.83 c ---[ 772]---> Adder-cost: 432 maxlim: 238592 bits: 19/18 109.77/109.86 c ---[ 770]---> Adder-cost: 120 maxlim: 238592 bits: 19/18 109.77/109.89 c ---[ 768]---> Adder-cost: 468 maxlim: 243712 bits: 19/18 109.87/109.92 c ---[ 766]---> Adder-cost: 350 maxlim: 193536 bits: 19/18 109.87/109.94 c ---[ 764]---> Adder-cost: 258 maxlim: 134144 bits: 19/18 109.87/109.96 c ---[ 762]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 109.87/109.97 c ---[ 760]---> Adder-cost: 244 maxlim: 128000 bits: 18/17 109.87/109.99 c ---[ 758]---> Adder-cost: 172 maxlim: 99328 bits: 18/17 109.98/110.00 c ---[ 756]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 109.98/110.01 c ---[ 754]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 109.98/110.02 c ---[ 752]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 109.98/110.02 c ---[ 750]---> Adder-cost: 264 maxlim: 137216 bits: 19/18 109.98/110.04 c ---[ 748]---> Adder-cost: 210 maxlim: 155648 bits: 19/18 109.98/110.06 c ---[ 746]---> Adder-cost: 96 maxlim: 155648 bits: 19/18 109.98/110.08 c ---[ 744]---> Adder-cost: 358 maxlim: 182272 bits: 19/18 109.98/110.10 c ---[ 742]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 110.08/110.12 c ---[ 740]---> Adder-cost: 464 maxlim: 254976 bits: 19/18 110.08/110.15 c ---[ 738]---> Adder-cost: 132 maxlim: 254976 bits: 19/18 110.08/110.18 c ---[ 736]---> Adder-cost: 314 maxlim: 162816 bits: 19/18 110.17/110.20 c ---[ 734]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 110.17/110.22 c ---[ 732]---> Adder-cost: 564 maxlim: 289792 bits: 20/19 110.17/110.26 c ---[ 730]---> Adder-cost: 142 maxlim: 289792 bits: 20/19 110.27/110.30 c ---[ 728]---> Adder-cost: 548 maxlim: 282624 bits: 20/19 110.27/110.33 c ---[ 726]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 110.27/110.37 c ---[ 724]---> Adder-cost: 478 maxlim: 245760 bits: 19/18 110.37/110.40 c ---[ 722]---> Adder-cost: 467 maxlim: 246784 bits: 19/18 110.37/110.43 c ---[ 720]---> Adder-cost: 673 maxlim: 368640 bits: 20/19 110.37/110.47 c ---[ 718]---> Adder-cost: 160 maxlim: 368640 bits: 20/19 110.47/110.51 c ---[ 716]---> Adder-cost: 358 maxlim: 182272 bits: 19/18 110.47/110.54 c ---[ 714]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 110.47/110.56 c ---[ 712]---> Adder-cost: 326 maxlim: 176128 bits: 19/18 110.47/110.58 c ---[ 710]---> Adder-cost: 290 maxlim: 175104 bits: 19/18 110.57/110.60 c ---[ 708]---> Adder-cost: 288 maxlim: 152576 bits: 19/18 110.57/110.62 c ---[ 706]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 110.57/110.64 c ---[ 704]---> Adder-cost: 474 maxlim: 241664 bits: 19/18 110.57/110.67 c ---[ 702]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 110.57/110.69 c ---[ 700]---> Adder-cost: 424 maxlim: 231424 bits: 19/18 110.67/110.72 c ---[ 698]---> Adder-cost: 128 maxlim: 231424 bits: 19/18 110.67/110.75 c ---[ 696]---> Adder-cost: 244 maxlim: 126976 bits: 18/17 110.67/110.76 c ---[ 694]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 110.67/110.78 c ---[ 692]---> Adder-cost: 196 maxlim: 102400 bits: 18/17 110.67/110.79 c ---[ 690]---> Adder-cost: 156 maxlim: 99328 bits: 18/17 110.77/110.81 c ---[ 688]---> Adder-cost: 180 maxlim: 95232 bits: 18/17 110.77/110.82 c ---[ 686]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 110.77/110.83 c ---[ 684]---> Adder-cost: 196 maxlim: 98304 bits: 18/17 110.77/110.84 c ---[ 682]---> Adder-cost: 110 maxlim: 97280 bits: 18/17 110.77/110.86 c ---[ 680]---> Adder-cost: 196 maxlim: 101376 bits: 18/17 110.77/110.87 c ---[ 678]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 110.77/110.88 c ---[ 676]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 110.77/110.89 c ---[ 674]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 110.87/110.90 c ---[ 672]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 110.87/110.91 c ---[ 670]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 110.87/110.91 c ---[ 668]---> Adder-cost: 553 maxlim: 320512 bits: 20/19 110.87/110.95 c ---[ 666]---> Adder-cost: 148 maxlim: 320512 bits: 20/19 110.87/110.99 c ---[ 664]---> Adder-cost: 748 maxlim: 443392 bits: 20/19 110.97/111.04 c ---[ 662]---> Adder-cost: 1511 maxlim: 870400 bits: 21/20 111.08/111.15 c ---[ 660]---> Adder-cost: 284 maxlim: 870400 bits: 21/20 111.18/111.25 c ---[ 658]---> Adder-cost: 1484 maxlim: 879616 bits: 21/20 111.27/111.36 c ---[ 656]---> Adder-cost: 286 maxlim: 879616 bits: 21/20 111.37/111.46 c ---[ 654]---> Adder-cost: 1876 maxlim: 1171456 bits: 22/21 111.57/111.61 c ---[ 652]---> Adder-cost: 334 maxlim: 1171456 bits: 22/21 111.67/111.77 c ---[ 650]---> Adder-cost: 1556 maxlim: 1059840 bits: 22/21 111.87/111.91 c ---[ 648]---> Adder-cost: 322 maxlim: 1059840 bits: 22/21 111.97/112.05 c ---[ 646]---> Adder-cost: 1290 maxlim: 736256 bits: 21/20 112.07/112.14 c ---[ 644]---> Adder-cost: 248 maxlim: 736256 bits: 21/20 112.18/112.23 c ---[ 642]---> Adder-cost: 1838 maxlim: 1163264 bits: 22/21 112.28/112.38 c ---[ 640]---> Adder-cost: 1308 maxlim: 1003520 bits: 21/20 112.47/112.50 c ---[ 638]---> Adder-cost: 2224 maxlim: 1272832 bits: 22/21 112.57/112.66 c ---[ 636]---> Adder-cost: 1886 maxlim: 1052672 bits: 22/21 112.77/112.80 c ---[ 634]---> Adder-cost: 1330 maxlim: 779264 bits: 21/20 112.87/112.90 c ---[ 632]---> Adder-cost: 1542 maxlim: 897024 bits: 21/20 112.97/113.00 c ---[ 630]---> Adder-cost: 1122 maxlim: 720896 bits: 21/20 112.97/113.09 c ---[ 628]---> Adder-cost: 1138 maxlim: 679936 bits: 21/20 113.07/113.17 c ---[ 626]---> Adder-cost: 1044 maxlim: 589824 bits: 21/20 113.17/113.25 c ---[ 624]---> Adder-cost: 1058 maxlim: 628736 bits: 21/20 113.28/113.32 c ---[ 622]---> Adder-cost: 1046 maxlim: 630784 bits: 21/20 113.38/113.40 c ---[ 620]---> Adder-cost: 232 maxlim: 630784 bits: 21/20 113.38/113.48 c ---[ 618]---> Adder-cost: 1106 maxlim: 702464 bits: 21/20 113.47/113.57 c ---[ 616]---> Adder-cost: 248 maxlim: 702464 bits: 21/20 113.57/113.65 c ---[ 614]---> Adder-cost: 932 maxlim: 549888 bits: 21/20 113.67/113.72 c ---[ 612]---> Adder-cost: 216 maxlim: 549888 bits: 21/20 113.67/113.79 c ---[ 610]---> Adder-cost: 850 maxlim: 502784 bits: 20/19 113.77/113.85 c ---[ 608]---> Adder-cost: 194 maxlim: 502784 bits: 20/19 113.87/113.91 c ---[ 606]---> Adder-cost: 757 maxlim: 451584 bits: 20/19 113.87/113.96 c ---[ 604]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 113.97/114.01 c ---[ 602]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 113.97/114.06 c ---[ 600]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 114.07/114.12 c ---[ 598]---> Adder-cost: 874 maxlim: 514048 bits: 20/19 114.07/114.18 c ---[ 596]---> Adder-cost: 198 maxlim: 514048 bits: 20/19 114.17/114.24 c ---[ 594]---> Adder-cost: 708 maxlim: 421888 bits: 20/19 114.17/114.28 c ---[ 592]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 114.27/114.33 c ---[ 590]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 114.27/114.38 c ---[ 588]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 114.38/114.43 c ---[ 586]---> Adder-cost: 556 maxlim: 346112 bits: 20/19 114.38/114.47 c ---[ 584]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 114.48/114.52 c ---[ 582]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 114.48/114.56 c ---[ 580]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 114.57/114.60 c ---[ 578]---> Adder-cost: 412 maxlim: 261120 bits: 19/18 114.57/114.63 c ---[ 576]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 114.57/114.66 c ---[ 574]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 114.57/114.69 c ---[ 572]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 114.67/114.72 c ---[ 570]---> Adder-cost: 302 maxlim: 157696 bits: 19/18 114.67/114.74 c ---[ 568]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 114.67/114.76 c ---[ 566]---> Adder-cost: 172 maxlim: 95232 bits: 18/17 114.67/114.77 c ---[ 564]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 114.67/114.79 c ---[ 562]---> Adder-cost: 114 maxlim: 59392 bits: 17/16 114.67/114.79 c ---[ 560]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 114.77/114.80 c ---[ 558]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 114.77/114.81 c ---[ 556]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 114.77/114.81 c ---[ 554]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 114.77/114.82 c ---[ 552]---> Adder-cost: 355 maxlim: 183296 bits: 19/18 114.77/114.84 c ---[ 550]---> Adder-cost: 360 maxlim: 199680 bits: 19/18 114.77/114.87 c ---[ 548]---> Adder-cost: 246 maxlim: 130048 bits: 18/17 114.77/114.88 c ---[ 546]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 114.87/114.90 c ---[ 544]---> Adder-cost: 240 maxlim: 124928 bits: 18/17 114.87/114.92 c ---[ 542]---> Adder-cost: 216 maxlim: 130048 bits: 18/17 114.87/114.93 c ---[ 540]---> Adder-cost: 374 maxlim: 195584 bits: 19/18 114.87/114.96 c ---[ 538]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 114.87/114.98 c ---[ 536]---> Adder-cost: 412 maxlim: 214016 bits: 19/18 114.97/115.00 c ---[ 534]---> Adder-cost: 378 maxlim: 203776 bits: 19/18 114.97/115.03 c ---[ 532]---> Adder-cost: 222 maxlim: 125952 bits: 18/17 114.97/115.04 c ---[ 530]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 114.97/115.06 c ---[ 528]---> Adder-cost: 344 maxlim: 189440 bits: 19/18 114.97/115.08 c ---[ 526]---> Adder-cost: 282 maxlim: 159744 bits: 19/18 115.07/115.10 c ---[ 524]---> Adder-cost: 480 maxlim: 260096 bits: 19/18 115.07/115.13 c ---[ 522]---> Adder-cost: 128 maxlim: 260096 bits: 19/18 115.07/115.16 c ---[ 520]---> Adder-cost: 538 maxlim: 297984 bits: 20/19 115.17/115.20 c ---[ 518]---> Adder-cost: 470 maxlim: 266240 bits: 20/19 115.17/115.24 c ---[ 516]---> Adder-cost: 396 maxlim: 206848 bits: 19/18 115.17/115.26 c ---[ 514]---> Adder-cost: 114 maxlim: 206848 bits: 19/18 115.17/115.29 c ---[ 512]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 115.17/115.29 c ---[ 510]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 115.27/115.30 c ---[ 508]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 115.27/115.30 c ---[ 506]---> Adder-cost: 292 maxlim: 151552 bits: 19/18 115.27/115.32 c ---[ 504]---> Adder-cost: 200 maxlim: 104448 bits: 18/17 115.27/115.33 c ---[ 502]---> Adder-cost: 198 maxlim: 99328 bits: 18/17 115.27/115.35 c ---[ 500]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 115.27/115.36 c ---[ 498]---> Adder-cost: 180 maxlim: 100352 bits: 18/17 115.27/115.37 c ---[ 496]---> Adder-cost: 156 maxlim: 86016 bits: 18/17 115.27/115.38 c ---[ 494]---> Adder-cost: 376 maxlim: 219136 bits: 19/18 115.37/115.41 c ---[ 492]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 115.37/115.44 c ---[ 490]---> Adder-cost: 484 maxlim: 285696 bits: 20/19 115.37/115.47 c ---[ 488]---> Adder-cost: 140 maxlim: 285696 bits: 20/19 115.48/115.51 c ---[ 486]---> Adder-cost: 444 maxlim: 235520 bits: 19/18 115.48/115.54 c ---[ 484]---> Adder-cost: 126 maxlim: 235520 bits: 19/18 115.48/115.56 c ---[ 482]---> Adder-cost: 444 maxlim: 234496 bits: 19/18 115.48/115.59 c ---[ 480]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 115.58/115.62 c ---[ 478]---> Adder-cost: 596 maxlim: 304128 bits: 20/19 115.58/115.66 c ---[ 476]---> Adder-cost: 148 maxlim: 304128 bits: 20/19 115.58/115.69 c ---[ 474]---> Adder-cost: 584 maxlim: 303104 bits: 20/19 115.67/115.73 c ---[ 472]---> Adder-cost: 324 maxlim: 304128 bits: 20/19 115.67/115.77 c ---[ 470]---> Adder-cost: 468 maxlim: 245760 bits: 19/18 115.77/115.80 c ---[ 468]---> Adder-cost: 128 maxlim: 245760 bits: 19/18 115.77/115.83 c ---[ 466]---> Adder-cost: 506 maxlim: 269312 bits: 20/19 115.77/115.86 c ---[ 464]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 115.87/115.90 c ---[ 462]---> Adder-cost: 472 maxlim: 246784 bits: 19/18 115.87/115.93 c ---[ 460]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 115.87/115.96 c ---[ 458]---> Adder-cost: 494 maxlim: 268288 bits: 20/19 115.87/115.99 c ---[ 456]---> Adder-cost: 144 maxlim: 268288 bits: 20/19 115.97/116.03 c ---[ 454]---> Adder-cost: 542 maxlim: 281600 bits: 20/19 115.97/116.06 c ---[ 452]---> Adder-cost: 136 maxlim: 281600 bits: 20/19 116.07/116.10 c ---[ 450]---> Adder-cost: 758 maxlim: 412672 bits: 20/19 116.07/116.14 c ---[ 448]---> Adder-cost: 168 maxlim: 412672 bits: 20/19 116.07/116.19 c ---[ 446]---> Adder-cost: 450 maxlim: 243712 bits: 19/18 116.17/116.22 c ---[ 444]---> Adder-cost: 124 maxlim: 243712 bits: 19/18 116.17/116.25 c ---[ 442]---> Adder-cost: 550 maxlim: 283648 bits: 20/19 116.17/116.29 c ---[ 440]---> Adder-cost: 472 maxlim: 267264 bits: 20/19 116.27/116.32 c ---[ 438]---> Adder-cost: 258 maxlim: 138240 bits: 19/18 116.27/116.34 c ---[ 436]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 116.27/116.36 c ---[ 434]---> Adder-cost: 186 maxlim: 95232 bits: 18/17 116.27/116.37 c ---[ 432]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 116.27/116.38 c ---[ 430]---> Adder-cost: 212 maxlim: 111616 bits: 18/17 116.27/116.39 c ---[ 428]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 116.37/116.41 c ---[ 426]---> Adder-cost: 258 maxlim: 131072 bits: 19/18 116.37/116.42 c ---[ 424]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 116.37/116.44 c ---[ 422]---> Adder-cost: 170 maxlim: 90112 bits: 18/17 116.37/116.45 c ---[ 420]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 116.37/116.46 c ---[ 418]---> Adder-cost: 162 maxlim: 82944 bits: 18/17 116.37/116.48 c ---[ 416]---> Adder-cost: 150 maxlim: 77824 bits: 18/17 116.37/116.49 c ---[ 414]---> Adder-cost: 270 maxlim: 139264 bits: 19/18 116.47/116.50 c ---[ 412]---> Adder-cost: 248 maxlim: 167936 bits: 19/18 116.47/116.52 c ---[ 410]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 116.47/116.54 c ---[ 408]---> Adder-cost: 168 maxlim: 83968 bits: 18/17 116.47/116.56 c ---[ 406]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 116.47/116.57 c ---[ 404]---> Adder-cost: 202 maxlim: 112640 bits: 18/17 116.47/116.58 c ---[ 402]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 116.47/116.59 c ---[ 400]---> Adder-cost: 394 maxlim: 196608 bits: 19/18 116.58/116.62 c ---[ 398]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 116.58/116.64 c ---[ 396]---> Adder-cost: 406 maxlim: 208896 bits: 19/18 116.58/116.67 c ---[ 394]---> Adder-cost: 114 maxlim: 208896 bits: 19/18 116.58/116.69 c ---[ 392]---> Adder-cost: 414 maxlim: 216064 bits: 19/18 116.68/116.72 c ---[ 390]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 116.68/116.74 c ---[ 388]---> Adder-cost: 439 maxlim: 229376 bits: 19/18 116.68/116.77 c ---[ 386]---> Adder-cost: 126 maxlim: 229376 bits: 19/18 116.77/116.80 c ---[ 384]---> Adder-cost: 440 maxlim: 242688 bits: 19/18 116.77/116.83 c ---[ 382]---> Adder-cost: 124 maxlim: 242688 bits: 19/18 116.77/116.85 c ---[ 380]---> Adder-cost: 152 maxlim: 75776 bits: 18/17 116.77/116.86 c ---[ 378]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 116.77/116.87 c ---[ 376]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 116.77/116.88 c ---[ 374]---> Adder-cost: 486 maxlim: 280576 bits: 20/19 116.87/116.91 c ---[ 372]---> Adder-cost: 136 maxlim: 280576 bits: 20/19 116.87/116.95 c ---[ 370]---> Adder-cost: 602 maxlim: 366592 bits: 20/19 116.87/116.99 c ---[ 368]---> Adder-cost: 168 maxlim: 366592 bits: 20/19 116.97/117.04 c ---[ 366]---> Adder-cost: 556 maxlim: 312320 bits: 20/19 116.97/117.08 c ---[ 364]---> Adder-cost: 154 maxlim: 312320 bits: 20/19 117.07/117.11 c ---[ 362]---> Adder-cost: 404 maxlim: 215040 bits: 19/18 117.07/117.14 c ---[ 360]---> Adder-cost: 118 maxlim: 215040 bits: 19/18 117.07/117.17 c ---[ 358]---> Adder-cost: 410 maxlim: 223232 bits: 19/18 117.07/117.19 c ---[ 356]---> Adder-cost: 118 maxlim: 223232 bits: 19/18 117.17/117.22 c ---[ 354]---> Adder-cost: 554 maxlim: 286720 bits: 20/19 117.17/117.26 c ---[ 352]---> Adder-cost: 150 maxlim: 286720 bits: 20/19 117.17/117.29 c ---[ 350]---> Adder-cost: 526 maxlim: 275456 bits: 20/19 117.27/117.33 c ---[ 348]---> Adder-cost: 500 maxlim: 277504 bits: 20/19 117.27/117.36 c ---[ 346]---> Adder-cost: 590 maxlim: 316416 bits: 20/19 117.37/117.40 c ---[ 344]---> Adder-cost: 154 maxlim: 316416 bits: 20/19 117.37/117.44 c ---[ 342]---> Adder-cost: 328 maxlim: 174080 bits: 19/18 117.37/117.46 c ---[ 340]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 117.37/117.48 c ---[ 338]---> Adder-cost: 540 maxlim: 277504 bits: 20/19 117.47/117.52 c ---[ 336]---> Adder-cost: 515 maxlim: 275456 bits: 20/19 117.47/117.55 c ---[ 334]---> Adder-cost: 362 maxlim: 207872 bits: 19/18 117.47/117.58 c ---[ 332]---> Adder-cost: 108 maxlim: 207872 bits: 19/18 117.57/117.60 c ---[ 330]---> Adder-cost: 310 maxlim: 160768 bits: 19/18 117.57/117.62 c ---[ 328]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 117.57/117.64 c ---[ 326]---> Adder-cost: 296 maxlim: 154624 bits: 19/18 117.57/117.66 c ---[ 324]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 117.57/117.68 c ---[ 322]---> Adder-cost: 328 maxlim: 166912 bits: 19/18 117.57/117.70 c ---[ 320]---> Adder-cost: 100 maxlim: 166912 bits: 19/18 117.68/117.72 c ---[ 318]---> Adder-cost: 238 maxlim: 126976 bits: 18/17 117.68/117.74 c ---[ 316]---> Adder-cost: 176 maxlim: 114688 bits: 18/17 117.68/117.75 c ---[ 314]---> Adder-cost: 336 maxlim: 174080 bits: 19/18 117.68/117.77 c ---[ 312]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 117.68/117.79 c ---[ 310]---> Adder-cost: 330 maxlim: 175104 bits: 19/18 117.78/117.82 c ---[ 308]---> Adder-cost: 102 maxlim: 175104 bits: 19/18 117.78/117.84 c ---[ 306]---> Adder-cost: 272 maxlim: 151552 bits: 19/18 117.78/117.86 c ---[ 304]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 117.78/117.88 c ---[ 302]---> Adder-cost: 212 maxlim: 112640 bits: 18/17 117.78/117.89 c ---[ 300]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 117.87/117.90 c ---[ 298]---> Adder-cost: 196 maxlim: 104448 bits: 18/17 117.87/117.92 c ---[ 296]---> Adder-cost: 148 maxlim: 78848 bits: 18/17 117.87/117.93 c ---[ 294]---> Adder-cost: 404 maxlim: 209920 bits: 19/18 117.87/117.95 c ---[ 292]---> Adder-cost: 346 maxlim: 241664 bits: 19/18 117.87/117.98 c ---[ 290]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 117.97/118.01 c ---[ 288]---> Adder-cost: 350 maxlim: 190464 bits: 19/18 117.97/118.03 c ---[ 286]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 117.97/118.05 c ---[ 284]---> Adder-cost: 490 maxlim: 259072 bits: 19/18 117.97/118.09 c ---[ 282]---> Adder-cost: 124 maxlim: 259072 bits: 19/18 118.07/118.12 c ---[ 280]---> Adder-cost: 432 maxlim: 222208 bits: 19/18 118.07/118.14 c ---[ 278]---> Adder-cost: 114 maxlim: 222208 bits: 19/18 118.07/118.17 c ---[ 276]---> Adder-cost: 440 maxlim: 227328 bits: 19/18 118.17/118.20 c ---[ 274]---> Adder-cost: 118 maxlim: 227328 bits: 19/18 118.17/118.22 c ---[ 272]---> Adder-cost: 348 maxlim: 182272 bits: 19/18 118.17/118.24 c ---[ 270]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 118.17/118.27 c ---[ 268]---> Adder-cost: 290 maxlim: 158720 bits: 19/18 118.17/118.29 c ---[ 266]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 118.27/118.31 c ---[ 264]---> Adder-cost: 342 maxlim: 172032 bits: 19/18 118.27/118.33 c ---[ 262]---> Adder-cost: 102 maxlim: 172032 bits: 19/18 118.27/118.35 c ---[ 260]---> Adder-cost: 160 maxlim: 86016 bits: 18/17 118.27/118.36 c ---[ 258]---> Adder-cost: 284 maxlim: 154624 bits: 19/18 118.27/118.38 c ---[ 256]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 118.37/118.40 c ---[ 254]---> Adder-cost: 290 maxlim: 158720 bits: 19/18 118.37/118.42 c ---[ 252]---> Adder-cost: 318 maxlim: 188416 bits: 19/18 118.37/118.44 c ---[ 250]---> Adder-cost: 288 maxlim: 162816 bits: 19/18 118.37/118.46 c ---[ 248]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 118.37/118.48 c ---[ 246]---> Adder-cost: 360 maxlim: 186368 bits: 19/18 118.47/118.50 c ---[ 244]---> Adder-cost: 386 maxlim: 227328 bits: 19/18 118.47/118.53 c ---[ 242]---> Adder-cost: 508 maxlim: 275456 bits: 20/19 118.47/118.57 c ---[ 240]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 118.57/118.60 c ---[ 238]---> Adder-cost: 450 maxlim: 238592 bits: 19/18 118.57/118.63 c ---[ 236]---> Adder-cost: 300 maxlim: 210944 bits: 19/18 118.57/118.65 c ---[ 234]---> Adder-cost: 372 maxlim: 194560 bits: 19/18 118.57/118.68 c ---[ 232]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 118.67/118.70 c ---[ 230]---> Adder-cost: 454 maxlim: 242688 bits: 19/18 118.67/118.73 c ---[ 228]---> Adder-cost: 324 maxlim: 202752 bits: 19/18 118.67/118.75 c ---[ 226]---> Adder-cost: 296 maxlim: 168960 bits: 19/18 118.67/118.77 c ---[ 224]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 118.67/118.80 c ---[ 222]---> Adder-cost: 476 maxlim: 247808 bits: 19/18 118.77/118.82 c ---[ 220]---> Adder-cost: 416 maxlim: 250880 bits: 19/18 118.77/118.85 c ---[ 218]---> Adder-cost: 350 maxlim: 192512 bits: 19/18 118.77/118.88 c ---[ 216]---> Adder-cost: 110 maxlim: 192512 bits: 19/18 118.77/118.90 c ---[ 214]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 118.88/118.92 c ---[ 212]---> Adder-cost: 188 maxlim: 108544 bits: 18/17 118.88/118.94 c ---[ 210]---> Adder-cost: 172 maxlim: 90112 bits: 18/17 118.88/118.95 c ---[ 208]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 118.88/118.96 c ---[ 206]---> Adder-cost: 272 maxlim: 137216 bits: 19/18 118.88/118.98 c ---[ 204]---> Adder-cost: 170 maxlim: 118784 bits: 18/17 118.88/118.99 c ---[ 202]---> Adder-cost: 148 maxlim: 91136 bits: 18/17 118.97/119.00 c ---[ 200]---> Adder-cost: 150 maxlim: 90112 bits: 18/17 118.97/119.01 c ---[ 198]---> Adder-cost: 274 maxlim: 150528 bits: 19/18 118.97/119.03 c ---[ 196]---> Adder-cost: 308 maxlim: 183296 bits: 19/18 118.97/119.06 c ---[ 194]---> Adder-cost: 104 maxlim: 183296 bits: 19/18 118.97/119.08 c ---[ 192]---> Adder-cost: 452 maxlim: 239616 bits: 19/18 119.07/119.11 c ---[ 190]---> Adder-cost: 576 maxlim: 345088 bits: 20/19 119.07/119.15 c ---[ 188]---> Adder-cost: 414 maxlim: 234496 bits: 19/18 119.07/119.18 c ---[ 186]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 119.17/119.20 c ---[ 184]---> Adder-cost: 266 maxlim: 141312 bits: 19/18 119.17/119.22 c ---[ 182]---> Adder-cost: 184 maxlim: 135168 bits: 19/18 119.17/119.24 c ---[ 180]---> Adder-cost: 298 maxlim: 157696 bits: 19/18 119.17/119.26 c ---[ 178]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 119.17/119.28 c ---[ 176]---> Adder-cost: 324 maxlim: 179200 bits: 19/18 119.27/119.30 c ---[ 174]---> Adder-cost: 358 maxlim: 192512 bits: 19/18 119.27/119.32 c ---[ 172]---> Adder-cost: 540 maxlim: 292864 bits: 20/19 119.27/119.36 c ---[ 170]---> Adder-cost: 136 maxlim: 292864 bits: 20/19 119.37/119.40 c ---[ 168]---> Adder-cost: 414 maxlim: 235520 bits: 19/18 119.37/119.42 c ---[ 166]---> Adder-cost: 350 maxlim: 233472 bits: 19/18 119.37/119.45 c ---[ 164]---> Adder-cost: 568 maxlim: 310272 bits: 20/19 119.37/119.49 c ---[ 162]---> Adder-cost: 148 maxlim: 310272 bits: 20/19 119.47/119.53 c ---[ 160]---> Adder-cost: 574 maxlim: 310272 bits: 20/19 119.47/119.57 c ---[ 158]---> Adder-cost: 266 maxlim: 254976 bits: 19/18 119.57/119.60 c ---[ 156]---> Adder-cost: 244 maxlim: 128000 bits: 18/17 119.57/119.61 c ---[ 154]---> Adder-cost: 78 maxlim: 128000 bits: 18/17 119.57/119.63 c ---[ 152]---> Adder-cost: 364 maxlim: 186368 bits: 19/18 119.57/119.65 c ---[ 150]---> Adder-cost: 202 maxlim: 113664 bits: 18/17 119.57/119.67 c ---[ 148]---> Adder-cost: 138 maxlim: 79872 bits: 18/17 119.57/119.68 c ---[ 146]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 119.57/119.69 c ---[ 144]---> Adder-cost: 160 maxlim: 78848 bits: 18/17 119.68/119.70 c ---[ 142]---> Adder-cost: 118 maxlim: 64512 bits: 17/16 119.68/119.70 c ---[ 140]---> Adder-cost: 84 maxlim: 52224 bits: 17/16 119.68/119.71 c ---[ 138]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 119.68/119.72 c ---[ 136]---> Adder-cost: 94 maxlim: 66560 bits: 18/17 119.68/119.73 c ---[ 134]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 119.68/119.74 c ---[ 132]---> Adder-cost: 180 maxlim: 95232 bits: 18/17 119.68/119.75 c ---[ 130]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 119.68/119.76 c ---[ 128]---> Adder-cost: 284 maxlim: 150528 bits: 19/18 119.68/119.78 c ---[ 126]---> Adder-cost: 256 maxlim: 151552 bits: 19/18 119.78/119.80 c ---[ 124]---> Adder-cost: 268 maxlim: 136192 bits: 19/18 119.78/119.82 c ---[ 122]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 119.78/119.83 c ---[ 120]---> Adder-cost: 336 maxlim: 174080 bits: 19/18 119.78/119.86 c ---[ 118]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 119.78/119.88 c ---[ 116]---> Adder-cost: 355 maxlim: 182272 bits: 19/18 119.78/119.90 c ---[ 114]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 119.88/119.92 c ---[ 112]---> Adder-cost: 206 maxlim: 108544 bits: 18/17 119.88/119.93 c ---[ 110]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 119.88/119.95 c ---[ 108]---> Adder-cost: 266 maxlim: 132096 bits: 19/18 119.88/119.96 c ---[ 106]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 119.88/119.98 c ---[ 104]---> Adder-cost: 274 maxlim: 138240 bits: 19/18 119.88/120.00 c ---[ 102]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 119.98/120.02 c ---[ 100]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 119.98/120.04 c ---[ 98]---> Adder-cost: 170 maxlim: 89088 bits: 18/17 119.98/120.05 c ---[ 96]---> Adder-cost: 68 maxlim: 89088 bits: 18/17 119.98/120.06 c ---[ 94]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 119.98/120.06 c ---[ 92]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 119.98/120.07 c ---[ 90]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 119.98/120.08 c ---[ 88]---> Adder-cost: 402 maxlim: 230400 bits: 19/18 120.08/120.10 c ---[ 86]---> Adder-cost: 124 maxlim: 230400 bits: 19/18 120.08/120.13 c ---[ 84]---> Adder-cost: 264 maxlim: 157696 bits: 19/18 120.08/120.15 c ---[ 82]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 120.08/120.17 c ---[ 80]---> Adder-cost: 308 maxlim: 158720 bits: 19/18 120.08/120.19 c ---[ 78]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 120.18/120.21 c ---[ 76]---> Adder-cost: 294 maxlim: 151552 bits: 19/18 120.18/120.23 c ---[ 74]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 120.18/120.25 c ---[ 72]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 120.18/120.25 c ---[ 70]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 120.18/120.26 c ---[ 68]---> Adder-cost: 166 maxlim: 82944 bits: 18/17 120.18/120.27 c ---[ 66]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 120.18/120.28 c ---[ 64]---> Adder-cost: 318 maxlim: 164864 bits: 19/18 120.28/120.30 c ---[ 62]---> Adder-cost: 294 maxlim: 163840 bits: 19/18 120.28/120.32 c ---[ 60]---> Adder-cost: 306 maxlim: 159744 bits: 19/18 120.28/120.34 c ---[ 58]---> Adder-cost: 94 maxlim: 159744 bits: 19/18 120.28/120.36 c ---[ 56]---> Adder-cost: 216 maxlim: 109568 bits: 18/17 120.28/120.37 c ---[ 54]---> Adder-cost: 78 maxlim: 109568 bits: 18/17 120.28/120.39 c ---[ 52]---> Adder-cost: 244 maxlim: 123904 bits: 18/17 120.38/120.40 c ---[ 50]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 120.38/120.42 c ---[ 48]---> Adder-cost: 226 maxlim: 116736 bits: 18/17 120.38/120.43 c ---[ 46]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 120.38/120.45 c ---[ 44]---> Adder-cost: 154 maxlim: 91136 bits: 18/17 120.38/120.46 c ---[ 42]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 120.38/120.47 c ---[ 40]---> Adder-cost: 336 maxlim: 187392 bits: 19/18 120.38/120.49 c ---[ 38]---> Adder-cost: 322 maxlim: 202752 bits: 19/18 120.48/120.52 c ---[ 36]---> Adder-cost: 112 maxlim: 202752 bits: 19/18 120.48/120.54 c ---[ 34]---> Adder-cost: 170 maxlim: 91136 bits: 18/17 120.48/120.56 c ---[ 32]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 120.48/120.57 c ---[ 30]---> Adder-cost: 298 maxlim: 151552 bits: 19/18 120.48/120.59 c ---[ 28]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 120.58/120.61 c ---[ 26]---> Adder-cost: 330 maxlim: 174080 bits: 19/18 120.58/120.63 c ---[ 24]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 120.58/120.65 c ---[ 22]---> Adder-cost: 590 maxlim: 312320 bits: 20/19 120.58/120.69 c ---[ 20]---> Adder-cost: 154 maxlim: 312320 bits: 20/19 120.68/120.73 c ---[ 18]---> Adder-cost: 278 maxlim: 151552 bits: 19/18 120.68/120.74 c ---[ 16]---> Adder-cost: 190 maxlim: 145408 bits: 19/18 120.68/120.76 c ---[ 14]---> Adder-cost: 278 maxlim: 139264 bits: 19/18 120.68/120.78 c ---[ 12]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 120.78/120.80 c ---[ 11]---> Adder-cost: 4147 maxlim: 2563071 bits: 23/22 121.08/121.16 c ---[ 10]---> Adder-cost: 47766 maxlim: 26620927 bits: 26/25 125.28/125.36 c ---[ 9]---> Adder-cost: 4433 maxlim: 2787327 bits: 23/22 125.68/125.75 c ---[ 8]---> Adder-cost: 7903 maxlim: 2972671 bits: 23/22 126.28/126.38 c ---[ 7]---> Adder-cost: 548 maxlim: 246783 bits: 19/18 126.38/126.43 c ---[ 6]---> Adder-cost: 5893 maxlim: 2482175 bits: 23/22 126.88/126.95 c ---[ 5]---> Adder-cost: 400 maxlim: 129023 bits: 18/17 126.88/126.98 c ---[ 4]---> Adder-cost: 260 maxlim: 117759 bits: 18/17 126.98/127.00 c ---[ 3]---> Adder-cost: 7565 maxlim: 5146623 bits: 24/23 127.68/127.77 c ---[ 2]---> Adder-cost: 9800 maxlim: 21168127 bits: 26/25 130.38/130.49 c ---[ 1]---> Adder-cost: 10590 maxlim: 16636927 bits: 25/24 133.98/134.00 c ---[ 0]---> Adder-cost: 20703 maxlim: 13061119 bits: 25/24 1800.02/1800.40 | Eliminated clauses: 0.81 Mb | 1800.02/1800.40 ============================[ Search Statistics ]============================== 1800.02/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.02/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.02/1800.40 =============================================================================== 1800.02/1800.40 | 100 | 877883 5749768 20348675 | 2108248 100 3 | 8.213 % | 1800.02/1800.40 | 250 | 877883 5749768 20348675 | 2319073 250 3 | 8.213 % | 1800.02/1800.40 | 475 | 877883 5749768 20348675 | 2550980 475 4 | 8.213 % | 1800.02/1800.40 | 812 | 877883 5749768 20348675 | 2806078 812 4 | 8.213 % | 1800.02/1800.40 | 1318 | 877883 5749768 20348675 | 3086686 1318 4 | 8.213 % | 1800.02/1800.40 | 2077 | 877883 5749768 20348675 | 3395354 2077 4 | 8.213 % | 1800.02/1800.40 | 3216 | 877883 5749768 20348675 | 3734890 3216 4 | 8.213 % | 1800.02/1800.40 | 4924 | 877883 5749768 20348675 | 4108379 4924 4 | 8.213 % | 1800.02/1800.40 | 7486 | 877883 5749768 20348675 | 4519217 7486 4 | 8.213 % | 1800.02/1800.40 | 11330 | 877883 5749768 20348675 | 4971139 11330 5 | 8.213 % | 1800.02/1800.40 | 17096 | 877883 5749768 20348675 | 5468253 17096 5 | 8.213 % | 1800.02/1800.40 | 25745 | 877883 5749768 20348675 | 6015078 25745 5 | 8.213 % | 1800.02/1800.40 | 38719 | 877883 5749768 20348675 | 6616586 38719 6 | 8.213 % | 1800.02/1800.40 | 58180 | 877883 5749768 20348675 | 7278244 58180 7 | 8.213 % | 1800.02/1800.40 | 87372 | 877883 5749768 20348675 | 8006069 87372 7 | 8.213 % | 1800.02/1800.40 | 131161 | 877883 5749768 20348675 | 8806676 131161 8 | 8.213 % | 1800.02/1800.40 | 196845 | 877883 5749768 20348675 | 9687343 196845 9 | 8.213 % | 1800.02/1800.40 | 295371 | 877883 5749768 20348675 | 10656078 295371 10 | 8.213 % | 1800.02/1800.40 | 443160 | 877883 5749768 20348675 | 11721686 443160 10 | 8.213 % | 1800.02/1800.40 | 664843 | 877883 5749768 20348675 | 12893854 664843 11 | 8.213 % | 1800.02/1800.40 | 997368 | 877883 5749768 20348675 | 14183240 997368 13 | 8.213 % | 1800.02/1800.40 | 1496156 | 877883 5749768 20348675 | 15601564 1496156 14 | 8.213 % | 1800.02/1800.40 | 2244338 | 877883 5749768 20348675 | 17161720 2244338 19 | 8.213 % | 1800.02/1800.40 | 3366612 | 877883 5749768 20348675 | 18877892 3366612 22 | 8.213 % | 1800.02/1800.40 c 1800.02/1800.40 c *** TERMINATED *** 1800.02/1800.40 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114805-1467021192/watcher-4114805-1467021192 -o /tmp/evaluation-result-4114805-1467021192/solver-4114805-1467021192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467019390-24486 --watchdog 1960 -S 80 minisatp HOME/instance-4114805-1467021192.opb pid=24665 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing Stack size limit: 81920 KiB Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 81920 KiB [startup+0 s] /proc/loadavg: 2.29 2.22 1.90 3/171 24668 /proc/meminfo: memFree=30059560/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=6748 CPUtime=0 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 35158331 6909952 246 33554432000 4194304 5646918 140733505744160 140737287297560 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 1687 246 84 355 0 1328 0 [startup+0.100223 s] /proc/loadavg: 2.29 2.22 1.90 3/171 24668 /proc/meminfo: memFree=30059560/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=15724 CPUtime=0.09 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 2582 0 0 0 9 0 0 0 20 0 1 0 35158331 16101376 2333 33554432000 4194304 5646918 140733505744160 140737287297560 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 3931 2334 84 355 0 3572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15724 [startup+0.200369 s] /proc/loadavg: 2.29 2.22 1.90 3/171 24668 /proc/meminfo: memFree=30059560/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=26528 CPUtime=0.19 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 5127 0 0 0 19 0 0 0 20 0 1 0 35158331 27164672 4685 33554432000 4194304 5646918 140733505744160 140737287297560 4430317 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 6632 4686 84 355 0 6273 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 26528 [startup+0.30031 s] /proc/loadavg: 2.29 2.22 1.90 3/171 24668 /proc/meminfo: memFree=30059560/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=38376 CPUtime=0.29 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 8487 0 0 0 28 1 0 0 20 0 1 0 35158331 39297024 7522 33554432000 4194304 5646918 140733505744160 140737287297560 4831296 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 9594 7522 97 355 0 9235 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38376 [startup+0.700222 s] /proc/loadavg: 2.29 2.22 1.90 3/171 24668 /proc/meminfo: memFree=30059560/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=44884 CPUtime=0.69 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 9878 0 0 0 68 1 0 0 20 0 1 0 35158331 45961216 8913 33554432000 4194304 5646918 140733505744160 140733505743416 4293512 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 11221 8913 97 355 0 10862 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44884 [startup+1.5002 s] /proc/loadavg: 2.29 2.22 1.90 3/177 24686 /proc/meminfo: memFree=29931124/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=66872 CPUtime=1.5 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 15303 0 0 0 147 3 0 0 20 0 1 0 35158331 68476928 14338 33554432000 4194304 5646918 140733505744160 140733505743416 4831369 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 16718 14338 97 355 0 16359 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 66872 [startup+3.10026 s] /proc/loadavg: 2.27 2.22 1.90 3/177 24686 /proc/meminfo: memFree=29882292/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=123800 CPUtime=3.09 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 30958 0 0 0 304 5 0 0 20 0 1 0 35158331 126771200 27910 33554432000 4194304 5646918 140733505744160 140733505743416 4824631 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 30950 27910 97 355 0 30591 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 123800 [startup+6.30024 s] /proc/loadavg: 2.27 2.22 1.90 3/177 24686 /proc/meminfo: memFree=29712360/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=176468 CPUtime=6.29 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 50274 0 0 0 621 8 0 0 20 0 1 0 35158331 180703232 40339 33554432000 4194304 5646918 140733505744160 140733505742040 4817614 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 44117 40339 154 355 0 43758 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 176468 [startup+12.7002 s] /proc/loadavg: 2.23 2.21 1.91 3/177 24686 /proc/meminfo: memFree=29651640/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=184728 CPUtime=12.69 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 52180 0 0 0 1260 9 0 0 20 0 1 0 35158331 189161472 42245 33554432000 4194304 5646918 140733505744160 140733505742824 4309848 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 46182 42245 154 355 0 45823 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 184728 [startup+25.5003 s] /proc/loadavg: 2.35 2.24 1.92 3/177 24686 /proc/meminfo: memFree=29569448/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=200744 CPUtime=25.48 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 54476 0 0 0 2539 9 0 0 20 0 1 0 35158331 205561856 46289 33554432000 4194304 5646918 140733505744160 140733505742824 4824634 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 50186 46289 154 355 0 49827 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 200744 [startup+51.1003 s] /proc/loadavg: 2.37 2.25 1.93 3/177 24686 /proc/meminfo: memFree=29490472/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=277784 CPUtime=51.08 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 76320 0 0 0 5095 13 0 0 20 0 1 0 35158331 284450816 65351 33554432000 4194304 5646918 140733505744160 140733505736728 4817699 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 69446 65351 154 355 0 69087 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 277784 [startup+102.3 s] /proc/loadavg: 2.25 2.24 1.94 3/177 24687 /proc/meminfo: memFree=28715800/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=460268 CPUtime=102.28 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 96930 0 0 0 10209 19 0 0 20 0 1 0 35158331 471314432 107446 33554432000 4194304 5646918 140733505744160 140733505742824 4828196 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 115067 107446 154 355 0 114708 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 460268 [startup+162.3 s] /proc/loadavg: 2.26 2.24 1.95 3/177 24688 /proc/meminfo: memFree=26999656/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=981944 CPUtime=162.27 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 135784 0 0 0 16197 30 0 0 20 0 1 0 35158331 1005510656 216646 33554432000 4194304 5646918 140733505744160 140733505742296 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 245486 216646 183 355 0 245127 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 981944 [startup+222.307 s] /proc/loadavg: 2.25 2.24 1.97 3/177 24689 /proc/meminfo: memFree=25741780/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1001132 CPUtime=222.26 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 140528 0 0 0 22193 33 0 0 20 0 1 0 35158331 1025159168 224967 33554432000 4194304 5646918 140733505744160 140733505742296 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 250283 224967 183 355 0 249924 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 1001132 [startup+282.3 s] /proc/loadavg: 2.24 2.24 1.99 3/177 24691 /proc/meminfo: memFree=25025768/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1016560 CPUtime=282.25 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 143945 0 0 0 28190 35 0 0 20 0 1 0 35158331 1040957440 232472 33554432000 4194304 5646918 140733505744160 140733505742296 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 254140 232472 183 355 0 253781 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1016560 [startup+342.3 s] /proc/loadavg: 2.17 2.22 2.00 3/177 24692 /proc/meminfo: memFree=24332884/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1029988 CPUtime=342.24 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 146680 0 0 0 34187 37 0 0 20 0 1 0 35158331 1054707712 238784 33554432000 4194304 5646918 140733505744160 140733505742296 4402832 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 257497 238784 183 355 0 257138 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1029988 [startup+402.3 s] /proc/loadavg: 2.28 2.24 2.01 4/177 24693 /proc/meminfo: memFree=23721516/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1044336 CPUtime=402.23 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 149528 0 0 0 40185 38 0 0 20 0 1 0 35158331 1069400064 247253 33554432000 4194304 5646918 140733505744160 140733505742296 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 261084 247253 183 355 0 260725 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1044336 [startup+462.3 s] /proc/loadavg: 2.16 2.21 2.01 4/178 24697 /proc/meminfo: memFree=22547312/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1056708 CPUtime=462.22 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 152771 0 0 0 46182 40 0 0 20 0 1 0 35158331 1082068992 254073 33554432000 4194304 5646918 140733505744160 140733505742296 4403380 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 264177 254073 183 355 0 263818 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1056708 [startup+522.3 s] /proc/loadavg: 2.17 2.20 2.02 3/178 24721 /proc/meminfo: memFree=22023492/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1205580 CPUtime=522.21 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 155656 0 0 0 52180 41 0 0 20 0 1 0 35158331 1234513920 261008 33554432000 4194304 5646918 140733505744160 140733505742408 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 301395 261008 183 355 0 301036 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 1205580 [startup+582.3 s] /proc/loadavg: 2.28 2.22 2.03 3/177 24723 /proc/meminfo: memFree=21340072/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1211604 CPUtime=582.18 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 157167 0 0 0 58176 42 0 0 20 0 1 0 35158331 1240682496 266585 33554432000 4194304 5646918 140733505744160 140733505742296 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 302901 266585 183 355 0 302542 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 1211604 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.21 2.23 2.09 3/176 24728 /proc/meminfo: memFree=15896620/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1482908 CPUtime=882.08 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 168822 0 0 0 88158 50 0 0 20 0 1 0 35158331 1518497792 311100 33554432000 4194304 5646918 140733505744160 140733505742296 4402661 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 370727 311100 183 355 0 370368 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 1482908 [startup+942.3 s] /proc/loadavg: 2.27 2.24 2.10 3/177 24730 /proc/meminfo: memFree=16923420/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1490988 CPUtime=942.06 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 170661 0 0 0 94155 51 0 0 20 0 1 0 35158331 1526771712 315487 33554432000 4194304 5646918 140733505744160 140733505742296 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 372747 315487 183 355 0 372388 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1490988 [startup+1002.3 s] /proc/loadavg: 2.39 2.27 2.11 3/177 24731 /proc/meminfo: memFree=16492808/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1498608 CPUtime=1002.05 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 172390 0 0 0 100154 51 0 0 20 0 1 0 35158331 1534574592 320536 33554432000 4194304 5646918 140733505744160 140733505742296 4402896 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 374652 320536 183 355 0 374293 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 1498608 [startup+1062.3 s] /proc/loadavg: 2.23 2.25 2.11 3/178 24735 /proc/meminfo: memFree=16034148/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1505372 CPUtime=1062.05 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 173988 0 0 0 106152 53 0 0 20 0 1 0 35158331 1541500928 324687 33554432000 4194304 5646918 140733505744160 140733505742296 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 376343 324687 183 355 0 375984 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 1505372 [startup+1122.3 s] /proc/loadavg: 2.36 2.27 2.12 3/177 24736 /proc/meminfo: memFree=15641032/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1512260 CPUtime=1122.03 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 175563 0 0 0 112149 54 0 0 20 0 1 0 35158331 1548554240 330858 33554432000 4194304 5646918 140733505744160 140733505742296 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 378065 330858 183 355 0 377706 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 1512260 [startup+1182.3 s] /proc/loadavg: 2.33 2.27 2.13 3/177 24737 /proc/meminfo: memFree=15181760/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1518824 CPUtime=1182.02 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 177105 0 0 0 118148 54 0 0 20 0 1 0 35158331 1555275776 334954 33554432000 4194304 5646918 140733505744160 140733505742296 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 379706 334954 183 355 0 379347 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 1518824 [startup+1242.3 s] /proc/loadavg: 2.35 2.28 2.14 4/177 24739 /proc/meminfo: memFree=14667572/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1540904 CPUtime=1242.01 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 178251 0 0 0 124146 55 0 0 20 0 1 0 35158331 1577885696 341721 33554432000 4194304 5646918 140733505744160 140733505742408 4402829 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 385226 341721 183 355 0 384867 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1540904 [startup+1302.3 s] /proc/loadavg: 2.32 2.27 2.14 4/177 24740 /proc/meminfo: memFree=14178384/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1540904 CPUtime=1302 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 178389 0 0 0 130144 56 0 0 20 0 1 0 35158331 1577885696 344414 33554432000 4194304 5646918 140733505744160 140733505742408 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 385226 344414 183 355 0 384867 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1540904 [startup+1362.3 s] /proc/loadavg: 2.25 2.25 2.14 3/177 24741 /proc/meminfo: memFree=13746572/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1542280 CPUtime=1361.99 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 178811 0 0 0 136143 56 0 0 20 0 1 0 35158331 1579294720 347391 33554432000 4194304 5646918 140733505744160 140733505742296 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 385570 347391 183 355 0 385211 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1542280 [startup+1422.3 s] /proc/loadavg: 2.13 2.22 2.14 3/177 24742 /proc/meminfo: memFree=13246028/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1548752 CPUtime=1421.99 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 180302 0 0 0 142142 57 0 0 20 0 1 0 35158331 1585922048 353992 33554432000 4194304 5646918 140733505744160 140733505742296 4402829 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 387188 353992 183 355 0 386829 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1548752 [startup+1482.3 s] /proc/loadavg: 2.26 2.24 2.15 3/177 24743 /proc/meminfo: memFree=12832200/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1556316 CPUtime=1481.97 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 182030 0 0 0 148140 57 0 0 20 0 1 0 35158331 1593667584 358275 33554432000 4194304 5646918 140733505744160 140733505742296 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 389079 358275 183 355 0 388720 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1556316 [startup+1542.31 s] /proc/loadavg: 2.16 2.21 2.14 3/177 24800 /proc/meminfo: memFree=28050132/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1562412 CPUtime=1541.97 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 183431 0 0 0 154139 58 0 0 20 0 1 0 35158331 1599909888 362231 33554432000 4194304 5646918 140733505744160 140733505742296 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 390603 362231 183 355 0 390244 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 1562412 [startup+1602.3 s] /proc/loadavg: 2.06 2.17 2.13 3/177 24857 /proc/meminfo: memFree=28344812/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1568312 CPUtime=1601.96 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 184787 0 0 0 160137 59 0 0 20 0 1 0 35158331 1605951488 366653 33554432000 4194304 5646918 140733505744160 140733505742296 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 392078 366653 183 355 0 391719 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 1568312 [startup+1662.3 s] /proc/loadavg: 2.24 2.19 2.14 3/178 24861 /proc/meminfo: memFree=27013924/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1573756 CPUtime=1661.95 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 186039 0 0 0 166136 59 0 0 20 0 1 0 35158331 1611526144 370460 33554432000 4194304 5646918 140733505744160 140733505742296 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 393439 370460 183 355 0 393080 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1573756 [startup+1722.3 s] /proc/loadavg: 2.15 2.17 2.13 4/177 24862 /proc/meminfo: memFree=27000780/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1577832 CPUtime=1721.94 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 187000 0 0 0 172134 60 0 0 20 0 1 0 35158331 1615699968 373465 33554432000 4194304 5646918 140733505744160 140733505742296 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 394458 373465 183 355 0 394099 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1577832 [startup+1782.3 s] /proc/loadavg: 2.20 2.18 2.14 3/177 24863 /proc/meminfo: memFree=26972180/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1584800 CPUtime=1781.93 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 188596 0 0 0 178133 60 0 0 20 0 1 0 35158331 1622835200 380171 33554432000 4194304 5646918 140733505744160 140733505742296 4403442 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 396200 380171 183 355 0 395841 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 1584800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.29 2.20 2.14 4/176 24863 /proc/meminfo: memFree=26956100/32872528 swapFree=1643088/1798432 [pid=24668] ppid=24665 vsize=1586324 CPUtime=1800.02 cores=1,3,5,7 /proc/24668/stat : 24668 (minisatp) R 24665 24668 24469 0 -1 4202496 188949 0 0 0 179942 60 0 0 20 0 1 0 35158331 1624395776 381035 33554432000 4194304 5646918 140733505744160 140733505742296 4397117 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24668/statm: 396581 381035 183 355 0 396222 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1586324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 24668 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.05 CPU user time (s): 1799.43 CPU system time (s): 0.617906 CPU usage (%): 99.9797 Max. virtual memory (cumulated for all children) (KiB): 1586324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.617906 maximum resident set size= 1524140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 188949 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 163 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5743 second user time and 7.29589 second system time The end
Begin job on node123 at 2016-06-27 11:53:12 IDJOB=4114805 IDBENCH=2370 IDSOLVER=2555 FILE ID=node123/4114805-1467021192 RUNJOBID= node123-1467019390-24486 PBS_JOBID= 19976969 Free space on /tmp= 71712 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114805-1467021192/watcher-4114805-1467021192 -o /tmp/evaluation-result-4114805-1467021192/solver-4114805-1467021192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467019390-24486 --watchdog 1960 -S 80 minisatp HOME/instance-4114805-1467021192.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b626c8307376f19de1f1e51bf91eca4f RANDOM SEED=108560121 node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30063368 kB Buffers: 108136 kB Cached: 163740 kB SwapCached: 1748 kB Active: 65256 kB Inactive: 212464 kB Active(anon): 7612 kB Inactive(anon): 972 kB Active(file): 57644 kB Inactive(file): 211492 kB Unevictable: 1798432 kB Mlocked: 1643088 kB SwapTotal: 67108856 kB SwapFree: 67098776 kB Dirty: 24856 kB Writeback: 0 kB AnonPages: 1804528 kB Mapped: 7148 kB Shmem: 0 kB Slab: 597284 kB SReclaimable: 40988 kB SUnreclaim: 556296 kB KernelStack: 1384 kB PageTables: 7824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1899464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988140 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114805-1467021192.opb Free space on /tmp at the end= 71700 MiB End job on node123 at 2016-06-27 12:23:13