| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisat+ 1.14 | ? (TO) | 1800.53 | 1801.26 |
| 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 | 17540679175205888 |
| Best CPU time to get the best result obtained on this benchmark | 1804.83 |
| 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 c Parsing PB file... 10.72 c Converting 3286 PB-constraints to clauses... 10.78 c -- Unit propagations: (none) 10.79 c -- Detecting intervals from adjacent constraints: #################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 10.94 c -- Clauses(.)/Splits(s): ssssssssssss 11.59 c ---[3296]---> Adder-cost: 204 maxlim: 100352 bits: 18/17 11.61 c ---[3294]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 11.63 c ---[3292]---> Adder-cost: 196 maxlim: 98304 bits: 18/17 11.65 c ---[3290]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 11.68 c ---[3288]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 11.69 c ---[3286]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 11.70 c ---[3284]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 11.71 c ---[3282]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 11.73 c ---[3280]---> Adder-cost: 366 maxlim: 228352 bits: 19/18 11.78 c ---[3278]---> Adder-cost: 280 maxlim: 238592 bits: 19/18 11.83 c ---[3276]---> Adder-cost: 1036 maxlim: 534528 bits: 21/20 11.96 c ---[3274]---> Adder-cost: 1074 maxlim: 663552 bits: 21/20 12.12 c ---[3272]---> Adder-cost: 1174 maxlim: 603136 bits: 21/20 12.26 c ---[3270]---> Adder-cost: 686 maxlim: 395264 bits: 20/19 12.34 c ---[3268]---> Adder-cost: 508 maxlim: 261120 bits: 19/18 12.40 c ---[3266]---> Adder-cost: 490 maxlim: 277504 bits: 20/19 12.46 c ---[3264]---> Adder-cost: 306 maxlim: 159744 bits: 19/18 12.50 c ---[3262]---> Adder-cost: 222 maxlim: 159744 bits: 19/18 12.54 c ---[3260]---> Adder-cost: 238 maxlim: 119808 bits: 18/17 12.56 c ---[3258]---> Adder-cost: 170 maxlim: 116736 bits: 18/17 12.59 c ---[3256]---> Adder-cost: 292 maxlim: 159744 bits: 19/18 12.63 c ---[3254]---> Adder-cost: 300 maxlim: 181248 bits: 19/18 12.67 c ---[3252]---> Adder-cost: 532 maxlim: 292864 bits: 20/19 12.73 c ---[3250]---> Adder-cost: 498 maxlim: 293888 bits: 20/19 12.80 c ---[3248]---> Adder-cost: 356 maxlim: 199680 bits: 19/18 12.85 c ---[3246]---> Adder-cost: 300 maxlim: 176128 bits: 19/18 12.89 c ---[3244]---> Adder-cost: 560 maxlim: 284672 bits: 20/19 12.95 c ---[3242]---> Adder-cost: 398 maxlim: 233472 bits: 19/18 13.00 c ---[3240]---> Adder-cost: 222 maxlim: 117760 bits: 18/17 13.03 c ---[3238]---> Adder-cost: 208 maxlim: 108544 bits: 18/17 13.06 c ---[3236]---> Adder-cost: 322 maxlim: 166912 bits: 19/18 13.09 c ---[3234]---> Adder-cost: 224 maxlim: 125952 bits: 18/17 13.12 c ---[3232]---> Adder-cost: 240 maxlim: 123904 bits: 18/17 13.15 c ---[3230]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 13.17 c ---[3228]---> Adder-cost: 406 maxlim: 205824 bits: 19/18 13.22 c ---[3226]---> Adder-cost: 242 maxlim: 162816 bits: 19/18 13.26 c ---[3224]---> Adder-cost: 184 maxlim: 101376 bits: 18/17 13.28 c ---[3222]---> Adder-cost: 160 maxlim: 94208 bits: 18/17 13.30 c ---[3220]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 13.31 c ---[3218]---> Adder-cost: 178 maxlim: 88064 bits: 18/17 13.33 c ---[3216]---> Adder-cost: 164 maxlim: 104448 bits: 18/17 13.36 c ---[3214]---> Adder-cost: 202 maxlim: 112640 bits: 18/17 13.38 c ---[3212]---> Adder-cost: 316 maxlim: 158720 bits: 19/18 13.42 c ---[3210]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 13.46 c ---[3208]---> Adder-cost: 308 maxlim: 157696 bits: 19/18 13.49 c ---[3206]---> Adder-cost: 414 maxlim: 229376 bits: 19/18 13.54 c ---[3204]---> Adder-cost: 410 maxlim: 240640 bits: 19/18 13.59 c ---[3202]---> Adder-cost: 120 maxlim: 240640 bits: 19/18 13.64 c ---[3200]---> Adder-cost: 430 maxlim: 224256 bits: 19/18 13.69 c ---[3198]---> Adder-cost: 334 maxlim: 192512 bits: 19/18 13.73 c ---[3196]---> Adder-cost: 268 maxlim: 132096 bits: 19/18 13.77 c ---[3194]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 13.80 c ---[3192]---> Adder-cost: 274 maxlim: 139264 bits: 19/18 13.83 c ---[3190]---> Adder-cost: 152 maxlim: 139264 bits: 19/18 13.86 c ---[3188]---> Adder-cost: 292 maxlim: 153600 bits: 19/18 13.90 c ---[3186]---> Adder-cost: 92 maxlim: 153600 bits: 19/18 13.93 c ---[3184]---> Adder-cost: 362 maxlim: 187392 bits: 19/18 13.98 c ---[3182]---> Adder-cost: 346 maxlim: 185344 bits: 19/18 14.02 c ---[3180]---> Adder-cost: 382 maxlim: 201728 bits: 19/18 14.06 c ---[3178]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 14.11 c ---[3176]---> Adder-cost: 254 maxlim: 129024 bits: 18/17 14.14 c ---[3174]---> Adder-cost: 184 maxlim: 100352 bits: 18/17 14.16 c ---[3172]---> Adder-cost: 222 maxlim: 133120 bits: 19/18 14.19 c ---[3170]---> Adder-cost: 272 maxlim: 134144 bits: 19/18 14.22 c ---[3168]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 14.26 c ---[3166]---> Adder-cost: 206 maxlim: 107520 bits: 18/17 14.28 c ---[3164]---> Adder-cost: 202 maxlim: 106496 bits: 18/17 14.30 c ---[3162]---> Adder-cost: 118 maxlim: 71680 bits: 18/17 14.32 c ---[3160]---> Adder-cost: 182 maxlim: 90112 bits: 18/17 14.34 c ---[3158]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 14.37 c ---[3156]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38 c ---[3154]---> Adder-cost: 412 maxlim: 206848 bits: 19/18 14.42 c ---[3152]---> Adder-cost: 114 maxlim: 206848 bits: 19/18 14.47 c ---[3150]---> Adder-cost: 166 maxlim: 86016 bits: 18/17 14.49 c ---[3148]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 14.51 c ---[3146]---> Adder-cost: 204 maxlim: 101376 bits: 18/17 14.54 c ---[3144]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 14.56 c ---[3142]---> Adder-cost: 290 maxlim: 143360 bits: 19/18 14.59 c ---[3140]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 14.63 c ---[3138]---> Adder-cost: 492 maxlim: 252928 bits: 19/18 14.68 c ---[3136]---> Adder-cost: 360 maxlim: 181248 bits: 19/18 14.73 c ---[3134]---> Adder-cost: 126 maxlim: 252928 bits: 19/18 14.78 c ---[3132]---> Adder-cost: 338 maxlim: 167936 bits: 19/18 14.82 c ---[3130]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 14.86 c ---[3128]---> Adder-cost: 306 maxlim: 169984 bits: 19/18 14.90 c ---[3126]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 14.94 c ---[3124]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 14.97 c ---[3122]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 15.00 c ---[3120]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 15.02 c ---[3118]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 15.05 c ---[3116]---> Adder-cost: 202 maxlim: 98304 bits: 18/17 15.07 c ---[3114]---> Adder-cost: 430 maxlim: 221184 bits: 19/18 15.12 c ---[3112]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 15.15 c ---[3110]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 15.17 c ---[3108]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 15.18 c ---[3106]---> Adder-cost: 110 maxlim: 60416 bits: 17/16 15.20 c ---[3104]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 15.21 c ---[3102]---> Adder-cost: 380 maxlim: 193536 bits: 19/18 15.25 c ---[3100]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 15.30 c ---[3098]---> Adder-cost: 492 maxlim: 273408 bits: 20/19 15.36 c ---[3096]---> Adder-cost: 142 maxlim: 273408 bits: 20/19 15.43 c ---[3094]---> Adder-cost: 542 maxlim: 271360 bits: 20/19 15.49 c ---[3092]---> Adder-cost: 116 maxlim: 221184 bits: 19/18 15.54 c ---[3090]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 15.61 c ---[3088]---> Adder-cost: 626 maxlim: 318464 bits: 20/19 15.68 c ---[3086]---> Adder-cost: 152 maxlim: 318464 bits: 20/19 15.75 c ---[3084]---> Adder-cost: 428 maxlim: 220160 bits: 19/18 15.80 c ---[3082]---> Adder-cost: 110 maxlim: 220160 bits: 19/18 15.85 c ---[3080]---> Adder-cost: 400 maxlim: 204800 bits: 19/18 15.90 c ---[3078]---> Adder-cost: 118 maxlim: 204800 bits: 19/18 15.94 c ---[3076]---> Adder-cost: 358 maxlim: 190464 bits: 19/18 15.99 c ---[3074]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 16.03 c ---[3072]---> Adder-cost: 314 maxlim: 160768 bits: 19/18 16.07 c ---[3070]---> Adder-cost: 284 maxlim: 142336 bits: 19/18 16.10 c ---[3068]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 16.14 c ---[3066]---> Adder-cost: 256 maxlim: 134144 bits: 19/18 16.17 c ---[3064]---> Adder-cost: 178 maxlim: 131072 bits: 19/18 16.20 c ---[3062]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 16.23 c ---[3060]---> Adder-cost: 360 maxlim: 184320 bits: 19/18 16.28 c ---[3058]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 16.32 c ---[3056]---> Adder-cost: 932 maxlim: 478208 bits: 20/19 16.42 c ---[3054]---> Adder-cost: 184 maxlim: 478208 bits: 20/19 16.52 c ---[3052]---> Adder-cost: 396 maxlim: 219136 bits: 19/18 16.57 c ---[3050]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 16.62 c ---[3048]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 16.65 c ---[3046]---> Adder-cost: 336 maxlim: 173056 bits: 19/18 16.69 c ---[3044]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 16.73 c ---[3042]---> Adder-cost: 342 maxlim: 173056 bits: 19/18 16.77 c ---[3040]---> Adder-cost: 250 maxlim: 176128 bits: 19/18 16.81 c ---[3038]---> Adder-cost: 422 maxlim: 215040 bits: 19/18 16.86 c ---[3036]---> Adder-cost: 118 maxlim: 215040 bits: 19/18 16.91 c ---[3034]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 16.94 c ---[3032]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 16.98 c ---[3030]---> Adder-cost: 366 maxlim: 187392 bits: 19/18 17.02 c ---[3028]---> Adder-cost: 102 maxlim: 187392 bits: 19/18 17.06 c ---[3026]---> Adder-cost: 282 maxlim: 142336 bits: 19/18 17.10 c ---[3024]---> Adder-cost: 560 maxlim: 282624 bits: 20/19 17.16 c ---[3022]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 17.23 c ---[3020]---> Adder-cost: 396 maxlim: 206848 bits: 19/18 17.28 c ---[3018]---> Adder-cost: 374 maxlim: 201728 bits: 19/18 17.32 c ---[3016]---> Adder-cost: 438 maxlim: 240640 bits: 19/18 17.38 c ---[3014]---> Adder-cost: 120 maxlim: 240640 bits: 19/18 17.43 c ---[3012]---> Adder-cost: 362 maxlim: 194560 bits: 19/18 17.47 c ---[3010]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 17.52 c ---[3008]---> Adder-cost: 312 maxlim: 156672 bits: 19/18 17.55 c ---[3006]---> Adder-cost: 264 maxlim: 155648 bits: 19/18 17.59 c ---[3004]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 17.62 c ---[3002]---> Adder-cost: 336 maxlim: 168960 bits: 19/18 17.66 c ---[3000]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 17.70 c ---[2998]---> Adder-cost: 364 maxlim: 184320 bits: 19/18 17.74 c ---[2996]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 17.78 c ---[2994]---> Adder-cost: 240 maxlim: 126976 bits: 18/17 17.81 c ---[2992]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 17.84 c ---[2990]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 17.86 c ---[2988]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 17.87 c ---[2986]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 17.88 c ---[2984]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 17.90 c ---[2982]---> Adder-cost: 252 maxlim: 154624 bits: 19/18 17.94 c ---[2980]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 17.96 c ---[2978]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 17.97 c ---[2976]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 17.98 c ---[2974]---> Adder-cost: 404 maxlim: 202752 bits: 19/18 18.03 c ---[2972]---> Adder-cost: 112 maxlim: 202752 bits: 19/18 18.07 c ---[2970]---> Adder-cost: 332 maxlim: 251904 bits: 19/18 18.13 c ---[2968]---> Adder-cost: 466 maxlim: 240640 bits: 19/18 18.18 c ---[2966]---> Adder-cost: 126 maxlim: 251904 bits: 19/18 18.26 c ---[2964]---> Adder-cost: 874 maxlim: 477184 bits: 20/19 18.37 c ---[2962]---> Adder-cost: 184 maxlim: 477184 bits: 20/19 18.47 c ---[2960]---> Adder-cost: 876 maxlim: 472064 bits: 20/19 18.58 c ---[2958]---> Adder-cost: 190 maxlim: 472064 bits: 20/19 18.68 c ---[2956]---> Adder-cost: 404 maxlim: 239616 bits: 19/18 18.73 c ---[2954]---> Adder-cost: 1208 maxlim: 663552 bits: 21/20 18.89 c ---[2952]---> Adder-cost: 234 maxlim: 663552 bits: 21/20 19.05 c ---[2950]---> Adder-cost: 1068 maxlim: 607232 bits: 21/20 19.19 c ---[2948]---> Adder-cost: 230 maxlim: 607232 bits: 21/20 19.34 c ---[2946]---> Adder-cost: 1664 maxlim: 906240 bits: 21/20 19.54 c ---[2944]---> Adder-cost: 288 maxlim: 178176 bits: 19/18 19.59 c ---[2942]---> Adder-cost: 282 maxlim: 906240 bits: 21/20 19.79 c ---[2940]---> Adder-cost: 1996 maxlim: 1088512 bits: 22/21 20.07 c ---[2938]---> Adder-cost: 1880 maxlim: 1071104 bits: 22/21 20.34 c ---[2936]---> Adder-cost: 1680 maxlim: 934912 bits: 21/20 20.56 c ---[2934]---> Adder-cost: 1552 maxlim: 850944 bits: 21/20 20.75 c ---[2932]---> Adder-cost: 102 maxlim: 178176 bits: 19/18 20.79 c ---[2930]---> Adder-cost: 1408 maxlim: 828416 bits: 21/20 20.98 c ---[2928]---> Adder-cost: 1240 maxlim: 706560 bits: 21/20 21.15 c ---[2926]---> Adder-cost: 964 maxlim: 532480 bits: 21/20 21.28 c ---[2924]---> Adder-cost: 1018 maxlim: 555008 bits: 21/20 21.42 c ---[2922]---> Adder-cost: 210 maxlim: 555008 bits: 21/20 21.55 c ---[2920]---> Adder-cost: 886 maxlim: 499712 bits: 20/19 21.66 c ---[2918]---> Adder-cost: 424 maxlim: 212992 bits: 19/18 21.71 c ---[2916]---> Adder-cost: 198 maxlim: 499712 bits: 20/19 21.82 c ---[2914]---> Adder-cost: 1086 maxlim: 600064 bits: 21/20 21.96 c ---[2912]---> Adder-cost: 230 maxlim: 600064 bits: 21/20 22.10 c ---[2910]---> Adder-cost: 1218 maxlim: 658432 bits: 21/20 22.26 c ---[2908]---> Adder-cost: 240 maxlim: 658432 bits: 21/20 22.41 c ---[2906]---> Adder-cost: 1304 maxlim: 707584 bits: 21/20 22.57 c ---[2904]---> Adder-cost: 1014 maxlim: 555008 bits: 21/20 22.71 c ---[2902]---> Adder-cost: 210 maxlim: 555008 bits: 21/20 22.84 c ---[2900]---> Adder-cost: 122 maxlim: 212992 bits: 19/18 22.89 c ---[2898]---> Adder-cost: 698 maxlim: 368640 bits: 20/19 22.97 c ---[2896]---> Adder-cost: 160 maxlim: 368640 bits: 20/19 23.06 c ---[2894]---> Adder-cost: 718 maxlim: 408576 bits: 20/19 23.15 c ---[2892]---> Adder-cost: 170 maxlim: 408576 bits: 20/19 23.24 c ---[2890]---> Adder-cost: 636 maxlim: 340992 bits: 20/19 23.31 c ---[2888]---> Adder-cost: 350 maxlim: 184320 bits: 19/18 23.36 c ---[2886]---> Adder-cost: 152 maxlim: 340992 bits: 20/19 23.44 c ---[2884]---> Adder-cost: 716 maxlim: 394240 bits: 20/19 23.52 c ---[2882]---> Adder-cost: 166 maxlim: 394240 bits: 20/19 23.61 c ---[2880]---> Adder-cost: 612 maxlim: 339968 bits: 20/19 23.69 c ---[2878]---> Adder-cost: 154 maxlim: 339968 bits: 20/19 23.77 c ---[2876]---> Adder-cost: 264 maxlim: 154624 bits: 19/18 23.81 c ---[2874]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 23.85 c ---[2872]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 23.88 c ---[2870]---> Adder-cost: 190 maxlim: 105472 bits: 18/17 23.91 c ---[2868]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 23.93 c ---[2866]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 23.94 c ---[2864]---> Adder-cost: 348 maxlim: 174080 bits: 19/18 23.98 c ---[2862]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 23.99 c ---[2860]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 24.00 c ---[2858]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 24.01 c ---[2856]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 24.01 c ---[2854]---> Adder-cost: 844 maxlim: 436224 bits: 20/19 24.11 c ---[2852]---> Adder-cost: 770 maxlim: 447488 bits: 20/19 24.21 c ---[2850]---> Adder-cost: 546 maxlim: 302080 bits: 20/19 24.28 c ---[2848]---> Adder-cost: 304 maxlim: 206848 bits: 19/18 24.33 c ---[2846]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 24.37 c ---[2844]---> Adder-cost: 472 maxlim: 250880 bits: 19/18 24.42 c ---[2842]---> Adder-cost: 466 maxlim: 273408 bits: 20/19 24.49 c ---[2840]---> Adder-cost: 520 maxlim: 285696 bits: 20/19 24.56 c ---[2838]---> Adder-cost: 568 maxlim: 312320 bits: 20/19 24.63 c ---[2836]---> Adder-cost: 562 maxlim: 290816 bits: 20/19 24.70 c ---[2834]---> Adder-cost: 436 maxlim: 281600 bits: 20/19 24.77 c ---[2832]---> Adder-cost: 278 maxlim: 142336 bits: 19/18 24.81 c ---[2830]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 24.84 c ---[2828]---> Adder-cost: 284 maxlim: 141312 bits: 19/18 24.87 c ---[2826]---> Adder-cost: 284 maxlim: 157696 bits: 19/18 24.91 c ---[2824]---> Adder-cost: 388 maxlim: 200704 bits: 19/18 24.95 c ---[2822]---> Adder-cost: 408 maxlim: 227328 bits: 19/18 25.00 c ---[2820]---> Adder-cost: 414 maxlim: 223232 bits: 19/18 25.05 c ---[2818]---> Adder-cost: 614 maxlim: 324608 bits: 20/19 25.13 c ---[2816]---> Adder-cost: 750 maxlim: 453632 bits: 20/19 25.23 c ---[2814]---> Adder-cost: 676 maxlim: 376832 bits: 20/19 25.31 c ---[2812]---> Adder-cost: 394 maxlim: 246784 bits: 19/18 25.37 c ---[2810]---> Adder-cost: 526 maxlim: 262144 bits: 20/19 25.44 c ---[2808]---> Adder-cost: 434 maxlim: 241664 bits: 19/18 25.49 c ---[2806]---> Adder-cost: 396 maxlim: 205824 bits: 19/18 25.54 c ---[2804]---> Adder-cost: 414 maxlim: 222208 bits: 19/18 25.59 c ---[2802]---> Adder-cost: 116 maxlim: 200704 bits: 19/18 25.63 c ---[2800]---> Adder-cost: 340 maxlim: 178176 bits: 19/18 25.67 c ---[2798]---> Adder-cost: 252 maxlim: 145408 bits: 19/18 25.71 c ---[2796]---> Adder-cost: 216 maxlim: 109568 bits: 18/17 25.73 c ---[2794]---> Adder-cost: 204 maxlim: 120832 bits: 18/17 25.76 c ---[2792]---> Adder-cost: 278 maxlim: 147456 bits: 19/18 25.80 c ---[2790]---> Adder-cost: 94 maxlim: 92160 bits: 18/17 25.82 c ---[2788]---> Adder-cost: 396 maxlim: 199680 bits: 19/18 25.87 c ---[2786]---> Adder-cost: 114 maxlim: 199680 bits: 19/18 25.91 c ---[2784]---> Adder-cost: 516 maxlim: 264192 bits: 20/19 25.98 c ---[2782]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 26.04 c ---[2780]---> Adder-cost: 362 maxlim: 182272 bits: 19/18 26.08 c ---[2778]---> Adder-cost: 376 maxlim: 198656 bits: 19/18 26.13 c ---[2776]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 26.17 c ---[2774]---> Adder-cost: 334 maxlim: 171008 bits: 19/18 26.21 c ---[2772]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 26.25 c ---[2770]---> Adder-cost: 396 maxlim: 203776 bits: 19/18 26.30 c ---[2768]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 26.35 c ---[2766]---> Adder-cost: 402 maxlim: 203776 bits: 19/18 26.39 c ---[2764]---> Adder-cost: 354 maxlim: 207872 bits: 19/18 26.44 c ---[2762]---> Adder-cost: 372 maxlim: 190464 bits: 19/18 26.48 c ---[2760]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 26.53 c ---[2758]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 26.57 c ---[2756]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 26.61 c ---[2754]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 26.65 c ---[2752]---> Adder-cost: 280 maxlim: 141312 bits: 19/18 26.68 c ---[2750]---> Adder-cost: 264 maxlim: 139264 bits: 19/18 26.71 c ---[2748]---> Adder-cost: 344 maxlim: 180224 bits: 19/18 26.76 c ---[2746]---> Adder-cost: 110 maxlim: 180224 bits: 19/18 26.80 c ---[2744]---> Adder-cost: 262 maxlim: 132096 bits: 19/18 26.83 c ---[2742]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 26.86 c ---[2740]---> Adder-cost: 226 maxlim: 121856 bits: 18/17 26.89 c ---[2738]---> Adder-cost: 80 maxlim: 121856 bits: 18/17 26.92 c ---[2736]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 26.96 c ---[2734]---> Adder-cost: 466 maxlim: 235520 bits: 19/18 27.01 c ---[2732]---> Adder-cost: 126 maxlim: 235520 bits: 19/18 27.07 c ---[2730]---> Adder-cost: 332 maxlim: 165888 bits: 19/18 27.10 c ---[2728]---> Adder-cost: 188 maxlim: 156672 bits: 19/18 27.14 c ---[2726]---> Adder-cost: 184 maxlim: 90112 bits: 18/17 27.16 c ---[2724]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 27.19 c ---[2722]---> Adder-cost: 192 maxlim: 96256 bits: 18/17 27.21 c ---[2720]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 27.23 c ---[2718]---> Adder-cost: 208 maxlim: 105472 bits: 18/17 27.26 c ---[2716]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 27.28 c ---[2714]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 27.32 c ---[2712]---> Adder-cost: 228 maxlim: 120832 bits: 18/17 27.35 c ---[2710]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 27.38 c ---[2708]---> Adder-cost: 124 maxlim: 64512 bits: 17/16 27.40 c ---[2706]---> Adder-cost: 50 maxlim: 64512 bits: 17/16 27.41 c ---[2704]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 27.42 c ---[2702]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 7 27.43 c ---[2700]---> Adder-cost: 214 maxlim: 110592 bits: 18/17 27.46 c ---[2698]---> Adder-cost: 236 maxlim: 129024 bits: 18/17 27.49 c ---[2696]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 27.52 c ---[2694]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 27.54 c ---[2692]---> Adder-cost: 262 maxlim: 144384 bits: 19/18 27.58 c ---[2690]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 27.60 c ---[2688]---> Adder-cost: 224 maxlim: 115712 bits: 18/17 27.63 c ---[2686]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 27.65 c ---[2684]---> Adder-cost: 434 maxlim: 224256 bits: 19/18 27.75 c ---[2682]---> Adder-cost: 114 maxlim: 224256 bits: 19/18 27.80 c ---[2680]---> Adder-cost: 358 maxlim: 186368 bits: 19/18 27.85 c ---[2678]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 27.89 c ---[2676]---> Adder-cost: 310 maxlim: 157696 bits: 19/18 27.93 c ---[2674]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 27.96 c ---[2672]---> Adder-cost: 340 maxlim: 173056 bits: 19/18 28.00 c ---[2670]---> Adder-cost: 90 maxlim: 144384 bits: 19/18 28.04 c ---[2668]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 28.08 c ---[2666]---> Adder-cost: 150 maxlim: 75776 bits: 18/17 28.10 c ---[2664]---> Adder-cost: 136 maxlim: 74752 bits: 18/17 28.12 c ---[2662]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 28.14 c ---[2660]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 28.15 c ---[2658]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 28.16 c ---[2656]---> Adder-cost: 272 maxlim: 133120 bits: 19/18 28.20 c ---[2654]---> Adder-cost: 244 maxlim: 169984 bits: 19/18 28.24 c ---[2652]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 28.28 c ---[2650]---> Adder-cost: 372 maxlim: 191488 bits: 19/18 28.32 c ---[2648]---> Adder-cost: 204 maxlim: 104448 bits: 18/17 28.34 c ---[2646]---> Adder-cost: 104 maxlim: 191488 bits: 19/18 28.39 c ---[2644]---> Adder-cost: 312 maxlim: 160768 bits: 19/18 28.43 c ---[2642]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 28.47 c ---[2640]---> Adder-cost: 610 maxlim: 316416 bits: 20/19 28.54 c ---[2638]---> Adder-cost: 154 maxlim: 316416 bits: 20/19 28.62 c ---[2636]---> Adder-cost: 516 maxlim: 263168 bits: 20/19 28.68 c ---[2634]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 28.75 c ---[2632]---> Adder-cost: 382 maxlim: 198656 bits: 19/18 28.80 c ---[2630]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 28.84 c ---[2628]---> Adder-cost: 270 maxlim: 142336 bits: 19/18 28.87 c ---[2626]---> Adder-cost: 124 maxlim: 71680 bits: 18/17 28.89 c ---[2624]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 28.93 c ---[2622]---> Adder-cost: 360 maxlim: 181248 bits: 19/18 28.97 c ---[2620]---> Adder-cost: 106 maxlim: 181248 bits: 19/18 29.01 c ---[2618]---> Adder-cost: 532 maxlim: 280576 bits: 20/19 29.08 c ---[2616]---> Adder-cost: 136 maxlim: 280576 bits: 20/19 29.15 c ---[2614]---> Adder-cost: 374 maxlim: 196608 bits: 19/18 29.19 c ---[2612]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 29.24 c ---[2610]---> Adder-cost: 384 maxlim: 194560 bits: 19/18 29.28 c ---[2608]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 29.33 c ---[2606]---> Adder-cost: 222 maxlim: 113664 bits: 18/17 29.35 c ---[2604]---> Adder-cost: 364 maxlim: 185344 bits: 19/18 29.40 c ---[2602]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 29.42 c ---[2600]---> Adder-cost: 174 maxlim: 87040 bits: 18/17 29.44 c ---[2598]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 29.47 c ---[2596]---> Adder-cost: 290 maxlim: 145408 bits: 19/18 29.50 c ---[2594]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 29.54 c ---[2592]---> Adder-cost: 144 maxlim: 74752 bits: 18/17 29.56 c ---[2590]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 29.57 c ---[2588]---> Adder-cost: 240 maxlim: 120832 bits: 18/17 29.60 c ---[2586]---> Adder-cost: 200 maxlim: 119808 bits: 18/17 29.63 c ---[2584]---> Adder-cost: 160 maxlim: 84992 bits: 18/17 29.65 c ---[2582]---> Adder-cost: 394 maxlim: 198656 bits: 19/18 29.70 c ---[2580]---> Adder-cost: 256 maxlim: 224256 bits: 19/18 29.75 c ---[2578]---> Adder-cost: 114 maxlim: 224256 bits: 19/18 29.80 c ---[2576]---> Adder-cost: 286 maxlim: 149504 bits: 19/18 29.84 c ---[2574]---> Adder-cost: 290 maxlim: 168960 bits: 19/18 29.88 c ---[2572]---> Adder-cost: 340 maxlim: 172032 bits: 19/18 29.92 c ---[2570]---> Adder-cost: 102 maxlim: 172032 bits: 19/18 29.96 c ---[2568]---> Adder-cost: 352 maxlim: 185344 bits: 19/18 30.00 c ---[2566]---> Adder-cost: 248 maxlim: 154624 bits: 19/18 30.04 c ---[2564]---> Adder-cost: 208 maxlim: 103424 bits: 18/17 30.06 c ---[2562]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 30.09 c ---[2560]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 30.10 c ---[2558]---> Adder-cost: 558 maxlim: 281600 bits: 20/19 30.16 c ---[2556]---> Adder-cost: 384 maxlim: 265216 bits: 20/19 30.23 c ---[2554]---> Adder-cost: 426 maxlim: 232448 bits: 19/18 30.28 c ---[2552]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 30.34 c ---[2550]---> Adder-cost: 236 maxlim: 121856 bits: 18/17 30.36 c ---[2548]---> Adder-cost: 180 maxlim: 94208 bits: 18/17 30.39 c ---[2546]---> Adder-cost: 250 maxlim: 128000 bits: 18/17 30.42 c ---[2544]---> Adder-cost: 78 maxlim: 128000 bits: 18/17 30.45 c ---[2542]---> Adder-cost: 274 maxlim: 138240 bits: 19/18 30.48 c ---[2540]---> Adder-cost: 134 maxlim: 89088 bits: 18/17 30.50 c ---[2538]---> Adder-cost: 172 maxlim: 86016 bits: 18/17 30.52 c ---[2536]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 30.55 c ---[2534]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 30.56 c ---[2532]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 30.57 c ---[2530]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 30.58 c ---[2528]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 30.62 c ---[2526]---> Adder-cost: 228 maxlim: 115712 bits: 18/17 30.65 c ---[2524]---> Adder-cost: 160 maxlim: 118784 bits: 18/17 30.68 c ---[2522]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 30.71 c ---[2520]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 30.72 c ---[2518]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 30.74 c ---[2516]---> Adder-cost: 288 maxlim: 145408 bits: 19/18 30.77 c ---[2514]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 30.81 c ---[2512]---> Adder-cost: 312 maxlim: 156672 bits: 19/18 30.85 c ---[2510]---> Adder-cost: 96 maxlim: 156672 bits: 19/18 30.88 c ---[2508]---> Adder-cost: 288 maxlim: 151552 bits: 19/18 30.92 c ---[2506]---> Adder-cost: 214 maxlim: 107520 bits: 18/17 30.95 c ---[2504]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 30.97 c ---[2502]---> Adder-cost: 208 maxlim: 104448 bits: 18/17 31.00 c ---[2500]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 31.02 c ---[2498]---> Adder-cost: 234 maxlim: 117760 bits: 18/17 31.05 c ---[2496]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 31.08 c ---[2494]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 31.10 c ---[2492]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 31.13 c ---[2490]---> Adder-cost: 248 maxlim: 126976 bits: 18/17 31.16 c ---[2488]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 31.19 c ---[2486]---> Adder-cost: 242 maxlim: 168960 bits: 19/18 31.23 c ---[2484]---> Adder-cost: 170 maxlim: 81920 bits: 18/17 31.25 c ---[2482]---> Adder-cost: 68 maxlim: 81920 bits: 18/17 31.27 c ---[2480]---> Adder-cost: 136 maxlim: 66560 bits: 18/17 31.29 c ---[2478]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 31.31 c ---[2476]---> Adder-cost: 244 maxlim: 122880 bits: 18/17 31.34 c ---[2474]---> Adder-cost: 286 maxlim: 169984 bits: 19/18 31.38 c ---[2472]---> Adder-cost: 102 maxlim: 169984 bits: 19/18 31.42 c ---[2470]---> Adder-cost: 604 maxlim: 318464 bits: 20/19 31.49 c ---[2468]---> Adder-cost: 152 maxlim: 318464 bits: 20/19 31.57 c ---[2466]---> Adder-cost: 222 maxlim: 110592 bits: 18/17 31.60 c ---[2464]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 31.62 c ---[2462]---> Adder-cost: 328 maxlim: 163840 bits: 19/18 31.66 c ---[2460]---> Adder-cost: 102 maxlim: 163840 bits: 19/18 31.70 c ---[2458]---> Adder-cost: 246 maxlim: 122880 bits: 18/17 31.73 c ---[2456]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 31.76 c ---[2454]---> Adder-cost: 262 maxlim: 140288 bits: 19/18 31.79 c ---[2452]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 31.83 c ---[2450]---> Adder-cost: 224 maxlim: 112640 bits: 18/17 31.85 c ---[2448]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 31.88 c ---[2446]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 31.91 c ---[2444]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 31.94 c ---[2442]---> Adder-cost: 146 maxlim: 71680 bits: 18/17 31.96 c ---[2440]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 31.98 c ---[2438]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 31.99 c ---[2436]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 32.01 c ---[2434]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 32.03 c ---[2432]---> Adder-cost: 412 maxlim: 251904 bits: 19/18 32.09 c ---[2430]---> Adder-cost: 126 maxlim: 251904 bits: 19/18 32.15 c ---[2428]---> Adder-cost: 642 maxlim: 325632 bits: 20/19 32.23 c ---[2426]---> Adder-cost: 654 maxlim: 352256 bits: 20/19 32.31 c ---[2424]---> Adder-cost: 508 maxlim: 284672 bits: 20/19 32.38 c ---[2422]---> Adder-cost: 672 maxlim: 380928 bits: 20/19 32.46 c ---[2420]---> Adder-cost: 552 maxlim: 278528 bits: 20/19 32.54 c ---[2418]---> Adder-cost: 326 maxlim: 272384 bits: 20/19 32.60 c ---[2416]---> Adder-cost: 418 maxlim: 221184 bits: 19/18 32.65 c ---[2414]---> Adder-cost: 312 maxlim: 178176 bits: 19/18 32.69 c ---[2412]---> Adder-cost: 288 maxlim: 154624 bits: 19/18 32.73 c ---[2410]---> Adder-cost: 306 maxlim: 166912 bits: 19/18 32.77 c ---[2408]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 32.81 c ---[2406]---> Adder-cost: 864 maxlim: 442368 bits: 20/19 32.91 c ---[2404]---> Adder-cost: 610 maxlim: 482304 bits: 20/19 33.02 c ---[2402]---> Adder-cost: 820 maxlim: 462848 bits: 20/19 33.12 c ---[2400]---> Adder-cost: 846 maxlim: 458752 bits: 20/19 33.23 c ---[2398]---> Adder-cost: 490 maxlim: 269312 bits: 20/19 33.30 c ---[2396]---> Adder-cost: 312 maxlim: 165888 bits: 19/18 33.34 c ---[2394]---> Adder-cost: 654 maxlim: 342016 bits: 20/19 33.42 c ---[2392]---> Adder-cost: 664 maxlim: 344064 bits: 20/19 33.50 c ---[2390]---> Adder-cost: 566 maxlim: 294912 bits: 20/19 33.58 c ---[2388]---> Adder-cost: 482 maxlim: 288768 bits: 20/19 33.65 c ---[2386]---> Adder-cost: 1092 maxlim: 576512 bits: 21/20 33.79 c ---[2384]---> Adder-cost: 408 maxlim: 215040 bits: 19/18 33.84 c ---[2382]---> Adder-cost: 330 maxlim: 180224 bits: 19/18 33.88 c ---[2380]---> Adder-cost: 322 maxlim: 181248 bits: 19/18 33.93 c ---[2378]---> Adder-cost: 234 maxlim: 133120 bits: 19/18 33.96 c ---[2376]---> Adder-cost: 356 maxlim: 186368 bits: 19/18 34.00 c ---[2374]---> Adder-cost: 236 maxlim: 133120 bits: 19/18 34.04 c ---[2372]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 34.04 c ---[2370]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 34.05 c ---[2368]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 34.06 c ---[2366]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 34.09 c ---[2364]---> Adder-cost: 634 maxlim: 577536 bits: 21/20 34.23 c ---[2362]---> Adder-cost: 270 maxlim: 146432 bits: 19/18 34.27 c ---[2360]---> Adder-cost: 252 maxlim: 167936 bits: 19/18 34.31 c ---[2358]---> Adder-cost: 276 maxlim: 138240 bits: 19/18 34.34 c ---[2356]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 34.38 c ---[2354]---> Adder-cost: 412 maxlim: 207872 bits: 19/18 34.42 c ---[2352]---> Adder-cost: 464 maxlim: 245760 bits: 19/18 34.48 c ---[2350]---> Adder-cost: 372 maxlim: 197632 bits: 19/18 34.53 c ---[2348]---> Adder-cost: 112 maxlim: 197632 bits: 19/18 34.57 c ---[2346]---> Adder-cost: 378 maxlim: 195584 bits: 19/18 34.62 c ---[2344]---> Adder-cost: 338 maxlim: 197632 bits: 19/18 34.66 c ---[2342]---> Adder-cost: 262 maxlim: 136192 bits: 19/18 34.70 c ---[2340]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 34.73 c ---[2338]---> Adder-cost: 284 maxlim: 144384 bits: 19/18 34.77 c ---[2336]---> Adder-cost: 100 maxlim: 116736 bits: 18/17 34.79 c ---[2334]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 34.81 c ---[2332]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 34.82 c ---[2330]---> Adder-cost: 240 maxlim: 120832 bits: 18/17 34.85 c ---[2328]---> Adder-cost: 304 maxlim: 153600 bits: 19/18 34.89 c ---[2326]---> Adder-cost: 282 maxlim: 142336 bits: 19/18 34.92 c ---[2324]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 34.96 c ---[2322]---> Adder-cost: 358 maxlim: 181248 bits: 19/18 35.00 c ---[2320]---> Adder-cost: 224 maxlim: 123904 bits: 18/17 35.03 c ---[2318]---> Adder-cost: 188 maxlim: 97280 bits: 18/17 35.06 c ---[2316]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 35.08 c ---[2314]---> Adder-cost: 270 maxlim: 134144 bits: 19/18 35.11 c ---[2312]---> Adder-cost: 222 maxlim: 117760 bits: 18/17 35.14 c ---[2310]---> Adder-cost: 154 maxlim: 83968 bits: 18/17 35.16 c ---[2308]---> Adder-cost: 134 maxlim: 82944 bits: 18/17 35.18 c ---[2306]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 35.20 c ---[2304]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 35.23 c ---[2302]---> Adder-cost: 148 maxlim: 136192 bits: 19/18 35.26 c ---[2300]---> Adder-cost: 300 maxlim: 171008 bits: 19/18 35.30 c ---[2298]---> Adder-cost: 308 maxlim: 166912 bits: 19/18 35.34 c ---[2296]---> Adder-cost: 376 maxlim: 194560 bits: 19/18 35.39 c ---[2294]---> Adder-cost: 406 maxlim: 224256 bits: 19/18 35.44 c ---[2292]---> Adder-cost: 418 maxlim: 218112 bits: 19/18 35.49 c ---[2290]---> Adder-cost: 506 maxlim: 284672 bits: 20/19 35.56 c ---[2288]---> Adder-cost: 376 maxlim: 190464 bits: 19/18 35.60 c ---[2286]---> Adder-cost: 346 maxlim: 215040 bits: 19/18 35.65 c ---[2284]---> Adder-cost: 290 maxlim: 146432 bits: 19/18 35.69 c ---[2282]---> Adder-cost: 218 maxlim: 577536 bits: 21/20 35.83 c ---[2280]---> Adder-cost: 268 maxlim: 135168 bits: 19/18 35.87 c ---[2278]---> Adder-cost: 456 maxlim: 231424 bits: 19/18 35.92 c ---[2276]---> Adder-cost: 412 maxlim: 215040 bits: 19/18 35.97 c ---[2274]---> Adder-cost: 454 maxlim: 259072 bits: 19/18 36.03 c ---[2272]---> Adder-cost: 480 maxlim: 281600 bits: 20/19 36.10 c ---[2270]---> Adder-cost: 410 maxlim: 210944 bits: 19/18 36.15 c ---[2268]---> Adder-cost: 302 maxlim: 203776 bits: 19/18 36.19 c ---[2266]---> Adder-cost: 302 maxlim: 171008 bits: 19/18 36.23 c ---[2264]---> Adder-cost: 208 maxlim: 116736 bits: 18/17 36.26 c ---[2262]---> Adder-cost: 1136 maxlim: 701440 bits: 21/20 36.43 c ---[2260]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 36.44 c ---[2258]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 36.45 c ---[2256]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 36.46 c ---[2254]---> Adder-cost: 168 maxlim: 88064 bits: 18/17 36.48 c ---[2252]---> Adder-cost: 366 maxlim: 194560 bits: 19/18 36.53 c ---[2250]---> Adder-cost: 284 maxlim: 156672 bits: 19/18 36.57 c ---[2248]---> Adder-cost: 194 maxlim: 112640 bits: 18/17 36.59 c ---[2246]---> Adder-cost: 194 maxlim: 109568 bits: 18/17 36.62 c ---[2244]---> Adder-cost: 204 maxlim: 111616 bits: 18/17 36.65 c ---[2242]---> Adder-cost: 106 maxlim: 71680 bits: 18/17 36.67 c ---[2240]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 36.83 c ---[2238]---> Adder-cost: 216 maxlim: 107520 bits: 18/17 36.86 c ---[2236]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 36.89 c ---[2234]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 36.92 c ---[2232]---> Adder-cost: 80 maxlim: 119808 bits: 18/17 36.94 c ---[2230]---> Adder-cost: 288 maxlim: 144384 bits: 19/18 36.98 c ---[2228]---> Adder-cost: 90 maxlim: 144384 bits: 19/18 37.02 c ---[2226]---> Adder-cost: 348 maxlim: 183296 bits: 19/18 37.06 c ---[2224]---> Adder-cost: 104 maxlim: 183296 bits: 19/18 37.10 c ---[2222]---> Adder-cost: 428 maxlim: 219136 bits: 19/18 37.15 c ---[2220]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 37.20 c ---[2218]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 37.37 c ---[2216]---> Adder-cost: 420 maxlim: 218112 bits: 19/18 37.42 c ---[2214]---> Adder-cost: 396 maxlim: 222208 bits: 19/18 37.47 c ---[2212]---> Adder-cost: 492 maxlim: 257024 bits: 19/18 37.53 c ---[2210]---> Adder-cost: 132 maxlim: 257024 bits: 19/18 37.59 c ---[2208]---> Adder-cost: 362 maxlim: 190464 bits: 19/18 37.64 c ---[2206]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 37.68 c ---[2204]---> Adder-cost: 954 maxlim: 504832 bits: 20/19 37.80 c ---[2202]---> Adder-cost: 190 maxlim: 504832 bits: 20/19 37.92 c ---[2200]---> Adder-cost: 536 maxlim: 277504 bits: 20/19 37.99 c ---[2198]---> Adder-cost: 136 maxlim: 277504 bits: 20/19 38.06 c ---[2196]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 38.22 c ---[2194]---> Adder-cost: 694 maxlim: 356352 bits: 20/19 38.31 c ---[2192]---> Adder-cost: 156 maxlim: 356352 bits: 20/19 38.39 c ---[2190]---> Adder-cost: 668 maxlim: 342016 bits: 20/19 38.47 c ---[2188]---> Adder-cost: 152 maxlim: 342016 bits: 20/19 38.56 c ---[2186]---> Adder-cost: 544 maxlim: 274432 bits: 20/19 38.62 c ---[2184]---> Adder-cost: 148 maxlim: 274432 bits: 20/19 38.69 c ---[2182]---> Adder-cost: 376 maxlim: 194560 bits: 19/18 38.74 c ---[2180]---> Adder-cost: 282 maxlim: 173056 bits: 19/18 38.78 c ---[2178]---> Adder-cost: 292 maxlim: 152576 bits: 19/18 38.82 c ---[2176]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 38.85 c ---[2174]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 39.02 c ---[2172]---> Adder-cost: 118 maxlim: 62464 bits: 17/16 39.04 c ---[2170]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 39.05 c ---[2168]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 39.06 c ---[2166]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 39.07 c ---[2164]---> Adder-cost: 206 maxlim: 102400 bits: 18/17 39.09 c ---[2162]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 39.12 c ---[2160]---> Adder-cost: 144 maxlim: 86016 bits: 18/17 39.14 c ---[2158]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 39.16 c ---[2156]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 39.18 c ---[2154]---> Adder-cost: 182 maxlim: 102400 bits: 18/17 39.20 c ---[2152]---> Adder-cost: 242 maxlim: 701440 bits: 21/20 39.37 c ---[2150]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 39.40 c ---[2148]---> Adder-cost: 214 maxlim: 117760 bits: 18/17 39.43 c ---[2146]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 39.46 c ---[2144]---> Adder-cost: 310 maxlim: 159744 bits: 19/18 39.50 c ---[2142]---> Adder-cost: 94 maxlim: 159744 bits: 19/18 39.53 c ---[2140]---> Adder-cost: 442 maxlim: 234496 bits: 19/18 39.59 c ---[2138]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 39.64 c ---[2136]---> Adder-cost: 344 maxlim: 179200 bits: 19/18 39.68 c ---[2134]---> Adder-cost: 100 maxlim: 179200 bits: 19/18 39.73 c ---[2132]---> Adder-cost: 418 maxlim: 218112 bits: 19/18 39.78 c ---[2130]---> Adder-cost: 502 maxlim: 269312 bits: 20/19 39.84 c ---[2128]---> Adder-cost: 116 maxlim: 218112 bits: 19/18 39.89 c ---[2126]---> Adder-cost: 500 maxlim: 258048 bits: 19/18 39.95 c ---[2124]---> Adder-cost: 126 maxlim: 258048 bits: 19/18 40.01 c ---[2122]---> Adder-cost: 322 maxlim: 195584 bits: 19/18 40.06 c ---[2120]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 40.10 c ---[2118]---> Adder-cost: 168 maxlim: 81920 bits: 18/17 40.12 c ---[2116]---> Adder-cost: 110 maxlim: 84992 bits: 18/17 40.15 c ---[2114]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 40.17 c ---[2112]---> Adder-cost: 200 maxlim: 98304 bits: 18/17 40.19 c ---[2110]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 40.21 c ---[2108]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 40.28 c ---[2106]---> Adder-cost: 250 maxlim: 129024 bits: 18/17 40.31 c ---[2104]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 40.35 c ---[2102]---> Adder-cost: 332 maxlim: 164864 bits: 19/18 40.39 c ---[2100]---> Adder-cost: 100 maxlim: 164864 bits: 19/18 40.42 c ---[2098]---> Adder-cost: 566 maxlim: 291840 bits: 20/19 40.50 c ---[2096]---> Adder-cost: 146 maxlim: 291840 bits: 20/19 40.57 c ---[2094]---> Adder-cost: 396 maxlim: 210944 bits: 19/18 40.62 c ---[2092]---> Adder-cost: 262 maxlim: 204800 bits: 19/18 40.66 c ---[2090]---> Adder-cost: 432 maxlim: 220160 bits: 19/18 40.71 c ---[2088]---> Adder-cost: 110 maxlim: 220160 bits: 19/18 40.77 c ---[2086]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 40.83 c ---[2084]---> Adder-cost: 206 maxlim: 103424 bits: 18/17 40.86 c ---[2082]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 40.88 c ---[2080]---> Adder-cost: 272 maxlim: 135168 bits: 19/18 40.92 c ---[2078]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 40.95 c ---[2076]---> Adder-cost: 180 maxlim: 90112 bits: 18/17 40.97 c ---[2074]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 41.00 c ---[2072]---> Adder-cost: 184 maxlim: 91136 bits: 18/17 41.02 c ---[2070]---> Adder-cost: 116 maxlim: 84992 bits: 18/17 41.04 c ---[2068]---> Adder-cost: 300 maxlim: 152576 bits: 19/18 41.08 c ---[2066]---> Adder-cost: 194 maxlim: 171008 bits: 19/18 41.12 c ---[2064]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 41.19 c ---[2062]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 41.23 c ---[2060]---> Adder-cost: 274 maxlim: 136192 bits: 19/18 41.26 c ---[2058]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 41.30 c ---[2056]---> Adder-cost: 182 maxlim: 93184 bits: 18/17 41.32 c ---[2054]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 41.34 c ---[2052]---> Adder-cost: 412 maxlim: 209920 bits: 19/18 41.39 c ---[2050]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 41.44 c ---[2048]---> Adder-cost: 396 maxlim: 201728 bits: 19/18 41.49 c ---[2046]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 41.53 c ---[2044]---> Adder-cost: 628 maxlim: 338944 bits: 20/19 41.62 c ---[2042]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 41.69 c ---[2040]---> Adder-cost: 156 maxlim: 338944 bits: 20/19 41.77 c ---[2038]---> Adder-cost: 268 maxlim: 131072 bits: 19/18 41.80 c ---[2036]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 41.83 c ---[2034]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 41.87 c ---[2032]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 41.91 c ---[2030]---> Adder-cost: 300 maxlim: 158720 bits: 19/18 41.95 c ---[2028]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 41.99 c ---[2026]---> Adder-cost: 236 maxlim: 120832 bits: 18/17 42.02 c ---[2024]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 42.05 c ---[2022]---> Adder-cost: 192 maxlim: 96256 bits: 18/17 42.07 c ---[2020]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 42.14 c ---[2018]---> Adder-cost: 158 maxlim: 91136 bits: 18/17 42.16 c ---[2016]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 42.18 c ---[2014]---> Adder-cost: 156 maxlim: 92160 bits: 18/17 42.20 c ---[2012]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 42.22 c ---[2010]---> Adder-cost: 524 maxlim: 296960 bits: 20/19 42.29 c ---[2008]---> Adder-cost: 790 maxlim: 508928 bits: 20/19 42.41 c ---[2006]---> Adder-cost: 896 maxlim: 475136 bits: 20/19 42.52 c ---[2004]---> Adder-cost: 610 maxlim: 342016 bits: 20/19 42.60 c ---[2002]---> Adder-cost: 432 maxlim: 238592 bits: 19/18 42.65 c ---[2000]---> Adder-cost: 474 maxlim: 262144 bits: 20/19 42.72 c ---[1998]---> Adder-cost: 504 maxlim: 262144 bits: 20/19 42.78 c ---[1996]---> Adder-cost: 250 maxlim: 129024 bits: 18/17 42.82 c ---[1994]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 42.84 c ---[1992]---> Adder-cost: 218 maxlim: 131072 bits: 19/18 42.87 c ---[1990]---> Adder-cost: 564 maxlim: 283648 bits: 20/19 42.94 c ---[1988]---> Adder-cost: 544 maxlim: 278528 bits: 20/19 43.01 c ---[1986]---> Adder-cost: 430 maxlim: 248832 bits: 19/18 43.07 c ---[1984]---> Adder-cost: 356 maxlim: 224256 bits: 19/18 43.12 c ---[1982]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 43.18 c ---[1980]---> Adder-cost: 626 maxlim: 322560 bits: 20/19 43.26 c ---[1978]---> Adder-cost: 600 maxlim: 359424 bits: 20/19 43.34 c ---[1976]---> Adder-cost: 526 maxlim: 305152 bits: 20/19 43.42 c ---[1974]---> Adder-cost: 320 maxlim: 188416 bits: 19/18 43.46 c ---[1972]---> Adder-cost: 526 maxlim: 272384 bits: 20/19 43.53 c ---[1970]---> Adder-cost: 446 maxlim: 243712 bits: 19/18 43.58 c ---[1968]---> Adder-cost: 350 maxlim: 202752 bits: 19/18 43.63 c ---[1966]---> Adder-cost: 208 maxlim: 120832 bits: 18/17 43.66 c ---[1964]---> Adder-cost: 266 maxlim: 144384 bits: 19/18 43.70 c ---[1962]---> Adder-cost: 126 maxlim: 98304 bits: 18/17 43.72 c ---[1960]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 43.79 c ---[1958]---> Adder-cost: 190 maxlim: 94208 bits: 18/17 43.81 c ---[1956]---> Adder-cost: 186 maxlim: 104448 bits: 18/17 43.84 c ---[1954]---> Adder-cost: 286 maxlim: 181248 bits: 19/18 43.88 c ---[1952]---> Adder-cost: 272 maxlim: 179200 bits: 19/18 43.92 c ---[1950]---> Adder-cost: 310 maxlim: 161792 bits: 19/18 43.96 c ---[1948]---> Adder-cost: 376 maxlim: 215040 bits: 19/18 44.01 c ---[1946]---> Adder-cost: 254 maxlim: 144384 bits: 19/18 44.05 c ---[1944]---> Adder-cost: 200 maxlim: 131072 bits: 19/18 44.08 c ---[1942]---> Adder-cost: 332 maxlim: 167936 bits: 19/18 44.12 c ---[1940]---> Adder-cost: 274 maxlim: 156672 bits: 19/18 44.16 c ---[1938]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 44.33 c ---[1936]---> Adder-cost: 318 maxlim: 163840 bits: 19/18 44.37 c ---[1934]---> Adder-cost: 350 maxlim: 193536 bits: 19/18 44.41 c ---[1932]---> Adder-cost: 382 maxlim: 233472 bits: 19/18 44.46 c ---[1930]---> Adder-cost: 462 maxlim: 283648 bits: 20/19 44.53 c ---[1928]---> Adder-cost: 520 maxlim: 300032 bits: 20/19 44.61 c ---[1926]---> Adder-cost: 394 maxlim: 208896 bits: 19/18 44.66 c ---[1924]---> Adder-cost: 692 maxlim: 377856 bits: 20/19 44.74 c ---[1922]---> Adder-cost: 630 maxlim: 339968 bits: 20/19 44.83 c ---[1920]---> Adder-cost: 572 maxlim: 358400 bits: 20/19 44.91 c ---[1918]---> Adder-cost: 508 maxlim: 286720 bits: 20/19 44.98 c ---[1916]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 45.05 c ---[1914]---> Adder-cost: 404 maxlim: 210944 bits: 19/18 45.10 c ---[1912]---> Adder-cost: 250 maxlim: 162816 bits: 19/18 45.14 c ---[1910]---> Adder-cost: 188 maxlim: 95232 bits: 18/17 45.16 c ---[1908]---> Adder-cost: 194 maxlim: 107520 bits: 18/17 45.18 c ---[1906]---> Adder-cost: 368 maxlim: 192512 bits: 19/18 45.23 c ---[1904]---> Adder-cost: 236 maxlim: 130048 bits: 18/17 45.26 c ---[1902]---> Adder-cost: 150 maxlim: 82944 bits: 18/17 45.28 c ---[1900]---> Adder-cost: 156 maxlim: 80896 bits: 18/17 45.30 c ---[1898]---> Adder-cost: 184 maxlim: 92160 bits: 18/17 45.33 c ---[1896]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 45.34 c ---[1894]---> Adder-cost: 140 maxlim: 262144 bits: 20/19 45.40 c ---[1892]---> Adder-cost: 284 maxlim: 140288 bits: 19/18 45.44 c ---[1890]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 45.47 c ---[1888]---> Adder-cost: 344 maxlim: 178176 bits: 19/18 45.51 c ---[1886]---> Adder-cost: 102 maxlim: 178176 bits: 19/18 45.55 c ---[1884]---> Adder-cost: 288 maxlim: 143360 bits: 19/18 45.59 c ---[1882]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 45.62 c ---[1880]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 45.66 c ---[1878]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 45.69 c ---[1876]---> Adder-cost: 240 maxlim: 122880 bits: 18/17 45.72 c ---[1874]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 45.75 c ---[1872]---> Adder-cost: 448 maxlim: 241664 bits: 19/18 45.81 c ---[1870]---> Adder-cost: 96 maxlim: 52224 bits: 17/16 45.82 c ---[1868]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 45.83 c ---[1866]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 45.87 c ---[1864]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 45.90 c ---[1862]---> Adder-cost: 362 maxlim: 187392 bits: 19/18 45.94 c ---[1860]---> Adder-cost: 340 maxlim: 188416 bits: 19/18 45.98 c ---[1858]---> Adder-cost: 376 maxlim: 190464 bits: 19/18 46.03 c ---[1856]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 46.07 c ---[1854]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 46.12 c ---[1852]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 46.16 c ---[1850]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 46.21 c ---[1848]---> Adder-cost: 198 maxlim: 100352 bits: 18/17 46.24 c ---[1846]---> Adder-cost: 122 maxlim: 97280 bits: 18/17 46.26 c ---[1844]---> Adder-cost: 96 maxlim: 54272 bits: 17/16 46.28 c ---[1842]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 46.29 c ---[1840]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 46.30 c ---[1838]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 46.30 c ---[1836]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 46.31 c ---[1834]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 46.32 c ---[1832]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 46.33 c ---[1830]---> Adder-cost: 270 maxlim: 134144 bits: 19/18 46.37 c ---[1828]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 46.40 c ---[1826]---> Adder-cost: 232 maxlim: 118784 bits: 18/17 46.43 c ---[1824]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 46.46 c ---[1822]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 46.49 c ---[1820]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 46.51 c ---[1818]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 46.53 c ---[1816]---> Adder-cost: 150 maxlim: 74752 bits: 18/17 46.55 c ---[1814]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 46.57 c ---[1812]---> Adder-cost: 330 maxlim: 165888 bits: 19/18 46.61 c ---[1810]---> Adder-cost: 262 maxlim: 166912 bits: 19/18 46.64 c ---[1808]---> Adder-cost: 522 maxlim: 263168 bits: 20/19 46.71 c ---[1806]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 46.78 c ---[1804]---> Adder-cost: 316 maxlim: 164864 bits: 19/18 46.81 c ---[1802]---> Adder-cost: 100 maxlim: 164864 bits: 19/18 46.85 c ---[1800]---> Adder-cost: 218 maxlim: 123904 bits: 18/17 46.88 c ---[1798]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 46.91 c ---[1796]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 46.94 c ---[1794]---> Adder-cost: 178 maxlim: 109568 bits: 18/17 46.97 c ---[1792]---> Adder-cost: 212 maxlim: 110592 bits: 18/17 46.99 c ---[1790]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 47.02 c ---[1788]---> Adder-cost: 350 maxlim: 177152 bits: 19/18 47.06 c ---[1786]---> Adder-cost: 100 maxlim: 177152 bits: 19/18 47.10 c ---[1784]---> Adder-cost: 244 maxlim: 129024 bits: 18/17 47.13 c ---[1782]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 47.16 c ---[1780]---> Adder-cost: 278 maxlim: 142336 bits: 19/18 47.20 c ---[1778]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 47.23 c ---[1776]---> Adder-cost: 188 maxlim: 97280 bits: 18/17 47.26 c ---[1774]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 47.28 c ---[1772]---> Adder-cost: 244 maxlim: 126976 bits: 18/17 47.31 c ---[1770]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 47.34 c ---[1768]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 47.39 c ---[1766]---> Adder-cost: 206 maxlim: 104448 bits: 18/17 47.42 c ---[1764]---> Adder-cost: 176 maxlim: 93184 bits: 18/17 47.44 c ---[1762]---> Adder-cost: 90 maxlim: 54272 bits: 17/16 47.46 c ---[1760]---> Adder-cost: 376 maxlim: 188416 bits: 19/18 47.50 c ---[1758]---> Adder-cost: 106 maxlim: 188416 bits: 19/18 47.54 c ---[1756]---> Adder-cost: 274 maxlim: 135168 bits: 19/18 47.58 c ---[1754]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 47.61 c ---[1752]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 47.65 c ---[1750]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 47.68 c ---[1748]---> Adder-cost: 270 maxlim: 132096 bits: 19/18 47.71 c ---[1746]---> Adder-cost: 584 maxlim: 307200 bits: 20/19 47.79 c ---[1744]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 47.82 c ---[1742]---> Adder-cost: 138 maxlim: 80896 bits: 18/17 47.84 c ---[1740]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 47.86 c ---[1738]---> Adder-cost: 288 maxlim: 145408 bits: 19/18 47.90 c ---[1736]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 47.93 c ---[1734]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 47.97 c ---[1732]---> Adder-cost: 372 maxlim: 194560 bits: 19/18 48.01 c ---[1730]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 48.06 c ---[1728]---> Adder-cost: 244 maxlim: 123904 bits: 18/17 48.09 c ---[1726]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 48.12 c ---[1724]---> Adder-cost: 146 maxlim: 307200 bits: 20/19 48.19 c ---[1722]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 48.22 c ---[1720]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 48.25 c ---[1718]---> Adder-cost: 130 maxlim: 68608 bits: 18/17 48.27 c ---[1716]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 48.28 c ---[1714]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 48.31 c ---[1712]---> Adder-cost: 128 maxlim: 84992 bits: 18/17 48.33 c ---[1710]---> Adder-cost: 414 maxlim: 210944 bits: 19/18 48.38 c ---[1708]---> Adder-cost: 380 maxlim: 197632 bits: 19/18 48.42 c ---[1706]---> Adder-cost: 194 maxlim: 112640 bits: 18/17 48.45 c ---[1704]---> Adder-cost: 138 maxlim: 83968 bits: 18/17 48.47 c ---[1702]---> Adder-cost: 202 maxlim: 104448 bits: 18/17 48.50 c ---[1700]---> Adder-cost: 252 maxlim: 129024 bits: 18/17 48.53 c ---[1698]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 48.56 c ---[1696]---> Adder-cost: 362 maxlim: 186368 bits: 19/18 48.60 c ---[1694]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 48.65 c ---[1692]---> Adder-cost: 284 maxlim: 139264 bits: 19/18 48.68 c ---[1690]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 48.71 c ---[1688]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 48.75 c ---[1686]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 48.78 c ---[1684]---> Adder-cost: 326 maxlim: 168960 bits: 19/18 48.82 c ---[1682]---> Adder-cost: 298 maxlim: 166912 bits: 19/18 48.86 c ---[1680]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 48.87 c ---[1678]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 48.89 c ---[1676]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 48.90 c ---[1674]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 48.91 c ---[1672]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 48.93 c ---[1670]---> Adder-cost: 234 maxlim: 117760 bits: 18/17 48.96 c ---[1668]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 48.99 c ---[1666]---> Adder-cost: 136 maxlim: 66560 bits: 18/17 49.00 c ---[1664]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 49.02 c ---[1662]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 49.04 c ---[1660]---> Adder-cost: 144 maxlim: 70656 bits: 18/17 49.06 c ---[1658]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 49.08 c ---[1656]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 49.09 c ---[1654]---> Adder-cost: 244 maxlim: 125952 bits: 18/17 49.13 c ---[1652]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 49.16 c ---[1650]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 49.17 c ---[1648]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 49.17 c ---[1646]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 49.18 c ---[1644]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 49.19 c ---[1642]---> Adder-cost: 146 maxlim: 307200 bits: 20/19 49.27 c ---[1640]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 49.27 c ---[1638]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 49.28 c ---[1636]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 49.30 c ---[1634]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 49.31 c ---[1632]---> Adder-cost: 570 maxlim: 287744 bits: 20/19 49.38 c ---[1630]---> Adder-cost: 150 maxlim: 287744 bits: 20/19 49.45 c ---[1628]---> Adder-cost: 818 maxlim: 435200 bits: 20/19 49.55 c ---[1626]---> Adder-cost: 182 maxlim: 435200 bits: 20/19 49.65 c ---[1624]---> Adder-cost: 796 maxlim: 408576 bits: 20/19 49.75 c ---[1622]---> Adder-cost: 170 maxlim: 408576 bits: 20/19 49.84 c ---[1620]---> Adder-cost: 1024 maxlim: 553984 bits: 21/20 49.98 c ---[1618]---> Adder-cost: 360 maxlim: 185344 bits: 19/18 50.02 c ---[1616]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 50.07 c ---[1614]---> Adder-cost: 394 maxlim: 228352 bits: 19/18 50.12 c ---[1612]---> Adder-cost: 412 maxlim: 227328 bits: 19/18 50.17 c ---[1610]---> Adder-cost: 332 maxlim: 193536 bits: 19/18 50.21 c ---[1608]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 50.26 c ---[1606]---> Adder-cost: 284 maxlim: 139264 bits: 19/18 50.29 c ---[1604]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 50.33 c ---[1602]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 50.34 c ---[1600]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 50.35 c ---[1598]---> Adder-cost: 630 maxlim: 528384 bits: 21/20 50.49 c ---[1596]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 50.50 c ---[1594]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 50.50 c ---[1592]---> Adder-cost: 166 maxlim: 81920 bits: 18/17 50.52 c ---[1590]---> Adder-cost: 68 maxlim: 81920 bits: 18/17 50.54 c ---[1588]---> Adder-cost: 98 maxlim: 56320 bits: 17/16 50.56 c ---[1586]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 50.57 c ---[1584]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58 c ---[1582]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 50.59 c ---[1580]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 50.59 c ---[1578]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 50.60 c ---[1576]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 50.74 c ---[1574]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 50.76 c ---[1572]---> Adder-cost: 186 maxlim: 108544 bits: 18/17 50.79 c ---[1570]---> Adder-cost: 494 maxlim: 250880 bits: 19/18 50.85 c ---[1568]---> Adder-cost: 440 maxlim: 258048 bits: 19/18 50.91 c ---[1566]---> Adder-cost: 224 maxlim: 116736 bits: 18/17 50.93 c ---[1564]---> Adder-cost: 182 maxlim: 106496 bits: 18/17 50.96 c ---[1562]---> Adder-cost: 172 maxlim: 88064 bits: 18/17 50.98 c ---[1560]---> Adder-cost: 222 maxlim: 110592 bits: 18/17 51.01 c ---[1558]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 51.03 c ---[1556]---> Adder-cost: 252 maxlim: 130048 bits: 18/17 51.07 c ---[1554]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 51.20 c ---[1552]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 51.23 c ---[1550]---> Adder-cost: 536 maxlim: 271360 bits: 20/19 51.30 c ---[1548]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 51.37 c ---[1546]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 51.44 c ---[1544]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 51.50 c ---[1542]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 51.52 c ---[1540]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 51.53 c ---[1538]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 51.54 c ---[1536]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 51.55 c ---[1534]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 51.56 c ---[1532]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 51.70 c ---[1530]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 51.71 c ---[1528]---> Adder-cost: 228 maxlim: 115712 bits: 18/17 51.74 c ---[1526]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 51.77 c ---[1524]---> Adder-cost: 84 maxlim: 51200 bits: 17/16 51.78 c ---[1522]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 51.79 c ---[1520]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 51.80 c ---[1518]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 51.82 c ---[1516]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 51.84 c ---[1514]---> Adder-cost: 666 maxlim: 344064 bits: 20/19 51.92 c ---[1512]---> Adder-cost: 552 maxlim: 326656 bits: 20/19 52.00 c ---[1510]---> Adder-cost: 208 maxlim: 528384 bits: 21/20 52.14 c ---[1508]---> Adder-cost: 510 maxlim: 290816 bits: 20/19 52.21 c ---[1506]---> Adder-cost: 146 maxlim: 290816 bits: 20/19 52.28 c ---[1504]---> Adder-cost: 488 maxlim: 254976 bits: 19/18 52.34 c ---[1502]---> Adder-cost: 276 maxlim: 193536 bits: 19/18 52.39 c ---[1500]---> Adder-cost: 240 maxlim: 136192 bits: 19/18 52.42 c ---[1498]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 52.45 c ---[1496]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 52.47 c ---[1494]---> Adder-cost: 230 maxlim: 116736 bits: 18/17 52.50 c ---[1492]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 52.53 c ---[1490]---> Adder-cost: 220 maxlim: 110592 bits: 18/17 52.55 c ---[1488]---> Adder-cost: 560 maxlim: 349184 bits: 20/19 52.64 c ---[1486]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 52.67 c ---[1484]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 52.69 c ---[1482]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 52.71 c ---[1480]---> Adder-cost: 488 maxlim: 253952 bits: 19/18 52.77 c ---[1478]---> Adder-cost: 132 maxlim: 253952 bits: 19/18 52.83 c ---[1476]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 52.85 c ---[1474]---> Adder-cost: 196 maxlim: 100352 bits: 18/17 52.87 c ---[1472]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 52.90 c ---[1470]---> Adder-cost: 466 maxlim: 237568 bits: 19/18 52.95 c ---[1468]---> Adder-cost: 384 maxlim: 214016 bits: 19/18 53.00 c ---[1466]---> Adder-cost: 426 maxlim: 237568 bits: 19/18 53.06 c ---[1464]---> Adder-cost: 128 maxlim: 237568 bits: 19/18 53.11 c ---[1462]---> Adder-cost: 470 maxlim: 250880 bits: 19/18 53.17 c ---[1460]---> Adder-cost: 460 maxlim: 250880 bits: 19/18 53.23 c ---[1458]---> Adder-cost: 484 maxlim: 264192 bits: 20/19 53.29 c ---[1456]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 53.36 c ---[1454]---> Adder-cost: 160 maxlim: 90112 bits: 18/17 53.38 c ---[1452]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 53.39 c ---[1450]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 53.41 c ---[1448]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 53.42 c ---[1446]---> Adder-cost: 306 maxlim: 151552 bits: 19/18 53.46 c ---[1444]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 53.50 c ---[1442]---> Adder-cost: 276 maxlim: 157696 bits: 19/18 53.53 c ---[1440]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 53.57 c ---[1438]---> Adder-cost: 570 maxlim: 286720 bits: 20/19 53.64 c ---[1436]---> Adder-cost: 496 maxlim: 285696 bits: 20/19 53.71 c ---[1434]---> Adder-cost: 454 maxlim: 271360 bits: 20/19 53.78 c ---[1432]---> Adder-cost: 140 maxlim: 271360 bits: 20/19 53.85 c ---[1430]---> Adder-cost: 544 maxlim: 278528 bits: 20/19 53.92 c ---[1428]---> Adder-cost: 148 maxlim: 278528 bits: 20/19 53.99 c ---[1426]---> Adder-cost: 672 maxlim: 351232 bits: 20/19 54.07 c ---[1424]---> Adder-cost: 152 maxlim: 351232 bits: 20/19 54.15 c ---[1422]---> Adder-cost: 400 maxlim: 200704 bits: 19/18 54.20 c ---[1420]---> Adder-cost: 116 maxlim: 200704 bits: 19/18 54.25 c ---[1418]---> Adder-cost: 454 maxlim: 234496 bits: 19/18 54.30 c ---[1416]---> Adder-cost: 348 maxlim: 193536 bits: 19/18 54.35 c ---[1414]---> Adder-cost: 108 maxlim: 193536 bits: 19/18 54.39 c ---[1412]---> Adder-cost: 288 maxlim: 146432 bits: 19/18 54.43 c ---[1410]---> Adder-cost: 88 maxlim: 146432 bits: 19/18 54.47 c ---[1408]---> Adder-cost: 238 maxlim: 122880 bits: 18/17 54.50 c ---[1406]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 54.53 c ---[1404]---> Adder-cost: 204 maxlim: 102400 bits: 18/17 54.55 c ---[1402]---> Adder-cost: 132 maxlim: 99328 bits: 18/17 54.58 c ---[1400]---> Adder-cost: 140 maxlim: 75776 bits: 18/17 54.60 c ---[1398]---> Adder-cost: 426 maxlim: 212992 bits: 19/18 54.65 c ---[1396]---> Adder-cost: 122 maxlim: 212992 bits: 19/18 54.69 c ---[1394]---> Adder-cost: 548 maxlim: 293888 bits: 20/19 54.77 c ---[1392]---> Adder-cost: 376 maxlim: 306176 bits: 20/19 54.84 c ---[1390]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 54.92 c ---[1388]---> Adder-cost: 722 maxlim: 386048 bits: 20/19 55.01 c ---[1386]---> Adder-cost: 562 maxlim: 387072 bits: 20/19 55.10 c ---[1384]---> Adder-cost: 160 maxlim: 387072 bits: 20/19 55.19 c ---[1382]---> Adder-cost: 736 maxlim: 398336 bits: 20/19 55.28 c ---[1380]---> Adder-cost: 178 maxlim: 398336 bits: 20/19 55.37 c ---[1378]---> Adder-cost: 178 maxlim: 398336 bits: 20/19 55.46 c ---[1376]---> Adder-cost: 496 maxlim: 275456 bits: 20/19 55.53 c ---[1374]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 55.60 c ---[1372]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 55.67 c ---[1370]---> Adder-cost: 890 maxlim: 506880 bits: 20/19 55.79 c ---[1368]---> Adder-cost: 192 maxlim: 506880 bits: 20/19 55.91 c ---[1363]---> Adder-cost: 7502 maxlim: 4320256 bits: 24/23 57.41 c ---[1356]---> Adder-cost: 156951 maxlim: 351637503 bits: 30/29 145.40 c ---[1354]---> Adder-cost: 90410 maxlim: 300771327 bits: 30/29 198.42 c ---[1350]---> Adder-cost: 192 maxlim: 506880 bits: 20/19 198.54 c ---[1348]---> Adder-cost: 724 maxlim: 423936 bits: 20/19 198.64 c ---[1346]---> Adder-cost: 172 maxlim: 423936 bits: 20/19 198.74 c ---[1344]---> Adder-cost: 172 maxlim: 423936 bits: 20/19 198.84 c ---[1342]---> Adder-cost: 448 maxlim: 246784 bits: 19/18 198.90 c ---[1340]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 198.96 c ---[1338]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 199.02 c ---[1336]---> Adder-cost: 318 maxlim: 165888 bits: 19/18 199.06 c ---[1334]---> Adder-cost: 182 maxlim: 162816 bits: 19/18 199.10 c ---[1332]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 199.14 c ---[1330]---> Adder-cost: 88 maxlim: 70656 bits: 18/17 199.16 c ---[1328]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 199.17 c ---[1326]---> Adder-cost: 152 maxlim: 75776 bits: 18/17 199.19 c ---[1324]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 199.21 c ---[1322]---> Adder-cost: 587 maxlim: 312320 bits: 20/19 199.29 c ---[1320]---> Adder-cost: 386 maxlim: 242688 bits: 19/18 199.35 c ---[1318]---> Adder-cost: 354 maxlim: 197632 bits: 19/18 199.39 c ---[1316]---> Adder-cost: 112 maxlim: 197632 bits: 19/18 199.44 c ---[1314]---> Adder-cost: 478 maxlim: 256000 bits: 19/18 199.50 c ---[1312]---> Adder-cost: 416 maxlim: 227328 bits: 19/18 199.56 c ---[1310]---> Adder-cost: 250 maxlim: 142336 bits: 19/18 199.59 c ---[1308]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 199.63 c ---[1306]---> Adder-cost: 134 maxlim: 68608 bits: 18/17 199.65 c ---[1304]---> Adder-cost: 192 maxlim: 97280 bits: 18/17 199.67 c ---[1302]---> Adder-cost: 196 maxlim: 114688 bits: 18/17 199.70 c ---[1300]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 199.73 c ---[1298]---> Adder-cost: 338 maxlim: 171008 bits: 19/18 199.77 c ---[1296]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 199.81 c ---[1294]---> Adder-cost: 272 maxlim: 142336 bits: 19/18 199.85 c ---[1292]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 199.88 c ---[1290]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 199.92 c ---[1288]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 199.96 c ---[1286]---> Adder-cost: 234 maxlim: 123904 bits: 18/17 199.99 c ---[1284]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 200.02 c ---[1282]---> Adder-cost: 362 maxlim: 184320 bits: 19/18 200.06 c ---[1280]---> Adder-cost: 104 maxlim: 184320 bits: 19/18 200.11 c ---[1278]---> Adder-cost: 354 maxlim: 185344 bits: 19/18 200.15 c ---[1276]---> Adder-cost: 102 maxlim: 185344 bits: 19/18 200.20 c ---[1274]---> Adder-cost: 262 maxlim: 131072 bits: 19/18 200.23 c ---[1272]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 200.27 c ---[1270]---> Adder-cost: 218 maxlim: 122880 bits: 18/17 200.30 c ---[1268]---> Adder-cost: 180 maxlim: 121856 bits: 18/17 200.33 c ---[1266]---> Adder-cost: 162 maxlim: 88064 bits: 18/17 200.35 c ---[1264]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 200.37 c ---[1262]---> Adder-cost: 144 maxlim: 77824 bits: 18/17 200.39 c ---[1260]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 200.41 c ---[1258]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 200.43 c ---[1256]---> Adder-cost: 96 maxlim: 68608 bits: 18/17 200.45 c ---[1254]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 200.46 c ---[1252]---> Adder-cost: 592 maxlim: 312320 bits: 20/19 200.54 c ---[1250]---> Adder-cost: 518 maxlim: 347136 bits: 20/19 200.63 c ---[1248]---> Adder-cost: 650 maxlim: 351232 bits: 20/19 200.71 c ---[1246]---> Adder-cost: 152 maxlim: 351232 bits: 20/19 200.79 c ---[1244]---> Adder-cost: 580 maxlim: 315392 bits: 20/19 200.87 c ---[1242]---> Adder-cost: 558 maxlim: 299008 bits: 20/19 200.95 c ---[1240]---> Adder-cost: 260 maxlim: 139264 bits: 19/18 200.98 c ---[1238]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 201.02 c ---[1236]---> Adder-cost: 158 maxlim: 91136 bits: 18/17 201.04 c ---[1234]---> Adder-cost: 410 maxlim: 216064 bits: 19/18 201.09 c ---[1232]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 201.15 c ---[1230]---> Adder-cost: 590 maxlim: 326656 bits: 20/19 201.23 c ---[1228]---> Adder-cost: 448 maxlim: 333824 bits: 20/19 201.31 c ---[1226]---> Adder-cost: 154 maxlim: 333824 bits: 20/19 201.39 c ---[1224]---> Adder-cost: 534 maxlim: 297984 bits: 20/19 201.47 c ---[1222]---> Adder-cost: 142 maxlim: 297984 bits: 20/19 201.54 c ---[1220]---> Adder-cost: 142 maxlim: 297984 bits: 20/19 201.62 c ---[1218]---> Adder-cost: 682 maxlim: 390144 bits: 20/19 201.71 c ---[1216]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 201.80 c ---[1214]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 201.89 c ---[1212]---> Adder-cost: 714 maxlim: 390144 bits: 20/19 201.98 c ---[1210]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 202.07 c ---[1208]---> Adder-cost: 162 maxlim: 390144 bits: 20/19 202.16 c ---[1206]---> Adder-cost: 720 maxlim: 389120 bits: 20/19 202.26 c ---[1204]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 202.35 c ---[1202]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 202.44 c ---[1200]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 202.53 c ---[1198]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 202.62 c ---[1196]---> Adder-cost: 164 maxlim: 389120 bits: 20/19 202.71 c ---[1194]---> Adder-cost: 530 maxlim: 306176 bits: 20/19 202.79 c ---[1192]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 202.86 c ---[1190]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 202.94 c ---[1188]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 203.02 c ---[1186]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 203.09 c ---[1184]---> Adder-cost: 146 maxlim: 306176 bits: 20/19 203.17 c ---[1182]---> Adder-cost: 482 maxlim: 266240 bits: 20/19 203.24 c ---[1180]---> Adder-cost: 332 maxlim: 263168 bits: 20/19 203.30 c ---[1178]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 203.37 c ---[1176]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 203.44 c ---[1174]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 203.50 c ---[1172]---> Adder-cost: 138 maxlim: 263168 bits: 20/19 203.57 c ---[1170]---> Adder-cost: 238 maxlim: 123904 bits: 18/17 203.60 c ---[1168]---> Adder-cost: 150 maxlim: 101376 bits: 18/17 203.63 c ---[1166]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 203.65 c ---[1164]---> Adder-cost: 106 maxlim: 66560 bits: 18/17 203.67 c ---[1162]---> Adder-cost: 212 maxlim: 107520 bits: 18/17 203.70 c ---[1160]---> Adder-cost: 242 maxlim: 146432 bits: 19/18 203.74 c ---[1158]---> Adder-cost: 88 maxlim: 146432 bits: 19/18 203.77 c ---[1156]---> Adder-cost: 616 maxlim: 335872 bits: 20/19 203.85 c ---[1154]---> Adder-cost: 578 maxlim: 310272 bits: 20/19 203.93 c ---[1152]---> Adder-cost: 438 maxlim: 239616 bits: 19/18 203.99 c ---[1150]---> Adder-cost: 122 maxlim: 239616 bits: 19/18 204.04 c ---[1148]---> Adder-cost: 508 maxlim: 266240 bits: 20/19 204.11 c ---[1146]---> Adder-cost: 234 maxlim: 247808 bits: 19/18 204.17 c ---[1144]---> Adder-cost: 329 maxlim: 176128 bits: 19/18 204.21 c ---[1142]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 204.25 c ---[1140]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 204.27 c ---[1138]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 204.28 c ---[1136]---> Adder-cost: 122 maxlim: 63488 bits: 17/16 204.29 c ---[1134]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 204.31 c ---[1132]---> Adder-cost: 246 maxlim: 130048 bits: 18/17 204.34 c ---[1130]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 204.37 c ---[1128]---> Adder-cost: 262 maxlim: 137216 bits: 19/18 204.41 c ---[1126]---> Adder-cost: 88 maxlim: 137216 bits: 19/18 204.44 c ---[1124]---> Adder-cost: 410 maxlim: 207872 bits: 19/18 204.49 c ---[1122]---> Adder-cost: 352 maxlim: 203776 bits: 19/18 204.54 c ---[1120]---> Adder-cost: 352 maxlim: 203776 bits: 19/18 204.59 c ---[1118]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 204.64 c ---[1116]---> Adder-cost: 272 maxlim: 136192 bits: 19/18 204.67 c ---[1114]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 204.71 c ---[1112]---> Adder-cost: 380 maxlim: 194560 bits: 19/18 204.75 c ---[1110]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 204.80 c ---[1108]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 204.83 c ---[1106]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 204.85 c ---[1104]---> Adder-cost: 184 maxlim: 93184 bits: 18/17 204.88 c ---[1102]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 204.90 c ---[1100]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 204.92 c ---[1098]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 204.95 c ---[1096]---> Adder-cost: 176 maxlim: 93184 bits: 18/17 204.97 c ---[1094]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 205.00 c ---[1092]---> Adder-cost: 134 maxlim: 69632 bits: 18/17 205.02 c ---[1090]---> Adder-cost: 98 maxlim: 61440 bits: 17/16 205.03 c ---[1088]---> Adder-cost: 114 maxlim: 59392 bits: 17/16 205.05 c ---[1086]---> Adder-cost: 106 maxlim: 65536 bits: 18/17 205.06 c ---[1084]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 205.08 c ---[1082]---> Adder-cost: 336 maxlim: 175104 bits: 19/18 205.12 c ---[1080]---> Adder-cost: 264 maxlim: 168960 bits: 19/18 205.16 c ---[1078]---> Adder-cost: 312 maxlim: 176128 bits: 19/18 205.21 c ---[1076]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 205.25 c ---[1074]---> Adder-cost: 394 maxlim: 200704 bits: 19/18 205.30 c ---[1072]---> Adder-cost: 308 maxlim: 174080 bits: 19/18 205.34 c ---[1070]---> Adder-cost: 290 maxlim: 173056 bits: 19/18 205.38 c ---[1068]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 205.42 c ---[1066]---> Adder-cost: 296 maxlim: 149504 bits: 19/18 205.46 c ---[1064]---> Adder-cost: 214 maxlim: 180224 bits: 19/18 205.50 c ---[1062]---> Adder-cost: 110 maxlim: 180224 bits: 19/18 205.55 c ---[1060]---> Adder-cost: 390 maxlim: 201728 bits: 19/18 205.59 c ---[1058]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 205.64 c ---[1056]---> Adder-cost: 432 maxlim: 248832 bits: 19/18 205.70 c ---[1054]---> Adder-cost: 128 maxlim: 248832 bits: 19/18 205.76 c ---[1052]---> Adder-cost: 516 maxlim: 266240 bits: 20/19 205.83 c ---[1050]---> Adder-cost: 142 maxlim: 266240 bits: 20/19 205.90 c ---[1048]---> Adder-cost: 466 maxlim: 248832 bits: 19/18 205.96 c ---[1046]---> Adder-cost: 128 maxlim: 248832 bits: 19/18 206.02 c ---[1044]---> Adder-cost: 524 maxlim: 272384 bits: 20/19 206.09 c ---[1042]---> Adder-cost: 142 maxlim: 272384 bits: 20/19 206.16 c ---[1040]---> Adder-cost: 322 maxlim: 176128 bits: 19/18 206.20 c ---[1038]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 206.24 c ---[1036]---> Adder-cost: 504 maxlim: 282624 bits: 20/19 206.31 c ---[1034]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 206.38 c ---[1032]---> Adder-cost: 336 maxlim: 176128 bits: 19/18 206.43 c ---[1030]---> Adder-cost: 102 maxlim: 176128 bits: 19/18 206.47 c ---[1028]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 206.48 c ---[1026]---> Adder-cost: 252 maxlim: 131072 bits: 19/18 206.51 c ---[1024]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 206.54 c ---[1022]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 206.58 c ---[1020]---> Adder-cost: 342 maxlim: 178176 bits: 19/18 206.62 c ---[1018]---> Adder-cost: 392 maxlim: 198656 bits: 19/18 206.67 c ---[1016]---> Adder-cost: 472 maxlim: 264192 bits: 20/19 206.74 c ---[1014]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 206.80 c ---[1012]---> Adder-cost: 598 maxlim: 320512 bits: 20/19 206.88 c ---[1010]---> Adder-cost: 612 maxlim: 336896 bits: 20/19 206.96 c ---[1008]---> Adder-cost: 302 maxlim: 158720 bits: 19/18 207.00 c ---[1006]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 207.04 c ---[1004]---> Adder-cost: 446 maxlim: 234496 bits: 19/18 207.10 c ---[1002]---> Adder-cost: 344 maxlim: 231424 bits: 19/18 207.15 c ---[1000]---> Adder-cost: 224 maxlim: 116736 bits: 18/17 207.18 c ---[ 998]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 207.21 c ---[ 996]---> Adder-cost: 348 maxlim: 202752 bits: 19/18 207.26 c ---[ 994]---> Adder-cost: 374 maxlim: 220160 bits: 19/18 207.31 c ---[ 992]---> Adder-cost: 402 maxlim: 210944 bits: 19/18 207.36 c ---[ 990]---> Adder-cost: 114 maxlim: 210944 bits: 19/18 207.41 c ---[ 988]---> Adder-cost: 360 maxlim: 184320 bits: 19/18 207.45 c ---[ 986]---> Adder-cost: 236 maxlim: 139264 bits: 19/18 207.49 c ---[ 984]---> Adder-cost: 278 maxlim: 140288 bits: 19/18 207.53 c ---[ 982]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 207.56 c ---[ 980]---> Adder-cost: 392 maxlim: 210944 bits: 19/18 207.61 c ---[ 978]---> Adder-cost: 216 maxlim: 126976 bits: 18/17 207.64 c ---[ 976]---> Adder-cost: 94 maxlim: 53248 bits: 17/16 207.66 c ---[ 974]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 207.67 c ---[ 972]---> Adder-cost: 224 maxlim: 115712 bits: 18/17 207.70 c ---[ 970]---> Adder-cost: 164 maxlim: 90112 bits: 18/17 207.72 c ---[ 968]---> Adder-cost: 84 maxlim: 60416 bits: 17/16 207.74 c ---[ 966]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 207.76 c ---[ 964]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 207.78 c ---[ 962]---> Adder-cost: 272 maxlim: 139264 bits: 19/18 207.81 c ---[ 960]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 207.85 c ---[ 958]---> Adder-cost: 774 maxlim: 406528 bits: 20/19 207.94 c ---[ 956]---> Adder-cost: 166 maxlim: 406528 bits: 20/19 208.04 c ---[ 954]---> Adder-cost: 716 maxlim: 397312 bits: 20/19 208.13 c ---[ 952]---> Adder-cost: 178 maxlim: 397312 bits: 20/19 208.22 c ---[ 950]---> Adder-cost: 254 maxlim: 130048 bits: 18/17 208.26 c ---[ 948]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 208.29 c ---[ 946]---> Adder-cost: 482 maxlim: 256000 bits: 19/18 208.35 c ---[ 944]---> Adder-cost: 354 maxlim: 251904 bits: 19/18 208.41 c ---[ 942]---> Adder-cost: 524 maxlim: 305152 bits: 20/19 208.49 c ---[ 940]---> Adder-cost: 146 maxlim: 305152 bits: 20/19 208.56 c ---[ 938]---> Adder-cost: 332 maxlim: 173056 bits: 19/18 208.60 c ---[ 936]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 208.65 c ---[ 934]---> Adder-cost: 194 maxlim: 101376 bits: 18/17 208.67 c ---[ 932]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 208.70 c ---[ 930]---> Adder-cost: 288 maxlim: 147456 bits: 19/18 208.73 c ---[ 928]---> Adder-cost: 94 maxlim: 147456 bits: 19/18 208.77 c ---[ 926]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 208.79 c ---[ 924]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 208.81 c ---[ 922]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 208.82 c ---[ 920]---> Adder-cost: 358 maxlim: 188416 bits: 19/18 208.86 c ---[ 918]---> Adder-cost: 106 maxlim: 188416 bits: 19/18 208.91 c ---[ 916]---> Adder-cost: 280 maxlim: 145408 bits: 19/18 208.94 c ---[ 914]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 208.98 c ---[ 912]---> Adder-cost: 338 maxlim: 173056 bits: 19/18 209.02 c ---[ 910]---> Adder-cost: 100 maxlim: 173056 bits: 19/18 209.06 c ---[ 908]---> Adder-cost: 354 maxlim: 186368 bits: 19/18 209.11 c ---[ 906]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 209.15 c ---[ 904]---> Adder-cost: 178 maxlim: 92160 bits: 18/17 209.18 c ---[ 902]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 209.20 c ---[ 900]---> Adder-cost: 228 maxlim: 114688 bits: 18/17 209.23 c ---[ 898]---> Adder-cost: 216 maxlim: 113664 bits: 18/17 209.26 c ---[ 896]---> Adder-cost: 438 maxlim: 230400 bits: 19/18 209.31 c ---[ 894]---> Adder-cost: 124 maxlim: 230400 bits: 19/18 209.36 c ---[ 892]---> Adder-cost: 422 maxlim: 221184 bits: 19/18 209.41 c ---[ 890]---> Adder-cost: 116 maxlim: 221184 bits: 19/18 209.47 c ---[ 888]---> Adder-cost: 248 maxlim: 129024 bits: 18/17 209.50 c ---[ 886]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 209.53 c ---[ 884]---> Adder-cost: 280 maxlim: 139264 bits: 19/18 209.57 c ---[ 882]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 209.60 c ---[ 880]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 209.62 c ---[ 878]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 209.64 c ---[ 876]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 209.65 c ---[ 874]---> Adder-cost: 276 maxlim: 171008 bits: 19/18 209.70 c ---[ 872]---> Adder-cost: 288 maxlim: 253952 bits: 19/18 209.76 c ---[ 870]---> Adder-cost: 250 maxlim: 256000 bits: 19/18 209.82 c ---[ 868]---> Adder-cost: 472 maxlim: 257024 bits: 19/18 209.88 c ---[ 866]---> Adder-cost: 624 maxlim: 357376 bits: 20/19 209.97 c ---[ 864]---> Adder-cost: 456 maxlim: 317440 bits: 20/19 210.04 c ---[ 862]---> Adder-cost: 612 maxlim: 339968 bits: 20/19 210.13 c ---[ 860]---> Adder-cost: 638 maxlim: 348160 bits: 20/19 210.21 c ---[ 858]---> Adder-cost: 672 maxlim: 407552 bits: 20/19 210.30 c ---[ 856]---> Adder-cost: 402 maxlim: 241664 bits: 19/18 210.36 c ---[ 854]---> Adder-cost: 358 maxlim: 222208 bits: 19/18 210.41 c ---[ 852]---> Adder-cost: 332 maxlim: 177152 bits: 19/18 210.46 c ---[ 850]---> Adder-cost: 326 maxlim: 226304 bits: 19/18 210.51 c ---[ 848]---> Adder-cost: 412 maxlim: 245760 bits: 19/18 210.57 c ---[ 846]---> Adder-cost: 348 maxlim: 231424 bits: 19/18 210.62 c ---[ 844]---> Adder-cost: 478 maxlim: 251904 bits: 19/18 210.68 c ---[ 842]---> Adder-cost: 392 maxlim: 225280 bits: 19/18 210.74 c ---[ 840]---> Adder-cost: 282 maxlim: 161792 bits: 19/18 210.78 c ---[ 838]---> Adder-cost: 266 maxlim: 150528 bits: 19/18 210.81 c ---[ 836]---> Adder-cost: 426 maxlim: 220160 bits: 19/18 210.86 c ---[ 834]---> Adder-cost: 394 maxlim: 231424 bits: 19/18 210.92 c ---[ 832]---> Adder-cost: 335 maxlim: 194560 bits: 19/18 210.96 c ---[ 830]---> Adder-cost: 338 maxlim: 190464 bits: 19/18 211.01 c ---[ 828]---> Adder-cost: 564 maxlim: 305152 bits: 20/19 211.08 c ---[ 826]---> Adder-cost: 368 maxlim: 251904 bits: 19/18 211.15 c ---[ 824]---> Adder-cost: 238 maxlim: 148480 bits: 19/18 211.18 c ---[ 822]---> Adder-cost: 172 maxlim: 111616 bits: 18/17 211.21 c ---[ 820]---> Adder-cost: 284 maxlim: 164864 bits: 19/18 211.25 c ---[ 818]---> Adder-cost: 196 maxlim: 110592 bits: 18/17 211.28 c ---[ 816]---> Adder-cost: 160 maxlim: 101376 bits: 18/17 211.30 c ---[ 814]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 211.31 c ---[ 812]---> Adder-cost: 128 maxlim: 71680 bits: 18/17 211.33 c ---[ 810]---> Adder-cost: 168 maxlim: 86016 bits: 18/17 211.35 c ---[ 808]---> Adder-cost: 120 maxlim: 90112 bits: 18/17 211.38 c ---[ 806]---> Adder-cost: 430 maxlim: 268288 bits: 20/19 211.45 c ---[ 804]---> Adder-cost: 680 maxlim: 450560 bits: 20/19 211.55 c ---[ 802]---> Adder-cost: 182 maxlim: 450560 bits: 20/19 211.65 c ---[ 800]---> Adder-cost: 360 maxlim: 187392 bits: 19/18 211.70 c ---[ 798]---> Adder-cost: 296 maxlim: 207872 bits: 19/18 211.75 c ---[ 796]---> Adder-cost: 384 maxlim: 196608 bits: 19/18 211.79 c ---[ 794]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 211.84 c ---[ 792]---> Adder-cost: 452 maxlim: 248832 bits: 19/18 211.90 c ---[ 790]---> Adder-cost: 346 maxlim: 204800 bits: 19/18 211.95 c ---[ 788]---> Adder-cost: 248 maxlim: 131072 bits: 19/18 211.98 c ---[ 786]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 212.02 c ---[ 784]---> Adder-cost: 260 maxlim: 133120 bits: 19/18 212.05 c ---[ 782]---> Adder-cost: 186 maxlim: 104448 bits: 18/17 212.08 c ---[ 780]---> Adder-cost: 194 maxlim: 116736 bits: 18/17 212.11 c ---[ 778]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 212.14 c ---[ 776]---> Adder-cost: 780 maxlim: 414720 bits: 20/19 212.23 c ---[ 774]---> Adder-cost: 727 maxlim: 398336 bits: 20/19 212.33 c ---[ 772]---> Adder-cost: 432 maxlim: 238592 bits: 19/18 212.38 c ---[ 770]---> Adder-cost: 120 maxlim: 238592 bits: 19/18 212.44 c ---[ 768]---> Adder-cost: 468 maxlim: 243712 bits: 19/18 212.50 c ---[ 766]---> Adder-cost: 350 maxlim: 193536 bits: 19/18 212.54 c ---[ 764]---> Adder-cost: 258 maxlim: 134144 bits: 19/18 212.58 c ---[ 762]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 212.61 c ---[ 760]---> Adder-cost: 244 maxlim: 128000 bits: 18/17 212.64 c ---[ 758]---> Adder-cost: 172 maxlim: 99328 bits: 18/17 212.67 c ---[ 756]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 212.68 c ---[ 754]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 212.70 c ---[ 752]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 212.71 c ---[ 750]---> Adder-cost: 264 maxlim: 137216 bits: 19/18 212.74 c ---[ 748]---> Adder-cost: 210 maxlim: 155648 bits: 19/18 212.78 c ---[ 746]---> Adder-cost: 96 maxlim: 155648 bits: 19/18 212.82 c ---[ 744]---> Adder-cost: 358 maxlim: 182272 bits: 19/18 212.87 c ---[ 742]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 212.91 c ---[ 740]---> Adder-cost: 464 maxlim: 254976 bits: 19/18 212.97 c ---[ 738]---> Adder-cost: 132 maxlim: 254976 bits: 19/18 213.03 c ---[ 736]---> Adder-cost: 314 maxlim: 162816 bits: 19/18 213.07 c ---[ 734]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 213.11 c ---[ 732]---> Adder-cost: 564 maxlim: 289792 bits: 20/19 213.18 c ---[ 730]---> Adder-cost: 142 maxlim: 289792 bits: 20/19 213.26 c ---[ 728]---> Adder-cost: 548 maxlim: 282624 bits: 20/19 213.33 c ---[ 726]---> Adder-cost: 140 maxlim: 282624 bits: 20/19 213.40 c ---[ 724]---> Adder-cost: 478 maxlim: 245760 bits: 19/18 213.46 c ---[ 722]---> Adder-cost: 467 maxlim: 246784 bits: 19/18 213.52 c ---[ 720]---> Adder-cost: 673 maxlim: 368640 bits: 20/19 213.60 c ---[ 718]---> Adder-cost: 160 maxlim: 368640 bits: 20/19 213.69 c ---[ 716]---> Adder-cost: 358 maxlim: 182272 bits: 19/18 213.73 c ---[ 714]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 213.78 c ---[ 712]---> Adder-cost: 326 maxlim: 176128 bits: 19/18 213.82 c ---[ 710]---> Adder-cost: 290 maxlim: 175104 bits: 19/18 213.86 c ---[ 708]---> Adder-cost: 288 maxlim: 152576 bits: 19/18 213.90 c ---[ 706]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 213.94 c ---[ 704]---> Adder-cost: 474 maxlim: 241664 bits: 19/18 213.99 c ---[ 702]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 214.05 c ---[ 700]---> Adder-cost: 424 maxlim: 231424 bits: 19/18 214.10 c ---[ 698]---> Adder-cost: 128 maxlim: 231424 bits: 19/18 214.16 c ---[ 696]---> Adder-cost: 244 maxlim: 126976 bits: 18/17 214.19 c ---[ 694]---> Adder-cost: 78 maxlim: 126976 bits: 18/17 214.22 c ---[ 692]---> Adder-cost: 196 maxlim: 102400 bits: 18/17 214.25 c ---[ 690]---> Adder-cost: 156 maxlim: 99328 bits: 18/17 214.27 c ---[ 688]---> Adder-cost: 180 maxlim: 95232 bits: 18/17 214.30 c ---[ 686]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 214.32 c ---[ 684]---> Adder-cost: 196 maxlim: 98304 bits: 18/17 214.35 c ---[ 682]---> Adder-cost: 110 maxlim: 97280 bits: 18/17 214.37 c ---[ 680]---> Adder-cost: 196 maxlim: 101376 bits: 18/17 214.40 c ---[ 678]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 214.42 c ---[ 676]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 214.44 c ---[ 674]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 214.46 c ---[ 672]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 214.48 c ---[ 670]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 214.49 c ---[ 668]---> Adder-cost: 553 maxlim: 320512 bits: 20/19 214.57 c ---[ 666]---> Adder-cost: 148 maxlim: 320512 bits: 20/19 214.65 c ---[ 664]---> Adder-cost: 748 maxlim: 443392 bits: 20/19 214.75 c ---[ 662]---> Adder-cost: 1511 maxlim: 870400 bits: 21/20 214.96 c ---[ 660]---> Adder-cost: 284 maxlim: 870400 bits: 21/20 215.17 c ---[ 658]---> Adder-cost: 1484 maxlim: 879616 bits: 21/20 215.39 c ---[ 656]---> Adder-cost: 286 maxlim: 879616 bits: 21/20 215.60 c ---[ 654]---> Adder-cost: 1876 maxlim: 1171456 bits: 22/21 215.91 c ---[ 652]---> Adder-cost: 334 maxlim: 1171456 bits: 22/21 216.23 c ---[ 650]---> Adder-cost: 1556 maxlim: 1059840 bits: 22/21 216.52 c ---[ 648]---> Adder-cost: 322 maxlim: 1059840 bits: 22/21 216.80 c ---[ 646]---> Adder-cost: 1290 maxlim: 736256 bits: 21/20 216.99 c ---[ 644]---> Adder-cost: 248 maxlim: 736256 bits: 21/20 217.17 c ---[ 642]---> Adder-cost: 1838 maxlim: 1163264 bits: 22/21 217.48 c ---[ 640]---> Adder-cost: 1308 maxlim: 1003520 bits: 21/20 217.73 c ---[ 638]---> Adder-cost: 2224 maxlim: 1272832 bits: 22/21 218.06 c ---[ 636]---> Adder-cost: 1886 maxlim: 1052672 bits: 22/21 218.35 c ---[ 634]---> Adder-cost: 1330 maxlim: 779264 bits: 21/20 218.54 c ---[ 632]---> Adder-cost: 1542 maxlim: 897024 bits: 21/20 218.76 c ---[ 630]---> Adder-cost: 1122 maxlim: 720896 bits: 21/20 218.94 c ---[ 628]---> Adder-cost: 1138 maxlim: 679936 bits: 21/20 219.11 c ---[ 626]---> Adder-cost: 1044 maxlim: 589824 bits: 21/20 219.26 c ---[ 624]---> Adder-cost: 1058 maxlim: 628736 bits: 21/20 219.42 c ---[ 622]---> Adder-cost: 1046 maxlim: 630784 bits: 21/20 219.57 c ---[ 620]---> Adder-cost: 232 maxlim: 630784 bits: 21/20 219.73 c ---[ 618]---> Adder-cost: 1106 maxlim: 702464 bits: 21/20 219.91 c ---[ 616]---> Adder-cost: 248 maxlim: 702464 bits: 21/20 220.08 c ---[ 614]---> Adder-cost: 932 maxlim: 549888 bits: 21/20 220.23 c ---[ 612]---> Adder-cost: 216 maxlim: 549888 bits: 21/20 220.37 c ---[ 610]---> Adder-cost: 850 maxlim: 502784 bits: 20/19 220.50 c ---[ 608]---> Adder-cost: 194 maxlim: 502784 bits: 20/19 220.62 c ---[ 606]---> Adder-cost: 757 maxlim: 451584 bits: 20/19 220.72 c ---[ 604]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 220.83 c ---[ 602]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 220.93 c ---[ 600]---> Adder-cost: 182 maxlim: 451584 bits: 20/19 221.04 c ---[ 598]---> Adder-cost: 874 maxlim: 514048 bits: 20/19 221.16 c ---[ 596]---> Adder-cost: 198 maxlim: 514048 bits: 20/19 221.29 c ---[ 594]---> Adder-cost: 708 maxlim: 421888 bits: 20/19 221.39 c ---[ 592]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 221.49 c ---[ 590]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 221.59 c ---[ 588]---> Adder-cost: 178 maxlim: 421888 bits: 20/19 221.69 c ---[ 586]---> Adder-cost: 556 maxlim: 346112 bits: 20/19 221.77 c ---[ 584]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 221.86 c ---[ 582]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 221.94 c ---[ 580]---> Adder-cost: 156 maxlim: 346112 bits: 20/19 222.03 c ---[ 578]---> Adder-cost: 412 maxlim: 261120 bits: 19/18 222.09 c ---[ 576]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 222.15 c ---[ 574]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 222.21 c ---[ 572]---> Adder-cost: 128 maxlim: 261120 bits: 19/18 222.28 c ---[ 570]---> Adder-cost: 302 maxlim: 157696 bits: 19/18 222.31 c ---[ 568]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 222.35 c ---[ 566]---> Adder-cost: 172 maxlim: 95232 bits: 18/17 222.38 c ---[ 564]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 222.40 c ---[ 562]---> Adder-cost: 114 maxlim: 59392 bits: 17/16 222.42 c ---[ 560]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 222.43 c ---[ 558]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 222.45 c ---[ 556]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 222.46 c ---[ 554]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 222.47 c ---[ 552]---> Adder-cost: 355 maxlim: 183296 bits: 19/18 222.52 c ---[ 550]---> Adder-cost: 360 maxlim: 199680 bits: 19/18 222.57 c ---[ 548]---> Adder-cost: 246 maxlim: 130048 bits: 18/17 222.60 c ---[ 546]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 222.63 c ---[ 544]---> Adder-cost: 240 maxlim: 124928 bits: 18/17 222.66 c ---[ 542]---> Adder-cost: 216 maxlim: 130048 bits: 18/17 222.69 c ---[ 540]---> Adder-cost: 374 maxlim: 195584 bits: 19/18 222.74 c ---[ 538]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 222.79 c ---[ 536]---> Adder-cost: 412 maxlim: 214016 bits: 19/18 222.84 c ---[ 534]---> Adder-cost: 378 maxlim: 203776 bits: 19/18 222.89 c ---[ 532]---> Adder-cost: 222 maxlim: 125952 bits: 18/17 222.92 c ---[ 530]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 222.95 c ---[ 528]---> Adder-cost: 344 maxlim: 189440 bits: 19/18 222.99 c ---[ 526]---> Adder-cost: 282 maxlim: 159744 bits: 19/18 223.03 c ---[ 524]---> Adder-cost: 480 maxlim: 260096 bits: 19/18 223.09 c ---[ 522]---> Adder-cost: 128 maxlim: 260096 bits: 19/18 223.16 c ---[ 520]---> Adder-cost: 538 maxlim: 297984 bits: 20/19 223.23 c ---[ 518]---> Adder-cost: 470 maxlim: 266240 bits: 20/19 223.30 c ---[ 516]---> Adder-cost: 396 maxlim: 206848 bits: 19/18 223.35 c ---[ 514]---> Adder-cost: 114 maxlim: 206848 bits: 19/18 223.40 c ---[ 512]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 223.41 c ---[ 510]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 223.42 c ---[ 508]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 223.44 c ---[ 506]---> Adder-cost: 292 maxlim: 151552 bits: 19/18 223.48 c ---[ 504]---> Adder-cost: 200 maxlim: 104448 bits: 18/17 223.50 c ---[ 502]---> Adder-cost: 198 maxlim: 99328 bits: 18/17 223.53 c ---[ 500]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 223.55 c ---[ 498]---> Adder-cost: 180 maxlim: 100352 bits: 18/17 223.58 c ---[ 496]---> Adder-cost: 156 maxlim: 86016 bits: 18/17 223.60 c ---[ 494]---> Adder-cost: 376 maxlim: 219136 bits: 19/18 223.65 c ---[ 492]---> Adder-cost: 114 maxlim: 219136 bits: 19/18 223.70 c ---[ 490]---> Adder-cost: 484 maxlim: 285696 bits: 20/19 223.78 c ---[ 488]---> Adder-cost: 140 maxlim: 285696 bits: 20/19 223.85 c ---[ 486]---> Adder-cost: 444 maxlim: 235520 bits: 19/18 223.90 c ---[ 484]---> Adder-cost: 126 maxlim: 235520 bits: 19/18 223.96 c ---[ 482]---> Adder-cost: 444 maxlim: 234496 bits: 19/18 224.01 c ---[ 480]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 224.07 c ---[ 478]---> Adder-cost: 596 maxlim: 304128 bits: 20/19 224.14 c ---[ 476]---> Adder-cost: 148 maxlim: 304128 bits: 20/19 224.22 c ---[ 474]---> Adder-cost: 584 maxlim: 303104 bits: 20/19 224.30 c ---[ 472]---> Adder-cost: 324 maxlim: 304128 bits: 20/19 224.37 c ---[ 470]---> Adder-cost: 468 maxlim: 245760 bits: 19/18 224.43 c ---[ 468]---> Adder-cost: 128 maxlim: 245760 bits: 19/18 224.49 c ---[ 466]---> Adder-cost: 506 maxlim: 269312 bits: 20/19 224.56 c ---[ 464]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 224.63 c ---[ 462]---> Adder-cost: 472 maxlim: 246784 bits: 19/18 224.69 c ---[ 460]---> Adder-cost: 128 maxlim: 246784 bits: 19/18 224.74 c ---[ 458]---> Adder-cost: 494 maxlim: 268288 bits: 20/19 224.82 c ---[ 456]---> Adder-cost: 144 maxlim: 268288 bits: 20/19 224.89 c ---[ 454]---> Adder-cost: 542 maxlim: 281600 bits: 20/19 224.96 c ---[ 452]---> Adder-cost: 136 maxlim: 281600 bits: 20/19 225.03 c ---[ 450]---> Adder-cost: 758 maxlim: 412672 bits: 20/19 225.13 c ---[ 448]---> Adder-cost: 168 maxlim: 412672 bits: 20/19 225.22 c ---[ 446]---> Adder-cost: 450 maxlim: 243712 bits: 19/18 225.28 c ---[ 444]---> Adder-cost: 124 maxlim: 243712 bits: 19/18 225.33 c ---[ 442]---> Adder-cost: 550 maxlim: 283648 bits: 20/19 225.40 c ---[ 440]---> Adder-cost: 472 maxlim: 267264 bits: 20/19 225.47 c ---[ 438]---> Adder-cost: 258 maxlim: 138240 bits: 19/18 225.51 c ---[ 436]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 225.54 c ---[ 434]---> Adder-cost: 186 maxlim: 95232 bits: 18/17 225.57 c ---[ 432]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 225.59 c ---[ 430]---> Adder-cost: 212 maxlim: 111616 bits: 18/17 225.62 c ---[ 428]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 225.64 c ---[ 426]---> Adder-cost: 258 maxlim: 131072 bits: 19/18 225.68 c ---[ 424]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 225.71 c ---[ 422]---> Adder-cost: 170 maxlim: 90112 bits: 18/17 225.73 c ---[ 420]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 225.76 c ---[ 418]---> Adder-cost: 162 maxlim: 82944 bits: 18/17 225.78 c ---[ 416]---> Adder-cost: 150 maxlim: 77824 bits: 18/17 225.80 c ---[ 414]---> Adder-cost: 270 maxlim: 139264 bits: 19/18 225.84 c ---[ 412]---> Adder-cost: 248 maxlim: 167936 bits: 19/18 225.88 c ---[ 410]---> Adder-cost: 104 maxlim: 167936 bits: 19/18 225.92 c ---[ 408]---> Adder-cost: 168 maxlim: 83968 bits: 18/17 225.94 c ---[ 406]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 225.96 c ---[ 404]---> Adder-cost: 202 maxlim: 112640 bits: 18/17 225.99 c ---[ 402]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 226.01 c ---[ 400]---> Adder-cost: 394 maxlim: 196608 bits: 19/18 226.06 c ---[ 398]---> Adder-cost: 114 maxlim: 196608 bits: 19/18 226.11 c ---[ 396]---> Adder-cost: 406 maxlim: 208896 bits: 19/18 226.16 c ---[ 394]---> Adder-cost: 114 maxlim: 208896 bits: 19/18 226.21 c ---[ 392]---> Adder-cost: 414 maxlim: 216064 bits: 19/18 226.26 c ---[ 390]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 226.31 c ---[ 388]---> Adder-cost: 439 maxlim: 229376 bits: 19/18 226.37 c ---[ 386]---> Adder-cost: 126 maxlim: 229376 bits: 19/18 226.42 c ---[ 384]---> Adder-cost: 440 maxlim: 242688 bits: 19/18 226.48 c ---[ 382]---> Adder-cost: 124 maxlim: 242688 bits: 19/18 226.53 c ---[ 380]---> Adder-cost: 152 maxlim: 75776 bits: 18/17 226.55 c ---[ 378]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 226.57 c ---[ 376]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 226.58 c ---[ 374]---> Adder-cost: 486 maxlim: 280576 bits: 20/19 226.66 c ---[ 372]---> Adder-cost: 136 maxlim: 280576 bits: 20/19 226.73 c ---[ 370]---> Adder-cost: 602 maxlim: 366592 bits: 20/19 226.81 c ---[ 368]---> Adder-cost: 168 maxlim: 366592 bits: 20/19 226.90 c ---[ 366]---> Adder-cost: 556 maxlim: 312320 bits: 20/19 226.98 c ---[ 364]---> Adder-cost: 154 maxlim: 312320 bits: 20/19 227.05 c ---[ 362]---> Adder-cost: 404 maxlim: 215040 bits: 19/18 227.10 c ---[ 360]---> Adder-cost: 118 maxlim: 215040 bits: 19/18 227.15 c ---[ 358]---> Adder-cost: 410 maxlim: 223232 bits: 19/18 227.21 c ---[ 356]---> Adder-cost: 118 maxlim: 223232 bits: 19/18 227.26 c ---[ 354]---> Adder-cost: 554 maxlim: 286720 bits: 20/19 227.33 c ---[ 352]---> Adder-cost: 150 maxlim: 286720 bits: 20/19 227.40 c ---[ 350]---> Adder-cost: 526 maxlim: 275456 bits: 20/19 227.47 c ---[ 348]---> Adder-cost: 500 maxlim: 277504 bits: 20/19 227.54 c ---[ 346]---> Adder-cost: 590 maxlim: 316416 bits: 20/19 227.62 c ---[ 344]---> Adder-cost: 154 maxlim: 316416 bits: 20/19 227.70 c ---[ 342]---> Adder-cost: 328 maxlim: 174080 bits: 19/18 227.75 c ---[ 340]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 227.79 c ---[ 338]---> Adder-cost: 540 maxlim: 277504 bits: 20/19 227.86 c ---[ 336]---> Adder-cost: 515 maxlim: 275456 bits: 20/19 227.93 c ---[ 334]---> Adder-cost: 362 maxlim: 207872 bits: 19/18 227.98 c ---[ 332]---> Adder-cost: 108 maxlim: 207872 bits: 19/18 228.03 c ---[ 330]---> Adder-cost: 310 maxlim: 160768 bits: 19/18 228.07 c ---[ 328]---> Adder-cost: 94 maxlim: 160768 bits: 19/18 228.10 c ---[ 326]---> Adder-cost: 296 maxlim: 154624 bits: 19/18 228.14 c ---[ 324]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 228.18 c ---[ 322]---> Adder-cost: 328 maxlim: 166912 bits: 19/18 228.22 c ---[ 320]---> Adder-cost: 100 maxlim: 166912 bits: 19/18 228.26 c ---[ 318]---> Adder-cost: 238 maxlim: 126976 bits: 18/17 228.30 c ---[ 316]---> Adder-cost: 176 maxlim: 114688 bits: 18/17 228.32 c ---[ 314]---> Adder-cost: 336 maxlim: 174080 bits: 19/18 228.37 c ---[ 312]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 228.41 c ---[ 310]---> Adder-cost: 330 maxlim: 175104 bits: 19/18 228.45 c ---[ 308]---> Adder-cost: 102 maxlim: 175104 bits: 19/18 228.49 c ---[ 306]---> Adder-cost: 272 maxlim: 151552 bits: 19/18 228.53 c ---[ 304]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 228.57 c ---[ 302]---> Adder-cost: 212 maxlim: 112640 bits: 18/17 228.60 c ---[ 300]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 228.63 c ---[ 298]---> Adder-cost: 196 maxlim: 104448 bits: 18/17 228.65 c ---[ 296]---> Adder-cost: 148 maxlim: 78848 bits: 18/17 228.67 c ---[ 294]---> Adder-cost: 404 maxlim: 209920 bits: 19/18 228.72 c ---[ 292]---> Adder-cost: 346 maxlim: 241664 bits: 19/18 228.78 c ---[ 290]---> Adder-cost: 126 maxlim: 241664 bits: 19/18 228.83 c ---[ 288]---> Adder-cost: 350 maxlim: 190464 bits: 19/18 228.88 c ---[ 286]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 228.92 c ---[ 284]---> Adder-cost: 490 maxlim: 259072 bits: 19/18 228.99 c ---[ 282]---> Adder-cost: 124 maxlim: 259072 bits: 19/18 229.05 c ---[ 280]---> Adder-cost: 432 maxlim: 222208 bits: 19/18 229.10 c ---[ 278]---> Adder-cost: 114 maxlim: 222208 bits: 19/18 229.15 c ---[ 276]---> Adder-cost: 440 maxlim: 227328 bits: 19/18 229.21 c ---[ 274]---> Adder-cost: 118 maxlim: 227328 bits: 19/18 229.26 c ---[ 272]---> Adder-cost: 348 maxlim: 182272 bits: 19/18 229.30 c ---[ 270]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 229.35 c ---[ 268]---> Adder-cost: 290 maxlim: 158720 bits: 19/18 229.39 c ---[ 266]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 229.43 c ---[ 264]---> Adder-cost: 342 maxlim: 172032 bits: 19/18 229.47 c ---[ 262]---> Adder-cost: 102 maxlim: 172032 bits: 19/18 229.51 c ---[ 260]---> Adder-cost: 160 maxlim: 86016 bits: 18/17 229.53 c ---[ 258]---> Adder-cost: 284 maxlim: 154624 bits: 19/18 229.57 c ---[ 256]---> Adder-cost: 92 maxlim: 154624 bits: 19/18 229.61 c ---[ 254]---> Adder-cost: 290 maxlim: 158720 bits: 19/18 229.65 c ---[ 252]---> Adder-cost: 318 maxlim: 188416 bits: 19/18 229.69 c ---[ 250]---> Adder-cost: 288 maxlim: 162816 bits: 19/18 229.73 c ---[ 248]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 229.77 c ---[ 246]---> Adder-cost: 360 maxlim: 186368 bits: 19/18 229.81 c ---[ 244]---> Adder-cost: 386 maxlim: 227328 bits: 19/18 229.87 c ---[ 242]---> Adder-cost: 508 maxlim: 275456 bits: 20/19 229.94 c ---[ 240]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 230.01 c ---[ 238]---> Adder-cost: 450 maxlim: 238592 bits: 19/18 230.06 c ---[ 236]---> Adder-cost: 300 maxlim: 210944 bits: 19/18 230.11 c ---[ 234]---> Adder-cost: 372 maxlim: 194560 bits: 19/18 230.16 c ---[ 232]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 230.20 c ---[ 230]---> Adder-cost: 454 maxlim: 242688 bits: 19/18 230.26 c ---[ 228]---> Adder-cost: 324 maxlim: 202752 bits: 19/18 230.31 c ---[ 226]---> Adder-cost: 296 maxlim: 168960 bits: 19/18 230.35 c ---[ 224]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 230.39 c ---[ 222]---> Adder-cost: 476 maxlim: 247808 bits: 19/18 230.45 c ---[ 220]---> Adder-cost: 416 maxlim: 250880 bits: 19/18 230.51 c ---[ 218]---> Adder-cost: 350 maxlim: 192512 bits: 19/18 230.56 c ---[ 216]---> Adder-cost: 110 maxlim: 192512 bits: 19/18 230.60 c ---[ 214]---> Adder-cost: 330 maxlim: 167936 bits: 19/18 230.64 c ---[ 212]---> Adder-cost: 188 maxlim: 108544 bits: 18/17 230.67 c ---[ 210]---> Adder-cost: 172 maxlim: 90112 bits: 18/17 230.69 c ---[ 208]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 230.72 c ---[ 206]---> Adder-cost: 272 maxlim: 137216 bits: 19/18 230.75 c ---[ 204]---> Adder-cost: 170 maxlim: 118784 bits: 18/17 230.78 c ---[ 202]---> Adder-cost: 148 maxlim: 91136 bits: 18/17 230.81 c ---[ 200]---> Adder-cost: 150 maxlim: 90112 bits: 18/17 230.83 c ---[ 198]---> Adder-cost: 274 maxlim: 150528 bits: 19/18 230.87 c ---[ 196]---> Adder-cost: 308 maxlim: 183296 bits: 19/18 230.91 c ---[ 194]---> Adder-cost: 104 maxlim: 183296 bits: 19/18 230.96 c ---[ 192]---> Adder-cost: 452 maxlim: 239616 bits: 19/18 231.01 c ---[ 190]---> Adder-cost: 576 maxlim: 345088 bits: 20/19 231.09 c ---[ 188]---> Adder-cost: 414 maxlim: 234496 bits: 19/18 231.15 c ---[ 186]---> Adder-cost: 120 maxlim: 234496 bits: 19/18 231.20 c ---[ 184]---> Adder-cost: 266 maxlim: 141312 bits: 19/18 231.24 c ---[ 182]---> Adder-cost: 184 maxlim: 135168 bits: 19/18 231.27 c ---[ 180]---> Adder-cost: 298 maxlim: 157696 bits: 19/18 231.31 c ---[ 178]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 231.35 c ---[ 176]---> Adder-cost: 324 maxlim: 179200 bits: 19/18 231.39 c ---[ 174]---> Adder-cost: 358 maxlim: 192512 bits: 19/18 231.44 c ---[ 172]---> Adder-cost: 540 maxlim: 292864 bits: 20/19 231.51 c ---[ 170]---> Adder-cost: 136 maxlim: 292864 bits: 20/19 231.59 c ---[ 168]---> Adder-cost: 414 maxlim: 235520 bits: 19/18 231.64 c ---[ 166]---> Adder-cost: 350 maxlim: 233472 bits: 19/18 231.70 c ---[ 164]---> Adder-cost: 568 maxlim: 310272 bits: 20/19 231.77 c ---[ 162]---> Adder-cost: 148 maxlim: 310272 bits: 20/19 231.85 c ---[ 160]---> Adder-cost: 574 maxlim: 310272 bits: 20/19 231.93 c ---[ 158]---> Adder-cost: 266 maxlim: 254976 bits: 19/18 231.99 c ---[ 156]---> Adder-cost: 244 maxlim: 128000 bits: 18/17 232.02 c ---[ 154]---> Adder-cost: 78 maxlim: 128000 bits: 18/17 232.05 c ---[ 152]---> Adder-cost: 364 maxlim: 186368 bits: 19/18 232.10 c ---[ 150]---> Adder-cost: 202 maxlim: 113664 bits: 18/17 232.12 c ---[ 148]---> Adder-cost: 138 maxlim: 79872 bits: 18/17 232.15 c ---[ 146]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 232.17 c ---[ 144]---> Adder-cost: 160 maxlim: 78848 bits: 18/17 232.19 c ---[ 142]---> Adder-cost: 118 maxlim: 64512 bits: 17/16 232.20 c ---[ 140]---> Adder-cost: 84 maxlim: 52224 bits: 17/16 232.22 c ---[ 138]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 232.23 c ---[ 136]---> Adder-cost: 94 maxlim: 66560 bits: 18/17 232.25 c ---[ 134]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 232.27 c ---[ 132]---> Adder-cost: 180 maxlim: 95232 bits: 18/17 232.29 c ---[ 130]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 232.32 c ---[ 128]---> Adder-cost: 284 maxlim: 150528 bits: 19/18 232.35 c ---[ 126]---> Adder-cost: 256 maxlim: 151552 bits: 19/18 232.39 c ---[ 124]---> Adder-cost: 268 maxlim: 136192 bits: 19/18 232.43 c ---[ 122]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 232.46 c ---[ 120]---> Adder-cost: 336 maxlim: 174080 bits: 19/18 232.50 c ---[ 118]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 232.55 c ---[ 116]---> Adder-cost: 355 maxlim: 182272 bits: 19/18 232.59 c ---[ 114]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 232.64 c ---[ 112]---> Adder-cost: 206 maxlim: 108544 bits: 18/17 232.66 c ---[ 110]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 232.69 c ---[ 108]---> Adder-cost: 266 maxlim: 132096 bits: 19/18 232.72 c ---[ 106]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 232.76 c ---[ 104]---> Adder-cost: 274 maxlim: 138240 bits: 19/18 232.79 c ---[ 102]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 232.83 c ---[ 100]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 232.86 c ---[ 98]---> Adder-cost: 170 maxlim: 89088 bits: 18/17 232.89 c ---[ 96]---> Adder-cost: 68 maxlim: 89088 bits: 18/17 232.91 c ---[ 94]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 232.92 c ---[ 92]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 232.94 c ---[ 90]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 232.95 c ---[ 88]---> Adder-cost: 402 maxlim: 230400 bits: 19/18 233.00 c ---[ 86]---> Adder-cost: 124 maxlim: 230400 bits: 19/18 233.05 c ---[ 84]---> Adder-cost: 264 maxlim: 157696 bits: 19/18 233.09 c ---[ 82]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 233.13 c ---[ 80]---> Adder-cost: 308 maxlim: 158720 bits: 19/18 233.17 c ---[ 78]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 233.21 c ---[ 76]---> Adder-cost: 294 maxlim: 151552 bits: 19/18 233.25 c ---[ 74]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 233.29 c ---[ 72]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 233.30 c ---[ 70]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 233.31 c ---[ 68]---> Adder-cost: 166 maxlim: 82944 bits: 18/17 233.34 c ---[ 66]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 233.36 c ---[ 64]---> Adder-cost: 318 maxlim: 164864 bits: 19/18 233.40 c ---[ 62]---> Adder-cost: 294 maxlim: 163840 bits: 19/18 233.44 c ---[ 60]---> Adder-cost: 306 maxlim: 159744 bits: 19/18 233.48 c ---[ 58]---> Adder-cost: 94 maxlim: 159744 bits: 19/18 233.52 c ---[ 56]---> Adder-cost: 216 maxlim: 109568 bits: 18/17 233.54 c ---[ 54]---> Adder-cost: 78 maxlim: 109568 bits: 18/17 233.57 c ---[ 52]---> Adder-cost: 244 maxlim: 123904 bits: 18/17 233.60 c ---[ 50]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 233.63 c ---[ 48]---> Adder-cost: 226 maxlim: 116736 bits: 18/17 233.66 c ---[ 46]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 233.69 c ---[ 44]---> Adder-cost: 154 maxlim: 91136 bits: 18/17 233.71 c ---[ 42]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 233.74 c ---[ 40]---> Adder-cost: 336 maxlim: 187392 bits: 19/18 233.78 c ---[ 38]---> Adder-cost: 322 maxlim: 202752 bits: 19/18 233.83 c ---[ 36]---> Adder-cost: 112 maxlim: 202752 bits: 19/18 233.88 c ---[ 34]---> Adder-cost: 170 maxlim: 91136 bits: 18/17 233.90 c ---[ 32]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 233.93 c ---[ 30]---> Adder-cost: 298 maxlim: 151552 bits: 19/18 233.97 c ---[ 28]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 234.00 c ---[ 26]---> Adder-cost: 330 maxlim: 174080 bits: 19/18 234.05 c ---[ 24]---> Adder-cost: 106 maxlim: 174080 bits: 19/18 234.09 c ---[ 22]---> Adder-cost: 590 maxlim: 312320 bits: 20/19 234.17 c ---[ 20]---> Adder-cost: 154 maxlim: 312320 bits: 20/19 234.24 c ---[ 18]---> Adder-cost: 278 maxlim: 151552 bits: 19/18 234.28 c ---[ 16]---> Adder-cost: 190 maxlim: 145408 bits: 19/18 234.32 c ---[ 14]---> Adder-cost: 278 maxlim: 139264 bits: 19/18 234.36 c ---[ 12]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 234.39 c ---[ 11]---> Adder-cost: 4147 maxlim: 2563071 bits: 23/22 235.13 c ---[ 10]---> Adder-cost: 47766 maxlim: 26620927 bits: 26/25 243.76 c ---[ 9]---> Adder-cost: 4433 maxlim: 2787327 bits: 23/22 244.53 c ---[ 8]---> Adder-cost: 7903 maxlim: 2972671 bits: 23/22 245.86 c ---[ 7]---> Adder-cost: 548 maxlim: 246783 bits: 19/18 245.94 c ---[ 6]---> Adder-cost: 5893 maxlim: 2482175 bits: 23/22 247.01 c ---[ 5]---> Adder-cost: 400 maxlim: 129023 bits: 18/17 247.07 c ---[ 4]---> Adder-cost: 260 maxlim: 117759 bits: 18/17 247.11 c ---[ 3]---> Adder-cost: 7565 maxlim: 5146623 bits: 24/23 248.67 c ---[ 2]---> Adder-cost: 9800 maxlim: 21168127 bits: 26/25 253.84 c ---[ 1]---> Adder-cost: 10590 maxlim: 16636927 bits: 25/24 260.48 c ---[ 0]---> Adder-cost: 20703 maxlim: 13061119 bits: 25/24 276.50 c ==================================[MINISAT+]================================== 276.50 c | Conflicts | Original | Learnt | Progress | 276.50 c | | Clauses Literals | Max Clauses Literals LPC | | 276.50 c ============================================================================== 276.50 c | 0 | 5766028 20397767 | 1922009 0 0 nan | 0.000 % | 276.54 c | 100 | 5766028 20397767 | 2114209 100 315 3.1 | 8.213 % | 276.56 c | 250 | 5766028 20397767 | 2325630 250 1066 4.3 | 8.213 % | 276.60 c | 475 | 5766028 20397767 | 2558193 475 1982 4.2 | 8.213 % | 277.06 c | 812 | 5766005 20397715 | 2814013 811 3055 3.8 | 8.213 % | 277.40 c | 1318 | 5766005 20397715 | 3095414 1317 4801 3.6 | 8.213 % | 278.35 c | 2077 | 5765982 20397663 | 3404956 2075 7514 3.6 | 8.214 % | 280.85 c | 3216 | 5765883 20397438 | 3745451 3205 13553 4.2 | 8.217 % | 283.54 c | 4924 | 5765856 20397377 | 4119996 4912 20177 4.1 | 8.218 % | 287.17 c | 7486 | 5765817 20397287 | 4531996 7473 33889 4.5 | 8.219 % | 292.41 c | 11330 | 5765666 20396942 | 4985196 11302 60263 5.3 | 8.223 % | 301.28 c | 17098 | 5765428 20396401 | 5483715 17058 100408 5.9 | 8.230 % | 315.37 c | 25747 | 5765218 20395929 | 6032087 25692 186151 7.2 | 8.236 % | 336.59 c | 38721 | 5765028 20395497 | 6635296 38654 282546 7.3 | 8.241 % | 372.98 c | 58182 | 5764294 20393831 | 7298825 57990 477068 8.2 | 8.262 % | 428.51 c | 87374 | 5763300 20391561 | 8028708 86980 742982 8.5 | 8.291 % | 477.24 c | 131163 | 5762696 20390188 | 8831579 130649 1212643 9.3 | 8.308 % | 538.29 c | 196849 | 5762071 20388760 | 9714737 196184 2071571 10.6 | 8.326 % | 767.76 c | 295376 | 5760941 20386186 | 10686211 294466 3043709 10.3 | 8.360 % | 1029.32 c | 443165 | 5759796 20383587 | 11754832 442018 5033145 11.4 | 8.394 % | 1260.59 c | 664848 | 5758792 20381288 | 12930315 663484 9142595 13.8 | 8.424 % | 1679.08 c | 997373 | 5758315 20380201 | 14223346 995823 17376538 17.4 | 8.440 % | 1801.16 c 1801.16 c *** TERMINATED *** 1801.16 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node90/watcher-35738-1149309085 -o ROOT/results/node90/solver-35738-1149309085 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node90/35738-1149309085/instance-35738-1149309085.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1553448/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=1048 CPUtime=0 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 109 0 0 0 0 0 0 0 19 0 1 0 196547474 1073152 95 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 262 95 67 215 0 44 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1491712/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=64092 CPUtime=9.99 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 19234 0 0 0 989 10 0 0 25 0 1 0 196547474 65630208 15551 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134651050 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 16023 15551 75 215 0 15805 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 64092 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1478336/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=77532 CPUtime=19.99 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 24037 0 0 0 1986 13 0 0 25 0 1 0 196547474 79392768 18943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530512 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 19383 18943 109 215 0 19165 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 77532 [startup+30.015 s] /proc/loadavg: 0.95 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1475456/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=80572 CPUtime=29.98 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 25097 0 0 0 2984 14 0 0 25 0 1 0 196547474 82505728 19673 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 20143 19673 109 215 0 19925 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 80572 [startup+40.0211 s] /proc/loadavg: 0.96 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1471296/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=86388 CPUtime=39.97 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 26141 0 0 0 3982 15 0 0 25 0 1 0 196547474 88461312 20717 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 21597 20717 109 215 0 21379 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 86388 [startup+50.0272 s] /proc/loadavg: 0.96 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1465344/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=91040 CPUtime=49.97 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 28278 0 0 0 4980 17 0 0 25 0 1 0 196547474 93224960 22195 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 22760 22195 109 215 0 22542 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 91040 [startup+60.0333 s] /proc/loadavg: 0.97 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1418176/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=140660 CPUtime=59.97 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 42058 0 0 0 5974 23 0 0 25 0 1 0 196547474 144035840 33995 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 35165 33996 109 215 0 34947 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 140660 [startup+70.0394 s] /proc/loadavg: 0.97 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1420672/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=138048 CPUtime=69.97 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 48481 0 0 0 6971 26 0 0 25 0 1 0 196547474 141361152 33294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 34512 33294 109 215 0 34294 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 138048 [startup+80.0455 s] /proc/loadavg: 0.98 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1420928/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=137720 CPUtime=79.97 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 49655 0 0 0 7971 26 0 0 25 0 1 0 196547474 141025280 33225 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530472 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 34430 33225 109 215 0 34212 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 137720 [startup+90.0506 s] /proc/loadavg: 0.98 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1421248/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=137392 CPUtime=89.97 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 49911 0 0 0 8971 26 0 0 25 0 1 0 196547474 140689408 33155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 34348 33155 109 215 0 34130 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 137392 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1421376/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=137228 CPUtime=99.98 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 49911 0 0 0 9972 26 0 0 25 0 1 0 196547474 140521472 33120 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012160 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 34307 33120 109 215 0 34089 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 137228 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1421504/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=137064 CPUtime=109.98 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 49911 0 0 0 10972 26 0 0 25 0 1 0 196547474 140353536 33085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838471 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 34266 33085 109 215 0 34048 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 137064 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1421824/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=136736 CPUtime=119.98 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 49911 0 0 0 11972 26 0 0 25 0 1 0 196547474 140017664 33015 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 34184 33015 109 215 0 33966 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 136736 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1421952/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=136572 CPUtime=129.98 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 49911 0 0 0 12972 26 0 0 25 0 1 0 196547474 139849728 32980 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003217 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 34143 32980 109 215 0 33925 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 136572 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1422080/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=136408 CPUtime=139.99 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 49911 0 0 0 13973 26 0 0 25 0 1 0 196547474 139681792 32945 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 34102 32945 109 215 0 33884 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 136408 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1292288/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=280552 CPUtime=149.99 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 90564 0 0 0 14956 43 0 0 25 0 1 0 196547474 287285248 65314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 70138 65314 109 215 0 69920 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 280552 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1292288/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=280552 CPUtime=160 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 90564 0 0 0 15957 43 0 0 25 0 1 0 196547474 287285248 65314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 70138 65314 109 215 0 69920 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 280552 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1292288/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=280552 CPUtime=170 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 90564 0 0 0 16957 43 0 0 25 0 1 0 196547474 287285248 65314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 70138 65314 109 215 0 69920 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 280552 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1292288/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=280552 CPUtime=180 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 90564 0 0 0 17957 43 0 0 25 0 1 0 196547474 287285248 65314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005820 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 70138 65314 109 215 0 69920 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 280552 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1292288/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=280552 CPUtime=190.01 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 90564 0 0 0 18958 43 0 0 25 0 1 0 196547474 287285248 65314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 70138 65314 109 215 0 69920 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 280552 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1292288/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=280552 CPUtime=200 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 90564 0 0 0 19957 43 0 0 25 0 1 0 196547474 287285248 65314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005870 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 70138 65314 109 215 0 69920 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 280552 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21119 /proc/meminfo: memFree=1292352/2055888 swapFree=4085308/4096564 ################ # More data... # ################ [pid=21119] ppid=21117 vsize=695464 CPUtime=1781.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189074 0 0 0 178031 109 0 0 25 0 1 0 196547474 712155136 163794 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/21119/statm: 173866 163794 124 215 0 173648 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 695464 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21184 /proc/meminfo: memFree=896064/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=695728 CPUtime=1782.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189139 0 0 0 178131 109 0 0 25 0 1 0 196547474 712425472 163859 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/21119/statm: 173932 163859 124 215 0 173714 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 695728 [startup+1784.06 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21184 /proc/meminfo: memFree=895744/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=695992 CPUtime=1783.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189208 0 0 0 178231 109 0 0 25 0 1 0 196547474 712695808 163928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 0 0 0 /proc/21119/statm: 173998 163928 124 215 0 173780 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 695992 [startup+1785.07 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21192 /proc/meminfo: memFree=895552/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696124 CPUtime=1784.39 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189244 0 0 0 178330 109 0 0 25 0 1 0 196547474 712830976 163964 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 0 0 0 /proc/21119/statm: 174031 163964 124 215 0 173813 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 696124 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21192 /proc/meminfo: memFree=895552/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696252 CPUtime=1785.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189269 0 0 0 178430 110 0 0 25 0 1 0 196547474 712962048 163989 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 0 0 0 /proc/21119/statm: 174063 163989 124 215 0 173845 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 696252 [startup+1787.08 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21192 /proc/meminfo: memFree=895232/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696516 CPUtime=1786.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189350 0 0 0 178530 110 0 0 25 0 1 0 196547474 713232384 164070 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/21119/statm: 174129 164070 124 215 0 173911 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 696516 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21214 /proc/meminfo: memFree=895104/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696648 CPUtime=1787.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189372 0 0 0 178628 112 0 0 25 0 1 0 196547474 713367552 164092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174162 164092 124 215 0 173944 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 696648 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21234 /proc/meminfo: memFree=895040/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696648 CPUtime=1788.39 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189386 0 0 0 178727 112 0 0 25 0 1 0 196547474 713367552 164106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588686 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174162 164106 124 215 0 173944 0 Current children cumulated CPU time (s) 1788.39 Current children cumulated vsize (Kb) 696648 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21234 /proc/meminfo: memFree=894976/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696780 CPUtime=1789.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189398 0 0 0 178828 112 0 0 25 0 1 0 196547474 713502720 164118 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588115 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174195 164118 124 215 0 173977 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 696780 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21234 /proc/meminfo: memFree=894976/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696780 CPUtime=1790.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189409 0 0 0 178928 112 0 0 25 0 1 0 196547474 713502720 164129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174195 164129 124 215 0 173977 0 Current children cumulated CPU time (s) 1790.4 Current children cumulated vsize (Kb) 696780 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21242 /proc/meminfo: memFree=894912/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696780 CPUtime=1791.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189417 0 0 0 179028 112 0 0 25 0 1 0 196547474 713502720 164137 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174195 164137 124 215 0 173977 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 696780 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21242 /proc/meminfo: memFree=894912/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696780 CPUtime=1792.41 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189425 0 0 0 179129 112 0 0 25 0 1 0 196547474 713502720 164145 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174195 164145 124 215 0 173977 0 Current children cumulated CPU time (s) 1792.41 Current children cumulated vsize (Kb) 696780 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.95 2/73 21242 /proc/meminfo: memFree=894848/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696912 CPUtime=1793.41 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189436 0 0 0 179229 112 0 0 25 0 1 0 196547474 713637888 164156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174228 164156 124 215 0 174010 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 696912 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21316 /proc/meminfo: memFree=895664/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=696912 CPUtime=1794.38 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189458 0 0 0 179326 112 0 0 25 0 1 0 196547474 713637888 164178 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588639 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174228 164178 124 215 0 174010 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (Kb) 696912 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21316 /proc/meminfo: memFree=895600/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=697044 CPUtime=1795.39 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189479 0 0 0 179427 112 0 0 25 0 1 0 196547474 713773056 164199 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174261 164199 124 215 0 174043 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (Kb) 697044 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21316 /proc/meminfo: memFree=895536/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=697176 CPUtime=1796.39 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189498 0 0 0 179527 112 0 0 25 0 1 0 196547474 713908224 164218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174294 164218 124 215 0 174076 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (Kb) 697176 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21316 /proc/meminfo: memFree=895344/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=697308 CPUtime=1797.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189549 0 0 0 179628 112 0 0 25 0 1 0 196547474 714043392 164269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174327 164269 124 215 0 174109 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 697308 [startup+1799.14 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21316 /proc/meminfo: memFree=895216/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=697440 CPUtime=1798.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189570 0 0 0 179728 112 0 0 25 0 1 0 196547474 714178560 164290 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174360 164290 124 215 0 174142 0 Current children cumulated CPU time (s) 1798.4 Current children cumulated vsize (Kb) 697440 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21316 /proc/meminfo: memFree=895152/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=697440 CPUtime=1799.4 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189586 0 0 0 179828 112 0 0 25 0 1 0 196547474 714178560 164306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174360 164306 124 215 0 174142 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (Kb) 697440 [startup+1801.15 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21316 /proc/meminfo: memFree=895088/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=697572 CPUtime=1800.41 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189604 0 0 0 179929 112 0 0 25 0 1 0 196547474 714313728 164324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174393 164324 124 215 0 174175 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 697572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.95 2/67 21316 /proc/meminfo: memFree=895088/2055888 swapFree=4085308/4096564 [pid=21119] ppid=21117 vsize=697572 CPUtime=1800.41 /proc/21119/stat : 21119 (minisat+) R 21117 21119 21073 0 -1 4194304 189604 0 0 0 179929 112 0 0 25 0 1 0 196547474 714313728 164324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21119/statm: 174393 164324 124 215 0 174175 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 697572 Sending SIGTERM to -21119 Sleeping 2 seconds Child status: 0 Real time (s): 1801.26 CPU time (s): 1800.53 CPU user time (s): 1799.3 CPU system time (s): 1.22781 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (Kb): 697572
Begin job on node90 on Sat Jun 3 04:31:25 UTC 2006 FILE ID= 35738-1149309085 PBS_JOBID= 307786 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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node90/35738-1149309085/instance-35738-1149309085.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-35738-1149309085 -o ROOT/results/node90/solver-35738-1149309085 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node90/35738-1149309085/instance-35738-1149309085.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= b626c8307376f19de1f1e51bf91eca4f RANDOM SEED= 724302673 /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.227 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 : 6006.17 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.227 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1553656 kB Buffers: 37040 kB Cached: 395932 kB SwapCached: 2568 kB Active: 39380 kB Inactive: 402352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1553656 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16060 kB Slab: 47168 kB Committed_AS: 337320 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sat Jun 3 05:01:26 UTC 2006