Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.16 | 1800.62 |
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 | 322124995065185536000 |
Best CPU time to get the best result obtained on this benchmark | 1804.19 |
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... 11.38/11.43 c Converting 3286 PB-constraints to clauses... 11.38/11.49 c -- Unit propagations: (none) 11.48/11.50 c -- Detecting intervals from adjacent constraints: #################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 11.59/11.66 c -- Clauses(.)/Splits(s): ssssssssssss 12.29/12.36 c ---[3296]---> Adder-cost: 204 maxlim: 100352 bits: 18/17 12.29/12.38 c ---[3294]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 12.39/12.41 c ---[3292]---> Adder-cost: 196 maxlim: 98304 bits: 18/17 12.39/12.43 c ---[3290]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 12.39/12.46 c ---[3288]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 12.39/12.47 c ---[3286]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 12.39/12.48 c ---[3284]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.49 c ---[3282]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 12.49/12.52 c ---[3280]---> Adder-cost: 366 maxlim: 228352 bits: 19/18 12.49/12.57 c ---[3278]---> Adder-cost: 280 maxlim: 238592 bits: 19/18 12.59/12.62 c ---[3276]---> Adder-cost: 1036 maxlim: 534528 bits: 21/20 12.69/12.77 c ---[3274]---> Adder-cost: 1074 maxlim: 663552 bits: 21/20 12.89/12.93 c ---[3272]---> Adder-cost: 1174 maxlim: 603136 bits: 21/20 12.99/13.08 c ---[3270]---> Adder-cost: 686 maxlim: 395264 bits: 20/19 13.09/13.17 c ---[3268]---> Adder-cost: 508 maxlim: 261120 bits: 19/18 13.19/13.23 c ---[3266]---> Adder-cost: 490 maxlim: 277504 bits: 20/19 13.29/13.30 c ---[3264]---> Adder-cost: 306 maxlim: 159744 bits: 19/18 13.29/13.34 c ---[3262]---> Adder-cost: 222 maxlim: 159744 bits: 19/18 13.29/13.38 c ---[3260]---> Adder-cost: 238 maxlim: 119808 bits: 18/17 13.39/13.41 c ---[3258]---> Adder-cost: 170 maxlim: 116736 bits: 18/17 13.39/13.44 c ---[3256]---> Adder-cost: 292 maxlim: 159744 bits: 19/18 13.39/13.48 c ---[3254]---> Adder-cost: 300 maxlim: 181248 bits: 19/18 13.49/13.52 c ---[3252]---> Adder-cost: 532 maxlim: 292864 bits: 20/19 13.49/13.59 c ---[3250]---> Adder-cost: 498 maxlim: 293888 bits: 20/19 13.59/13.66 c ---[3248]---> Adder-cost: 356 maxlim: 199680 bits: 19/18 13.69/13.71 c ---[3246]---> Adder-cost: 300 maxlim: 176128 bits: 19/18 13.69/13.75 c ---[3244]---> Adder-cost: 560 maxlim: 284672 bits: 20/19 13.79/13.82 c ---[3242]---> Adder-cost: 398 maxlim: 233472 bits: 19/18 13.79/13.88 c ---[3240]---> Adder-cost: 222 maxlim: 117760 bits: 18/17 13.89/13.91 c ---[3238]---> Adder-cost: 208 maxlim: 108544 bits: 18/17 13.89/13.94 c ---[3236]---> Adder-cost: 322 maxlim: 166912 bits: 19/18 13.89/13.98 c ---[3234]---> Adder-cost: 224 maxlim: 125952 bits: 18/17 13.99/14.01 c ---[3232]---> Adder-cost: 240 maxlim: 123904 bits: 18/17 13.99/14.04 c ---[3230]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 13.99/14.06 c ---[3228]---> Adder-cost: 406 maxlim: 205824 bits: 19/18 14.09/14.11 c ---[3226]---> Adder-cost: 242 maxlim: 162816 bits: 19/18 14.09/14.15 c ---[3224]---> Adder-cost: 184 maxlim: 101376 bits: 18/17 14.09/14.18 c ---[3222]---> Adder-cost: 160 maxlim: 94208 bits: 18/17 14.09/14.20 c ---[3220]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.21 c ---[3218]---> Adder-cost: 178 maxlim: 88064 bits: 18/17 14.19/14.23 c ---[3216]---> Adder-cost: 164 maxlim: 104448 bits: 18/17 14.19/14.26 c ---[3214]---> Adder-cost: 202 maxlim: 112640 bits: 18/17 14.19/14.29 c ---[3212]---> Adder-cost: 316 maxlim: 158720 bits: 19/18 14.29/14.33 c ---[3210]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 14.29/14.37 c ---[3208]---> Adder-cost: 308 maxlim: 157696 bits: 19/18 14.38/14.41 c ---[3206]---> Adder-cost: 414 maxlim: 229376 bits: 19/18 14.38/14.46 c ---[3204]---> Adder-cost: 410 maxlim: 240640 bits: 19/18 14.48/14.52 c ---[3202]---> Adder-cost: 120 maxlim: 240640 bits: 19/18 14.48/14.57 c ---[3200]---> Adder-cost: 430 maxlim: 224256 bits: 19/18 14.58/14.62 c ---[3198]---> Adder-cost: 334 maxlim: 192512 bits: 19/18 14.58/14.67 c ---[3196]---> Adder-cost: 268 maxlim: 132096 bits: 19/18 14.68/14.70 c ---[3194]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 14.68/14.74 c ---[3192]---> Adder-cost: 274 maxlim: 139264 bits: 19/18 14.68/14.77 c ---[3190]---> Adder-cost: 152 maxlim: 139264 bits: 19/18 14.78/14.81 c ---[3188]---> Adder-cost: 292 maxlim: 153600 bits: 19/18 14.78/14.85 c ---[3186]---> Adder-cost: 92 maxlim: 153600 bits: 19/18 14.78/14.88 c ---[3184]---> Adder-cost: 362 maxlim: 187392 bits: 19/18 14.88/14.93 c ---[3182]---> Adder-cost: 346 maxlim: 185344 bits: 19/18 14.88/14.97 c ---[3180]---> Adder-cost: 382 maxlim: 201728 bits: 19/18 14.98/15.02 c ---[3178]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 14.98/15.07 c ---[3176]---> Adder-cost: 254 maxlim: 129024 bits: 18/17 15.08/15.10 c ---[3174]---> Adder-cost: 184 maxlim: 100352 bits: 18/17 15.08/15.13 c ---[3172]---> Adder-cost: 222 maxlim: 133120 bits: 19/18 15.08/15.16 c ---[3170]---> Adder-cost: 272 maxlim: 134144 bits: 19/18 15.18/15.20 c ---[3168]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 15.18/15.23 c ---[3166]---> Adder-cost: 206 maxlim: 107520 bits: 18/17 15.18/15.26 c ---[3164]---> Adder-cost: 202 maxlim: 106496 bits: 18/17 15.18/15.29 c ---[3162]---> Adder-cost: 118 maxlim: 71680 bits: 18/17 15.29/15.30 c ---[3160]---> Adder-cost: 182 maxlim: 90112 bits: 18/17 15.29/15.33 c ---[3158]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 15.29/15.35 c ---[3156]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 15.29/15.36 c ---[3154]---> Adder-cost: 412 maxlim: 206848 bits: 19/18 15.38/15.41 c ---[3152]---> Adder-cost: 114 maxlim: 206848 bits: 19/18 15.38/15.47 c ---[3150]---> Adder-cost: 166 maxlim: 86016 bits: 18/17 15.38/15.49 c ---[3148]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 15.49/15.51 c ---[3146]---> Adder-cost: 204 maxlim: 101376 bits: 18/17 15.49/15.54 c ---[3144]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 15.49/15.56 c ---[3142]---> Adder-cost: 290 maxlim: 143360 bits: 19/18 15.59/15.60 c ---[3140]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 15.59/15.64 c ---[3138]---> Adder-cost: 492 maxlim: 252928 bits: 19/18 15.59/15.70 c ---[3136]---> Adder-cost: 360 maxlim: 181248 bits: 19/18 15.69/15.74 c ---[3134]---> Adder-cost: 126 maxlim: 252928 bits: 19/18 15.79/15.80 c ---[3132]---> Adder-cost: 338 maxlim: 167936 bits: 19/18 15.79/15.84 c ---[3130]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 15.79/15.88 c ---[3128]---> Adder-cost: 306 maxlim: 169984 bits: 19/18 15.89/15.92 c ---[3126]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 15.89/15.97 c ---[3124]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 15.99/16.00 c ---[3122]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 15.99/16.04 c ---[3120]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 15.99/16.06 c ---[3118]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 15.99/16.09 c ---[3116]---> Adder-cost: 202 maxlim: 98304 bits: 18/17 16.09/16.12 c ---[3114]---> Adder-cost: 430 maxlim: 221184 bits: 19/18 16.09/16.17 c ---[3112]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 16.09/16.19 c ---[3110]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 16.19/16.22 c ---[3108]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 16.19/16.24 c ---[3106]---> Adder-cost: 110 maxlim: 60416 bits: 17/16 16.19/16.25 c ---[3104]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 16.19/16.27 c ---[3102]---> Adder-cost: 380 maxlim: 193536 bits: 19/18 16.29/16.31 c ---[3100]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 16.29/16.36 c ---[3098]---> Adder-cost: 492 maxlim: 273408 bits: 20/19 16.39/16.43 c ---[3096]---> Adder-cost: 142 maxlim: 273408 bits: 20/19 16.39/16.50 c ---[3094]---> Adder-cost: 542 maxlim: 271360 bits: 20/19 16.49/16.57 c ---[3092]---> Adder-cost: 116 maxlim: 221184 bits: 19/18 16.59/16.62 c ---[3090]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 16.59/16.69 c ---[3088]---> Adder-cost: 626 maxlim: 318464 bits: 20/19 16.69/16.77 c ---[3086]---> Adder-cost: 152 maxlim: 318464 bits: 20/19 16.79/16.85 c ---[3084]---> Adder-cost: 428 maxlim: 220160 bits: 19/18 16.89/16.90 c ---[3082]---> Adder-cost: 110 maxlim: 220160 bits: 19/18 16.89/16.95 c ---[3080]---> Adder-cost: 400 maxlim: 204800 bits: 19/18 16.99/17.00 c ---[3078]---> Adder-cost: 118 maxlim: 204800 bits: 19/18 16.99/17.05 c ---[3076]---> Adder-cost: 358 maxlim: 190464 bits: 19/18 17.09/17.10 c ---[3074]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 17.09/17.14 c ---[3072]---> Adder-cost: 314 maxlim: 160768 bits: 19/18 17.09/17.18 c ---[3070]---> Adder-cost: 284 maxlim: 142336 bits: 19/18 17.19/17.22 c ---[3068]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 17.19/17.26 c ---[3066]---> Adder-cost: 256 maxlim: 134144 bits: 19/18 17.19/17.30 c ---[3064]---> Adder-cost: 178 maxlim: 131072 bits: 19/18 17.29/17.33 c ---[3062]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 17.29/17.37 c ---[3060]---> Adder-cost: 360 maxlim: 184320 bits: 19/18 17.39/17.41 c ---[3058]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 17.39/17.46 c ---[3056]---> Adder-cost: 932 maxlim: 478208 bits: 20/19 17.49/17.57 c ---[3054]---> Adder-cost: 184 maxlim: 478208 bits: 20/19 17.59/17.68 c ---[3052]---> Adder-cost: 396 maxlim: 219136 bits: 19/18 17.69/17.73 c ---[3050]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 17.69/17.78 c ---[3048]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 17.79/17.82 c ---[3046]---> Adder-cost: 336 maxlim: 173056 bits: 19/18 17.79/17.86 c ---[3044]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 17.89/17.90 c ---[3042]---> Adder-cost: 342 maxlim: 173056 bits: 19/18 17.89/17.95 c ---[3040]---> Adder-cost: 250 maxlim: 176128 bits: 19/18 17.89/17.99 c ---[3038]---> Adder-cost: 422 maxlim: 215040 bits: 19/18 17.99/18.04 c ---[3036]---> Adder-cost: 118 maxlim: 215040 bits: 19/18 17.99/18.09 c ---[3034]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 18.09/18.13 c ---[3032]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 18.09/18.17 c ---[3030]---> Adder-cost: 366 maxlim: 187392 bits: 19/18 18.19/18.21 c ---[3028]---> Adder-cost: 102 maxlim: 187392 bits: 19/18 18.19/18.26 c ---[3026]---> Adder-cost: 282 maxlim: 142336 bits: 19/18 18.19/18.29 c ---[3024]---> Adder-cost: 560 maxlim: 282624 bits: 20/19 18.29/18.37 c ---[3022]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 18.39/18.44 c ---[3020]---> Adder-cost: 396 maxlim: 206848 bits: 19/18 18.39/18.49 c ---[3018]---> Adder-cost: 374 maxlim: 201728 bits: 19/18 18.49/18.54 c ---[3016]---> Adder-cost: 438 maxlim: 240640 bits: 19/18 18.49/18.59 c ---[3014]---> Adder-cost: 120 maxlim: 240640 bits: 19/18 18.59/18.65 c ---[3012]---> Adder-cost: 362 maxlim: 194560 bits: 19/18 18.59/18.70 c ---[3010]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 18.69/18.74 c ---[3008]---> Adder-cost: 312 maxlim: 156672 bits: 19/18 18.69/18.78 c ---[3006]---> Adder-cost: 264 maxlim: 155648 bits: 19/18 18.79/18.82 c ---[3004]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 18.79/18.86 c ---[3002]---> Adder-cost: 336 maxlim: 168960 bits: 19/18 18.89/18.90 c ---[3000]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 18.89/18.94 c ---[2998]---> Adder-cost: 364 maxlim: 184320 bits: 19/18 18.89/18.99 c ---[2996]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 18.99/19.03 c ---[2994]---> Adder-cost: 240 maxlim: 126976 bits: 18/17 18.99/19.06 c ---[2992]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 18.99/19.09 c ---[2990]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 19.09/19.10 c ---[2988]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 19.09/19.12 c ---[2986]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 19.09/19.13 c ---[2984]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 19.09/19.15 c ---[2982]---> Adder-cost: 252 maxlim: 154624 bits: 19/18 19.09/19.19 c ---[2980]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 19.19/19.21 c ---[2978]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 19.19/19.23 c ---[2976]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 19.19/19.24 c ---[2974]---> Adder-cost: 404 maxlim: 202752 bits: 19/18 19.19/19.28 c ---[2972]---> Adder-cost: 112 maxlim: 202752 bits: 19/18 19.29/19.33 c ---[2970]---> Adder-cost: 332 maxlim: 251904 bits: 19/18 19.29/19.39 c ---[2968]---> Adder-cost: 466 maxlim: 240640 bits: 19/18 19.39/19.45 c ---[2966]---> Adder-cost: 126 maxlim: 251904 bits: 19/18 19.49/19.53 c ---[2964]---> Adder-cost: 874 maxlim: 477184 bits: 20/19 19.58/19.64 c ---[2962]---> Adder-cost: 184 maxlim: 477184 bits: 20/19 19.69/19.75 c ---[2960]---> Adder-cost: 876 maxlim: 472064 bits: 20/19 19.79/19.86 c ---[2958]---> Adder-cost: 190 maxlim: 472064 bits: 20/19 19.88/19.97 c ---[2956]---> Adder-cost: 404 maxlim: 239616 bits: 19/18 19.98/20.03 c ---[2954]---> Adder-cost: 1208 maxlim: 663552 bits: 21/20 20.08/20.20 c ---[2952]---> Adder-cost: 234 maxlim: 663552 bits: 21/20 20.28/20.36 c ---[2950]---> Adder-cost: 1068 maxlim: 607232 bits: 21/20 20.48/20.51 c ---[2948]---> Adder-cost: 230 maxlim: 607232 bits: 21/20 20.58/20.67 c ---[2946]---> Adder-cost: 1664 maxlim: 906240 bits: 21/20 20.79/20.89 c ---[2944]---> Adder-cost: 288 maxlim: 178176 bits: 19/18 20.89/20.93 c ---[2942]---> Adder-cost: 282 maxlim: 906240 bits: 21/20 21.08/21.15 c ---[2940]---> Adder-cost: 1996 maxlim: 1088512 bits: 22/21 21.38/21.45 c ---[2938]---> Adder-cost: 1880 maxlim: 1071104 bits: 22/21 21.68/21.74 c ---[2936]---> Adder-cost: 1680 maxlim: 934912 bits: 21/20 21.89/21.96 c ---[2934]---> Adder-cost: 1552 maxlim: 850944 bits: 21/20 22.08/22.17 c ---[2932]---> Adder-cost: 102 maxlim: 178176 bits: 19/18 22.18/22.21 c ---[2930]---> Adder-cost: 1408 maxlim: 828416 bits: 21/20 22.38/22.41 c ---[2928]---> Adder-cost: 1240 maxlim: 706560 bits: 21/20 22.48/22.59 c ---[2926]---> Adder-cost: 964 maxlim: 532480 bits: 21/20 22.68/22.73 c ---[2924]---> Adder-cost: 1018 maxlim: 555008 bits: 21/20 22.78/22.87 c ---[2922]---> Adder-cost: 210 maxlim: 555008 bits: 21/20 22.98/23.02 c ---[2920]---> Adder-cost: 886 maxlim: 499712 bits: 20/19 23.08/23.13 c ---[2918]---> Adder-cost: 424 maxlim: 212992 bits: 19/18 23.08/23.18 c ---[2916]---> Adder-cost: 198 maxlim: 499712 bits: 20/19 23.28/23.30 c ---[2914]---> Adder-cost: 1086 maxlim: 600064 bits: 21/20 23.38/23.45 c ---[2912]---> Adder-cost: 230 maxlim: 600064 bits: 21/20 23.58/23.61 c ---[2910]---> Adder-cost: 1218 maxlim: 658432 bits: 21/20 23.68/23.77 c ---[2908]---> Adder-cost: 240 maxlim: 658432 bits: 21/20 23.88/23.94 c ---[2906]---> Adder-cost: 1304 maxlim: 707584 bits: 21/20 24.08/24.11 c ---[2904]---> Adder-cost: 1014 maxlim: 555008 bits: 21/20 24.18/24.26 c ---[2902]---> Adder-cost: 210 maxlim: 555008 bits: 21/20 24.38/24.40 c ---[2900]---> Adder-cost: 122 maxlim: 212992 bits: 19/18 24.38/24.45 c ---[2898]---> Adder-cost: 698 maxlim: 368640 bits: 20/19 24.48/24.54 c ---[2896]---> Adder-cost: 160 maxlim: 368640 bits: 20/19 24.58/24.63 c ---[2894]---> Adder-cost: 718 maxlim: 408576 bits: 20/19 24.68/24.73 c ---[2892]---> Adder-cost: 170 maxlim: 408576 bits: 20/19 24.78/24.82 c ---[2890]---> Adder-cost: 636 maxlim: 340992 bits: 20/19 24.88/24.91 c ---[2888]---> Adder-cost: 350 maxlim: 184320 bits: 19/18 24.88/24.95 c ---[2886]---> Adder-cost: 152 maxlim: 340992 bits: 20/19 24.98/25.04 c ---[2884]---> Adder-cost: 716 maxlim: 394240 bits: 20/19 25.08/25.13 c ---[2882]---> Adder-cost: 166 maxlim: 394240 bits: 20/19 25.18/25.22 c ---[2880]---> Adder-cost: 612 maxlim: 339968 bits: 20/19 25.28/25.31 c ---[2878]---> Adder-cost: 154 maxlim: 339968 bits: 20/19 25.28/25.39 c ---[2876]---> Adder-cost: 264 maxlim: 154624 bits: 19/18 25.38/25.43 c ---[2874]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 25.38/25.47 c ---[2872]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 25.48/25.51 c ---[2870]---> Adder-cost: 190 maxlim: 105472 bits: 18/17 25.48/25.54 c ---[2868]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 25.48/25.57 c ---[2866]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 25.48/25.58 c ---[2864]---> Adder-cost: 348 maxlim: 174080 bits: 19/18 25.58/25.62 c ---[2862]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 25.58/25.63 c ---[2860]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 25.58/25.64 c ---[2858]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 25.58/25.64 c ---[2856]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 25.58/25.65 c ---[2854]---> Adder-cost: 844 maxlim: 436224 bits: 20/19 25.68/25.75 c ---[2852]---> Adder-cost: 770 maxlim: 447488 bits: 20/19 25.78/25.86 c ---[2850]---> Adder-cost: 546 maxlim: 302080 bits: 20/19 25.88/25.94 c ---[2848]---> Adder-cost: 304 maxlim: 206848 bits: 19/18 25.88/25.98 c ---[2846]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 25.98/26.03 c ---[2844]---> Adder-cost: 472 maxlim: 250880 bits: 19/18 25.98/26.09 c ---[2842]---> Adder-cost: 466 maxlim: 273408 bits: 20/19 26.08/26.16 c ---[2840]---> Adder-cost: 520 maxlim: 285696 bits: 20/19 26.18/26.23 c ---[2838]---> Adder-cost: 568 maxlim: 312320 bits: 20/19 26.29/26.31 c ---[2836]---> Adder-cost: 562 maxlim: 290816 bits: 20/19 26.29/26.39 c ---[2834]---> Adder-cost: 436 maxlim: 281600 bits: 20/19 26.39/26.46 c ---[2832]---> Adder-cost: 278 maxlim: 142336 bits: 19/18 26.39/26.49 c ---[2830]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 26.48/26.52 c ---[2828]---> Adder-cost: 284 maxlim: 141312 bits: 19/18 26.48/26.56 c ---[2826]---> Adder-cost: 284 maxlim: 157696 bits: 19/18 26.58/26.60 c ---[2824]---> Adder-cost: 388 maxlim: 200704 bits: 19/18 26.58/26.65 c ---[2822]---> Adder-cost: 408 maxlim: 227328 bits: 19/18 26.68/26.70 c ---[2820]---> Adder-cost: 414 maxlim: 223232 bits: 19/18 26.68/26.76 c ---[2818]---> Adder-cost: 614 maxlim: 324608 bits: 20/19 26.78/26.84 c ---[2816]---> Adder-cost: 750 maxlim: 453632 bits: 20/19 26.88/26.94 c ---[2814]---> Adder-cost: 676 maxlim: 376832 bits: 20/19 26.98/27.03 c ---[2812]---> Adder-cost: 394 maxlim: 246784 bits: 19/18 26.98/27.09 c ---[2810]---> Adder-cost: 526 maxlim: 262144 bits: 20/19 27.08/27.16 c ---[2808]---> Adder-cost: 434 maxlim: 241664 bits: 19/18 27.18/27.22 c ---[2806]---> Adder-cost: 396 maxlim: 205824 bits: 19/18 27.18/27.27 c ---[2804]---> Adder-cost: 414 maxlim: 222208 bits: 19/18 27.28/27.32 c ---[2802]---> Adder-cost: 116 maxlim: 200704 bits: 19/18 27.28/27.37 c ---[2800]---> Adder-cost: 340 maxlim: 178176 bits: 19/18 27.38/27.42 c ---[2798]---> Adder-cost: 252 maxlim: 145408 bits: 19/18 27.38/27.46 c ---[2796]---> Adder-cost: 216 maxlim: 109568 bits: 18/17 27.38/27.48 c ---[2794]---> Adder-cost: 204 maxlim: 120832 bits: 18/17 27.48/27.51 c ---[2792]---> Adder-cost: 278 maxlim: 147456 bits: 19/18 27.48/27.55 c ---[2790]---> Adder-cost: 94 maxlim: 92160 bits: 18/17 27.48/27.58 c ---[2788]---> Adder-cost: 396 maxlim: 199680 bits: 19/18 27.58/27.62 c ---[2786]---> Adder-cost: 114 maxlim: 199680 bits: 19/18 27.58/27.67 c ---[2784]---> Adder-cost: 516 maxlim: 264192 bits: 20/19 27.68/27.74 c ---[2782]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 27.78/27.81 c ---[2780]---> Adder-cost: 362 maxlim: 182272 bits: 19/18 27.78/27.86 c ---[2778]---> Adder-cost: 376 maxlim: 198656 bits: 19/18 27.88/27.91 c ---[2776]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 27.88/27.96 c ---[2774]---> Adder-cost: 334 maxlim: 171008 bits: 19/18 27.98/28.00 c ---[2772]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 27.98/28.04 c ---[2770]---> Adder-cost: 396 maxlim: 203776 bits: 19/18 27.98/28.09 c ---[2768]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 28.08/28.14 c ---[2766]---> Adder-cost: 402 maxlim: 203776 bits: 19/18 28.08/28.19 c ---[2764]---> Adder-cost: 354 maxlim: 207872 bits: 19/18 28.18/28.24 c ---[2762]---> Adder-cost: 372 maxlim: 190464 bits: 19/18 28.18/28.29 c ---[2760]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 28.28/28.33 c ---[2758]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 28.28/28.38 c ---[2756]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 28.38/28.42 c ---[2754]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 28.38/28.46 c ---[2752]---> Adder-cost: 280 maxlim: 141312 bits: 19/18 28.38/28.50 c ---[2750]---> Adder-cost: 264 maxlim: 139264 bits: 19/18 28.48/28.53 c ---[2748]---> Adder-cost: 344 maxlim: 180224 bits: 19/18 28.48/28.58 c ---[2746]---> Adder-cost: 110 maxlim: 180224 bits: 19/18 28.58/28.63 c ---[2744]---> Adder-cost: 262 maxlim: 132096 bits: 19/18 28.58/28.66 c ---[2742]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 28.58/28.70 c ---[2740]---> Adder-cost: 226 maxlim: 121856 bits: 18/17 28.68/28.73 c ---[2738]---> Adder-cost: 80 maxlim: 121856 bits: 18/17 28.68/28.76 c ---[2736]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 28.78/28.80 c ---[2734]---> Adder-cost: 466 maxlim: 235520 bits: 19/18 28.78/28.86 c ---[2732]---> Adder-cost: 126 maxlim: 235520 bits: 19/18 28.88/28.91 c ---[2730]---> Adder-cost: 332 maxlim: 165888 bits: 19/18 28.88/28.96 c ---[2728]---> Adder-cost: 188 maxlim: 156672 bits: 19/18 28.98/29.00 c ---[2726]---> Adder-cost: 184 maxlim: 90112 bits: 18/17 28.98/29.02 c ---[2724]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 28.98/29.04 c ---[2722]---> Adder-cost: 192 maxlim: 96256 bits: 18/17 28.98/29.07 c ---[2720]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 28.98/29.10 c ---[2718]---> Adder-cost: 208 maxlim: 105472 bits: 18/17 29.08/29.12 c ---[2716]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 29.08/29.15 c ---[2714]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 29.08/29.19 c ---[2712]---> Adder-cost: 228 maxlim: 120832 bits: 18/17 29.18/29.22 c ---[2710]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 29.18/29.26 c ---[2708]---> Adder-cost: 124 maxlim: 64512 bits: 17/16 29.18/29.27 c ---[2706]---> Adder-cost: 50 maxlim: 64512 bits: 17/16 29.18/29.29 c ---[2704]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 29.28/29.30 c ---[2702]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 7 29.28/29.31 c ---[2700]---> Adder-cost: 214 maxlim: 110592 bits: 18/17 29.28/29.34 c ---[2698]---> Adder-cost: 236 maxlim: 129024 bits: 18/17 29.28/29.37 c ---[2696]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 29.38/29.41 c ---[2694]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 29.38/29.43 c ---[2692]---> Adder-cost: 262 maxlim: 144384 bits: 19/18 29.38/29.47 c ---[2690]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 29.38/29.49 c ---[2688]---> Adder-cost: 224 maxlim: 115712 bits: 18/17 29.48/29.52 c ---[2686]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 29.48/29.55 c ---[2684]---> Adder-cost: 434 maxlim: 224256 bits: 19/18 29.58/29.66 c ---[2682]---> Adder-cost: 114 maxlim: 224256 bits: 19/18 29.68/29.71 c ---[2680]---> Adder-cost: 358 maxlim: 186368 bits: 19/18 29.68/29.76 c ---[2678]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 29.77/29.80 c ---[2676]---> Adder-cost: 310 maxlim: 157696 bits: 19/18 29.77/29.84 c ---[2674]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 29.77/29.88 c ---[2672]---> Adder-cost: 340 maxlim: 173056 bits: 19/18 29.87/29.92 c ---[2670]---> Adder-cost: 90 maxlim: 144384 bits: 19/18 29.87/29.96 c ---[2668]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 29.97/30.01 c ---[2666]---> Adder-cost: 150 maxlim: 75776 bits: 18/17 29.97/30.03 c ---[2664]---> Adder-cost: 136 maxlim: 74752 bits: 18/17 29.97/30.05 c ---[2662]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 29.97/30.07 c ---[2660]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 29.97/30.09 c ---[2658]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 30.07/30.10 c ---[2656]---> Adder-cost: 272 maxlim: 133120 bits: 19/18 30.07/30.13 c ---[2654]---> Adder-cost: 244 maxlim: 169984 bits: 19/18 30.07/30.18 c ---[2652]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 30.17/30.22 c ---[2650]---> Adder-cost: 372 maxlim: 191488 bits: 19/18 30.17/30.27 c ---[2648]---> Adder-cost: 204 maxlim: 104448 bits: 18/17 30.17/30.29 c ---[2646]---> Adder-cost: 104 maxlim: 191488 bits: 19/18 30.27/30.34 c ---[2644]---> Adder-cost: 312 maxlim: 160768 bits: 19/18 30.27/30.38 c ---[2642]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 30.37/30.42 c ---[2640]---> Adder-cost: 610 maxlim: 316416 bits: 20/19 30.47/30.50 c ---[2638]---> Adder-cost: 154 maxlim: 316416 bits: 20/19 30.47/30.58 c ---[2636]---> Adder-cost: 516 maxlim: 263168 bits: 20/19 30.57/30.65 c ---[2634]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 30.68/30.72 c ---[2632]---> Adder-cost: 382 maxlim: 198656 bits: 19/18 30.68/30.77 c ---[2630]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 30.78/30.82 c ---[2628]---> Adder-cost: 270 maxlim: 142336 bits: 19/18 30.78/30.86 c ---[2626]---> Adder-cost: 124 maxlim: 71680 bits: 18/17 30.78/30.88 c ---[2624]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 30.87/30.92 c ---[2622]---> Adder-cost: 360 maxlim: 181248 bits: 19/18 30.87/30.96 c ---[2620]---> Adder-cost: 106 maxlim: 181248 bits: 19/18 30.97/31.01 c ---[2618]---> Adder-cost: 532 maxlim: 280576 bits: 20/19 30.97/31.08 c ---[2616]---> Adder-cost: 136 maxlim: 280576 bits: 20/19 31.07/31.15 c ---[2614]---> Adder-cost: 374 maxlim: 196608 bits: 19/18 31.17/31.20 c ---[2612]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 31.17/31.25 c ---[2610]---> Adder-cost: 384 maxlim: 194560 bits: 19/18 31.27/31.30 c ---[2608]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 31.27/31.35 c ---[2606]---> Adder-cost: 222 maxlim: 113664 bits: 18/17 31.27/31.38 c ---[2604]---> Adder-cost: 364 maxlim: 185344 bits: 19/18 31.37/31.42 c ---[2602]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 31.37/31.45 c ---[2600]---> Adder-cost: 174 maxlim: 87040 bits: 18/17 31.37/31.47 c ---[2598]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 31.47/31.50 c ---[2596]---> Adder-cost: 290 maxlim: 145408 bits: 19/18 31.47/31.53 c ---[2594]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 31.47/31.57 c ---[2592]---> Adder-cost: 144 maxlim: 74752 bits: 18/17 31.47/31.59 c ---[2590]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 31.57/31.61 c ---[2588]---> Adder-cost: 240 maxlim: 120832 bits: 18/17 31.57/31.64 c ---[2586]---> Adder-cost: 200 maxlim: 119808 bits: 18/17 31.57/31.67 c ---[2584]---> Adder-cost: 160 maxlim: 84992 bits: 18/17 31.67/31.70 c ---[2582]---> Adder-cost: 394 maxlim: 198656 bits: 19/18 31.67/31.75 c ---[2580]---> Adder-cost: 256 maxlim: 224256 bits: 19/18 31.78/31.80 c ---[2578]---> Adder-cost: 114 maxlim: 224256 bits: 19/18 31.78/31.85 c ---[2576]---> Adder-cost: 286 maxlim: 149504 bits: 19/18 31.78/31.89 c ---[2574]---> Adder-cost: 290 maxlim: 168960 bits: 19/18 31.88/31.94 c ---[2572]---> Adder-cost: 340 maxlim: 172032 bits: 19/18 31.88/31.98 c ---[2570]---> Adder-cost: 102 maxlim: 172032 bits: 19/18 31.97/32.02 c ---[2568]---> Adder-cost: 352 maxlim: 185344 bits: 19/18 31.97/32.07 c ---[2566]---> Adder-cost: 248 maxlim: 154624 bits: 19/18 32.07/32.11 c ---[2564]---> Adder-cost: 208 maxlim: 103424 bits: 18/17 32.07/32.13 c ---[2562]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 32.07/32.16 c ---[2560]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 32.07/32.17 c ---[2558]---> Adder-cost: 558 maxlim: 281600 bits: 20/19 32.17/32.24 c ---[2556]---> Adder-cost: 384 maxlim: 265216 bits: 20/19 32.27/32.31 c ---[2554]---> Adder-cost: 426 maxlim: 232448 bits: 19/18 32.27/32.37 c ---[2552]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 32.37/32.43 c ---[2550]---> Adder-cost: 236 maxlim: 121856 bits: 18/17 32.37/32.46 c ---[2548]---> Adder-cost: 180 maxlim: 94208 bits: 18/17 32.37/32.48 c ---[2546]---> Adder-cost: 250 maxlim: 128000 bits: 18/17 32.47/32.52 c ---[2544]---> Adder-cost: 78 maxlim: 128000 bits: 18/17 32.47/32.55 c ---[2542]---> Adder-cost: 274 maxlim: 138240 bits: 19/18 32.47/32.58 c ---[2540]---> Adder-cost: 134 maxlim: 89088 bits: 18/17 32.57/32.61 c ---[2538]---> Adder-cost: 172 maxlim: 86016 bits: 18/17 32.57/32.63 c ---[2536]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 32.57/32.65 c ---[2534]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 32.57/32.67 c ---[2532]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 32.57/32.68 c ---[2530]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 32.57/32.69 c ---[2528]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 32.68/32.73 c ---[2526]---> Adder-cost: 228 maxlim: 115712 bits: 18/17 32.68/32.76 c ---[2524]---> Adder-cost: 160 maxlim: 118784 bits: 18/17 32.68/32.79 c ---[2522]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 32.78/32.82 c ---[2520]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 32.78/32.84 c ---[2518]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 32.78/32.86 c ---[2516]---> Adder-cost: 288 maxlim: 145408 bits: 19/18 32.89/32.90 c ---[2514]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 32.89/32.93 c ---[2512]---> Adder-cost: 312 maxlim: 156672 bits: 19/18 32.89/32.97 c ---[2510]---> Adder-cost: 96 maxlim: 156672 bits: 19/18 32.98/33.01 c ---[2508]---> Adder-cost: 288 maxlim: 151552 bits: 19/18 32.98/33.05 c ---[2506]---> Adder-cost: 214 maxlim: 107520 bits: 18/17 32.98/33.08 c ---[2504]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 33.08/33.11 c ---[2502]---> Adder-cost: 208 maxlim: 104448 bits: 18/17 33.08/33.13 c ---[2500]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 33.08/33.16 c ---[2498]---> Adder-cost: 234 maxlim: 117760 bits: 18/17 33.08/33.19 c ---[2496]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 33.18/33.22 c ---[2494]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 33.18/33.25 c ---[2492]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 33.18/33.28 c ---[2490]---> Adder-cost: 248 maxlim: 126976 bits: 18/17 33.28/33.31 c ---[2488]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 33.28/33.34 c ---[2486]---> Adder-cost: 242 maxlim: 168960 bits: 19/18 33.28/33.38 c ---[2484]---> Adder-cost: 170 maxlim: 81920 bits: 18/17 33.38/33.41 c ---[2482]---> Adder-cost: 68 maxlim: 81920 bits: 18/17 33.38/33.43 c ---[2480]---> Adder-cost: 136 maxlim: 66560 bits: 18/17 33.38/33.45 c ---[2478]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 33.38/33.46 c ---[2476]---> Adder-cost: 244 maxlim: 122880 bits: 18/17 33.38/33.50 c ---[2474]---> Adder-cost: 286 maxlim: 169984 bits: 19/18 33.48/33.54 c ---[2472]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 33.48/33.58 c ---[2470]---> Adder-cost: 604 maxlim: 318464 bits: 20/19 33.58/33.66 c ---[2468]---> Adder-cost: 152 maxlim: 318464 bits: 20/19 33.68/33.74 c ---[2466]---> Adder-cost: 222 maxlim: 110592 bits: 18/17 33.68/33.77 c ---[2464]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 33.78/33.80 c ---[2462]---> Adder-cost: 328 maxlim: 163840 bits: 19/18 33.78/33.84 c ---[2460]---> Adder-cost: 102 maxlim: 163840 bits: 19/18 33.78/33.89 c ---[2458]---> Adder-cost: 246 maxlim: 122880 bits: 18/17 33.88/33.92 c ---[2456]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 33.88/33.95 c ---[2454]---> Adder-cost: 262 maxlim: 140288 bits: 19/18 33.88/33.99 c ---[2452]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 33.98/34.02 c ---[2450]---> Adder-cost: 224 maxlim: 112640 bits: 18/17 33.98/34.05 c ---[2448]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 33.98/34.08 c ---[2446]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 34.08/34.11 c ---[2444]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 34.08/34.14 c ---[2442]---> Adder-cost: 146 maxlim: 71680 bits: 18/17 34.08/34.16 c ---[2440]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 34.08/34.18 c ---[2438]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 34.18/34.20 c ---[2436]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 34.18/34.21 c ---[2434]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 34.18/34.24 c ---[2432]---> Adder-cost: 412 maxlim: 251904 bits: 19/18 34.28/34.30 c ---[2430]---> Adder-cost: 126 maxlim: 251904 bits: 19/18 34.28/34.37 c ---[2428]---> Adder-cost: 642 maxlim: 325632 bits: 20/19 34.38/34.45 c ---[2426]---> Adder-cost: 654 maxlim: 352256 bits: 20/19 34.48/34.54 c ---[2424]---> Adder-cost: 508 maxlim: 284672 bits: 20/19 34.58/34.61 c ---[2422]---> Adder-cost: 672 maxlim: 380928 bits: 20/19 34.68/34.71 c ---[2420]---> Adder-cost: 552 maxlim: 278528 bits: 20/19 34.68/34.78 c ---[2418]---> Adder-cost: 326 maxlim: 272384 bits: 20/19 34.78/34.85 c ---[2416]---> Adder-cost: 418 maxlim: 221184 bits: 19/18 34.88/34.91 c ---[2414]---> Adder-cost: 312 maxlim: 178176 bits: 19/18 34.88/34.95 c ---[2412]---> Adder-cost: 288 maxlim: 154624 bits: 19/18 34.88/34.99 c ---[2410]---> Adder-cost: 306 maxlim: 166912 bits: 19/18 34.98/35.03 c ---[2408]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 34.98/35.07 c ---[2406]---> Adder-cost: 864 maxlim: 442368 bits: 20/19 35.08/35.18 c ---[2404]---> Adder-cost: 610 maxlim: 482304 bits: 20/19 35.28/35.30 c ---[2402]---> Adder-cost: 820 maxlim: 462848 bits: 20/19 35.38/35.41 c ---[2400]---> Adder-cost: 846 maxlim: 458752 bits: 20/19 35.48/35.52 c ---[2398]---> Adder-cost: 490 maxlim: 269312 bits: 20/19 35.48/35.59 c ---[2396]---> Adder-cost: 312 maxlim: 165888 bits: 19/18 35.58/35.63 c ---[2394]---> Adder-cost: 654 maxlim: 342016 bits: 20/19 35.68/35.72 c ---[2392]---> Adder-cost: 664 maxlim: 344064 bits: 20/19 35.78/35.81 c ---[2390]---> Adder-cost: 566 maxlim: 294912 bits: 20/19 35.78/35.88 c ---[2388]---> Adder-cost: 482 maxlim: 288768 bits: 20/19 35.88/35.96 c ---[2386]---> Adder-cost: 1092 maxlim: 576512 bits: 21/20 36.08/36.11 c ---[2384]---> Adder-cost: 408 maxlim: 215040 bits: 19/18 36.08/36.17 c ---[2382]---> Adder-cost: 330 maxlim: 180224 bits: 19/18 36.18/36.21 c ---[2380]---> Adder-cost: 322 maxlim: 181248 bits: 19/18 36.18/36.26 c ---[2378]---> Adder-cost: 234 maxlim: 133120 bits: 19/18 36.18/36.29 c ---[2376]---> Adder-cost: 356 maxlim: 186368 bits: 19/18 36.28/36.34 c ---[2374]---> Adder-cost: 236 maxlim: 133120 bits: 19/18 36.28/36.37 c ---[2372]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 36.28/36.38 c ---[2370]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 36.28/36.39 c ---[2368]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 36.38/36.40 c ---[2366]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 36.38/36.43 c ---[2364]---> Adder-cost: 634 maxlim: 577536 bits: 21/20 36.48/36.58 c ---[2362]---> Adder-cost: 270 maxlim: 146432 bits: 19/18 36.58/36.62 c ---[2360]---> Adder-cost: 252 maxlim: 167936 bits: 19/18 36.58/36.66 c ---[2358]---> Adder-cost: 276 maxlim: 138240 bits: 19/18 36.68/36.70 c ---[2356]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 36.68/36.74 c ---[2354]---> Adder-cost: 412 maxlim: 207872 bits: 19/18 36.68/36.79 c ---[2352]---> Adder-cost: 464 maxlim: 245760 bits: 19/18 36.78/36.85 c ---[2350]---> Adder-cost: 372 maxlim: 197632 bits: 19/18 36.88/36.90 c ---[2348]---> Adder-cost: 112 maxlim: 197632 bits: 19/18 36.88/36.95 c ---[2346]---> Adder-cost: 378 maxlim: 195584 bits: 19/18 36.88/36.99 c ---[2344]---> Adder-cost: 338 maxlim: 197632 bits: 19/18 36.98/37.04 c ---[2342]---> Adder-cost: 262 maxlim: 136192 bits: 19/18 36.98/37.08 c ---[2340]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 37.08/37.12 c ---[2338]---> Adder-cost: 284 maxlim: 144384 bits: 19/18 37.08/37.15 c ---[2336]---> Adder-cost: 100 maxlim: 116736 bits: 18/17 37.08/37.18 c ---[2334]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 37.18/37.20 c ---[2332]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 37.18/37.21 c ---[2330]---> Adder-cost: 240 maxlim: 120832 bits: 18/17 37.18/37.24 c ---[2328]---> Adder-cost: 304 maxlim: 153600 bits: 19/18 37.18/37.28 c ---[2326]---> Adder-cost: 282 maxlim: 142336 bits: 19/18 37.28/37.32 c ---[2324]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 37.28/37.36 c ---[2322]---> Adder-cost: 358 maxlim: 181248 bits: 19/18 37.38/37.40 c ---[2320]---> Adder-cost: 224 maxlim: 123904 bits: 18/17 37.38/37.43 c ---[2318]---> Adder-cost: 188 maxlim: 97280 bits: 18/17 37.38/37.46 c ---[2316]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 37.38/37.49 c ---[2314]---> Adder-cost: 270 maxlim: 134144 bits: 19/18 37.48/37.52 c ---[2312]---> Adder-cost: 222 maxlim: 117760 bits: 18/17 37.48/37.55 c ---[2310]---> Adder-cost: 154 maxlim: 83968 bits: 18/17 37.48/37.58 c ---[2308]---> Adder-cost: 134 maxlim: 82944 bits: 18/17 37.58/37.60 c ---[2306]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 37.58/37.61 c ---[2304]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 37.58/37.64 c ---[2302]---> Adder-cost: 148 maxlim: 136192 bits: 19/18 37.58/37.68 c ---[2300]---> Adder-cost: 300 maxlim: 171008 bits: 19/18 37.68/37.72 c ---[2298]---> Adder-cost: 308 maxlim: 166912 bits: 19/18 37.68/37.77 c ---[2296]---> Adder-cost: 376 maxlim: 194560 bits: 19/18 37.78/37.82 c ---[2294]---> Adder-cost: 406 maxlim: 224256 bits: 19/18 37.78/37.87 c ---[2292]---> Adder-cost: 418 maxlim: 218112 bits: 19/18 37.88/37.92 c ---[2290]---> Adder-cost: 506 maxlim: 284672 bits: 20/19 37.98/38.00 c ---[2288]---> Adder-cost: 376 maxlim: 190464 bits: 19/18 37.98/38.05 c ---[2286]---> Adder-cost: 346 maxlim: 215040 bits: 19/18 38.08/38.10 c ---[2284]---> Adder-cost: 290 maxlim: 146432 bits: 19/18 38.08/38.14 c ---[2282]---> Adder-cost: 218 maxlim: 577536 bits: 21/20 38.18/38.29 c ---[2280]---> Adder-cost: 268 maxlim: 135168 bits: 19/18 38.28/38.33 c ---[2278]---> Adder-cost: 456 maxlim: 231424 bits: 19/18 38.28/38.38 c ---[2276]---> Adder-cost: 412 maxlim: 215040 bits: 19/18 38.38/38.44 c ---[2274]---> Adder-cost: 454 maxlim: 259072 bits: 19/18 38.48/38.50 c ---[2272]---> Adder-cost: 480 maxlim: 281600 bits: 20/19 38.48/38.58 c ---[2270]---> Adder-cost: 410 maxlim: 210944 bits: 19/18 38.58/38.63 c ---[2268]---> Adder-cost: 302 maxlim: 203776 bits: 19/18 38.58/38.68 c ---[2266]---> Adder-cost: 302 maxlim: 171008 bits: 19/18 38.68/38.72 c ---[2264]---> Adder-cost: 208 maxlim: 116736 bits: 18/17 38.68/38.75 c ---[2262]---> Adder-cost: 1136 maxlim: 701440 bits: 21/20 38.88/38.93 c ---[2260]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 38.88/38.94 c ---[2258]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 38.88/38.95 c ---[2256]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 38.88/38.96 c ---[2254]---> Adder-cost: 168 maxlim: 88064 bits: 18/17 38.88/38.99 c ---[2252]---> Adder-cost: 366 maxlim: 194560 bits: 19/18 38.97/39.03 c ---[2250]---> Adder-cost: 284 maxlim: 156672 bits: 19/18 38.97/39.07 c ---[2248]---> Adder-cost: 194 maxlim: 112640 bits: 18/17 39.07/39.10 c ---[2246]---> Adder-cost: 194 maxlim: 109568 bits: 18/17 39.07/39.13 c ---[2244]---> Adder-cost: 204 maxlim: 111616 bits: 18/17 39.07/39.16 c ---[2242]---> Adder-cost: 106 maxlim: 71680 bits: 18/17 39.07/39.18 c ---[2240]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 39.27/39.36 c ---[2238]---> Adder-cost: 216 maxlim: 107520 bits: 18/17 39.27/39.38 c ---[2236]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 39.37/39.41 c ---[2234]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 39.37/39.44 c ---[2232]---> Adder-cost: 80 maxlim: 119808 bits: 18/17 39.37/39.47 c ---[2230]---> Adder-cost: 288 maxlim: 144384 bits: 19/18 39.48/39.51 c ---[2228]---> Adder-cost: 90 maxlim: 144384 bits: 19/18 39.48/39.55 c ---[2226]---> Adder-cost: 348 maxlim: 183296 bits: 19/18 39.48/39.59 c ---[2224]---> Adder-cost: 104 maxlim: 183296 bits: 19/18 39.58/39.64 c ---[2222]---> Adder-cost: 428 maxlim: 219136 bits: 19/18 39.58/39.69 c ---[2220]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 39.67/39.75 c ---[2218]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 39.87/39.93 c ---[2216]---> Adder-cost: 420 maxlim: 218112 bits: 19/18 39.87/39.98 c ---[2214]---> Adder-cost: 396 maxlim: 222208 bits: 19/18 39.97/40.03 c ---[2212]---> Adder-cost: 492 maxlim: 257024 bits: 19/18 40.07/40.10 c ---[2210]---> Adder-cost: 132 maxlim: 257024 bits: 19/18 40.07/40.16 c ---[2208]---> Adder-cost: 362 maxlim: 190464 bits: 19/18 40.17/40.21 c ---[2206]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 40.17/40.26 c ---[2204]---> Adder-cost: 954 maxlim: 504832 bits: 20/19 40.27/40.38 c ---[2202]---> Adder-cost: 190 maxlim: 504832 bits: 20/19 40.47/40.50 c ---[2200]---> Adder-cost: 536 maxlim: 277504 bits: 20/19 40.47/40.58 c ---[2198]---> Adder-cost: 136 maxlim: 277504 bits: 20/19 40.58/40.65 c ---[2196]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 40.77/40.83 c ---[2194]---> Adder-cost: 694 maxlim: 356352 bits: 20/19 40.87/40.92 c ---[2192]---> Adder-cost: 156 maxlim: 356352 bits: 20/19 40.97/41.01 c ---[2190]---> Adder-cost: 668 maxlim: 342016 bits: 20/19 40.97/41.10 c ---[2188]---> Adder-cost: 152 maxlim: 342016 bits: 20/19 41.07/41.18 c ---[2186]---> Adder-cost: 544 maxlim: 274432 bits: 20/19 41.17/41.25 c ---[2184]---> Adder-cost: 148 maxlim: 274432 bits: 20/19 41.27/41.33 c ---[2182]---> Adder-cost: 376 maxlim: 194560 bits: 19/18 41.27/41.38 c ---[2180]---> Adder-cost: 282 maxlim: 173056 bits: 19/18 41.37/41.42 c ---[2178]---> Adder-cost: 292 maxlim: 152576 bits: 19/18 41.37/41.46 c ---[2176]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 41.47/41.50 c ---[2174]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 41.57/41.68 c ---[2172]---> Adder-cost: 118 maxlim: 62464 bits: 17/16 41.57/41.69 c ---[2170]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 41.68/41.71 c ---[2168]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 41.68/41.72 c ---[2166]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 41.68/41.72 c ---[2164]---> Adder-cost: 206 maxlim: 102400 bits: 18/17 41.68/41.75 c ---[2162]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 41.68/41.78 c ---[2160]---> Adder-cost: 144 maxlim: 86016 bits: 18/17 41.68/41.80 c ---[2158]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 41.78/41.82 c ---[2156]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 41.78/41.84 c ---[2154]---> Adder-cost: 182 maxlim: 102400 bits: 18/17 41.78/41.87 c ---[2152]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 41.97/42.05 c ---[2150]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 41.97/42.08 c ---[2148]---> Adder-cost: 214 maxlim: 117760 bits: 18/17 42.07/42.11 c ---[2146]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 42.07/42.14 c ---[2144]---> Adder-cost: 310 maxlim: 159744 bits: 19/18 42.07/42.18 c ---[2142]---> Adder-cost: 94 maxlim: 159744 bits: 19/18 42.17/42.22 c ---[2140]---> Adder-cost: 442 maxlim: 234496 bits: 19/18 42.17/42.28 c ---[2138]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 42.27/42.33 c ---[2136]---> Adder-cost: 344 maxlim: 179200 bits: 19/18 42.27/42.38 c ---[2134]---> Adder-cost: 100 maxlim: 179200 bits: 19/18 42.37/42.42 c ---[2132]---> Adder-cost: 418 maxlim: 218112 bits: 19/18 42.37/42.48 c ---[2130]---> Adder-cost: 502 maxlim: 269312 bits: 20/19 42.47/42.55 c ---[2128]---> Adder-cost: 116 maxlim: 218112 bits: 19/18 42.57/42.60 c ---[2126]---> Adder-cost: 500 maxlim: 258048 bits: 19/18 42.57/42.67 c ---[2124]---> Adder-cost: 126 maxlim: 258048 bits: 19/18 42.67/42.73 c ---[2122]---> Adder-cost: 322 maxlim: 195584 bits: 19/18 42.67/42.78 c ---[2120]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 42.78/42.83 c ---[2118]---> Adder-cost: 168 maxlim: 81920 bits: 18/17 42.78/42.85 c ---[2116]---> Adder-cost: 110 maxlim: 84992 bits: 18/17 42.78/42.87 c ---[2114]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 42.78/42.89 c ---[2112]---> Adder-cost: 200 maxlim: 98304 bits: 18/17 42.88/42.92 c ---[2110]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 42.88/42.95 c ---[2108]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 42.97/43.02 c ---[2106]---> Adder-cost: 250 maxlim: 129024 bits: 18/17 42.97/43.05 c ---[2104]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 42.97/43.08 c ---[2102]---> Adder-cost: 332 maxlim: 164864 bits: 19/18 43.07/43.12 c ---[2100]---> Adder-cost: 100 maxlim: 164864 bits: 19/18 43.07/43.17 c ---[2098]---> Adder-cost: 566 maxlim: 291840 bits: 20/19 43.17/43.24 c ---[2096]---> Adder-cost: 146 maxlim: 291840 bits: 20/19 43.27/43.32 c ---[2094]---> Adder-cost: 396 maxlim: 210944 bits: 19/18 43.27/43.37 c ---[2092]---> Adder-cost: 262 maxlim: 204800 bits: 19/18 43.37/43.42 c ---[2090]---> Adder-cost: 432 maxlim: 220160 bits: 19/18 43.37/43.47 c ---[2088]---> Adder-cost: 110 maxlim: 220160 bits: 19/18 43.47/43.53 c ---[2086]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 43.57/43.60 c ---[2084]---> Adder-cost: 206 maxlim: 103424 bits: 18/17 43.57/43.63 c ---[2082]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 43.57/43.65 c ---[2080]---> Adder-cost: 272 maxlim: 135168 bits: 19/18 43.57/43.69 c ---[2078]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 43.67/43.73 c ---[2076]---> Adder-cost: 180 maxlim: 90112 bits: 18/17 43.67/43.75 c ---[2074]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 43.67/43.77 c ---[2072]---> Adder-cost: 184 maxlim: 91136 bits: 18/17 43.77/43.80 c ---[2070]---> Adder-cost: 116 maxlim: 84992 bits: 18/17 43.77/43.82 c ---[2068]---> Adder-cost: 300 maxlim: 152576 bits: 19/18 43.77/43.86 c ---[2066]---> Adder-cost: 194 maxlim: 171008 bits: 19/18 43.87/43.90 c ---[2064]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 43.87/43.97 c ---[2062]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 43.97/44.02 c ---[2060]---> Adder-cost: 274 maxlim: 136192 bits: 19/18 43.97/44.05 c ---[2058]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 43.97/44.09 c ---[2056]---> Adder-cost: 182 maxlim: 93184 bits: 18/17 44.07/44.12 c ---[2054]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 44.07/44.14 c ---[2052]---> Adder-cost: 412 maxlim: 209920 bits: 19/18 44.07/44.19 c ---[2050]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 44.17/44.24 c ---[2048]---> Adder-cost: 396 maxlim: 201728 bits: 19/18 44.17/44.29 c ---[2046]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 44.27/44.34 c ---[2044]---> Adder-cost: 628 maxlim: 338944 bits: 20/19 44.37/44.43 c ---[2042]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 44.47/44.50 c ---[2040]---> Adder-cost: 156 maxlim: 338944 bits: 20/19 44.47/44.59 c ---[2038]---> Adder-cost: 268 maxlim: 131072 bits: 19/18 44.57/44.62 c ---[2036]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 44.57/44.66 c ---[2034]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 44.57/44.69 c ---[2032]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 44.67/44.73 c ---[2030]---> Adder-cost: 300 maxlim: 158720 bits: 19/18 44.67/44.77 c ---[2028]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 44.77/44.81 c ---[2026]---> Adder-cost: 236 maxlim: 120832 bits: 18/17 44.77/44.85 c ---[2024]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 44.77/44.88 c ---[2022]---> Adder-cost: 192 maxlim: 96256 bits: 18/17 44.87/44.90 c ---[2020]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 44.87/44.97 c ---[2018]---> Adder-cost: 158 maxlim: 91136 bits: 18/17 44.87/45.00 c ---[2016]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 44.97/45.02 c ---[2014]---> Adder-cost: 156 maxlim: 92160 bits: 18/17 44.97/45.04 c ---[2012]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 44.97/45.07 c ---[2010]---> Adder-cost: 524 maxlim: 296960 bits: 20/19 45.07/45.14 c ---[2008]---> Adder-cost: 790 maxlim: 508928 bits: 20/19 45.17/45.27 c ---[2006]---> Adder-cost: 896 maxlim: 475136 bits: 20/19 45.27/45.38 c ---[2004]---> Adder-cost: 610 maxlim: 342016 bits: 20/19 45.37/45.47 c ---[2002]---> Adder-cost: 432 maxlim: 238592 bits: 19/18 45.47/45.53 c ---[2000]---> Adder-cost: 474 maxlim: 262144 bits: 20/19 45.57/45.60 c ---[1998]---> Adder-cost: 504 maxlim: 262144 bits: 20/19 45.57/45.67 c ---[1996]---> Adder-cost: 250 maxlim: 129024 bits: 18/17 45.67/45.71 c ---[1994]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 45.67/45.73 c ---[1992]---> Adder-cost: 218 maxlim: 131072 bits: 19/18 45.67/45.76 c ---[1990]---> Adder-cost: 564 maxlim: 283648 bits: 20/19 45.77/45.84 c ---[1988]---> Adder-cost: 544 maxlim: 278528 bits: 20/19 45.87/45.91 c ---[1986]---> Adder-cost: 430 maxlim: 248832 bits: 19/18 45.87/45.97 c ---[1984]---> Adder-cost: 356 maxlim: 224256 bits: 19/18 45.97/46.03 c ---[1982]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 45.97/46.10 c ---[1980]---> Adder-cost: 626 maxlim: 322560 bits: 20/19 46.07/46.18 c ---[1978]---> Adder-cost: 600 maxlim: 359424 bits: 20/19 46.17/46.27 c ---[1976]---> Adder-cost: 526 maxlim: 305152 bits: 20/19 46.27/46.35 c ---[1974]---> Adder-cost: 320 maxlim: 188416 bits: 19/18 46.27/46.40 c ---[1972]---> Adder-cost: 526 maxlim: 272384 bits: 20/19 46.37/46.47 c ---[1970]---> Adder-cost: 446 maxlim: 243712 bits: 19/18 46.47/46.53 c ---[1968]---> Adder-cost: 350 maxlim: 202752 bits: 19/18 46.47/46.58 c ---[1966]---> Adder-cost: 208 maxlim: 120832 bits: 18/17 46.57/46.61 c ---[1964]---> Adder-cost: 266 maxlim: 144384 bits: 19/18 46.57/46.65 c ---[1962]---> Adder-cost: 126 maxlim: 98304 bits: 18/17 46.57/46.68 c ---[1960]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 46.67/46.75 c ---[1958]---> Adder-cost: 190 maxlim: 94208 bits: 18/17 46.67/46.77 c ---[1956]---> Adder-cost: 186 maxlim: 104448 bits: 18/17 46.76/46.80 c ---[1954]---> Adder-cost: 286 maxlim: 181248 bits: 19/18 46.76/46.84 c ---[1952]---> Adder-cost: 272 maxlim: 179200 bits: 19/18 46.76/46.89 c ---[1950]---> Adder-cost: 310 maxlim: 161792 bits: 19/18 46.86/46.93 c ---[1948]---> Adder-cost: 376 maxlim: 215040 bits: 19/18 46.86/46.98 c ---[1946]---> Adder-cost: 254 maxlim: 144384 bits: 19/18 46.96/47.02 c ---[1944]---> Adder-cost: 200 maxlim: 131072 bits: 19/18 46.96/47.06 c ---[1942]---> Adder-cost: 332 maxlim: 167936 bits: 19/18 47.06/47.10 c ---[1940]---> Adder-cost: 274 maxlim: 156672 bits: 19/18 47.06/47.14 c ---[1938]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 47.27/47.32 c ---[1936]---> Adder-cost: 318 maxlim: 163840 bits: 19/18 47.27/47.36 c ---[1934]---> Adder-cost: 350 maxlim: 193536 bits: 19/18 47.37/47.41 c ---[1932]---> Adder-cost: 382 maxlim: 233472 bits: 19/18 47.37/47.47 c ---[1930]---> Adder-cost: 462 maxlim: 283648 bits: 20/19 47.47/47.54 c ---[1928]---> Adder-cost: 520 maxlim: 300032 bits: 20/19 47.57/47.62 c ---[1926]---> Adder-cost: 394 maxlim: 208896 bits: 19/18 47.57/47.67 c ---[1924]---> Adder-cost: 692 maxlim: 377856 bits: 20/19 47.67/47.76 c ---[1922]---> Adder-cost: 630 maxlim: 339968 bits: 20/19 47.77/47.85 c ---[1920]---> Adder-cost: 572 maxlim: 358400 bits: 20/19 47.87/47.94 c ---[1918]---> Adder-cost: 508 maxlim: 286720 bits: 20/19 47.97/48.02 c ---[1916]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 47.97/48.09 c ---[1914]---> Adder-cost: 404 maxlim: 210944 bits: 19/18 48.07/48.14 c ---[1912]---> Adder-cost: 250 maxlim: 162816 bits: 19/18 48.07/48.18 c ---[1910]---> Adder-cost: 188 maxlim: 95232 bits: 18/17 48.17/48.20 c ---[1908]---> Adder-cost: 194 maxlim: 107520 bits: 18/17 48.17/48.23 c ---[1906]---> Adder-cost: 368 maxlim: 192512 bits: 19/18 48.17/48.28 c ---[1904]---> Adder-cost: 236 maxlim: 130048 bits: 18/17 48.27/48.31 c ---[1902]---> Adder-cost: 150 maxlim: 82944 bits: 18/17 48.27/48.34 c ---[1900]---> Adder-cost: 156 maxlim: 80896 bits: 18/17 48.27/48.36 c ---[1898]---> Adder-cost: 184 maxlim: 92160 bits: 18/17 48.27/48.38 c ---[1896]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 48.27/48.39 c ---[1894]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 48.37/48.47 c ---[1892]---> Adder-cost: 284 maxlim: 140288 bits: 19/18 48.46/48.50 c ---[1890]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 48.46/48.54 c ---[1888]---> Adder-cost: 344 maxlim: 178176 bits: 19/18 48.46/48.58 c ---[1886]---> Adder-cost: 102 maxlim: 178176 bits: 19/18 48.56/48.63 c ---[1884]---> Adder-cost: 288 maxlim: 143360 bits: 19/18 48.56/48.67 c ---[1882]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 48.66/48.70 c ---[1880]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 48.66/48.74 c ---[1878]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 48.66/48.78 c ---[1876]---> Adder-cost: 240 maxlim: 122880 bits: 18/17 48.76/48.81 c ---[1874]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 48.76/48.84 c ---[1872]---> Adder-cost: 448 maxlim: 241664 bits: 19/18 48.86/48.90 c ---[1870]---> Adder-cost: 96 maxlim: 52224 bits: 17/16 48.86/48.91 c ---[1868]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 48.86/48.93 c ---[1866]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 48.86/48.96 c ---[1864]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 48.86/48.99 c ---[1862]---> Adder-cost: 362 maxlim: 187392 bits: 19/18 48.96/49.04 c ---[1860]---> Adder-cost: 340 maxlim: 188416 bits: 19/18 48.96/49.09 c ---[1858]---> Adder-cost: 376 maxlim: 190464 bits: 19/18 49.06/49.14 c ---[1856]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 49.06/49.19 c ---[1854]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 49.16/49.23 c ---[1852]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 49.16/49.28 c ---[1850]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 49.26/49.34 c ---[1848]---> Adder-cost: 198 maxlim: 100352 bits: 18/17 49.26/49.36 c ---[1846]---> Adder-cost: 122 maxlim: 97280 bits: 18/17 49.26/49.39 c ---[1844]---> Adder-cost: 96 maxlim: 54272 bits: 17/16 49.37/49.40 c ---[1842]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 49.37/49.42 c ---[1840]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 49.37/49.43 c ---[1838]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 49.37/49.44 c ---[1836]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 49.37/49.45 c ---[1834]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 49.37/49.46 c ---[1832]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 49.37/49.47 c ---[1830]---> Adder-cost: 270 maxlim: 134144 bits: 19/18 49.46/49.50 c ---[1828]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 49.46/49.54 c ---[1826]---> Adder-cost: 232 maxlim: 118784 bits: 18/17 49.46/49.57 c ---[1824]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 49.56/49.60 c ---[1822]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 49.56/49.63 c ---[1820]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 49.56/49.66 c ---[1818]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 49.56/49.68 c ---[1816]---> Adder-cost: 150 maxlim: 74752 bits: 18/17 49.66/49.70 c ---[1814]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 49.66/49.72 c ---[1812]---> Adder-cost: 330 maxlim: 165888 bits: 19/18 49.66/49.76 c ---[1810]---> Adder-cost: 262 maxlim: 166912 bits: 19/18 49.76/49.80 c ---[1808]---> Adder-cost: 522 maxlim: 263168 bits: 20/19 49.76/49.88 c ---[1806]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 49.86/49.95 c ---[1804]---> Adder-cost: 316 maxlim: 164864 bits: 19/18 49.86/49.99 c ---[1802]---> Adder-cost: 100 maxlim: 164864 bits: 19/18 49.96/50.03 c ---[1800]---> Adder-cost: 218 maxlim: 123904 bits: 18/17 49.96/50.06 c ---[1798]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 49.96/50.10 c ---[1796]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 50.06/50.12 c ---[1794]---> Adder-cost: 178 maxlim: 109568 bits: 18/17 50.06/50.15 c ---[1792]---> Adder-cost: 212 maxlim: 110592 bits: 18/17 50.06/50.18 c ---[1790]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 50.16/50.21 c ---[1788]---> Adder-cost: 350 maxlim: 177152 bits: 19/18 50.16/50.25 c ---[1786]---> Adder-cost: 100 maxlim: 177152 bits: 19/18 50.26/50.30 c ---[1784]---> Adder-cost: 244 maxlim: 129024 bits: 18/17 50.26/50.33 c ---[1782]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 50.26/50.37 c ---[1780]---> Adder-cost: 278 maxlim: 142336 bits: 19/18 50.36/50.40 c ---[1778]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 50.36/50.44 c ---[1776]---> Adder-cost: 188 maxlim: 97280 bits: 18/17 50.36/50.47 c ---[1774]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 50.36/50.49 c ---[1772]---> Adder-cost: 244 maxlim: 126976 bits: 18/17 50.46/50.53 c ---[1770]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 50.46/50.56 c ---[1768]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 50.56/50.62 c ---[1766]---> Adder-cost: 206 maxlim: 104448 bits: 18/17 50.56/50.64 c ---[1764]---> Adder-cost: 176 maxlim: 93184 bits: 18/17 50.56/50.67 c ---[1762]---> Adder-cost: 90 maxlim: 54272 bits: 17/16 50.56/50.68 c ---[1760]---> Adder-cost: 376 maxlim: 188416 bits: 19/18 50.66/50.73 c ---[1758]---> Adder-cost: 106 maxlim: 188416 bits: 19/18 50.66/50.78 c ---[1756]---> Adder-cost: 274 maxlim: 135168 bits: 19/18 50.76/50.81 c ---[1754]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 50.76/50.85 c ---[1752]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 50.76/50.89 c ---[1750]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 50.86/50.92 c ---[1748]---> Adder-cost: 270 maxlim: 132096 bits: 19/18 50.86/50.96 c ---[1746]---> Adder-cost: 584 maxlim: 307200 bits: 20/19 50.96/51.04 c ---[1744]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 50.96/51.08 c ---[1742]---> Adder-cost: 138 maxlim: 80896 bits: 18/17 51.06/51.10 c ---[1740]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 51.06/51.12 c ---[1738]---> Adder-cost: 288 maxlim: 145408 bits: 19/18 51.06/51.16 c ---[1736]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 51.06/51.20 c ---[1734]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 51.16/51.24 c ---[1732]---> Adder-cost: 372 maxlim: 194560 bits: 19/18 51.16/51.28 c ---[1730]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 51.26/51.33 c ---[1728]---> Adder-cost: 244 maxlim: 123904 bits: 18/17 51.26/51.36 c ---[1726]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 51.26/51.40 c ---[1724]---> Adder-cost: 146 maxlim: 307200 bits: 20/19 51.36/51.48 c ---[1722]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 51.46/51.51 c ---[1720]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 51.46/51.54 c ---[1718]---> Adder-cost: 130 maxlim: 68608 bits: 18/17 51.46/51.56 c ---[1716]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 51.46/51.58 c ---[1714]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 51.46/51.60 c ---[1712]---> Adder-cost: 128 maxlim: 84992 bits: 18/17 51.56/51.62 c ---[1710]---> Adder-cost: 414 maxlim: 210944 bits: 19/18 51.56/51.68 c ---[1708]---> Adder-cost: 380 maxlim: 197632 bits: 19/18 51.66/51.73 c ---[1706]---> Adder-cost: 194 maxlim: 112640 bits: 18/17 51.66/51.75 c ---[1704]---> Adder-cost: 138 maxlim: 83968 bits: 18/17 51.66/51.78 c ---[1702]---> Adder-cost: 202 maxlim: 104448 bits: 18/17 51.76/51.81 c ---[1700]---> Adder-cost: 252 maxlim: 129024 bits: 18/17 51.76/51.84 c ---[1698]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 51.76/51.87 c ---[1696]---> Adder-cost: 362 maxlim: 186368 bits: 19/18 51.86/51.92 c ---[1694]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 51.86/51.97 c ---[1692]---> Adder-cost: 284 maxlim: 139264 bits: 19/18 51.96/52.00 c ---[1690]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 51.96/52.04 c ---[1688]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 51.96/52.08 c ---[1686]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 52.06/52.11 c ---[1684]---> Adder-cost: 326 maxlim: 168960 bits: 19/18 52.06/52.16 c ---[1682]---> Adder-cost: 298 maxlim: 166912 bits: 19/18 52.16/52.20 c ---[1680]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 52.16/52.21 c ---[1678]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 52.16/52.23 c ---[1676]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 52.16/52.24 c ---[1674]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 52.16/52.26 c ---[1672]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 52.16/52.27 c ---[1670]---> Adder-cost: 234 maxlim: 117760 bits: 18/17 52.26/52.30 c ---[1668]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 52.26/52.33 c ---[1666]---> Adder-cost: 136 maxlim: 66560 bits: 18/17 52.26/52.35 c ---[1664]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 52.26/52.37 c ---[1662]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 52.26/52.39 c ---[1660]---> Adder-cost: 144 maxlim: 70656 bits: 18/17 52.35/52.41 c ---[1658]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 52.35/52.43 c ---[1656]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 52.35/52.45 c ---[1654]---> Adder-cost: 244 maxlim: 125952 bits: 18/17 52.35/52.48 c ---[1652]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 52.45/52.52 c ---[1650]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 52.45/52.53 c ---[1648]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 52.45/52.54 c ---[1646]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 52.45/52.55 c ---[1644]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 52.45/52.56 c ---[1642]---> Adder-cost: 146 maxlim: 307200 bits: 20/19 52.55/52.64 c ---[1640]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 52.55/52.64 c ---[1638]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 52.55/52.65 c ---[1636]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 52.55/52.67 c ---[1634]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 52.55/52.68 c ---[1632]---> Adder-cost: 570 maxlim: 287744 bits: 20/19 52.65/52.76 c ---[1630]---> Adder-cost: 150 maxlim: 287744 bits: 20/19 52.75/52.83 c ---[1628]---> Adder-cost: 818 maxlim: 435200 bits: 20/19 52.85/52.94 c ---[1626]---> Adder-cost: 182 maxlim: 435200 bits: 20/19 52.95/53.05 c ---[1624]---> Adder-cost: 796 maxlim: 408576 bits: 20/19 53.05/53.15 c ---[1622]---> Adder-cost: 170 maxlim: 408576 bits: 20/19 53.15/53.25 c ---[1620]---> Adder-cost: 1024 maxlim: 553984 bits: 21/20 53.35/53.40 c ---[1618]---> Adder-cost: 360 maxlim: 185344 bits: 19/18 53.35/53.45 c ---[1616]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 53.35/53.49 c ---[1614]---> Adder-cost: 394 maxlim: 228352 bits: 19/18 53.45/53.55 c ---[1612]---> Adder-cost: 412 maxlim: 227328 bits: 19/18 53.55/53.61 c ---[1610]---> Adder-cost: 332 maxlim: 193536 bits: 19/18 53.55/53.65 c ---[1608]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 53.65/53.70 c ---[1606]---> Adder-cost: 284 maxlim: 139264 bits: 19/18 53.65/53.74 c ---[1604]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 53.65/53.78 c ---[1602]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 53.65/53.79 c ---[1600]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 53.75/53.80 c ---[1598]---> Adder-cost: 630 maxlim: 528384 bits: 21/20 53.85/53.95 c ---[1596]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 53.85/53.96 c ---[1594]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 53.85/53.97 c ---[1592]---> Adder-cost: 166 maxlim: 81920 bits: 18/17 53.85/53.99 c ---[1590]---> Adder-cost: 68 maxlim: 81920 bits: 18/17 53.95/54.01 c ---[1588]---> Adder-cost: 98 maxlim: 56320 bits: 17/16 53.95/54.03 c ---[1586]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 53.95/54.04 c ---[1584]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 53.95/54.05 c ---[1582]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 53.95/54.06 c ---[1580]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 53.95/54.07 c ---[1578]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 53.95/54.08 c ---[1576]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 54.15/54.23 c ---[1574]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 54.15/54.25 c ---[1572]---> Adder-cost: 186 maxlim: 108544 bits: 18/17 54.15/54.27 c ---[1570]---> Adder-cost: 494 maxlim: 250880 bits: 19/18 54.25/54.34 c ---[1568]---> Adder-cost: 440 maxlim: 258048 bits: 19/18 54.35/54.40 c ---[1566]---> Adder-cost: 224 maxlim: 116736 bits: 18/17 54.35/54.43 c ---[1564]---> Adder-cost: 182 maxlim: 106496 bits: 18/17 54.35/54.46 c ---[1562]---> Adder-cost: 172 maxlim: 88064 bits: 18/17 54.35/54.48 c ---[1560]---> Adder-cost: 222 maxlim: 110592 bits: 18/17 54.45/54.51 c ---[1558]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 54.45/54.54 c ---[1556]---> Adder-cost: 252 maxlim: 130048 bits: 18/17 54.45/54.58 c ---[1554]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 54.65/54.72 c ---[1552]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 54.65/54.76 c ---[1550]---> Adder-cost: 536 maxlim: 271360 bits: 20/19 54.75/54.83 c ---[1548]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 54.86/54.90 c ---[1546]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 54.86/54.98 c ---[1544]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 54.96/55.05 c ---[1542]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 54.96/55.07 c ---[1540]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 54.96/55.08 c ---[1538]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 54.96/55.09 c ---[1536]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 55.05/55.10 c ---[1534]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 55.05/55.11 c ---[1532]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 55.15/55.26 c ---[1530]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 55.15/55.27 c ---[1528]---> Adder-cost: 228 maxlim: 115712 bits: 18/17 55.25/55.30 c ---[1526]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 55.25/55.33 c ---[1524]---> Adder-cost: 84 maxlim: 51200 bits: 17/16 55.25/55.35 c ---[1522]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 55.25/55.36 c ---[1520]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 55.25/55.37 c ---[1518]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 55.25/55.39 c ---[1516]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 55.35/55.41 c ---[1514]---> Adder-cost: 666 maxlim: 344064 bits: 20/19 55.45/55.50 c ---[1512]---> Adder-cost: 552 maxlim: 326656 bits: 20/19 55.45/55.59 c ---[1510]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 55.65/55.74 c ---[1508]---> Adder-cost: 510 maxlim: 290816 bits: 20/19 55.75/55.81 c ---[1506]---> Adder-cost: 146 maxlim: 290816 bits: 20/19 55.75/55.89 c ---[1504]---> Adder-cost: 488 maxlim: 254976 bits: 19/18 55.85/55.95 c ---[1502]---> Adder-cost: 276 maxlim: 193536 bits: 19/18 55.96/56.00 c ---[1500]---> Adder-cost: 240 maxlim: 136192 bits: 19/18 55.96/56.04 c ---[1498]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 55.96/56.08 c ---[1496]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 55.96/56.09 c ---[1494]---> Adder-cost: 230 maxlim: 116736 bits: 18/17 56.06/56.12 c ---[1492]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 56.06/56.15 c ---[1490]---> Adder-cost: 220 maxlim: 110592 bits: 18/17 56.06/56.18 c ---[1488]---> Adder-cost: 560 maxlim: 349184 bits: 20/19 56.15/56.27 c ---[1486]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 56.25/56.30 c ---[1484]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 56.25/56.33 c ---[1482]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 56.25/56.35 c ---[1480]---> Adder-cost: 488 maxlim: 253952 bits: 19/18 56.35/56.41 c ---[1478]---> Adder-cost: 132 maxlim: 253952 bits: 19/18 56.35/56.48 c ---[1476]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 56.45/56.50 c ---[1474]---> Adder-cost: 196 maxlim: 100352 bits: 18/17 56.45/56.52 c ---[1472]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 56.45/56.55 c ---[1470]---> Adder-cost: 466 maxlim: 237568 bits: 19/18 56.55/56.61 c ---[1468]---> Adder-cost: 384 maxlim: 214016 bits: 19/18 56.55/56.66 c ---[1466]---> Adder-cost: 426 maxlim: 237568 bits: 19/18 56.65/56.72 c ---[1464]---> Adder-cost: 128 maxlim: 237568 bits: 19/18 56.65/56.78 c ---[1462]---> Adder-cost: 470 maxlim: 250880 bits: 19/18 56.75/56.84 c ---[1460]---> Adder-cost: 460 maxlim: 250880 bits: 19/18 56.85/56.90 c ---[1458]---> Adder-cost: 484 maxlim: 264192 bits: 20/19 56.85/56.97 c ---[1456]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 56.95/57.04 c ---[1454]---> Adder-cost: 160 maxlim: 90112 bits: 18/17 56.95/57.07 c ---[1452]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 56.95/57.08 c ---[1450]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 56.95/57.09 c ---[1448]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 57.06/57.11 c ---[1446]---> Adder-cost: 306 maxlim: 151552 bits: 19/18 57.06/57.15 c ---[1444]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 57.06/57.19 c ---[1442]---> Adder-cost: 276 maxlim: 157696 bits: 19/18 57.16/57.23 c ---[1440]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 57.16/57.27 c ---[1438]---> Adder-cost: 570 maxlim: 286720 bits: 20/19 57.25/57.35 c ---[1436]---> Adder-cost: 496 maxlim: 285696 bits: 20/19 57.35/57.42 c ---[1434]---> Adder-cost: 454 maxlim: 271360 bits: 20/19 57.35/57.50 c ---[1432]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 57.45/57.57 c ---[1430]---> Adder-cost: 544 maxlim: 278528 bits: 20/19 57.55/57.64 c ---[1428]---> Adder-cost: 148 maxlim: 278528 bits: 20/19 57.65/57.72 c ---[1426]---> Adder-cost: 672 maxlim: 351232 bits: 20/19 57.75/57.81 c ---[1424]---> Adder-cost: 152 maxlim: 351232 bits: 20/19 57.75/57.89 c ---[1422]---> Adder-cost: 400 maxlim: 200704 bits: 19/18 57.85/57.94 c ---[1420]---> Adder-cost: 116 maxlim: 200704 bits: 19/18 57.85/57.99 c ---[1418]---> Adder-cost: 454 maxlim: 234496 bits: 19/18 57.95/58.05 c ---[1416]---> Adder-cost: 348 maxlim: 193536 bits: 19/18 58.05/58.10 c ---[1414]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 58.05/58.15 c ---[1412]---> Adder-cost: 288 maxlim: 146432 bits: 19/18 58.05/58.19 c ---[1410]---> Adder-cost: 88 maxlim: 146432 bits: 19/18 58.16/58.22 c ---[1408]---> Adder-cost: 238 maxlim: 122880 bits: 18/17 58.16/58.26 c ---[1406]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 58.16/58.29 c ---[1404]---> Adder-cost: 204 maxlim: 102400 bits: 18/17 58.26/58.31 c ---[1402]---> Adder-cost: 132 maxlim: 99328 bits: 18/17 58.26/58.34 c ---[1400]---> Adder-cost: 140 maxlim: 75776 bits: 18/17 58.26/58.36 c ---[1398]---> Adder-cost: 426 maxlim: 212992 bits: 19/18 58.35/58.41 c ---[1396]---> Adder-cost: 122 maxlim: 212992 bits: 19/18 58.35/58.47 c ---[1394]---> Adder-cost: 548 maxlim: 293888 bits: 20/19 58.45/58.55 c ---[1392]---> Adder-cost: 376 maxlim: 306176 bits: 20/19 58.55/58.63 c ---[1390]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 58.65/58.70 c ---[1388]---> Adder-cost: 722 maxlim: 386048 bits: 20/19 58.75/58.80 c ---[1386]---> Adder-cost: 562 maxlim: 387072 bits: 20/19 58.75/58.90 c ---[1384]---> Adder-cost: 160 maxlim: 387072 bits: 20/19 58.85/58.99 c ---[1382]---> Adder-cost: 736 maxlim: 398336 bits: 20/19 58.95/59.09 c ---[1380]---> Adder-cost: 178 maxlim: 398336 bits: 20/19 59.05/59.19 c ---[1378]---> Adder-cost: 178 maxlim: 398336 bits: 20/19 59.15/59.28 c ---[1376]---> Adder-cost: 496 maxlim: 275456 bits: 20/19 59.26/59.36 c ---[1374]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 59.35/59.43 c ---[1372]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 59.45/59.50 c ---[1370]---> Adder-cost: 890 maxlim: 506880 bits: 20/19 59.55/59.63 c ---[1368]---> Adder-cost: 192 maxlim: 506880 bits: 20/19 59.65/59.76 c ---[1363]---> Adder-cost: 7502 maxlim: 4320256 bits: 24/23 61.25/61.33 c ---[1356]---> Adder-cost: 156951 maxlim: 351637503 bits: 30/29 154.43/154.56 c ---[1354]---> Adder-cost: 90410 maxlim: 300771327 bits: 30/29 210.82/210.90 c ---[1350]---> Adder-cost: 192 maxlim: 506880 bits: 20/19 210.92/211.03 c ---[1348]---> Adder-cost: 724 maxlim: 423936 bits: 20/19 211.02/211.14 c ---[1346]---> Adder-cost: 172 maxlim: 423936 bits: 20/19 211.12/211.24 c ---[1344]---> Adder-cost: 172 maxlim: 423936 bits: 20/19 211.22/211.35 c ---[1342]---> Adder-cost: 448 maxlim: 246784 bits: 19/18 211.31/211.41 c ---[1340]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 211.31/211.48 c ---[1338]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 211.41/211.54 c ---[1336]---> Adder-cost: 318 maxlim: 165888 bits: 19/18 211.41/211.58 c ---[1334]---> Adder-cost: 182 maxlim: 162816 bits: 19/18 211.51/211.62 c ---[1332]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 211.51/211.67 c ---[1330]---> Adder-cost: 88 maxlim: 70656 bits: 18/17 211.51/211.69 c ---[1328]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 211.61/211.70 c ---[1326]---> Adder-cost: 152 maxlim: 75776 bits: 18/17 211.61/211.72 c ---[1324]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 211.61/211.74 c ---[1322]---> Adder-cost: 587 maxlim: 312320 bits: 20/19 211.71/211.82 c ---[1320]---> Adder-cost: 386 maxlim: 242688 bits: 19/18 211.71/211.88 c ---[1318]---> Adder-cost: 354 maxlim: 197632 bits: 19/18 211.81/211.93 c ---[1316]---> Adder-cost: 112 maxlim: 197632 bits: 19/18 211.81/211.98 c ---[1314]---> Adder-cost: 478 maxlim: 256000 bits: 19/18 211.91/212.05 c ---[1312]---> Adder-cost: 416 maxlim: 227328 bits: 19/18 212.01/212.11 c ---[1310]---> Adder-cost: 250 maxlim: 142336 bits: 19/18 212.01/212.15 c ---[1308]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 212.01/212.18 c ---[1306]---> Adder-cost: 134 maxlim: 68608 bits: 18/17 212.12/212.20 c ---[1304]---> Adder-cost: 192 maxlim: 97280 bits: 18/17 212.12/212.23 c ---[1302]---> Adder-cost: 196 maxlim: 114688 bits: 18/17 212.12/212.26 c ---[1300]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 212.12/212.29 c ---[1298]---> Adder-cost: 338 maxlim: 171008 bits: 19/18 212.22/212.34 c ---[1296]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 212.22/212.38 c ---[1294]---> Adder-cost: 272 maxlim: 142336 bits: 19/18 212.31/212.42 c ---[1292]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 212.31/212.46 c ---[1290]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 212.31/212.50 c ---[1288]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 212.41/212.54 c ---[1286]---> Adder-cost: 234 maxlim: 123904 bits: 18/17 212.41/212.57 c ---[1284]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 212.51/212.60 c ---[1282]---> Adder-cost: 362 maxlim: 184320 bits: 19/18 212.51/212.65 c ---[1280]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 212.51/212.70 c ---[1278]---> Adder-cost: 354 maxlim: 185344 bits: 19/18 212.61/212.74 c ---[1276]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 212.61/212.79 c ---[1274]---> Adder-cost: 262 maxlim: 131072 bits: 19/18 212.71/212.83 c ---[1272]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 212.71/212.86 c ---[1270]---> Adder-cost: 218 maxlim: 122880 bits: 18/17 212.71/212.90 c ---[1268]---> Adder-cost: 180 maxlim: 121856 bits: 18/17 212.81/212.93 c ---[1266]---> Adder-cost: 162 maxlim: 88064 bits: 18/17 212.81/212.95 c ---[1264]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 212.81/212.98 c ---[1262]---> Adder-cost: 144 maxlim: 77824 bits: 18/17 212.91/213.00 c ---[1260]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 212.91/213.02 c ---[1258]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 212.91/213.04 c ---[1256]---> Adder-cost: 96 maxlim: 68608 bits: 18/17 212.91/213.06 c ---[1254]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 212.91/213.07 c ---[1252]---> Adder-cost: 592 maxlim: 312320 bits: 20/19 213.01/213.15 c ---[1250]---> Adder-cost: 518 maxlim: 347136 bits: 20/19 213.11/213.24 c ---[1248]---> Adder-cost: 650 maxlim: 351232 bits: 20/19 213.22/213.33 c ---[1246]---> Adder-cost: 152 maxlim: 351232 bits: 20/19 213.32/213.42 c ---[1244]---> Adder-cost: 580 maxlim: 315392 bits: 20/19 213.41/213.51 c ---[1242]---> Adder-cost: 558 maxlim: 299008 bits: 20/19 213.41/213.59 c ---[1240]---> Adder-cost: 260 maxlim: 139264 bits: 19/18 213.51/213.63 c ---[1238]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 213.51/213.66 c ---[1236]---> Adder-cost: 158 maxlim: 91136 bits: 18/17 213.51/213.69 c ---[1234]---> Adder-cost: 410 maxlim: 216064 bits: 19/18 213.61/213.74 c ---[1232]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 213.71/213.80 c ---[1230]---> Adder-cost: 590 maxlim: 326656 bits: 20/19 213.71/213.88 c ---[1228]---> Adder-cost: 448 maxlim: 333824 bits: 20/19 213.81/213.97 c ---[1226]---> Adder-cost: 154 maxlim: 333824 bits: 20/19 213.91/214.06 c ---[1224]---> Adder-cost: 534 maxlim: 297984 bits: 20/19 214.01/214.14 c ---[1222]---> Adder-cost: 142 maxlim: 297984 bits: 20/19 214.12/214.22 c ---[1220]---> Adder-cost: 142 maxlim: 297984 bits: 20/19 214.22/214.30 c ---[1218]---> Adder-cost: 682 maxlim: 390144 bits: 20/19 214.22/214.40 c ---[1216]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 214.32/214.50 c ---[1214]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 214.42/214.59 c ---[1212]---> Adder-cost: 714 maxlim: 390144 bits: 20/19 214.52/214.69 c ---[1210]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 214.62/214.79 c ---[1208]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 214.71/214.89 c ---[1206]---> Adder-cost: 720 maxlim: 389120 bits: 20/19 214.81/214.98 c ---[1204]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 214.91/215.08 c ---[1202]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 215.01/215.18 c ---[1200]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 215.11/215.28 c ---[1198]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 215.21/215.38 c ---[1196]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 215.31/215.47 c ---[1194]---> Adder-cost: 530 maxlim: 306176 bits: 20/19 215.42/215.56 c ---[1192]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 215.52/215.64 c ---[1190]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 215.61/215.72 c ---[1188]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 215.71/215.80 c ---[1186]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 215.71/215.88 c ---[1184]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 215.81/215.96 c ---[1182]---> Adder-cost: 482 maxlim: 266240 bits: 20/19 215.91/216.04 c ---[1180]---> Adder-cost: 332 maxlim: 263168 bits: 20/19 216.01/216.11 c ---[1178]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 216.01/216.18 c ---[1176]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 216.11/216.25 c ---[1174]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 216.21/216.33 c ---[1172]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 216.31/216.40 c ---[1170]---> Adder-cost: 238 maxlim: 123904 bits: 18/17 216.31/216.43 c ---[1168]---> Adder-cost: 150 maxlim: 101376 bits: 18/17 216.31/216.46 c ---[1166]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 216.31/216.49 c ---[1164]---> Adder-cost: 106 maxlim: 66560 bits: 18/17 216.41/216.50 c ---[1162]---> Adder-cost: 212 maxlim: 107520 bits: 18/17 216.41/216.53 c ---[1160]---> Adder-cost: 242 maxlim: 146432 bits: 19/18 216.41/216.57 c ---[1158]---> Adder-cost: 88 maxlim: 146432 bits: 19/18 216.52/216.61 c ---[1156]---> Adder-cost: 616 maxlim: 335872 bits: 20/19 216.52/216.70 c ---[1154]---> Adder-cost: 578 maxlim: 310272 bits: 20/19 216.62/216.79 c ---[1152]---> Adder-cost: 438 maxlim: 239616 bits: 19/18 216.71/216.84 c ---[1150]---> Adder-cost: 122 maxlim: 239616 bits: 19/18 216.81/216.90 c ---[1148]---> Adder-cost: 508 maxlim: 266240 bits: 20/19 216.81/216.98 c ---[1146]---> Adder-cost: 234 maxlim: 247808 bits: 19/18 216.91/217.04 c ---[1144]---> Adder-cost: 329 maxlim: 176128 bits: 19/18 216.91/217.09 c ---[1142]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 217.01/217.13 c ---[1140]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 217.01/217.14 c ---[1138]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 217.01/217.16 c ---[1136]---> Adder-cost: 122 maxlim: 63488 bits: 17/16 217.01/217.18 c ---[1134]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 217.01/217.19 c ---[1132]---> Adder-cost: 246 maxlim: 130048 bits: 18/17 217.11/217.23 c ---[1130]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 217.11/217.26 c ---[1128]---> Adder-cost: 262 maxlim: 137216 bits: 19/18 217.21/217.30 c ---[1126]---> Adder-cost: 88 maxlim: 137216 bits: 19/18 217.21/217.33 c ---[1124]---> Adder-cost: 410 maxlim: 207872 bits: 19/18 217.21/217.39 c ---[1122]---> Adder-cost: 352 maxlim: 203776 bits: 19/18 217.31/217.44 c ---[1120]---> Adder-cost: 352 maxlim: 203776 bits: 19/18 217.31/217.49 c ---[1118]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 217.41/217.54 c ---[1116]---> Adder-cost: 272 maxlim: 136192 bits: 19/18 217.41/217.58 c ---[1114]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 217.51/217.62 c ---[1112]---> Adder-cost: 380 maxlim: 194560 bits: 19/18 217.51/217.67 c ---[1110]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 217.62/217.72 c ---[1108]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 217.62/217.75 c ---[1106]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 217.62/217.77 c ---[1104]---> Adder-cost: 184 maxlim: 93184 bits: 18/17 217.62/217.80 c ---[1102]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 217.72/217.82 c ---[1100]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 217.72/217.85 c ---[1098]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 217.72/217.88 c ---[1096]---> Adder-cost: 176 maxlim: 93184 bits: 18/17 217.81/217.90 c ---[1094]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 217.81/217.93 c ---[1092]---> Adder-cost: 134 maxlim: 69632 bits: 18/17 217.81/217.95 c ---[1090]---> Adder-cost: 98 maxlim: 61440 bits: 17/16 217.81/217.97 c ---[1088]---> Adder-cost: 114 maxlim: 59392 bits: 17/16 217.81/217.98 c ---[1086]---> Adder-cost: 106 maxlim: 65536 bits: 18/17 217.91/218.00 c ---[1084]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 217.91/218.02 c ---[1082]---> Adder-cost: 336 maxlim: 175104 bits: 19/18 217.91/218.06 c ---[1080]---> Adder-cost: 264 maxlim: 168960 bits: 19/18 218.01/218.11 c ---[1078]---> Adder-cost: 312 maxlim: 176128 bits: 19/18 218.01/218.15 c ---[1076]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 218.11/218.20 c ---[1074]---> Adder-cost: 394 maxlim: 200704 bits: 19/18 218.11/218.25 c ---[1072]---> Adder-cost: 308 maxlim: 174080 bits: 19/18 218.21/218.30 c ---[1070]---> Adder-cost: 290 maxlim: 173056 bits: 19/18 218.21/218.34 c ---[1068]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 218.21/218.39 c ---[1066]---> Adder-cost: 296 maxlim: 149504 bits: 19/18 218.31/218.43 c ---[1064]---> Adder-cost: 214 maxlim: 180224 bits: 19/18 218.31/218.47 c ---[1062]---> Adder-cost: 110 maxlim: 180224 bits: 19/18 218.41/218.52 c ---[1060]---> Adder-cost: 390 maxlim: 201728 bits: 19/18 218.41/218.57 c ---[1058]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 218.51/218.62 c ---[1056]---> Adder-cost: 432 maxlim: 248832 bits: 19/18 218.51/218.69 c ---[1054]---> Adder-cost: 128 maxlim: 248832 bits: 19/18 218.61/218.75 c ---[1052]---> Adder-cost: 516 maxlim: 266240 bits: 20/19 218.71/218.82 c ---[1050]---> Adder-cost: 142 maxlim: 266240 bits: 20/19 218.71/218.90 c ---[1048]---> Adder-cost: 466 maxlim: 248832 bits: 19/18 218.81/218.96 c ---[1046]---> Adder-cost: 128 maxlim: 248832 bits: 19/18 218.91/219.02 c ---[1044]---> Adder-cost: 524 maxlim: 272384 bits: 20/19 219.01/219.10 c ---[1042]---> Adder-cost: 142 maxlim: 272384 bits: 20/19 219.01/219.17 c ---[1040]---> Adder-cost: 322 maxlim: 176128 bits: 19/18 219.11/219.22 c ---[1038]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 219.11/219.26 c ---[1036]---> Adder-cost: 504 maxlim: 282624 bits: 20/19 219.21/219.34 c ---[1034]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 219.31/219.42 c ---[1032]---> Adder-cost: 336 maxlim: 176128 bits: 19/18 219.31/219.46 c ---[1030]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 219.41/219.51 c ---[1028]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 219.41/219.52 c ---[1026]---> Adder-cost: 252 maxlim: 131072 bits: 19/18 219.41/219.55 c ---[1024]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 219.41/219.59 c ---[1022]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 219.51/219.63 c ---[1020]---> Adder-cost: 342 maxlim: 178176 bits: 19/18 219.51/219.67 c ---[1018]---> Adder-cost: 392 maxlim: 198656 bits: 19/18 219.61/219.72 c ---[1016]---> Adder-cost: 472 maxlim: 264192 bits: 20/19 219.61/219.79 c ---[1014]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 219.71/219.87 c ---[1012]---> Adder-cost: 598 maxlim: 320512 bits: 20/19 219.81/219.95 c ---[1010]---> Adder-cost: 612 maxlim: 336896 bits: 20/19 219.91/220.04 c ---[1008]---> Adder-cost: 302 maxlim: 158720 bits: 19/18 219.91/220.08 c ---[1006]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 220.01/220.12 c ---[1004]---> Adder-cost: 446 maxlim: 234496 bits: 19/18 220.01/220.18 c ---[1002]---> Adder-cost: 344 maxlim: 231424 bits: 19/18 220.11/220.24 c ---[1000]---> Adder-cost: 224 maxlim: 116736 bits: 18/17 220.11/220.27 c ---[ 998]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 220.21/220.30 c ---[ 996]---> Adder-cost: 348 maxlim: 202752 bits: 19/18 220.21/220.35 c ---[ 994]---> Adder-cost: 374 maxlim: 220160 bits: 19/18 220.31/220.41 c ---[ 992]---> Adder-cost: 402 maxlim: 210944 bits: 19/18 220.31/220.46 c ---[ 990]---> Adder-cost: 114 maxlim: 210944 bits: 19/18 220.41/220.51 c ---[ 988]---> Adder-cost: 360 maxlim: 184320 bits: 19/18 220.41/220.56 c ---[ 986]---> Adder-cost: 236 maxlim: 139264 bits: 19/18 220.51/220.60 c ---[ 984]---> Adder-cost: 278 maxlim: 140288 bits: 19/18 220.51/220.64 c ---[ 982]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 220.51/220.67 c ---[ 980]---> Adder-cost: 392 maxlim: 210944 bits: 19/18 220.61/220.73 c ---[ 978]---> Adder-cost: 216 maxlim: 126976 bits: 18/17 220.61/220.76 c ---[ 976]---> Adder-cost: 94 maxlim: 53248 bits: 17/16 220.61/220.77 c ---[ 974]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 220.61/220.79 c ---[ 972]---> Adder-cost: 224 maxlim: 115712 bits: 18/17 220.71/220.82 c ---[ 970]---> Adder-cost: 164 maxlim: 90112 bits: 18/17 220.71/220.84 c ---[ 968]---> Adder-cost: 84 maxlim: 60416 bits: 17/16 220.71/220.86 c ---[ 966]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 220.71/220.88 c ---[ 964]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 220.81/220.90 c ---[ 962]---> Adder-cost: 272 maxlim: 139264 bits: 19/18 220.81/220.94 c ---[ 960]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 220.81/220.98 c ---[ 958]---> Adder-cost: 774 maxlim: 406528 bits: 20/19 220.91/221.08 c ---[ 956]---> Adder-cost: 166 maxlim: 406528 bits: 20/19 221.01/221.18 c ---[ 954]---> Adder-cost: 716 maxlim: 397312 bits: 20/19 221.11/221.28 c ---[ 952]---> Adder-cost: 178 maxlim: 397312 bits: 20/19 221.21/221.37 c ---[ 950]---> Adder-cost: 254 maxlim: 130048 bits: 18/17 221.31/221.41 c ---[ 948]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 221.31/221.44 c ---[ 946]---> Adder-cost: 482 maxlim: 256000 bits: 19/18 221.41/221.51 c ---[ 944]---> Adder-cost: 354 maxlim: 251904 bits: 19/18 221.41/221.57 c ---[ 942]---> Adder-cost: 524 maxlim: 305152 bits: 20/19 221.51/221.66 c ---[ 940]---> Adder-cost: 146 maxlim: 305152 bits: 20/19 221.61/221.74 c ---[ 938]---> Adder-cost: 332 maxlim: 173056 bits: 19/18 221.61/221.78 c ---[ 936]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 221.71/221.82 c ---[ 934]---> Adder-cost: 194 maxlim: 101376 bits: 18/17 221.71/221.85 c ---[ 932]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 221.71/221.88 c ---[ 930]---> Adder-cost: 288 maxlim: 147456 bits: 19/18 221.81/221.92 c ---[ 928]---> Adder-cost: 94 maxlim: 147456 bits: 19/18 221.81/221.96 c ---[ 926]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 221.81/221.98 c ---[ 924]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 221.91/222.00 c ---[ 922]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 221.91/222.01 c ---[ 920]---> Adder-cost: 358 maxlim: 188416 bits: 19/18 221.91/222.05 c ---[ 918]---> Adder-cost: 106 maxlim: 188416 bits: 19/18 222.01/222.10 c ---[ 916]---> Adder-cost: 280 maxlim: 145408 bits: 19/18 222.01/222.14 c ---[ 914]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 222.01/222.18 c ---[ 912]---> Adder-cost: 338 maxlim: 173056 bits: 19/18 222.11/222.22 c ---[ 910]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 222.11/222.27 c ---[ 908]---> Adder-cost: 354 maxlim: 186368 bits: 19/18 222.21/222.32 c ---[ 906]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 222.21/222.36 c ---[ 904]---> Adder-cost: 178 maxlim: 92160 bits: 18/17 222.21/222.39 c ---[ 902]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 222.31/222.41 c ---[ 900]---> Adder-cost: 228 maxlim: 114688 bits: 18/17 222.31/222.44 c ---[ 898]---> Adder-cost: 216 maxlim: 113664 bits: 18/17 222.31/222.47 c ---[ 896]---> Adder-cost: 438 maxlim: 230400 bits: 19/18 222.41/222.53 c ---[ 894]---> Adder-cost: 124 maxlim: 230400 bits: 19/18 222.41/222.59 c ---[ 892]---> Adder-cost: 422 maxlim: 221184 bits: 19/18 222.51/222.64 c ---[ 890]---> Adder-cost: 116 maxlim: 221184 bits: 19/18 222.51/222.70 c ---[ 888]---> Adder-cost: 248 maxlim: 129024 bits: 18/17 222.61/222.73 c ---[ 886]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 222.61/222.76 c ---[ 884]---> Adder-cost: 280 maxlim: 139264 bits: 19/18 222.71/222.80 c ---[ 882]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 222.71/222.84 c ---[ 880]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 222.71/222.86 c ---[ 878]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 222.71/222.88 c ---[ 876]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 222.71/222.89 c ---[ 874]---> Adder-cost: 276 maxlim: 171008 bits: 19/18 222.81/222.94 c ---[ 872]---> Adder-cost: 288 maxlim: 253952 bits: 19/18 222.91/223.00 c ---[ 870]---> Adder-cost: 250 maxlim: 256000 bits: 19/18 222.91/223.07 c ---[ 868]---> Adder-cost: 472 maxlim: 257024 bits: 19/18 223.01/223.13 c ---[ 866]---> Adder-cost: 624 maxlim: 357376 bits: 20/19 223.11/223.22 c ---[ 864]---> Adder-cost: 456 maxlim: 317440 bits: 20/19 223.21/223.31 c ---[ 862]---> Adder-cost: 612 maxlim: 339968 bits: 20/19 223.31/223.40 c ---[ 860]---> Adder-cost: 638 maxlim: 348160 bits: 20/19 223.31/223.49 c ---[ 858]---> Adder-cost: 672 maxlim: 407552 bits: 20/19 223.41/223.59 c ---[ 856]---> Adder-cost: 402 maxlim: 241664 bits: 19/18 223.51/223.65 c ---[ 854]---> Adder-cost: 358 maxlim: 222208 bits: 19/18 223.61/223.71 c ---[ 852]---> Adder-cost: 332 maxlim: 177152 bits: 19/18 223.61/223.75 c ---[ 850]---> Adder-cost: 326 maxlim: 226304 bits: 19/18 223.71/223.81 c ---[ 848]---> Adder-cost: 412 maxlim: 245760 bits: 19/18 223.71/223.87 c ---[ 846]---> Adder-cost: 348 maxlim: 231424 bits: 19/18 223.81/223.93 c ---[ 844]---> Adder-cost: 478 maxlim: 251904 bits: 19/18 223.81/223.99 c ---[ 842]---> Adder-cost: 392 maxlim: 225280 bits: 19/18 223.91/224.05 c ---[ 840]---> Adder-cost: 282 maxlim: 161792 bits: 19/18 223.91/224.09 c ---[ 838]---> Adder-cost: 266 maxlim: 150528 bits: 19/18 224.01/224.13 c ---[ 836]---> Adder-cost: 426 maxlim: 220160 bits: 19/18 224.01/224.19 c ---[ 834]---> Adder-cost: 394 maxlim: 231424 bits: 19/18 224.11/224.24 c ---[ 832]---> Adder-cost: 335 maxlim: 194560 bits: 19/18 224.11/224.29 c ---[ 830]---> Adder-cost: 338 maxlim: 190464 bits: 19/18 224.21/224.34 c ---[ 828]---> Adder-cost: 564 maxlim: 305152 bits: 20/19 224.31/224.42 c ---[ 826]---> Adder-cost: 368 maxlim: 251904 bits: 19/18 224.31/224.49 c ---[ 824]---> Adder-cost: 238 maxlim: 148480 bits: 19/18 224.41/224.53 c ---[ 822]---> Adder-cost: 172 maxlim: 111616 bits: 18/17 224.41/224.56 c ---[ 820]---> Adder-cost: 284 maxlim: 164864 bits: 19/18 224.51/224.60 c ---[ 818]---> Adder-cost: 196 maxlim: 110592 bits: 18/17 224.51/224.63 c ---[ 816]---> Adder-cost: 160 maxlim: 101376 bits: 18/17 224.51/224.65 c ---[ 814]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 224.51/224.67 c ---[ 812]---> Adder-cost: 128 maxlim: 71680 bits: 18/17 224.51/224.69 c ---[ 810]---> Adder-cost: 168 maxlim: 86016 bits: 18/17 224.61/224.71 c ---[ 808]---> Adder-cost: 120 maxlim: 90112 bits: 18/17 224.61/224.73 c ---[ 806]---> Adder-cost: 430 maxlim: 268288 bits: 20/19 224.71/224.81 c ---[ 804]---> Adder-cost: 680 maxlim: 450560 bits: 20/19 224.81/224.92 c ---[ 802]---> Adder-cost: 182 maxlim: 450560 bits: 20/19 224.91/225.03 c ---[ 800]---> Adder-cost: 360 maxlim: 187392 bits: 19/18 224.91/225.08 c ---[ 798]---> Adder-cost: 296 maxlim: 207872 bits: 19/18 225.01/225.13 c ---[ 796]---> Adder-cost: 384 maxlim: 196608 bits: 19/18 225.01/225.18 c ---[ 794]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 225.11/225.23 c ---[ 792]---> Adder-cost: 452 maxlim: 248832 bits: 19/18 225.11/225.29 c ---[ 790]---> Adder-cost: 346 maxlim: 204800 bits: 19/18 225.21/225.34 c ---[ 788]---> Adder-cost: 248 maxlim: 131072 bits: 19/18 225.21/225.38 c ---[ 786]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 225.31/225.41 c ---[ 784]---> Adder-cost: 260 maxlim: 133120 bits: 19/18 225.31/225.45 c ---[ 782]---> Adder-cost: 186 maxlim: 104448 bits: 18/17 225.31/225.48 c ---[ 780]---> Adder-cost: 194 maxlim: 116736 bits: 18/17 225.41/225.51 c ---[ 778]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 225.41/225.54 c ---[ 776]---> Adder-cost: 780 maxlim: 414720 bits: 20/19 225.51/225.64 c ---[ 774]---> Adder-cost: 727 maxlim: 398336 bits: 20/19 225.61/225.74 c ---[ 772]---> Adder-cost: 432 maxlim: 238592 bits: 19/18 225.71/225.80 c ---[ 770]---> Adder-cost: 120 maxlim: 238592 bits: 19/18 225.71/225.86 c ---[ 768]---> Adder-cost: 468 maxlim: 243712 bits: 19/18 225.81/225.92 c ---[ 766]---> Adder-cost: 350 maxlim: 193536 bits: 19/18 225.81/225.97 c ---[ 764]---> Adder-cost: 258 maxlim: 134144 bits: 19/18 225.91/226.01 c ---[ 762]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 225.91/226.04 c ---[ 760]---> Adder-cost: 244 maxlim: 128000 bits: 18/17 225.91/226.08 c ---[ 758]---> Adder-cost: 172 maxlim: 99328 bits: 18/17 226.01/226.11 c ---[ 756]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 226.01/226.12 c ---[ 754]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 226.01/226.14 c ---[ 752]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 226.01/226.15 c ---[ 750]---> Adder-cost: 264 maxlim: 137216 bits: 19/18 226.01/226.18 c ---[ 748]---> Adder-cost: 210 maxlim: 155648 bits: 19/18 226.11/226.22 c ---[ 746]---> Adder-cost: 96 maxlim: 155648 bits: 19/18 226.11/226.27 c ---[ 744]---> Adder-cost: 358 maxlim: 182272 bits: 19/18 226.21/226.31 c ---[ 742]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 226.21/226.36 c ---[ 740]---> Adder-cost: 464 maxlim: 254976 bits: 19/18 226.31/226.42 c ---[ 738]---> Adder-cost: 132 maxlim: 254976 bits: 19/18 226.31/226.49 c ---[ 736]---> Adder-cost: 314 maxlim: 162816 bits: 19/18 226.41/226.53 c ---[ 734]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 226.41/226.57 c ---[ 732]---> Adder-cost: 564 maxlim: 289792 bits: 20/19 226.51/226.65 c ---[ 730]---> Adder-cost: 142 maxlim: 289792 bits: 20/19 226.61/226.73 c ---[ 728]---> Adder-cost: 548 maxlim: 282624 bits: 20/19 226.71/226.81 c ---[ 726]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 226.71/226.88 c ---[ 724]---> Adder-cost: 478 maxlim: 245760 bits: 19/18 226.81/226.94 c ---[ 722]---> Adder-cost: 467 maxlim: 246784 bits: 19/18 226.91/227.01 c ---[ 720]---> Adder-cost: 673 maxlim: 368640 bits: 20/19 227.01/227.10 c ---[ 718]---> Adder-cost: 160 maxlim: 368640 bits: 20/19 227.01/227.19 c ---[ 716]---> Adder-cost: 358 maxlim: 182272 bits: 19/18 227.11/227.24 c ---[ 714]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 227.11/227.28 c ---[ 712]---> Adder-cost: 326 maxlim: 176128 bits: 19/18 227.21/227.33 c ---[ 710]---> Adder-cost: 290 maxlim: 175104 bits: 19/18 227.21/227.37 c ---[ 708]---> Adder-cost: 288 maxlim: 152576 bits: 19/18 227.31/227.41 c ---[ 706]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 227.31/227.45 c ---[ 704]---> Adder-cost: 474 maxlim: 241664 bits: 19/18 227.41/227.51 c ---[ 702]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 227.41/227.57 c ---[ 700]---> Adder-cost: 424 maxlim: 231424 bits: 19/18 227.51/227.63 c ---[ 698]---> Adder-cost: 128 maxlim: 231424 bits: 19/18 227.51/227.69 c ---[ 696]---> Adder-cost: 244 maxlim: 126976 bits: 18/17 227.61/227.72 c ---[ 694]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 227.61/227.75 c ---[ 692]---> Adder-cost: 196 maxlim: 102400 bits: 18/17 227.61/227.78 c ---[ 690]---> Adder-cost: 156 maxlim: 99328 bits: 18/17 227.70/227.81 c ---[ 688]---> Adder-cost: 180 maxlim: 95232 bits: 18/17 227.70/227.83 c ---[ 686]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 227.70/227.86 c ---[ 684]---> Adder-cost: 196 maxlim: 98304 bits: 18/17 227.70/227.88 c ---[ 682]---> Adder-cost: 110 maxlim: 97280 bits: 18/17 227.80/227.91 c ---[ 680]---> Adder-cost: 196 maxlim: 101376 bits: 18/17 227.80/227.94 c ---[ 678]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 227.80/227.96 c ---[ 676]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 227.80/227.99 c ---[ 674]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 227.90/228.01 c ---[ 672]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 227.90/228.02 c ---[ 670]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 227.90/228.03 c ---[ 668]---> Adder-cost: 553 maxlim: 320512 bits: 20/19 228.00/228.12 c ---[ 666]---> Adder-cost: 148 maxlim: 320512 bits: 20/19 228.10/228.20 c ---[ 664]---> Adder-cost: 748 maxlim: 443392 bits: 20/19 228.21/228.31 c ---[ 662]---> Adder-cost: 1511 maxlim: 870400 bits: 21/20 228.41/228.54 c ---[ 660]---> Adder-cost: 284 maxlim: 870400 bits: 21/20 228.62/228.76 c ---[ 658]---> Adder-cost: 1484 maxlim: 879616 bits: 21/20 228.81/228.99 c ---[ 656]---> Adder-cost: 286 maxlim: 879616 bits: 21/20 229.11/229.22 c ---[ 654]---> Adder-cost: 1876 maxlim: 1171456 bits: 22/21 229.41/229.55 c ---[ 652]---> Adder-cost: 334 maxlim: 1171456 bits: 22/21 229.72/229.89 c ---[ 650]---> Adder-cost: 1556 maxlim: 1059840 bits: 22/21 230.11/230.20 c ---[ 648]---> Adder-cost: 322 maxlim: 1059840 bits: 22/21 230.41/230.51 c ---[ 646]---> Adder-cost: 1290 maxlim: 736256 bits: 21/20 230.61/230.70 c ---[ 644]---> Adder-cost: 248 maxlim: 736256 bits: 21/20 230.71/230.89 c ---[ 642]---> Adder-cost: 1838 maxlim: 1163264 bits: 22/21 231.11/231.22 c ---[ 640]---> Adder-cost: 1308 maxlim: 1003520 bits: 21/20 231.31/231.49 c ---[ 638]---> Adder-cost: 2224 maxlim: 1272832 bits: 22/21 231.71/231.85 c ---[ 636]---> Adder-cost: 1886 maxlim: 1052672 bits: 22/21 232.01/232.15 c ---[ 634]---> Adder-cost: 1330 maxlim: 779264 bits: 21/20 232.21/232.36 c ---[ 632]---> Adder-cost: 1542 maxlim: 897024 bits: 21/20 232.41/232.59 c ---[ 630]---> Adder-cost: 1122 maxlim: 720896 bits: 21/20 232.61/232.78 c ---[ 628]---> Adder-cost: 1138 maxlim: 679936 bits: 21/20 232.81/232.96 c ---[ 626]---> Adder-cost: 1044 maxlim: 589824 bits: 21/20 233.01/233.12 c ---[ 624]---> Adder-cost: 1058 maxlim: 628736 bits: 21/20 233.11/233.29 c ---[ 622]---> Adder-cost: 1046 maxlim: 630784 bits: 21/20 233.31/233.46 c ---[ 620]---> Adder-cost: 232 maxlim: 630784 bits: 21/20 233.51/233.63 c ---[ 618]---> Adder-cost: 1106 maxlim: 702464 bits: 21/20 233.71/233.81 c ---[ 616]---> Adder-cost: 248 maxlim: 702464 bits: 21/20 233.91/234.00 c ---[ 614]---> Adder-cost: 932 maxlim: 549888 bits: 21/20 234.01/234.15 c ---[ 612]---> Adder-cost: 216 maxlim: 549888 bits: 21/20 234.21/234.31 c ---[ 610]---> Adder-cost: 850 maxlim: 502784 bits: 20/19 234.31/234.43 c ---[ 608]---> Adder-cost: 194 maxlim: 502784 bits: 20/19 234.41/234.56 c ---[ 606]---> Adder-cost: 757 maxlim: 451584 bits: 20/19 234.51/234.68 c ---[ 604]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 234.61/234.79 c ---[ 602]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 234.81/234.90 c ---[ 600]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 234.91/235.01 c ---[ 598]---> Adder-cost: 874 maxlim: 514048 bits: 20/19 235.01/235.14 c ---[ 596]---> Adder-cost: 198 maxlim: 514048 bits: 20/19 235.11/235.28 c ---[ 594]---> Adder-cost: 708 maxlim: 421888 bits: 20/19 235.21/235.38 c ---[ 592]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 235.31/235.49 c ---[ 590]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 235.41/235.60 c ---[ 588]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 235.61/235.70 c ---[ 586]---> Adder-cost: 556 maxlim: 346112 bits: 20/19 235.61/235.79 c ---[ 584]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 235.71/235.88 c ---[ 582]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 235.81/235.97 c ---[ 580]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 235.91/236.06 c ---[ 578]---> Adder-cost: 412 maxlim: 261120 bits: 19/18 236.01/236.13 c ---[ 576]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 236.01/236.20 c ---[ 574]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 236.11/236.26 c ---[ 572]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 236.21/236.33 c ---[ 570]---> Adder-cost: 302 maxlim: 157696 bits: 19/18 236.21/236.37 c ---[ 568]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 236.31/236.41 c ---[ 566]---> Adder-cost: 172 maxlim: 95232 bits: 18/17 236.31/236.44 c ---[ 564]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 236.31/236.46 c ---[ 562]---> Adder-cost: 114 maxlim: 59392 bits: 17/16 236.31/236.48 c ---[ 560]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 236.31/236.49 c ---[ 558]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 236.41/236.51 c ---[ 556]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 236.41/236.52 c ---[ 554]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 236.41/236.54 c ---[ 552]---> Adder-cost: 355 maxlim: 183296 bits: 19/18 236.41/236.59 c ---[ 550]---> Adder-cost: 360 maxlim: 199680 bits: 19/18 236.51/236.64 c ---[ 548]---> Adder-cost: 246 maxlim: 130048 bits: 18/17 236.51/236.67 c ---[ 546]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 236.61/236.70 c ---[ 544]---> Adder-cost: 240 maxlim: 124928 bits: 18/17 236.61/236.74 c ---[ 542]---> Adder-cost: 216 maxlim: 130048 bits: 18/17 236.61/236.77 c ---[ 540]---> Adder-cost: 374 maxlim: 195584 bits: 19/18 236.71/236.82 c ---[ 538]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 236.71/236.87 c ---[ 536]---> Adder-cost: 412 maxlim: 214016 bits: 19/18 236.81/236.93 c ---[ 534]---> Adder-cost: 378 maxlim: 203776 bits: 19/18 236.81/236.98 c ---[ 532]---> Adder-cost: 222 maxlim: 125952 bits: 18/17 236.91/237.01 c ---[ 530]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 236.91/237.05 c ---[ 528]---> Adder-cost: 344 maxlim: 189440 bits: 19/18 236.91/237.09 c ---[ 526]---> Adder-cost: 282 maxlim: 159744 bits: 19/18 237.01/237.14 c ---[ 524]---> Adder-cost: 480 maxlim: 260096 bits: 19/18 237.11/237.20 c ---[ 522]---> Adder-cost: 128 maxlim: 260096 bits: 19/18 237.11/237.27 c ---[ 520]---> Adder-cost: 538 maxlim: 297984 bits: 20/19 237.21/237.35 c ---[ 518]---> Adder-cost: 470 maxlim: 266240 bits: 20/19 237.31/237.42 c ---[ 516]---> Adder-cost: 396 maxlim: 206848 bits: 19/18 237.31/237.48 c ---[ 514]---> Adder-cost: 114 maxlim: 206848 bits: 19/18 237.41/237.53 c ---[ 512]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 237.41/237.54 c ---[ 510]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 237.41/237.55 c ---[ 508]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 237.41/237.57 c ---[ 506]---> Adder-cost: 292 maxlim: 151552 bits: 19/18 237.51/237.61 c ---[ 504]---> Adder-cost: 200 maxlim: 104448 bits: 18/17 237.51/237.64 c ---[ 502]---> Adder-cost: 198 maxlim: 99328 bits: 18/17 237.51/237.66 c ---[ 500]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 237.51/237.69 c ---[ 498]---> Adder-cost: 180 maxlim: 100352 bits: 18/17 237.61/237.72 c ---[ 496]---> Adder-cost: 156 maxlim: 86016 bits: 18/17 237.61/237.74 c ---[ 494]---> Adder-cost: 376 maxlim: 219136 bits: 19/18 237.61/237.79 c ---[ 492]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 237.71/237.85 c ---[ 490]---> Adder-cost: 484 maxlim: 285696 bits: 20/19 237.81/237.93 c ---[ 488]---> Adder-cost: 140 maxlim: 285696 bits: 20/19 237.91/238.00 c ---[ 486]---> Adder-cost: 444 maxlim: 235520 bits: 19/18 237.91/238.06 c ---[ 484]---> Adder-cost: 126 maxlim: 235520 bits: 19/18 238.01/238.12 c ---[ 482]---> Adder-cost: 444 maxlim: 234496 bits: 19/18 238.01/238.18 c ---[ 480]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 238.11/238.24 c ---[ 478]---> Adder-cost: 596 maxlim: 304128 bits: 20/19 238.21/238.32 c ---[ 476]---> Adder-cost: 148 maxlim: 304128 bits: 20/19 238.31/238.40 c ---[ 474]---> Adder-cost: 584 maxlim: 303104 bits: 20/19 238.31/238.48 c ---[ 472]---> Adder-cost: 324 maxlim: 304128 bits: 20/19 238.41/238.56 c ---[ 470]---> Adder-cost: 468 maxlim: 245760 bits: 19/18 238.51/238.63 c ---[ 468]---> Adder-cost: 128 maxlim: 245760 bits: 19/18 238.51/238.69 c ---[ 466]---> Adder-cost: 506 maxlim: 269312 bits: 20/19 238.61/238.76 c ---[ 464]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 238.71/238.84 c ---[ 462]---> Adder-cost: 472 maxlim: 246784 bits: 19/18 238.81/238.90 c ---[ 460]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 238.81/238.97 c ---[ 458]---> Adder-cost: 494 maxlim: 268288 bits: 20/19 238.91/239.04 c ---[ 456]---> Adder-cost: 144 maxlim: 268288 bits: 20/19 239.01/239.11 c ---[ 454]---> Adder-cost: 542 maxlim: 281600 bits: 20/19 239.01/239.19 c ---[ 452]---> Adder-cost: 136 maxlim: 281600 bits: 20/19 239.11/239.26 c ---[ 450]---> Adder-cost: 758 maxlim: 412672 bits: 20/19 239.21/239.37 c ---[ 448]---> Adder-cost: 168 maxlim: 412672 bits: 20/19 239.31/239.47 c ---[ 446]---> Adder-cost: 450 maxlim: 243712 bits: 19/18 239.41/239.53 c ---[ 444]---> Adder-cost: 124 maxlim: 243712 bits: 19/18 239.41/239.59 c ---[ 442]---> Adder-cost: 550 maxlim: 283648 bits: 20/19 239.51/239.66 c ---[ 440]---> Adder-cost: 472 maxlim: 267264 bits: 20/19 239.61/239.74 c ---[ 438]---> Adder-cost: 258 maxlim: 138240 bits: 19/18 239.61/239.77 c ---[ 436]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 239.71/239.81 c ---[ 434]---> Adder-cost: 186 maxlim: 95232 bits: 18/17 239.71/239.84 c ---[ 432]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 239.71/239.86 c ---[ 430]---> Adder-cost: 212 maxlim: 111616 bits: 18/17 239.71/239.89 c ---[ 428]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 239.81/239.92 c ---[ 426]---> Adder-cost: 258 maxlim: 131072 bits: 19/18 239.81/239.96 c ---[ 424]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 239.81/239.99 c ---[ 422]---> Adder-cost: 170 maxlim: 90112 bits: 18/17 239.91/240.02 c ---[ 420]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 239.91/240.04 c ---[ 418]---> Adder-cost: 162 maxlim: 82944 bits: 18/17 239.91/240.07 c ---[ 416]---> Adder-cost: 150 maxlim: 77824 bits: 18/17 239.91/240.09 c ---[ 414]---> Adder-cost: 270 maxlim: 139264 bits: 19/18 240.01/240.13 c ---[ 412]---> Adder-cost: 248 maxlim: 167936 bits: 19/18 240.01/240.17 c ---[ 410]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 240.11/240.21 c ---[ 408]---> Adder-cost: 168 maxlim: 83968 bits: 18/17 240.11/240.24 c ---[ 406]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 240.11/240.26 c ---[ 404]---> Adder-cost: 202 maxlim: 112640 bits: 18/17 240.11/240.29 c ---[ 402]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 240.21/240.32 c ---[ 400]---> Adder-cost: 394 maxlim: 196608 bits: 19/18 240.21/240.37 c ---[ 398]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 240.31/240.42 c ---[ 396]---> Adder-cost: 406 maxlim: 208896 bits: 19/18 240.31/240.47 c ---[ 394]---> Adder-cost: 114 maxlim: 208896 bits: 19/18 240.41/240.52 c ---[ 392]---> Adder-cost: 414 maxlim: 216064 bits: 19/18 240.41/240.58 c ---[ 390]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 240.51/240.63 c ---[ 388]---> Adder-cost: 439 maxlim: 229376 bits: 19/18 240.51/240.69 c ---[ 386]---> Adder-cost: 126 maxlim: 229376 bits: 19/18 240.61/240.74 c ---[ 384]---> Adder-cost: 440 maxlim: 242688 bits: 19/18 240.71/240.81 c ---[ 382]---> Adder-cost: 124 maxlim: 242688 bits: 19/18 240.71/240.87 c ---[ 380]---> Adder-cost: 152 maxlim: 75776 bits: 18/17 240.71/240.89 c ---[ 378]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 240.81/240.91 c ---[ 376]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 240.81/240.92 c ---[ 374]---> Adder-cost: 486 maxlim: 280576 bits: 20/19 240.81/240.99 c ---[ 372]---> Adder-cost: 136 maxlim: 280576 bits: 20/19 240.91/241.07 c ---[ 370]---> Adder-cost: 602 maxlim: 366592 bits: 20/19 241.01/241.16 c ---[ 368]---> Adder-cost: 168 maxlim: 366592 bits: 20/19 241.11/241.26 c ---[ 366]---> Adder-cost: 556 maxlim: 312320 bits: 20/19 241.21/241.34 c ---[ 364]---> Adder-cost: 154 maxlim: 312320 bits: 20/19 241.31/241.42 c ---[ 362]---> Adder-cost: 404 maxlim: 215040 bits: 19/18 241.31/241.48 c ---[ 360]---> Adder-cost: 118 maxlim: 215040 bits: 19/18 241.41/241.53 c ---[ 358]---> Adder-cost: 410 maxlim: 223232 bits: 19/18 241.41/241.59 c ---[ 356]---> Adder-cost: 118 maxlim: 223232 bits: 19/18 241.51/241.64 c ---[ 354]---> Adder-cost: 554 maxlim: 286720 bits: 20/19 241.61/241.72 c ---[ 352]---> Adder-cost: 150 maxlim: 286720 bits: 20/19 241.61/241.80 c ---[ 350]---> Adder-cost: 526 maxlim: 275456 bits: 20/19 241.71/241.87 c ---[ 348]---> Adder-cost: 500 maxlim: 277504 bits: 20/19 241.81/241.95 c ---[ 346]---> Adder-cost: 590 maxlim: 316416 bits: 20/19 241.91/242.03 c ---[ 344]---> Adder-cost: 154 maxlim: 316416 bits: 20/19 242.01/242.12 c ---[ 342]---> Adder-cost: 328 maxlim: 174080 bits: 19/18 242.01/242.16 c ---[ 340]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 242.11/242.21 c ---[ 338]---> Adder-cost: 540 maxlim: 277504 bits: 20/19 242.11/242.28 c ---[ 336]---> Adder-cost: 515 maxlim: 275456 bits: 20/19 242.21/242.35 c ---[ 334]---> Adder-cost: 362 maxlim: 207872 bits: 19/18 242.31/242.41 c ---[ 332]---> Adder-cost: 108 maxlim: 207872 bits: 19/18 242.31/242.46 c ---[ 330]---> Adder-cost: 310 maxlim: 160768 bits: 19/18 242.41/242.50 c ---[ 328]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 242.41/242.54 c ---[ 326]---> Adder-cost: 296 maxlim: 154624 bits: 19/18 242.41/242.58 c ---[ 324]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 242.51/242.62 c ---[ 322]---> Adder-cost: 328 maxlim: 166912 bits: 19/18 242.51/242.67 c ---[ 320]---> Adder-cost: 100 maxlim: 166912 bits: 19/18 242.61/242.71 c ---[ 318]---> Adder-cost: 238 maxlim: 126976 bits: 18/17 242.61/242.74 c ---[ 316]---> Adder-cost: 176 maxlim: 114688 bits: 18/17 242.61/242.77 c ---[ 314]---> Adder-cost: 336 maxlim: 174080 bits: 19/18 242.70/242.82 c ---[ 312]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 242.70/242.86 c ---[ 310]---> Adder-cost: 330 maxlim: 175104 bits: 19/18 242.80/242.91 c ---[ 308]---> Adder-cost: 102 maxlim: 175104 bits: 19/18 242.80/242.95 c ---[ 306]---> Adder-cost: 272 maxlim: 151552 bits: 19/18 242.80/242.99 c ---[ 304]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 242.91/243.03 c ---[ 302]---> Adder-cost: 212 maxlim: 112640 bits: 18/17 242.91/243.06 c ---[ 300]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 242.91/243.09 c ---[ 298]---> Adder-cost: 196 maxlim: 104448 bits: 18/17 243.01/243.12 c ---[ 296]---> Adder-cost: 148 maxlim: 78848 bits: 18/17 243.01/243.14 c ---[ 294]---> Adder-cost: 404 maxlim: 209920 bits: 19/18 243.01/243.19 c ---[ 292]---> Adder-cost: 346 maxlim: 241664 bits: 19/18 243.10/243.26 c ---[ 290]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 243.20/243.31 c ---[ 288]---> Adder-cost: 350 maxlim: 190464 bits: 19/18 243.20/243.36 c ---[ 286]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 243.30/243.41 c ---[ 284]---> Adder-cost: 490 maxlim: 259072 bits: 19/18 243.30/243.48 c ---[ 282]---> Adder-cost: 124 maxlim: 259072 bits: 19/18 243.40/243.54 c ---[ 280]---> Adder-cost: 432 maxlim: 222208 bits: 19/18 243.50/243.60 c ---[ 278]---> Adder-cost: 114 maxlim: 222208 bits: 19/18 243.50/243.65 c ---[ 276]---> Adder-cost: 440 maxlim: 227328 bits: 19/18 243.60/243.71 c ---[ 274]---> Adder-cost: 118 maxlim: 227328 bits: 19/18 243.60/243.77 c ---[ 272]---> Adder-cost: 348 maxlim: 182272 bits: 19/18 243.70/243.81 c ---[ 270]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 243.70/243.86 c ---[ 268]---> Adder-cost: 290 maxlim: 158720 bits: 19/18 243.80/243.90 c ---[ 266]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 243.80/243.94 c ---[ 264]---> Adder-cost: 342 maxlim: 172032 bits: 19/18 243.80/243.99 c ---[ 262]---> Adder-cost: 102 maxlim: 172032 bits: 19/18 243.90/244.03 c ---[ 260]---> Adder-cost: 160 maxlim: 86016 bits: 18/17 243.90/244.05 c ---[ 258]---> Adder-cost: 284 maxlim: 154624 bits: 19/18 243.90/244.09 c ---[ 256]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 244.01/244.14 c ---[ 254]---> Adder-cost: 290 maxlim: 158720 bits: 19/18 244.01/244.18 c ---[ 252]---> Adder-cost: 318 maxlim: 188416 bits: 19/18 244.11/244.23 c ---[ 250]---> Adder-cost: 288 maxlim: 162816 bits: 19/18 244.11/244.27 c ---[ 248]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 244.20/244.31 c ---[ 246]---> Adder-cost: 360 maxlim: 186368 bits: 19/18 244.20/244.36 c ---[ 244]---> Adder-cost: 386 maxlim: 227328 bits: 19/18 244.30/244.42 c ---[ 242]---> Adder-cost: 508 maxlim: 275456 bits: 20/19 244.30/244.49 c ---[ 240]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 244.40/244.56 c ---[ 238]---> Adder-cost: 450 maxlim: 238592 bits: 19/18 244.50/244.62 c ---[ 236]---> Adder-cost: 300 maxlim: 210944 bits: 19/18 244.50/244.68 c ---[ 234]---> Adder-cost: 372 maxlim: 194560 bits: 19/18 244.60/244.72 c ---[ 232]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 244.60/244.77 c ---[ 230]---> Adder-cost: 454 maxlim: 242688 bits: 19/18 244.70/244.83 c ---[ 228]---> Adder-cost: 324 maxlim: 202752 bits: 19/18 244.70/244.89 c ---[ 226]---> Adder-cost: 296 maxlim: 168960 bits: 19/18 244.80/244.93 c ---[ 224]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 244.80/244.97 c ---[ 222]---> Adder-cost: 476 maxlim: 247808 bits: 19/18 244.90/245.04 c ---[ 220]---> Adder-cost: 416 maxlim: 250880 bits: 19/18 245.00/245.10 c ---[ 218]---> Adder-cost: 350 maxlim: 192512 bits: 19/18 245.00/245.15 c ---[ 216]---> Adder-cost: 110 maxlim: 192512 bits: 19/18 245.00/245.20 c ---[ 214]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 245.11/245.24 c ---[ 212]---> Adder-cost: 188 maxlim: 108544 bits: 18/17 245.11/245.27 c ---[ 210]---> Adder-cost: 172 maxlim: 90112 bits: 18/17 245.11/245.29 c ---[ 208]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 245.21/245.32 c ---[ 206]---> Adder-cost: 272 maxlim: 137216 bits: 19/18 245.21/245.36 c ---[ 204]---> Adder-cost: 170 maxlim: 118784 bits: 18/17 245.21/245.39 c ---[ 202]---> Adder-cost: 148 maxlim: 91136 bits: 18/17 245.30/245.41 c ---[ 200]---> Adder-cost: 150 maxlim: 90112 bits: 18/17 245.30/245.44 c ---[ 198]---> Adder-cost: 274 maxlim: 150528 bits: 19/18 245.30/245.48 c ---[ 196]---> Adder-cost: 308 maxlim: 183296 bits: 19/18 245.40/245.52 c ---[ 194]---> Adder-cost: 104 maxlim: 183296 bits: 19/18 245.40/245.57 c ---[ 192]---> Adder-cost: 452 maxlim: 239616 bits: 19/18 245.50/245.63 c ---[ 190]---> Adder-cost: 576 maxlim: 345088 bits: 20/19 245.60/245.72 c ---[ 188]---> Adder-cost: 414 maxlim: 234496 bits: 19/18 245.60/245.78 c ---[ 186]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 245.70/245.84 c ---[ 184]---> Adder-cost: 266 maxlim: 141312 bits: 19/18 245.70/245.88 c ---[ 182]---> Adder-cost: 184 maxlim: 135168 bits: 19/18 245.80/245.91 c ---[ 180]---> Adder-cost: 298 maxlim: 157696 bits: 19/18 245.80/245.96 c ---[ 178]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 245.90/246.00 c ---[ 176]---> Adder-cost: 324 maxlim: 179200 bits: 19/18 245.90/246.04 c ---[ 174]---> Adder-cost: 358 maxlim: 192512 bits: 19/18 245.90/246.09 c ---[ 172]---> Adder-cost: 540 maxlim: 292864 bits: 20/19 246.00/246.17 c ---[ 170]---> Adder-cost: 136 maxlim: 292864 bits: 20/19 246.10/246.25 c ---[ 168]---> Adder-cost: 414 maxlim: 235520 bits: 19/18 246.21/246.31 c ---[ 166]---> Adder-cost: 350 maxlim: 233472 bits: 19/18 246.21/246.37 c ---[ 164]---> Adder-cost: 568 maxlim: 310272 bits: 20/19 246.31/246.45 c ---[ 162]---> Adder-cost: 148 maxlim: 310272 bits: 20/19 246.40/246.53 c ---[ 160]---> Adder-cost: 574 maxlim: 310272 bits: 20/19 246.50/246.61 c ---[ 158]---> Adder-cost: 266 maxlim: 254976 bits: 19/18 246.50/246.68 c ---[ 156]---> Adder-cost: 244 maxlim: 128000 bits: 18/17 246.60/246.71 c ---[ 154]---> Adder-cost: 78 maxlim: 128000 bits: 18/17 246.60/246.75 c ---[ 152]---> Adder-cost: 364 maxlim: 186368 bits: 19/18 246.60/246.79 c ---[ 150]---> Adder-cost: 202 maxlim: 113664 bits: 18/17 246.70/246.83 c ---[ 148]---> Adder-cost: 138 maxlim: 79872 bits: 18/17 246.70/246.85 c ---[ 146]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 246.70/246.87 c ---[ 144]---> Adder-cost: 160 maxlim: 78848 bits: 18/17 246.70/246.89 c ---[ 142]---> Adder-cost: 118 maxlim: 64512 bits: 17/16 246.80/246.91 c ---[ 140]---> Adder-cost: 84 maxlim: 52224 bits: 17/16 246.80/246.92 c ---[ 138]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 246.80/246.94 c ---[ 136]---> Adder-cost: 94 maxlim: 66560 bits: 18/17 246.80/246.96 c ---[ 134]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 246.80/246.98 c ---[ 132]---> Adder-cost: 180 maxlim: 95232 bits: 18/17 246.90/247.00 c ---[ 130]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 246.90/247.03 c ---[ 128]---> Adder-cost: 284 maxlim: 150528 bits: 19/18 246.90/247.07 c ---[ 126]---> Adder-cost: 256 maxlim: 151552 bits: 19/18 247.00/247.11 c ---[ 124]---> Adder-cost: 268 maxlim: 136192 bits: 19/18 247.00/247.15 c ---[ 122]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 247.00/247.18 c ---[ 120]---> Adder-cost: 336 maxlim: 174080 bits: 19/18 247.10/247.23 c ---[ 118]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 247.10/247.27 c ---[ 116]---> Adder-cost: 355 maxlim: 182272 bits: 19/18 247.20/247.32 c ---[ 114]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 247.20/247.37 c ---[ 112]---> Adder-cost: 206 maxlim: 108544 bits: 18/17 247.20/247.40 c ---[ 110]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 247.30/247.43 c ---[ 108]---> Adder-cost: 266 maxlim: 132096 bits: 19/18 247.30/247.46 c ---[ 106]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 247.30/247.50 c ---[ 104]---> Adder-cost: 274 maxlim: 138240 bits: 19/18 247.40/247.54 c ---[ 102]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 247.40/247.57 c ---[ 100]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 247.50/247.61 c ---[ 98]---> Adder-cost: 170 maxlim: 89088 bits: 18/17 247.50/247.64 c ---[ 96]---> Adder-cost: 68 maxlim: 89088 bits: 18/17 247.50/247.66 c ---[ 94]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 247.50/247.67 c ---[ 92]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 247.50/247.69 c ---[ 90]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 247.60/247.70 c ---[ 88]---> Adder-cost: 402 maxlim: 230400 bits: 19/18 247.60/247.76 c ---[ 86]---> Adder-cost: 124 maxlim: 230400 bits: 19/18 247.70/247.81 c ---[ 84]---> Adder-cost: 264 maxlim: 157696 bits: 19/18 247.70/247.85 c ---[ 82]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 247.80/247.90 c ---[ 80]---> Adder-cost: 308 maxlim: 158720 bits: 19/18 247.80/247.94 c ---[ 78]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 247.80/247.98 c ---[ 76]---> Adder-cost: 294 maxlim: 151552 bits: 19/18 247.90/248.02 c ---[ 74]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 247.90/248.06 c ---[ 72]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 247.90/248.08 c ---[ 70]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 247.90/248.09 c ---[ 68]---> Adder-cost: 166 maxlim: 82944 bits: 18/17 248.00/248.11 c ---[ 66]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 248.00/248.14 c ---[ 64]---> Adder-cost: 318 maxlim: 164864 bits: 19/18 248.00/248.18 c ---[ 62]---> Adder-cost: 294 maxlim: 163840 bits: 19/18 248.10/248.22 c ---[ 60]---> Adder-cost: 306 maxlim: 159744 bits: 19/18 248.10/248.26 c ---[ 58]---> Adder-cost: 94 maxlim: 159744 bits: 19/18 248.20/248.31 c ---[ 56]---> Adder-cost: 216 maxlim: 109568 bits: 18/17 248.20/248.34 c ---[ 54]---> Adder-cost: 78 maxlim: 109568 bits: 18/17 248.20/248.36 c ---[ 52]---> Adder-cost: 244 maxlim: 123904 bits: 18/17 248.20/248.40 c ---[ 50]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 248.30/248.43 c ---[ 48]---> Adder-cost: 226 maxlim: 116736 bits: 18/17 248.30/248.46 c ---[ 46]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 248.30/248.49 c ---[ 44]---> Adder-cost: 154 maxlim: 91136 bits: 18/17 248.40/248.52 c ---[ 42]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 248.40/248.54 c ---[ 40]---> Adder-cost: 336 maxlim: 187392 bits: 19/18 248.40/248.59 c ---[ 38]---> Adder-cost: 322 maxlim: 202752 bits: 19/18 248.50/248.64 c ---[ 36]---> Adder-cost: 112 maxlim: 202752 bits: 19/18 248.50/248.69 c ---[ 34]---> Adder-cost: 170 maxlim: 91136 bits: 18/17 248.60/248.72 c ---[ 32]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 248.60/248.74 c ---[ 30]---> Adder-cost: 298 maxlim: 151552 bits: 19/18 248.60/248.78 c ---[ 28]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 248.70/248.82 c ---[ 26]---> Adder-cost: 330 maxlim: 174080 bits: 19/18 248.70/248.87 c ---[ 24]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 248.80/248.92 c ---[ 22]---> Adder-cost: 590 maxlim: 312320 bits: 20/19 248.90/249.00 c ---[ 20]---> Adder-cost: 154 maxlim: 312320 bits: 20/19 248.90/249.08 c ---[ 18]---> Adder-cost: 278 maxlim: 151552 bits: 19/18 249.00/249.12 c ---[ 16]---> Adder-cost: 190 maxlim: 145408 bits: 19/18 249.00/249.16 c ---[ 14]---> Adder-cost: 278 maxlim: 139264 bits: 19/18 249.10/249.20 c ---[ 12]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 249.10/249.24 c ---[ 11]---> Adder-cost: 4147 maxlim: 2563071 bits: 23/22 249.90/250.03 c ---[ 10]---> Adder-cost: 47766 maxlim: 26620927 bits: 26/25 258.99/259.17 c ---[ 9]---> Adder-cost: 4433 maxlim: 2787327 bits: 23/22 259.89/260.00 c ---[ 8]---> Adder-cost: 7903 maxlim: 2972671 bits: 23/22 261.19/261.39 c ---[ 7]---> Adder-cost: 548 maxlim: 246783 bits: 19/18 261.29/261.48 c ---[ 6]---> Adder-cost: 5893 maxlim: 2482175 bits: 23/22 262.49/262.62 c ---[ 5]---> Adder-cost: 400 maxlim: 129023 bits: 18/17 262.49/262.68 c ---[ 4]---> Adder-cost: 260 maxlim: 117759 bits: 18/17 262.59/262.72 c ---[ 3]---> Adder-cost: 7565 maxlim: 5146623 bits: 24/23 264.19/264.38 c ---[ 2]---> Adder-cost: 9800 maxlim: 21168127 bits: 26/25 269.69/269.90 c ---[ 1]---> Adder-cost: 10590 maxlim: 16636927 bits: 25/24 276.79/276.99 c ---[ 0]---> Adder-cost: 20703 maxlim: 13061119 bits: 25/24 293.88/294.08 c ==================================[MINISAT+]================================== 293.88/294.08 c | Conflicts | Original | Learnt | Progress | 293.88/294.08 c | | Clauses Literals | Max Clauses Literals LPC | | 293.88/294.08 c ============================================================================== 293.88/294.08 c | 0 | 5766028 20397767 | 1922009 0 0 nan | 0.000 % | 293.98/294.12 c | 100 | 5766028 20397767 | 2114209 100 315 3.1 | 8.213 % | 293.98/294.15 c | 250 | 5766028 20397767 | 2325630 250 1066 4.3 | 8.213 % | 293.98/294.19 c | 475 | 5766028 20397767 | 2558193 475 1982 4.2 | 8.213 % | 294.48/294.67 c | 812 | 5766005 20397715 | 2814013 811 3055 3.8 | 8.213 % | 294.88/295.04 c | 1318 | 5766005 20397715 | 3095414 1317 4801 3.6 | 8.213 % | 295.88/296.03 c | 2077 | 5765982 20397663 | 3404956 2075 7514 3.6 | 8.214 % | 298.48/298.66 c | 3216 | 5765883 20397438 | 3745451 3205 13553 4.2 | 8.217 % | 301.39/301.51 c | 4924 | 5765856 20397377 | 4119996 4912 20177 4.1 | 8.218 % | 305.18/305.34 c | 7486 | 5765817 20397287 | 4531996 7473 33889 4.5 | 8.219 % | 310.68/310.88 c | 11330 | 5765666 20396942 | 4985196 11302 60263 5.3 | 8.223 % | 320.08/320.24 c | 17098 | 5765428 20396401 | 5483715 17058 100408 5.9 | 8.230 % | 334.98/335.12 c | 25747 | 5765218 20395929 | 6032087 25692 186151 7.2 | 8.236 % | 357.27/357.47 c | 38721 | 5765028 20395497 | 6635296 38654 282546 7.3 | 8.241 % | 395.66/395.82 c | 58182 | 5764294 20393831 | 7298825 57990 477068 8.2 | 8.262 % | 453.85/454.09 c | 87374 | 5763300 20391561 | 8028708 86980 742982 8.5 | 8.291 % | 504.94/505.17 c | 131163 | 5762696 20390188 | 8831579 130649 1212643 9.3 | 8.308 % | 568.82/569.02 c | 196849 | 5762071 20388760 | 9714737 196184 2071571 10.6 | 8.326 % | 807.96/808.29 c | 295376 | 5760941 20386186 | 10686211 294466 3043709 10.3 | 8.360 % | 1080.40/1080.78 c | 443165 | 5759796 20383587 | 11754832 442018 5033145 11.4 | 8.394 % | 1320.84/1321.29 c | 664848 | 5758792 20381288 | 12930315 663484 9142595 13.8 | 8.424 % | 1755.14/1755.69 c | 997373 | 5758315 20380201 | 14223346 995823 17376538 17.4 | 8.440 % | 1800.04/1800.50 c 1800.04/1800.50 c *** TERMINATED *** 1800.04/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/354172-1176697668/instance-354172-1176697668.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-354172-1176697668 -o ROOT/results/node34/solver-354172-1176697668 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354172-1176697668/minisat+ /tmp/evaluation/354172-1176697668/instance-354172-1176697668.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.01 1.00 3/77 25247 /proc/meminfo: memFree=1829496/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=1180 CPUtime=0 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 123 0 0 0 0 0 0 0 18 0 1 0 117682356 1208320 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 295 108 67 215 0 77 0 [startup+0.0678119 s] /proc/loadavg: 1.08 1.01 1.00 3/77 25247 /proc/meminfo: memFree=1829496/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=3020 CPUtime=0.06 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 559 0 0 0 6 0 0 0 18 0 1 0 117682356 3092480 544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 755 544 67 215 0 537 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3020 [startup+0.102814 s] /proc/loadavg: 1.08 1.01 1.00 3/77 25247 /proc/meminfo: memFree=1829496/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=3772 CPUtime=0.09 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 740 0 0 0 9 0 0 0 18 0 1 0 117682356 3862528 725 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 943 726 67 215 0 725 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3772 [startup+0.302831 s] /proc/loadavg: 1.08 1.01 1.00 3/77 25247 /proc/meminfo: memFree=1829496/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=9820 CPUtime=0.29 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 2184 0 0 0 29 0 0 0 19 0 1 0 117682356 10055680 2036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 2455 2036 67 215 0 2237 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9820 [startup+0.702861 s] /proc/loadavg: 1.08 1.01 1.00 3/77 25247 /proc/meminfo: memFree=1829496/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=17944 CPUtime=0.69 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 4559 0 0 0 68 1 0 0 23 0 1 0 117682356 18374656 4078 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531131 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 4486 4078 75 215 0 4268 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17944 [startup+1.50193 s] /proc/loadavg: 1.08 1.01 1.00 2/78 25248 /proc/meminfo: memFree=1812656/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=20112 CPUtime=1.49 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 5094 0 0 0 148 1 0 0 25 0 1 0 117682356 20594688 4613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003878 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 5028 4613 75 215 0 4810 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20112 [startup+3.10105 s] /proc/loadavg: 1.08 1.01 1.00 2/78 25248 /proc/meminfo: memFree=1808304/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=28116 CPUtime=3.09 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 7068 0 0 0 306 3 0 0 25 0 1 0 117682356 28790784 6587 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012143 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 7029 6587 75 215 0 6811 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28116 [startup+6.30131 s] /proc/loadavg: 1.15 1.03 1.01 2/78 25248 /proc/meminfo: memFree=1791216/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=44764 CPUtime=6.29 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 12226 0 0 0 624 5 0 0 25 0 1 0 117682356 45838336 10763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531229 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 11191 10763 75 215 0 10973 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44764 [startup+12.7018 s] /proc/loadavg: 1.14 1.03 1.01 2/78 25248 /proc/meminfo: memFree=1756024/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=72876 CPUtime=12.69 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 22656 0 0 0 1258 11 0 0 25 0 1 0 117682356 74625024 17809 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 18219 17809 109 215 0 18001 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72876 [startup+25.5018 s] /proc/loadavg: 1.11 1.03 1.00 2/78 25248 /proc/meminfo: memFree=1753272/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=78868 CPUtime=25.48 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 24214 0 0 0 2536 12 0 0 25 0 1 0 117682356 80760832 19119 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003881 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 19717 19119 109 215 0 19499 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 78868 [startup+51.1019 s] /proc/loadavg: 1.07 1.02 1.00 2/78 25248 /proc/meminfo: memFree=1742712/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=90140 CPUtime=51.06 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 27919 0 0 0 5092 14 0 0 25 0 1 0 117682356 92303360 21835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134840597 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 22535 21835 109 215 0 22317 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 90140 [startup+102.306 s] /proc/loadavg: 1.03 1.02 1.00 2/78 25248 /proc/meminfo: memFree=1696760/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=137392 CPUtime=102.24 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 49913 0 0 0 10199 25 0 0 25 0 1 0 117682356 140689408 33156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 34348 33156 109 215 0 34130 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 137392 [startup+162.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 25248 /proc/meminfo: memFree=1567800/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=280552 CPUtime=162.22 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 90534 0 0 0 16176 46 0 0 25 0 1 0 117682356 287285248 65316 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005325 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 70138 65316 109 215 0 69920 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 280552 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 25248 /proc/meminfo: memFree=1567736/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=280552 CPUtime=222.21 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 90534 0 0 0 22174 47 0 0 25 0 1 0 117682356 287285248 65316 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 70138 65316 109 215 0 69920 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 280552 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25248 /proc/meminfo: memFree=1567160/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=280552 CPUtime=282.19 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 90693 0 0 0 28170 49 0 0 25 0 1 0 117682356 287285248 65475 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005773 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 70138 65475 109 215 0 69920 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 280552 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25248 /proc/meminfo: memFree=1315448/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=551636 CPUtime=342.17 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 153539 0 0 0 34139 78 0 0 25 0 1 0 117682356 564875264 128291 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 137909 128291 124 215 0 137691 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 551636 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25248 /proc/meminfo: memFree=1309880/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=556980 CPUtime=402.16 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 154907 0 0 0 40136 80 0 0 25 0 1 0 117682356 570347520 129659 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588592 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 139245 129659 124 215 0 139027 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 556980 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25248 /proc/meminfo: memFree=1304888/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=562012 CPUtime=462.14 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 156127 0 0 0 46133 81 0 0 25 0 1 0 117682356 575500288 130879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 140503 130879 124 215 0 140285 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 562012 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25248 /proc/meminfo: memFree=1298744/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=568208 CPUtime=522.13 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 157658 0 0 0 52130 83 0 0 25 0 1 0 117682356 581844992 132410 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 142052 132410 124 215 0 141834 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 568208 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1290232/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=574680 CPUtime=582.12 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 159349 0 0 0 58126 86 0 0 25 0 1 0 117682356 588472320 134101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 143670 134101 124 215 0 143452 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 574680 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1286392/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=578764 CPUtime=642.11 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 160300 0 0 0 64124 87 0 0 25 0 1 0 117682356 592654336 135052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 144691 135052 124 215 0 144473 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 578764 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1272632/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=592436 CPUtime=882.05 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 163691 0 0 0 88112 93 0 0 25 0 1 0 117682356 606654464 138443 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 148109 138443 124 215 0 147891 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 592436 [startup+942.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 25250 /proc/meminfo: memFree=1269688/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=595204 CPUtime=942.04 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 164423 0 0 0 94110 94 0 0 25 0 1 0 117682356 609488896 139175 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 148801 139175 124 215 0 148583 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 595204 [startup+1002.3 s] /proc/loadavg: 1.05 1.02 1.00 2/78 25250 /proc/meminfo: memFree=1266360/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=598356 CPUtime=1002.02 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 165239 0 0 0 100107 95 0 0 25 0 1 0 117682356 612716544 139991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 149589 139991 124 215 0 149371 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 598356 [startup+1062.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 25250 /proc/meminfo: memFree=1262648/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=601876 CPUtime=1062 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 166154 0 0 0 106104 96 0 0 25 0 1 0 117682356 616321024 140906 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 150469 140906 124 215 0 150251 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 601876 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 25250 /proc/meminfo: memFree=1257720/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=607548 CPUtime=1121.99 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 167381 0 0 0 112101 98 0 0 25 0 1 0 117682356 622129152 142133 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580433 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 151887 142133 124 215 0 151669 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 607548 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 25250 /proc/meminfo: memFree=1253496/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=611632 CPUtime=1181.97 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 168430 0 0 0 118097 100 0 0 25 0 1 0 117682356 626311168 143182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 152908 143182 124 215 0 152690 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 611632 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1245304/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=619280 CPUtime=1241.96 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 170430 0 0 0 124094 102 0 0 25 0 1 0 117682356 634142720 145182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 154820 145182 124 215 0 154602 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 619280 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1236280/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=627988 CPUtime=1301.95 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 172653 0 0 0 130091 104 0 0 25 0 1 0 117682356 643059712 147405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 156997 147405 124 215 0 156779 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 627988 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1228984/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=636348 CPUtime=1361.94 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 174462 0 0 0 136088 106 0 0 25 0 1 0 117682356 651620352 149214 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587949 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 159087 149214 124 215 0 158869 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 636348 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1224696/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=640348 CPUtime=1421.92 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 175511 0 0 0 142085 107 0 0 25 0 1 0 117682356 655716352 150263 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 160087 150263 124 215 0 159869 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 640348 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1220088/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=644844 CPUtime=1481.91 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 176667 0 0 0 148082 109 0 0 25 0 1 0 117682356 660320256 151419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 161211 151419 124 215 0 160993 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 644844 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1215736/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=648924 CPUtime=1541.89 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 177735 0 0 0 154079 110 0 0 25 0 1 0 117682356 664498176 152487 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 162231 152487 124 215 0 162013 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 648924 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1208824/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=655928 CPUtime=1601.88 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 179503 0 0 0 160075 113 0 0 25 0 1 0 117682356 671670272 154255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 163982 154255 124 215 0 163764 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 655928 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1194168/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=670068 CPUtime=1661.86 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 183096 0 0 0 166070 116 0 0 25 0 1 0 117682356 686149632 157848 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 167517 157848 124 215 0 167299 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 670068 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1188984/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=675104 CPUtime=1721.86 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 184392 0 0 0 172068 118 0 0 25 0 1 0 117682356 691306496 159144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582041 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 168776 159144 124 215 0 168558 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 675104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1183864/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=679936 CPUtime=1781.84 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 185631 0 0 0 178065 119 0 0 25 0 1 0 117682356 696254464 160383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 169984 160383 124 215 0 169766 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 679936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25250 /proc/meminfo: memFree=1181816/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=681916 CPUtime=1800.04 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194304 186128 0 0 0 179884 120 0 0 25 0 1 0 117682356 698281984 160880 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 170479 160880 124 215 0 170261 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 681916 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/79 25251 /proc/meminfo: memFree=1777712/2055920 swapFree=4161228/4192956 [pid=25247] ppid=25245 vsize=0 CPUtime=1800.14 /proc/25247/stat : 25247 (minisat+) R 25245 25247 24844 0 -1 4194308 186129 0 0 0 179884 130 0 0 25 0 1 0 117682356 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/25247/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.16 CPU user time (s): 1798.84 CPU system time (s): 1.3148 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 681916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.84 system time used= 1.3148 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 186129 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= 8 involuntary context switches= 40013 runsolver used 2.16867 second user time and 4.21436 second system time The end
Begin job on node34 on Mon Apr 16 04:27:49 UTC 2007 IDJOB= 354172 IDBENCH= 2370 IDSOLVER= 156 FILE ID= node34/354172-1176697668 PBS_JOBID= 4560041 Free space on /tmp= 66497 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb COMMAND LINE= /tmp/evaluation/354172-1176697668/minisat+ /tmp/evaluation/354172-1176697668/instance-354172-1176697668.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-354172-1176697668 -o ROOT/results/node34/conversion-354172-1176697668 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354172-1176697668/instance-354172-1176697668.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-354172-1176697668 -o ROOT/results/node34/solver-354172-1176697668 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354172-1176697668/minisat+ /tmp/evaluation/354172-1176697668/instance-354172-1176697668.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= b626c8307376f19de1f1e51bf91eca4f RANDOM SEED= 238263330 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1829976 kB Buffers: 388 kB Cached: 47380 kB SwapCached: 2620 kB Active: 150788 kB Inactive: 24892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1829976 kB SwapTotal: 4192956 kB SwapFree: 4161228 kB Dirty: 10620 kB Writeback: 0 kB Mapped: 141052 kB Slab: 35656 kB Committed_AS: 439896 kB PageTables: 1980 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66497 MiB End job on node34 on Mon Apr 16 04:57:52 UTC 2007