Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | Signal | 71.3412 | 71.3704 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb |
MD5SUM | c9cdfa3ed9647feb8326e0656a4e04eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.71474 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 66480 |
Total number of constraints | 1802 |
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 | 1802 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 66480 |
Number of terms in the objective function | 66480 |
Biggest coefficient in the objective function | 7822 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 589829 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262142 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 589831 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 5.19/5.24 c Converting 3495 PB-constraints to clauses... 5.19/5.27 c -- Unit propagations: (none) 5.29/5.34 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################# 5.39/5.41 c -- Clauses(.)/Splits(s): sssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss 5.69/5.72 c ---[3564]---> Adder-cost: 218 maxlim: 95 bits: 8/7 5.69/5.73 c ---[3562]---> Adder-cost: 87 maxlim: 29 bits: 6/5 5.69/5.73 c ---[3560]---> Adder-cost: 110 maxlim: 41 bits: 7/6 5.69/5.73 c ---[3558]---> Adder-cost: 60 maxlim: 41 bits: 7/6 5.69/5.73 c ---[3556]---> Adder-cost: 145 maxlim: 58 bits: 7/6 5.69/5.74 c ---[3554]---> Adder-cost: 77 maxlim: 58 bits: 7/6 5.69/5.74 c ---[3552]---> Adder-cost: 77 maxlim: 58 bits: 7/6 5.69/5.75 c ---[3550]---> Adder-cost: 77 maxlim: 58 bits: 7/6 5.69/5.75 c ---[3548]---> Adder-cost: 75 maxlim: 28 bits: 6/5 5.69/5.75 c ---[3546]---> Adder-cost: 116 maxlim: 46 bits: 7/6 5.69/5.75 c ---[3544]---> Adder-cost: 68 maxlim: 46 bits: 7/6 5.69/5.76 c ---[3542]---> Adder-cost: 156 maxlim: 67 bits: 8/7 5.69/5.76 c ---[3540]---> Adder-cost: 80 maxlim: 67 bits: 8/7 5.69/5.77 c ---[3538]---> Adder-cost: 118 maxlim: 52 bits: 7/6 5.69/5.77 c ---[3536]---> Adder-cost: 64 maxlim: 52 bits: 7/6 5.69/5.77 c ---[3534]---> Adder-cost: 98 maxlim: 40 bits: 7/6 5.69/5.78 c ---[3532]---> Adder-cost: 64 maxlim: 40 bits: 7/6 5.69/5.78 c ---[3530]---> Adder-cost: 98 maxlim: 44 bits: 7/6 5.69/5.78 c ---[3528]---> Adder-cost: 148 maxlim: 68 bits: 8/7 5.69/5.79 c ---[3526]---> Adder-cost: 55 maxlim: 28 bits: 6/5 5.69/5.79 c ---[3524]---> Adder-cost: 152 maxlim: 85 bits: 8/7 5.69/5.80 c ---[3522]---> Adder-cost: 96 maxlim: 85 bits: 8/7 5.79/5.80 c ---[3520]---> Adder-cost: 156 maxlim: 80 bits: 8/7 5.79/5.81 c ---[3518]---> Adder-cost: 82 maxlim: 80 bits: 8/7 5.79/5.81 c ---[3516]---> Adder-cost: 90 maxlim: 44 bits: 7/6 5.79/5.81 c ---[3514]---> Adder-cost: 56 maxlim: 44 bits: 7/6 5.79/5.82 c ---[3512]---> Adder-cost: 137 maxlim: 53 bits: 7/6 5.79/5.82 c ---[3510]---> Adder-cost: 122 maxlim: 51 bits: 7/6 5.79/5.83 c ---[3508]---> Adder-cost: 69 maxlim: 30 bits: 6/5 5.79/5.83 c ---[3506]---> Adder-cost: 147 maxlim: 60 bits: 7/6 5.79/5.83 c ---[3504]---> Adder-cost: 75 maxlim: 60 bits: 7/6 5.79/5.84 c ---[3502]---> Adder-cost: 124 maxlim: 49 bits: 7/6 5.79/5.84 c ---[3500]---> Adder-cost: 94 maxlim: 33 bits: 7/6 5.79/5.84 c ---[3498]---> Adder-cost: 110 maxlim: 48 bits: 7/6 5.79/5.84 c ---[3496]---> Adder-cost: 59 maxlim: 30 bits: 6/5 5.79/5.85 c ---[3494]---> Adder-cost: 68 maxlim: 48 bits: 7/6 5.79/5.85 c ---[3492]---> Adder-cost: 148 maxlim: 69 bits: 8/7 5.79/5.85 c ---[3490]---> Adder-cost: 82 maxlim: 69 bits: 8/7 5.79/5.86 c ---[3488]---> Adder-cost: 81 maxlim: 27 bits: 6/5 5.79/5.86 c ---[3486]---> Adder-cost: 55 maxlim: 27 bits: 6/5 5.79/5.86 c ---[3484]---> Adder-cost: 67 maxlim: 31 bits: 6/5 5.79/5.87 c ---[3482]---> Adder-cost: 94 maxlim: 34 bits: 7/6 5.79/5.87 c ---[3480]---> Adder-cost: 104 maxlim: 37 bits: 7/6 5.79/5.87 c ---[3478]---> Adder-cost: 64 maxlim: 37 bits: 7/6 5.79/5.87 c ---[3476]---> Adder-cost: 69 maxlim: 21 bits: 6/5 5.79/5.88 c ---[3474]---> Adder-cost: 104 maxlim: 38 bits: 7/6 5.79/5.88 c ---[3472]---> Adder-cost: 131 maxlim: 55 bits: 7/6 5.79/5.88 c ---[3470]---> Adder-cost: 92 maxlim: 33 bits: 7/6 5.79/5.88 c ---[3468]---> Adder-cost: 88 maxlim: 32 bits: 7/6 5.79/5.89 c ---[3466]---> Adder-cost: 172 maxlim: 72 bits: 8/7 5.79/5.89 c ---[3464]---> Adder-cost: 277 maxlim: 124 bits: 8/7 5.89/5.90 c ---[3462]---> Adder-cost: 364 maxlim: 167 bits: 9/8 5.89/5.91 c ---[3460]---> Adder-cost: 344 maxlim: 179 bits: 9/8 5.89/5.92 c ---[3458]---> Adder-cost: 180 maxlim: 78 bits: 8/7 5.89/5.93 c ---[3456]---> Adder-cost: 82 maxlim: 32 bits: 7/6 5.89/5.93 c ---[3454]---> Adder-cost: 52 maxlim: 32 bits: 7/6 5.89/5.93 c ---[3452]---> Adder-cost: 52 maxlim: 32 bits: 7/6 5.89/5.93 c ---[3450]---> Adder-cost: 263 maxlim: 117 bits: 8/7 5.89/5.94 c ---[3448]---> Adder-cost: 52 maxlim: 32 bits: 7/6 5.89/5.94 c ---[3446]---> Adder-cost: 52 maxlim: 32 bits: 7/6 5.89/5.95 c ---[3444]---> Adder-cost: 96 maxlim: 44 bits: 7/6 5.89/5.95 c ---[3442]---> Adder-cost: 94 maxlim: 34 bits: 7/6 5.89/5.95 c ---[3440]---> Adder-cost: 96 maxlim: 50 bits: 7/6 5.89/5.96 c ---[3438]---> Adder-cost: 65 maxlim: 27 bits: 6/5 5.89/5.96 c ---[3436]---> Adder-cost: 138 maxlim: 115 bits: 8/7 5.89/5.96 c ---[3434]---> Adder-cost: 104 maxlim: 43 bits: 7/6 5.89/5.97 c ---[3432]---> Sorter-cost: 577 Base: 2 5.89/5.97 c ---[3430]---> Adder-cost: 96 maxlim: 37 bits: 7/6 5.89/5.97 c ---[3428]---> Adder-cost: 139 maxlim: 53 bits: 7/6 5.89/5.98 c ---[3426]---> Adder-cost: 145 maxlim: 57 bits: 7/6 5.89/5.98 c ---[3424]---> Adder-cost: 178 maxlim: 113 bits: 8/7 5.89/5.99 c ---[3422]---> Adder-cost: 106 maxlim: 52 bits: 7/6 5.89/5.99 c ---[3420]---> Adder-cost: 64 maxlim: 52 bits: 7/6 5.89/5.99 c ---[3418]---> Adder-cost: 60 maxlim: 18 bits: 6/5 5.89/5.99 c ---[3416]---> Adder-cost: 110 maxlim: 43 bits: 7/6 5.99/6.00 c ---[3414]---> Adder-cost: 87 maxlim: 30 bits: 6/5 5.99/6.00 c ---[3412]---> Adder-cost: 112 maxlim: 47 bits: 7/6 5.99/6.00 c ---[3410]---> Adder-cost: 62 maxlim: 47 bits: 7/6 5.99/6.01 c ---[3408]---> Adder-cost: 241 maxlim: 120 bits: 8/7 5.99/6.01 c ---[3406]---> Adder-cost: 62 maxlim: 19 bits: 6/5 5.99/6.02 c ---[3404]---> Adder-cost: 46 maxlim: 19 bits: 6/5 5.99/6.02 c ---[3402]---> Adder-cost: 46 maxlim: 19 bits: 6/5 5.99/6.02 c ---[3400]---> Adder-cost: 77 maxlim: 25 bits: 6/5 5.99/6.02 c ---[3398]---> Adder-cost: 102 maxlim: 39 bits: 7/6 5.99/6.02 c ---[3396]---> Adder-cost: 538 maxlim: 258 bits: 10/9 5.99/6.05 c ---[3394]---> Adder-cost: 160 maxlim: 258 bits: 10/9 5.99/6.06 c ---[3392]---> Adder-cost: 115 maxlim: 120 bits: 8/7 5.99/6.07 c ---[3390]---> Adder-cost: 94 maxlim: 35 bits: 7/6 5.99/6.07 c ---[3388]---> Adder-cost: 118 maxlim: 45 bits: 7/6 5.99/6.08 c ---[3386]---> Adder-cost: 212 maxlim: 98 bits: 8/7 5.99/6.08 c ---[3384]---> Adder-cost: 85 maxlim: 29 bits: 6/5 5.99/6.09 c ---[3382]---> Adder-cost: 71 maxlim: 25 bits: 6/5 5.99/6.09 c ---[3380]---> Adder-cost: 115 maxlim: 120 bits: 8/7 5.99/6.09 c ---[3378]---> Adder-cost: 234 maxlim: 103 bits: 8/7 6.09/6.10 c ---[3376]---> Adder-cost: 94 maxlim: 103 bits: 8/7 6.09/6.11 c ---[3374]---> Adder-cost: 62 maxlim: 19 bits: 6/5 6.09/6.11 c ---[3372]---> Adder-cost: 192 maxlim: 84 bits: 8/7 6.09/6.12 c ---[3370]---> Adder-cost: 208 maxlim: 91 bits: 8/7 6.09/6.12 c ---[3368]---> Adder-cost: 143 maxlim: 58 bits: 7/6 6.09/6.12 c ---[3366]---> Adder-cost: 154 maxlim: 67 bits: 8/7 6.09/6.13 c ---[3364]---> Adder-cost: 166 maxlim: 77 bits: 8/7 6.09/6.13 c ---[3362]---> Adder-cost: 73 maxlim: 26 bits: 6/5 6.09/6.14 c ---[3360]---> Adder-cost: 51 maxlim: 26 bits: 6/5 6.09/6.14 c ---[3358]---> Adder-cost: 44 maxlim: 16 bits: 6/5 6.09/6.14 c ---[3356]---> Adder-cost: 48 maxlim: 20 bits: 6/5 6.09/6.14 c ---[3354]---> Adder-cost: 192 maxlim: 84 bits: 8/7 6.09/6.15 c ---[3352]---> Adder-cost: 88 maxlim: 84 bits: 8/7 6.09/6.15 c ---[3350]---> Adder-cost: 160 maxlim: 65 bits: 8/7 6.09/6.16 c ---[3348]---> Adder-cost: 95 maxlim: 58 bits: 7/6 6.09/6.16 c ---[3346]---> Adder-cost: 102 maxlim: 46 bits: 7/6 6.09/6.16 c ---[3344]---> Adder-cost: 162 maxlim: 72 bits: 8/7 6.09/6.17 c ---[3342]---> Adder-cost: 80 maxlim: 72 bits: 8/7 6.09/6.17 c ---[3340]---> Sorter-cost: 546 Base: 2 6.09/6.18 c ---[3338]---> Adder-cost: 89 maxlim: 58 bits: 7/6 6.09/6.18 c ---[3336]---> Adder-cost: 151 maxlim: 61 bits: 7/6 6.09/6.18 c ---[3334]---> Adder-cost: 77 maxlim: 61 bits: 7/6 6.09/6.19 c ---[3332]---> Sorter-cost: 496 Base: 2 6.09/6.19 c ---[3330]---> Adder-cost: 77 maxlim: 26 bits: 6/5 6.09/6.19 c ---[3328]---> Adder-cost: 170 maxlim: 69 bits: 8/7 6.09/6.20 c ---[3326]---> Adder-cost: 140 maxlim: 64 bits: 8/7 6.19/6.20 c ---[3324]---> Adder-cost: 118 maxlim: 46 bits: 7/6 6.19/6.20 c ---[3322]---> Adder-cost: 123 maxlim: 53 bits: 7/6 6.19/6.21 c ---[3320]---> Adder-cost: 188 maxlim: 82 bits: 8/7 6.19/6.21 c ---[3318]---> Adder-cost: 283 maxlim: 125 bits: 8/7 6.19/6.22 c ---[3316]---> Adder-cost: 135 maxlim: 59 bits: 7/6 6.19/6.22 c ---[3314]---> Adder-cost: 94 maxlim: 45 bits: 7/6 6.19/6.23 c ---[3312]---> Adder-cost: 263 maxlim: 122 bits: 8/7 6.19/6.23 c ---[3310]---> Adder-cost: 112 maxlim: 51 bits: 7/6 6.19/6.24 c ---[3308]---> Adder-cost: 298 maxlim: 133 bits: 9/8 6.19/6.25 c ---[3306]---> Adder-cost: 214 maxlim: 100 bits: 8/7 6.19/6.25 c ---[3304]---> Adder-cost: 149 maxlim: 62 bits: 7/6 6.19/6.26 c ---[3302]---> Adder-cost: 210 maxlim: 92 bits: 8/7 6.19/6.26 c ---[3300]---> Adder-cost: 216 maxlim: 94 bits: 8/7 6.19/6.27 c ---[3298]---> Adder-cost: 192 maxlim: 95 bits: 8/7 6.19/6.27 c ---[3296]---> Adder-cost: 156 maxlim: 64 bits: 8/7 6.19/6.28 c ---[3294]---> Adder-cost: 123 maxlim: 53 bits: 7/6 6.19/6.28 c ---[3292]---> Sorter-cost: 546 Base: 2 6.19/6.28 c ---[3290]---> Sorter-cost: 788 Base: 7 6.19/6.29 c ---[3288]---> Sorter-cost: 674 Base: 7 6.19/6.29 c ---[3286]---> Adder-cost: 71 maxlim: 21 bits: 6/5 6.19/6.29 c ---[3284]---> Adder-cost: 118 maxlim: 45 bits: 7/6 6.19/6.29 c ---[3282]---> Adder-cost: 232 maxlim: 103 bits: 8/7 6.28/6.30 c ---[3280]---> Adder-cost: 222 maxlim: 106 bits: 8/7 6.28/6.31 c ---[3278]---> Adder-cost: 126 maxlim: 66 bits: 8/7 6.28/6.31 c ---[3276]---> Adder-cost: 164 maxlim: 101 bits: 8/7 6.28/6.32 c ---[3274]---> Adder-cost: 120 maxlim: 47 bits: 7/6 6.28/6.32 c ---[3272]---> Adder-cost: 108 maxlim: 45 bits: 7/6 6.28/6.32 c ---[3270]---> Adder-cost: 83 maxlim: 29 bits: 6/5 6.28/6.33 c ---[3268]---> Adder-cost: 57 maxlim: 26 bits: 6/5 6.28/6.33 c ---[3266]---> Adder-cost: 186 maxlim: 80 bits: 8/7 6.28/6.33 c ---[3264]---> Adder-cost: 60 maxlim: 17 bits: 6/5 6.28/6.34 c ---[3262]---> Adder-cost: 110 maxlim: 41 bits: 7/6 6.28/6.34 c ---[3260]---> Adder-cost: 116 maxlim: 48 bits: 7/6 6.28/6.34 c ---[3258]---> Adder-cost: 106 maxlim: 40 bits: 7/6 6.28/6.35 c ---[3256]---> Adder-cost: 102 maxlim: 37 bits: 7/6 6.28/6.35 c ---[3254]---> Adder-cost: 80 maxlim: 35 bits: 7/6 6.28/6.35 c ---[3252]---> Adder-cost: 87 maxlim: 29 bits: 6/5 6.28/6.35 c ---[3250]---> Adder-cost: 139 maxlim: 60 bits: 7/6 6.28/6.36 c ---[3248]---> Adder-cost: 308 maxlim: 141 bits: 9/8 6.28/6.37 c ---[3246]---> Adder-cost: 96 maxlim: 52 bits: 7/6 6.28/6.37 c ---[3244]---> Adder-cost: 102 maxlim: 39 bits: 7/6 6.28/6.37 c ---[3242]---> Adder-cost: 73 maxlim: 22 bits: 6/5 6.28/6.38 c ---[3240]---> Adder-cost: 75 maxlim: 25 bits: 6/5 6.28/6.38 c ---[3238]---> Adder-cost: 85 maxlim: 30 bits: 6/5 6.28/6.38 c ---[3236]---> Adder-cost: 67 maxlim: 22 bits: 6/5 6.28/6.38 c ---[3234]---> Adder-cost: 79 maxlim: 29 bits: 6/5 6.28/6.38 c ---[3232]---> Adder-cost: 67 maxlim: 25 bits: 6/5 6.28/6.39 c ---[3230]---> Adder-cost: 69 maxlim: 24 bits: 6/5 6.28/6.39 c ---[3228]---> Adder-cost: 51 maxlim: 24 bits: 6/5 6.28/6.39 c ---[3226]---> Adder-cost: 104 maxlim: 40 bits: 7/6 6.28/6.39 c ---[3224]---> Adder-cost: 104 maxlim: 39 bits: 7/6 6.28/6.40 c ---[3222]---> Adder-cost: 106 maxlim: 41 bits: 7/6 6.39/6.40 c ---[3220]---> Adder-cost: 174 maxlim: 74 bits: 8/7 6.39/6.40 c ---[3218]---> Adder-cost: 94 maxlim: 35 bits: 7/6 6.39/6.41 c ---[3216]---> Adder-cost: 77 maxlim: 25 bits: 6/5 6.39/6.41 c ---[3214]---> Adder-cost: 286 maxlim: 132 bits: 9/8 6.39/6.42 c ---[3212]---> Adder-cost: 147 maxlim: 59 bits: 7/6 6.39/6.42 c ---[3210]---> Adder-cost: 200 maxlim: 85 bits: 8/7 6.39/6.43 c ---[3208]---> Adder-cost: 126 maxlim: 52 bits: 7/6 6.39/6.43 c ---[3206]---> Adder-cost: 119 maxlim: 53 bits: 7/6 6.39/6.44 c ---[3204]---> Adder-cost: 118 maxlim: 45 bits: 7/6 6.39/6.44 c ---[3202]---> Adder-cost: 118 maxlim: 46 bits: 7/6 6.39/6.44 c ---[3200]---> Adder-cost: 83 maxlim: 29 bits: 6/5 6.39/6.44 c ---[3198]---> Adder-cost: 79 maxlim: 26 bits: 6/5 6.39/6.45 c ---[3196]---> Adder-cost: 65 maxlim: 22 bits: 6/5 6.39/6.45 c ---[3194]---> Adder-cost: 85 maxlim: 29 bits: 6/5 6.39/6.45 c ---[3192]---> Adder-cost: 87 maxlim: 29 bits: 6/5 6.39/6.45 c ---[3190]---> Adder-cost: 110 maxlim: 43 bits: 7/6 6.39/6.46 c ---[3188]---> Adder-cost: 184 maxlim: 78 bits: 8/7 6.39/6.46 c ---[3186]---> Adder-cost: 228 maxlim: 102 bits: 8/7 6.39/6.47 c ---[3184]---> Adder-cost: 218 maxlim: 97 bits: 8/7 6.39/6.47 c ---[3182]---> Adder-cost: 252 maxlim: 114 bits: 8/7 6.39/6.48 c ---[3180]---> Adder-cost: 356 maxlim: 187 bits: 9/8 6.39/6.49 c ---[3178]---> Adder-cost: 158 maxlim: 66 bits: 8/7 6.50/6.50 c ---[3176]---> Adder-cost: 160 maxlim: 68 bits: 8/7 6.50/6.50 c ---[3174]---> Adder-cost: 212 maxlim: 97 bits: 8/7 6.50/6.51 c ---[3172]---> Adder-cost: 139 maxlim: 55 bits: 7/6 6.50/6.51 c ---[3170]---> Adder-cost: 84 maxlim: 66 bits: 8/7 6.50/6.52 c ---[3168]---> Adder-cost: 145 maxlim: 57 bits: 7/6 6.50/6.52 c ---[3166]---> Adder-cost: 79 maxlim: 57 bits: 7/6 6.50/6.52 c ---[3164]---> Adder-cost: 246 maxlim: 109 bits: 8/7 6.50/6.53 c ---[3162]---> Adder-cost: 350 maxlim: 170 bits: 9/8 6.50/6.54 c ---[3160]---> Adder-cost: 73 maxlim: 21 bits: 6/5 6.50/6.54 c ---[3158]---> Adder-cost: 139 maxlim: 55 bits: 7/6 6.50/6.55 c ---[3156]---> Adder-cost: 106 maxlim: 52 bits: 7/6 6.50/6.55 c ---[3154]---> Adder-cost: 73 maxlim: 22 bits: 6/5 6.50/6.55 c ---[3152]---> Adder-cost: 150 maxlim: 65 bits: 8/7 6.50/6.56 c ---[3150]---> Adder-cost: 53 maxlim: 22 bits: 6/5 6.50/6.56 c ---[3148]---> Adder-cost: 116 maxlim: 46 bits: 7/6 6.50/6.56 c ---[3146]---> Adder-cost: 104 maxlim: 37 bits: 7/6 6.50/6.57 c ---[3144]---> Adder-cost: 81 maxlim: 27 bits: 6/5 6.50/6.57 c ---[3142]---> Adder-cost: 206 maxlim: 91 bits: 8/7 6.50/6.57 c ---[3140]---> Adder-cost: 145 maxlim: 59 bits: 7/6 6.50/6.58 c ---[3138]---> Adder-cost: 104 maxlim: 38 bits: 7/6 6.50/6.58 c ---[3136]---> Adder-cost: 89 maxlim: 31 bits: 6/5 6.50/6.58 c ---[3134]---> Adder-cost: 153 maxlim: 61 bits: 7/6 6.50/6.59 c ---[3132]---> Adder-cost: 214 maxlim: 94 bits: 8/7 6.50/6.59 c ---[3130]---> Adder-cost: 253 maxlim: 121 bits: 8/7 6.60/6.60 c ---[3128]---> Adder-cost: 110 maxlim: 41 bits: 7/6 6.60/6.60 c ---[3126]---> Adder-cost: 60 maxlim: 41 bits: 7/6 6.60/6.61 c ---[3124]---> Adder-cost: 145 maxlim: 57 bits: 7/6 6.60/6.61 c ---[3122]---> Adder-cost: 141 maxlim: 59 bits: 7/6 6.60/6.62 c ---[3120]---> Adder-cost: 90 maxlim: 35 bits: 7/6 6.60/6.62 c ---[3118]---> Adder-cost: 208 maxlim: 90 bits: 8/7 6.60/6.62 c ---[3116]---> Adder-cost: 108 maxlim: 44 bits: 7/6 6.60/6.63 c ---[3114]---> Adder-cost: 259 maxlim: 119 bits: 8/7 6.60/6.64 c ---[3112]---> Adder-cost: 67 maxlim: 24 bits: 6/5 6.60/6.64 c ---[3110]---> Adder-cost: 120 maxlim: 48 bits: 7/6 6.60/6.64 c ---[3108]---> Adder-cost: 204 maxlim: 90 bits: 8/7 6.60/6.65 c ---[3106]---> Adder-cost: 145 maxlim: 60 bits: 7/6 6.60/6.65 c ---[3104]---> Adder-cost: 267 maxlim: 122 bits: 8/7 6.60/6.66 c ---[3102]---> Adder-cost: 149 maxlim: 61 bits: 7/6 6.60/6.67 c ---[3100]---> Adder-cost: 139 maxlim: 59 bits: 7/6 6.60/6.67 c ---[3098]---> Adder-cost: 248 maxlim: 114 bits: 8/7 6.60/6.68 c ---[3096]---> Adder-cost: 120 maxlim: 47 bits: 7/6 6.60/6.68 c ---[3094]---> Adder-cost: 440 maxlim: 212 bits: 9/8 6.60/6.69 c ---[3092]---> Adder-cost: 134 maxlim: 212 bits: 9/8 6.69/6.71 c ---[3090]---> Adder-cost: 149 maxlim: 61 bits: 7/6 6.69/6.71 c ---[3088]---> Adder-cost: 77 maxlim: 61 bits: 7/6 6.69/6.72 c ---[3086]---> Adder-cost: 119 maxlim: 60 bits: 7/6 6.69/6.72 c ---[3084]---> Adder-cost: 334 maxlim: 159 bits: 9/8 6.69/6.73 c ---[3082]---> Adder-cost: 242 maxlim: 116 bits: 8/7 6.69/6.74 c ---[3080]---> Adder-cost: 154 maxlim: 68 bits: 8/7 6.69/6.74 c ---[3078]---> Adder-cost: 116 maxlim: 46 bits: 7/6 6.69/6.75 c ---[3076]---> Adder-cost: 206 maxlim: 101 bits: 8/7 6.69/6.75 c ---[3074]---> Adder-cost: 176 maxlim: 78 bits: 8/7 6.69/6.76 c ---[3072]---> Adder-cost: 84 maxlim: 78 bits: 8/7 6.69/6.76 c ---[3070]---> Adder-cost: 58 maxlim: 18 bits: 6/5 6.69/6.76 c ---[3068]---> Adder-cost: 222 maxlim: 97 bits: 8/7 6.69/6.77 c ---[3066]---> Adder-cost: 145 maxlim: 60 bits: 7/6 6.69/6.77 c ---[3064]---> Adder-cost: 238 maxlim: 106 bits: 8/7 6.69/6.78 c ---[3062]---> Adder-cost: 160 maxlim: 67 bits: 8/7 6.69/6.79 c ---[3060]---> Adder-cost: 80 maxlim: 67 bits: 8/7 6.69/6.79 c ---[3058]---> Adder-cost: 168 maxlim: 81 bits: 8/7 6.69/6.80 c ---[3056]---> Adder-cost: 150 maxlim: 71 bits: 8/7 6.79/6.80 c ---[3054]---> Adder-cost: 282 maxlim: 135 bits: 9/8 6.79/6.81 c ---[3052]---> Adder-cost: 110 maxlim: 65 bits: 8/7 6.79/6.81 c ---[3050]---> Adder-cost: 82 maxlim: 34 bits: 7/6 6.79/6.82 c ---[3048]---> Adder-cost: 160 maxlim: 82 bits: 8/7 6.79/6.82 c ---[3046]---> Adder-cost: 132 maxlim: 79 bits: 8/7 6.79/6.83 c ---[3044]---> Adder-cost: 152 maxlim: 96 bits: 8/7 6.79/6.83 c ---[3042]---> Adder-cost: 127 maxlim: 59 bits: 7/6 6.79/6.84 c ---[3040]---> Adder-cost: 70 maxlim: 32 bits: 7/6 6.79/6.84 c ---[3038]---> Adder-cost: 271 maxlim: 124 bits: 8/7 6.79/6.85 c ---[3036]---> Adder-cost: 158 maxlim: 67 bits: 8/7 6.79/6.85 c ---[3034]---> Adder-cost: 106 maxlim: 43 bits: 7/6 6.79/6.86 c ---[3032]---> Adder-cost: 139 maxlim: 58 bits: 7/6 6.79/6.86 c ---[3030]---> Adder-cost: 94 maxlim: 37 bits: 7/6 6.79/6.86 c ---[3028]---> Adder-cost: 146 maxlim: 67 bits: 8/7 6.79/6.87 c ---[3026]---> Adder-cost: 80 maxlim: 67 bits: 8/7 6.79/6.87 c ---[3024]---> Adder-cost: 200 maxlim: 87 bits: 8/7 6.79/6.88 c ---[3022]---> Adder-cost: 156 maxlim: 85 bits: 8/7 6.79/6.88 c ---[3020]---> Adder-cost: 162 maxlim: 95 bits: 8/7 6.79/6.89 c ---[3018]---> Adder-cost: 263 maxlim: 120 bits: 8/7 6.79/6.90 c ---[3016]---> Adder-cost: 164 maxlim: 71 bits: 8/7 6.89/6.90 c ---[3014]---> Adder-cost: 60 maxlim: 20 bits: 6/5 6.89/6.90 c ---[3012]---> Adder-cost: 42 maxlim: 20 bits: 6/5 6.89/6.91 c ---[3010]---> Adder-cost: 122 maxlim: 50 bits: 7/6 6.89/6.91 c ---[3008]---> Adder-cost: 81 maxlim: 28 bits: 6/5 6.89/6.91 c ---[3006]---> Adder-cost: 116 maxlim: 46 bits: 7/6 6.89/6.91 c ---[3004]---> Adder-cost: 120 maxlim: 52 bits: 7/6 6.89/6.92 c ---[3002]---> Adder-cost: 202 maxlim: 100 bits: 8/7 6.89/6.92 c ---[3000]---> Adder-cost: 220 maxlim: 98 bits: 8/7 6.89/6.93 c ---[2998]---> Adder-cost: 104 maxlim: 37 bits: 7/6 6.89/6.93 c ---[2996]---> Adder-cost: 64 maxlim: 37 bits: 7/6 6.89/6.94 c ---[2994]---> Adder-cost: 96 maxlim: 36 bits: 7/6 6.89/6.94 c ---[2992]---> Adder-cost: 76 maxlim: 37 bits: 7/6 6.89/6.94 c ---[2990]---> Adder-cost: 66 maxlim: 36 bits: 7/6 6.89/6.94 c ---[2988]---> Adder-cost: 106 maxlim: 44 bits: 7/6 6.89/6.95 c ---[2986]---> Adder-cost: 84 maxlim: 37 bits: 7/6 6.89/6.95 c ---[2984]---> Adder-cost: 158 maxlim: 65 bits: 8/7 6.89/6.96 c ---[2982]---> Adder-cost: 98 maxlim: 52 bits: 7/6 6.89/6.96 c ---[2980]---> Adder-cost: 198 maxlim: 96 bits: 8/7 6.89/6.96 c ---[2978]---> Adder-cost: 212 maxlim: 101 bits: 8/7 6.89/6.97 c ---[2976]---> Adder-cost: 206 maxlim: 107 bits: 8/7 6.89/6.98 c ---[2974]---> Adder-cost: 135 maxlim: 54 bits: 7/6 6.89/6.98 c ---[2972]---> Adder-cost: 75 maxlim: 54 bits: 7/6 6.89/6.99 c ---[2970]---> Adder-cost: 96 maxlim: 51 bits: 7/6 6.89/6.99 c ---[2968]---> Adder-cost: 125 maxlim: 63 bits: 7/6 6.89/6.99 c ---[2966]---> Adder-cost: 121 maxlim: 56 bits: 7/6 6.99/7.00 c ---[2964]---> Adder-cost: 95 maxlim: 53 bits: 7/6 6.99/7.00 c ---[2962]---> Adder-cost: 125 maxlim: 58 bits: 7/6 6.99/7.01 c ---[2960]---> Adder-cost: 133 maxlim: 53 bits: 7/6 6.99/7.01 c ---[2958]---> Adder-cost: 125 maxlim: 57 bits: 7/6 6.99/7.01 c ---[2956]---> Adder-cost: 312 maxlim: 151 bits: 9/8 6.99/7.02 c ---[2954]---> Adder-cost: 300 maxlim: 162 bits: 9/8 6.99/7.03 c ---[2952]---> Adder-cost: 284 maxlim: 160 bits: 9/8 6.99/7.04 c ---[2950]---> Adder-cost: 112 maxlim: 45 bits: 7/6 6.99/7.05 c ---[2948]---> Adder-cost: 66 maxlim: 45 bits: 7/6 6.99/7.05 c ---[2946]---> Adder-cost: 120 maxlim: 50 bits: 7/6 6.99/7.05 c ---[2944]---> Adder-cost: 104 maxlim: 44 bits: 7/6 6.99/7.06 c ---[2942]---> Adder-cost: 56 maxlim: 44 bits: 7/6 6.99/7.06 c ---[2940]---> Adder-cost: 118 maxlim: 49 bits: 7/6 6.99/7.06 c ---[2938]---> Adder-cost: 66 maxlim: 49 bits: 7/6 6.99/7.07 c ---[2936]---> Adder-cost: 98 maxlim: 51 bits: 7/6 6.99/7.07 c ---[2934]---> Adder-cost: 96 maxlim: 36 bits: 7/6 6.99/7.07 c ---[2932]---> Adder-cost: 96 maxlim: 85 bits: 8/7 6.99/7.08 c ---[2930]---> Adder-cost: 178 maxlim: 83 bits: 8/7 6.99/7.09 c ---[2928]---> Adder-cost: 80 maxlim: 83 bits: 8/7 6.99/7.09 c ---[2926]---> Adder-cost: 210 maxlim: 93 bits: 8/7 6.99/7.10 c ---[2924]---> Adder-cost: 152 maxlim: 65 bits: 8/7 7.09/7.10 c ---[2922]---> Adder-cost: 78 maxlim: 65 bits: 8/7 7.09/7.11 c ---[2920]---> Adder-cost: 102 maxlim: 66 bits: 8/7 7.09/7.11 c ---[2918]---> Adder-cost: 84 maxlim: 66 bits: 8/7 7.09/7.12 c ---[2916]---> Adder-cost: 158 maxlim: 66 bits: 8/7 7.09/7.12 c ---[2914]---> Adder-cost: 139 maxlim: 54 bits: 7/6 7.09/7.12 c ---[2912]---> Adder-cost: 75 maxlim: 54 bits: 7/6 7.09/7.13 c ---[2910]---> Adder-cost: 268 maxlim: 130 bits: 9/8 7.09/7.14 c ---[2908]---> Adder-cost: 263 maxlim: 123 bits: 8/7 7.09/7.15 c ---[2906]---> Adder-cost: 106 maxlim: 42 bits: 7/6 7.09/7.15 c ---[2904]---> Adder-cost: 58 maxlim: 42 bits: 7/6 7.09/7.15 c ---[2902]---> Adder-cost: 84 maxlim: 66 bits: 8/7 7.09/7.16 c ---[2900]---> Adder-cost: 102 maxlim: 39 bits: 7/6 7.09/7.16 c ---[2898]---> Adder-cost: 68 maxlim: 39 bits: 7/6 7.09/7.16 c ---[2896]---> Adder-cost: 68 maxlim: 39 bits: 7/6 7.09/7.17 c ---[2894]---> Adder-cost: 92 maxlim: 37 bits: 7/6 7.09/7.17 c ---[2892]---> Adder-cost: 78 maxlim: 39 bits: 7/6 7.09/7.17 c ---[2890]---> Adder-cost: 68 maxlim: 39 bits: 7/6 7.09/7.18 c ---[2888]---> Adder-cost: 218 maxlim: 102 bits: 8/7 7.09/7.18 c ---[2886]---> Adder-cost: 164 maxlim: 72 bits: 8/7 7.09/7.19 c ---[2884]---> Adder-cost: 102 maxlim: 37 bits: 7/6 7.09/7.19 c ---[2882]---> Adder-cost: 115 maxlim: 60 bits: 7/6 7.09/7.19 c ---[2880]---> Adder-cost: 218 maxlim: 105 bits: 8/7 7.19/7.20 c ---[2878]---> Adder-cost: 143 maxlim: 58 bits: 7/6 7.19/7.21 c ---[2876]---> Adder-cost: 77 maxlim: 58 bits: 7/6 7.19/7.21 c ---[2874]---> Adder-cost: 96 maxlim: 43 bits: 7/6 7.19/7.21 c ---[2872]---> Adder-cost: 60 maxlim: 43 bits: 7/6 7.19/7.22 c ---[2870]---> Adder-cost: 60 maxlim: 20 bits: 6/5 7.19/7.22 c ---[2868]---> Adder-cost: 46 maxlim: 18 bits: 6/5 7.19/7.22 c ---[2866]---> Adder-cost: 75 maxlim: 60 bits: 7/6 7.19/7.22 c ---[2864]---> Adder-cost: 294 maxlim: 160 bits: 9/8 7.19/7.24 c ---[2862]---> Adder-cost: 294 maxlim: 140 bits: 9/8 7.19/7.25 c ---[2860]---> Adder-cost: 73 maxlim: 22 bits: 6/5 7.19/7.25 c ---[2858]---> Adder-cost: 94 maxlim: 34 bits: 7/6 7.19/7.25 c ---[2856]---> Adder-cost: 109 maxlim: 53 bits: 7/6 7.19/7.25 c ---[2854]---> Adder-cost: 133 maxlim: 53 bits: 7/6 7.19/7.26 c ---[2852]---> Adder-cost: 98 maxlim: 50 bits: 7/6 7.19/7.26 c ---[2850]---> Adder-cost: 106 maxlim: 44 bits: 7/6 7.19/7.27 c ---[2848]---> Adder-cost: 218 maxlim: 103 bits: 8/7 7.19/7.27 c ---[2846]---> Adder-cost: 117 maxlim: 53 bits: 7/6 7.19/7.28 c ---[2844]---> Adder-cost: 302 maxlim: 157 bits: 9/8 7.19/7.29 c ---[2842]---> Adder-cost: 248 maxlim: 133 bits: 9/8 7.19/7.30 c ---[2840]---> Adder-cost: 151 maxlim: 63 bits: 7/6 7.29/7.30 c ---[2838]---> Adder-cost: 100 maxlim: 48 bits: 7/6 7.29/7.30 c ---[2836]---> Adder-cost: 78 maxlim: 32 bits: 7/6 7.29/7.31 c ---[2834]---> Adder-cost: 88 maxlim: 36 bits: 7/6 7.29/7.31 c ---[2832]---> Adder-cost: 174 maxlim: 81 bits: 8/7 7.29/7.31 c ---[2830]---> Adder-cost: 60 maxlim: 18 bits: 6/5 7.29/7.32 c ---[2828]---> Adder-cost: 44 maxlim: 18 bits: 6/5 7.29/7.32 c ---[2826]---> Adder-cost: 88 maxlim: 37 bits: 7/6 7.29/7.32 c ---[2824]---> Adder-cost: 64 maxlim: 37 bits: 7/6 7.29/7.32 c ---[2822]---> Adder-cost: 90 maxlim: 36 bits: 7/6 7.29/7.33 c ---[2820]---> Adder-cost: 94 maxlim: 38 bits: 7/6 7.29/7.33 c ---[2818]---> Adder-cost: 88 maxlim: 81 bits: 8/7 7.29/7.33 c ---[2816]---> Adder-cost: 77 maxlim: 27 bits: 6/5 7.29/7.34 c ---[2814]---> Adder-cost: 71 maxlim: 31 bits: 6/5 7.29/7.34 c ---[2812]---> Adder-cost: 59 maxlim: 31 bits: 6/5 7.29/7.34 c ---[2810]---> Adder-cost: 65 maxlim: 22 bits: 6/5 7.29/7.34 c ---[2808]---> Adder-cost: 196 maxlim: 93 bits: 8/7 7.29/7.35 c ---[2806]---> Adder-cost: 65 maxlim: 24 bits: 6/5 7.29/7.35 c ---[2804]---> Adder-cost: 51 maxlim: 24 bits: 6/5 7.29/7.35 c ---[2802]---> Adder-cost: 67 maxlim: 22 bits: 6/5 7.29/7.36 c ---[2800]---> Adder-cost: 53 maxlim: 22 bits: 6/5 7.29/7.36 c ---[2798]---> Adder-cost: 155 maxlim: 63 bits: 7/6 7.29/7.36 c ---[2796]---> Adder-cost: 101 maxlim: 60 bits: 7/6 7.29/7.37 c ---[2794]---> Adder-cost: 104 maxlim: 47 bits: 7/6 7.29/7.37 c ---[2792]---> Adder-cost: 62 maxlim: 47 bits: 7/6 7.29/7.37 c ---[2790]---> Adder-cost: 118 maxlim: 48 bits: 7/6 7.29/7.38 c ---[2788]---> Adder-cost: 267 maxlim: 121 bits: 8/7 7.29/7.38 c ---[2786]---> Adder-cost: 135 maxlim: 54 bits: 7/6 7.29/7.39 c ---[2784]---> Adder-cost: 178 maxlim: 82 bits: 8/7 7.29/7.39 c ---[2782]---> Adder-cost: 88 maxlim: 82 bits: 8/7 7.39/7.40 c ---[2780]---> Adder-cost: 192 maxlim: 83 bits: 8/7 7.39/7.41 c ---[2778]---> Adder-cost: 80 maxlim: 83 bits: 8/7 7.39/7.41 c ---[2776]---> Adder-cost: 204 maxlim: 92 bits: 8/7 7.39/7.42 c ---[2774]---> Adder-cost: 86 maxlim: 92 bits: 8/7 7.39/7.42 c ---[2772]---> Adder-cost: 144 maxlim: 95 bits: 8/7 7.39/7.43 c ---[2770]---> Adder-cost: 198 maxlim: 94 bits: 8/7 7.39/7.43 c ---[2768]---> Adder-cost: 269 maxlim: 120 bits: 8/7 7.39/7.44 c ---[2766]---> Adder-cost: 122 maxlim: 97 bits: 8/7 7.39/7.45 c ---[2764]---> Adder-cost: 86 maxlim: 97 bits: 8/7 7.39/7.45 c ---[2762]---> Adder-cost: 166 maxlim: 85 bits: 8/7 7.39/7.46 c ---[2760]---> Adder-cost: 146 maxlim: 77 bits: 8/7 7.39/7.47 c ---[2758]---> Adder-cost: 104 maxlim: 49 bits: 7/6 7.39/7.47 c ---[2756]---> Adder-cost: 211 maxlim: 117 bits: 8/7 7.39/7.48 c ---[2754]---> Adder-cost: 147 maxlim: 61 bits: 7/6 7.39/7.48 c ---[2752]---> Adder-cost: 77 maxlim: 61 bits: 7/6 7.39/7.49 c ---[2750]---> Adder-cost: 131 maxlim: 60 bits: 7/6 7.39/7.49 c ---[2748]---> Adder-cost: 75 maxlim: 60 bits: 7/6 7.39/7.49 c ---[2746]---> Adder-cost: 139 maxlim: 61 bits: 7/6 7.49/7.50 c ---[2744]---> Adder-cost: 77 maxlim: 61 bits: 7/6 7.49/7.50 c ---[2742]---> Adder-cost: 133 maxlim: 55 bits: 7/6 7.49/7.51 c ---[2740]---> Adder-cost: 77 maxlim: 55 bits: 7/6 7.49/7.51 c ---[2738]---> Adder-cost: 77 maxlim: 55 bits: 7/6 7.49/7.51 c ---[2736]---> Adder-cost: 234 maxlim: 116 bits: 8/7 7.49/7.52 c ---[2734]---> Adder-cost: 73 maxlim: 21 bits: 6/5 7.49/7.52 c ---[2732]---> Adder-cost: 50 maxlim: 16 bits: 6/5 7.49/7.52 c ---[2730]---> Adder-cost: 104 maxlim: 40 bits: 7/6 7.49/7.53 c ---[2728]---> Sorter-cost: 577 Base: 2 7.49/7.53 c ---[2726]---> Adder-cost: 98 maxlim: 39 bits: 7/6 7.49/7.53 c ---[2724]---> Adder-cost: 58 maxlim: 17 bits: 6/5 7.49/7.53 c ---[2722]---> Adder-cost: 42 maxlim: 17 bits: 6/5 7.49/7.54 c ---[2720]---> Adder-cost: 92 maxlim: 116 bits: 8/7 7.49/7.54 c ---[2718]---> Adder-cost: 87 maxlim: 30 bits: 6/5 7.49/7.55 c ---[2716]---> Adder-cost: 59 maxlim: 30 bits: 6/5 7.49/7.55 c ---[2714]---> Sorter-cost: 577 Base: 2 7.49/7.55 c ---[2712]---> Adder-cost: 96 maxlim: 36 bits: 7/6 7.49/7.55 c ---[2710]---> Adder-cost: 133 maxlim: 53 bits: 7/6 7.49/7.56 c ---[2708]---> Adder-cost: 267 maxlim: 118 bits: 8/7 7.49/7.56 c ---[2706]---> Adder-cost: 77 maxlim: 26 bits: 6/5 7.49/7.57 c ---[2704]---> Adder-cost: 51 maxlim: 26 bits: 6/5 7.49/7.57 c ---[2702]---> Adder-cost: 73 maxlim: 24 bits: 6/5 7.49/7.57 c ---[2700]---> Adder-cost: 71 maxlim: 21 bits: 6/5 7.49/7.57 c ---[2698]---> Adder-cost: 55 maxlim: 21 bits: 6/5 7.49/7.57 c ---[2696]---> Sorter-cost: 577 Base: 2 7.49/7.58 c ---[2694]---> Adder-cost: 111 maxlim: 118 bits: 8/7 7.49/7.58 c ---[2692]---> Adder-cost: 149 maxlim: 63 bits: 7/6 7.49/7.59 c ---[2690]---> Adder-cost: 77 maxlim: 63 bits: 7/6 7.49/7.59 c ---[2688]---> Adder-cost: 114 maxlim: 51 bits: 7/6 7.49/7.60 c ---[2686]---> Sorter-cost: 546 Base: 2 7.60/7.60 c ---[2684]---> Sorter-cost: 496 Base: 2 7.60/7.60 c ---[2682]---> Adder-cost: 143 maxlim: 59 bits: 7/6 7.60/7.60 c ---[2680]---> Adder-cost: 204 maxlim: 96 bits: 8/7 7.60/7.61 c ---[2678]---> Adder-cost: 110 maxlim: 52 bits: 7/6 7.60/7.61 c ---[2676]---> Adder-cost: 174 maxlim: 115 bits: 8/7 7.60/7.62 c ---[2674]---> Adder-cost: 98 maxlim: 37 bits: 7/6 7.60/7.62 c ---[2672]---> Adder-cost: 64 maxlim: 37 bits: 7/6 7.60/7.63 c ---[2670]---> Adder-cost: 90 maxlim: 35 bits: 7/6 7.60/7.63 c ---[2668]---> Adder-cost: 68 maxlim: 35 bits: 7/6 7.60/7.63 c ---[2666]---> Adder-cost: 182 maxlim: 113 bits: 8/7 7.60/7.64 c ---[2664]---> Adder-cost: 164 maxlim: 69 bits: 8/7 7.60/7.64 c ---[2662]---> Adder-cost: 138 maxlim: 80 bits: 8/7 7.60/7.65 c ---[2660]---> Adder-cost: 140 maxlim: 64 bits: 8/7 7.60/7.65 c ---[2658]---> Adder-cost: 87 maxlim: 55 bits: 7/6 7.60/7.66 c ---[2656]---> Sorter-cost: 544 Base: 2 7.60/7.66 c ---[2654]---> Sorter-cost: 496 Base: 2 7.60/7.66 c ---[2652]---> Adder-cost: 164 maxlim: 112 bits: 8/7 7.60/7.67 c ---[2650]---> Adder-cost: 204 maxlim: 96 bits: 8/7 7.60/7.67 c ---[2648]---> Adder-cost: 169 maxlim: 123 bits: 8/7 7.60/7.68 c ---[2646]---> Adder-cost: 101 maxlim: 123 bits: 8/7 7.60/7.69 c ---[2644]---> Adder-cost: 224 maxlim: 106 bits: 8/7 7.60/7.70 c ---[2642]---> Adder-cost: 109 maxlim: 59 bits: 7/6 7.70/7.70 c ---[2640]---> Adder-cost: 73 maxlim: 23 bits: 6/5 7.70/7.70 c ---[2638]---> Adder-cost: 176 maxlim: 102 bits: 8/7 7.70/7.71 c ---[2636]---> Adder-cost: 79 maxlim: 27 bits: 6/5 7.70/7.71 c ---[2634]---> Adder-cost: 87 maxlim: 30 bits: 6/5 7.70/7.72 c ---[2632]---> Adder-cost: 59 maxlim: 30 bits: 6/5 7.70/7.72 c ---[2630]---> Adder-cost: 67 maxlim: 26 bits: 6/5 7.70/7.72 c ---[2628]---> Adder-cost: 60 maxlim: 20 bits: 6/5 7.70/7.72 c ---[2626]---> Adder-cost: 148 maxlim: 70 bits: 8/7 7.70/7.73 c ---[2624]---> Adder-cost: 102 maxlim: 38 bits: 7/6 7.70/7.73 c ---[2622]---> Adder-cost: 79 maxlim: 27 bits: 6/5 7.70/7.73 c ---[2620]---> Adder-cost: 69 maxlim: 23 bits: 6/5 7.70/7.73 c ---[2618]---> Adder-cost: 60 maxlim: 19 bits: 6/5 7.70/7.74 c ---[2616]---> Adder-cost: 46 maxlim: 19 bits: 6/5 7.70/7.74 c ---[2614]---> Adder-cost: 46 maxlim: 19 bits: 6/5 7.70/7.74 c ---[2612]---> Adder-cost: 139 maxlim: 53 bits: 7/6 7.70/7.74 c ---[2610]---> Adder-cost: 71 maxlim: 22 bits: 6/5 7.70/7.75 c ---[2608]---> Adder-cost: 164 maxlim: 76 bits: 8/7 7.70/7.75 c ---[2606]---> Adder-cost: 226 maxlim: 101 bits: 8/7 7.70/7.76 c ---[2604]---> Adder-cost: 224 maxlim: 113 bits: 8/7 7.70/7.77 c ---[2602]---> Adder-cost: 100 maxlim: 40 bits: 7/6 7.70/7.77 c ---[2600]---> Adder-cost: 112 maxlim: 46 bits: 7/6 7.70/7.77 c ---[2598]---> Adder-cost: 73 maxlim: 53 bits: 7/6 7.70/7.78 c ---[2596]---> Adder-cost: 404 maxlim: 206 bits: 9/8 7.79/7.81 c ---[2594]---> Adder-cost: 150 maxlim: 65 bits: 8/7 7.79/7.81 c ---[2592]---> Adder-cost: 216 maxlim: 98 bits: 8/7 7.79/7.82 c ---[2590]---> Adder-cost: 82 maxlim: 98 bits: 8/7 7.79/7.83 c ---[2588]---> Adder-cost: 164 maxlim: 79 bits: 8/7 7.79/7.83 c ---[2586]---> Adder-cost: 316 maxlim: 163 bits: 9/8 7.79/7.84 c ---[2584]---> Adder-cost: 241 maxlim: 121 bits: 8/7 7.79/7.85 c ---[2582]---> Adder-cost: 204 maxlim: 139 bits: 9/8 7.79/7.86 c ---[2580]---> Adder-cost: 104 maxlim: 40 bits: 7/6 7.79/7.86 c ---[2578]---> Adder-cost: 90 maxlim: 44 bits: 7/6 7.79/7.87 c ---[2576]---> Adder-cost: 206 maxlim: 96 bits: 8/7 7.79/7.87 c ---[2574]---> Adder-cost: 56 maxlim: 44 bits: 7/6 7.79/7.88 c ---[2572]---> Adder-cost: 56 maxlim: 44 bits: 7/6 7.79/7.88 c ---[2570]---> Adder-cost: 56 maxlim: 44 bits: 7/6 7.79/7.88 c ---[2568]---> Adder-cost: 73 maxlim: 22 bits: 6/5 7.79/7.88 c ---[2566]---> Adder-cost: 53 maxlim: 22 bits: 6/5 7.79/7.89 c ---[2564]---> Adder-cost: 53 maxlim: 22 bits: 6/5 7.79/7.89 c ---[2562]---> Adder-cost: 53 maxlim: 22 bits: 6/5 7.79/7.89 c ---[2560]---> Adder-cost: 90 maxlim: 96 bits: 8/7 7.89/7.90 c ---[2558]---> Adder-cost: 75 maxlim: 24 bits: 6/5 7.89/7.90 c ---[2556]---> Adder-cost: 110 maxlim: 44 bits: 7/6 7.89/7.90 c ---[2554]---> Adder-cost: 150 maxlim: 65 bits: 8/7 7.89/7.91 c ---[2552]---> Adder-cost: 110 maxlim: 46 bits: 7/6 7.89/7.91 c ---[2550]---> Adder-cost: 68 maxlim: 46 bits: 7/6 7.89/7.91 c ---[2548]---> Adder-cost: 90 maxlim: 96 bits: 8/7 7.89/7.92 c ---[2546]---> Sorter-cost: 546 Base: 2 7.89/7.92 c ---[2544]---> Sorter-cost: 496 Base: 2 7.89/7.92 c ---[2542]---> Sorter-cost: 673 Base: 7 7.89/7.93 c ---[2540]---> Sorter-cost: 565 Base: 2 7.89/7.93 c ---[2538]---> Sorter-cost: 496 Base: 2 7.89/7.93 c ---[2536]---> Sorter-cost: 813 Base: 7 7.89/7.93 c ---[2534]---> Adder-cost: 135 maxlim: 62 bits: 7/6 7.89/7.93 c ---[2532]---> Adder-cost: 212 maxlim: 103 bits: 8/7 7.89/7.94 c ---[2530]---> Adder-cost: 73 maxlim: 62 bits: 7/6 7.89/7.95 c ---[2528]---> Adder-cost: 204 maxlim: 94 bits: 8/7 7.89/7.95 c ---[2526]---> Adder-cost: 135 maxlim: 57 bits: 7/6 7.89/7.96 c ---[2524]---> Adder-cost: 100 maxlim: 39 bits: 7/6 7.89/7.96 c ---[2522]---> Adder-cost: 127 maxlim: 53 bits: 7/6 7.89/7.96 c ---[2520]---> Adder-cost: 94 maxlim: 36 bits: 7/6 7.89/7.97 c ---[2518]---> Adder-cost: 141 maxlim: 55 bits: 7/6 7.89/7.97 c ---[2516]---> Adder-cost: 106 maxlim: 40 bits: 7/6 7.89/7.97 c ---[2514]---> Adder-cost: 212 maxlim: 97 bits: 8/7 7.89/7.98 c ---[2512]---> Adder-cost: 246 maxlim: 111 bits: 8/7 7.89/7.99 c ---[2510]---> Adder-cost: 98 maxlim: 111 bits: 8/7 7.89/7.99 c ---[2508]---> Adder-cost: 98 maxlim: 111 bits: 8/7 7.99/8.00 c ---[2506]---> Adder-cost: 184 maxlim: 81 bits: 8/7 7.99/8.01 c ---[2504]---> Adder-cost: 214 maxlim: 102 bits: 8/7 7.99/8.01 c ---[2502]---> Adder-cost: 104 maxlim: 40 bits: 7/6 7.99/8.02 c ---[2500]---> Adder-cost: 87 maxlim: 31 bits: 6/5 7.99/8.02 c ---[2498]---> Adder-cost: 64 maxlim: 40 bits: 7/6 7.99/8.02 c ---[2496]---> Adder-cost: 72 maxlim: 35 bits: 7/6 7.99/8.03 c ---[2494]---> Adder-cost: 56 maxlim: 35 bits: 7/6 7.99/8.03 c ---[2492]---> Adder-cost: 108 maxlim: 45 bits: 7/6 7.99/8.03 c ---[2490]---> Adder-cost: 90 maxlim: 33 bits: 7/6 7.99/8.04 c ---[2488]---> Adder-cost: 192 maxlim: 89 bits: 8/7 7.99/8.04 c ---[2486]---> Adder-cost: 81 maxlim: 27 bits: 6/5 7.99/8.04 c ---[2484]---> Adder-cost: 118 maxlim: 47 bits: 7/6 7.99/8.05 c ---[2482]---> Adder-cost: 55 maxlim: 27 bits: 6/5 7.99/8.05 c ---[2480]---> Adder-cost: 55 maxlim: 27 bits: 6/5 7.99/8.05 c ---[2478]---> Adder-cost: 152 maxlim: 64 bits: 8/7 7.99/8.06 c ---[2476]---> Adder-cost: 85 maxlim: 31 bits: 6/5 7.99/8.06 c ---[2474]---> Adder-cost: 141 maxlim: 58 bits: 7/6 7.99/8.06 c ---[2472]---> Adder-cost: 196 maxlim: 98 bits: 8/7 7.99/8.07 c ---[2470]---> Adder-cost: 82 maxlim: 98 bits: 8/7 7.99/8.08 c ---[2468]---> Adder-cost: 98 maxlim: 49 bits: 7/6 7.99/8.08 c ---[2466]---> Adder-cost: 186 maxlim: 99 bits: 8/7 7.99/8.09 c ---[2464]---> Adder-cost: 106 maxlim: 43 bits: 7/6 7.99/8.09 c ---[2462]---> Adder-cost: 234 maxlim: 110 bits: 8/7 8.09/8.10 c ---[2460]---> Adder-cost: 210 maxlim: 94 bits: 8/7 8.09/8.10 c ---[2458]---> Adder-cost: 134 maxlim: 100 bits: 8/7 8.09/8.11 c ---[2456]---> Adder-cost: 114 maxlim: 48 bits: 7/6 8.09/8.11 c ---[2454]---> Adder-cost: 135 maxlim: 57 bits: 7/6 8.09/8.12 c ---[2452]---> Adder-cost: 66 maxlim: 49 bits: 7/6 8.09/8.12 c ---[2450]---> Adder-cost: 92 maxlim: 33 bits: 7/6 8.09/8.12 c ---[2448]---> Adder-cost: 60 maxlim: 33 bits: 7/6 8.09/8.13 c ---[2446]---> Adder-cost: 60 maxlim: 33 bits: 7/6 8.09/8.13 c ---[2444]---> Adder-cost: 96 maxlim: 40 bits: 7/6 8.09/8.13 c ---[2442]---> Adder-cost: 172 maxlim: 81 bits: 8/7 8.09/8.14 c ---[2440]---> Adder-cost: 168 maxlim: 69 bits: 8/7 8.09/8.14 c ---[2438]---> Adder-cost: 308 maxlim: 171 bits: 9/8 8.09/8.15 c ---[2436]---> Adder-cost: 66 maxlim: 49 bits: 7/6 8.09/8.16 c ---[2434]---> Adder-cost: 149 maxlim: 61 bits: 7/6 8.09/8.16 c ---[2432]---> Adder-cost: 77 maxlim: 61 bits: 7/6 8.09/8.17 c ---[2430]---> Adder-cost: 100 maxlim: 37 bits: 7/6 8.09/8.17 c ---[2428]---> Adder-cost: 64 maxlim: 37 bits: 7/6 8.09/8.17 c ---[2426]---> Adder-cost: 88 maxlim: 35 bits: 7/6 8.09/8.17 c ---[2424]---> Adder-cost: 218 maxlim: 96 bits: 8/7 8.09/8.18 c ---[2422]---> Adder-cost: 158 maxlim: 70 bits: 8/7 8.09/8.19 c ---[2420]---> Adder-cost: 104 maxlim: 37 bits: 7/6 8.09/8.19 c ---[2418]---> Adder-cost: 85 maxlim: 30 bits: 6/5 8.09/8.19 c ---[2416]---> Adder-cost: 59 maxlim: 30 bits: 6/5 8.09/8.19 c ---[2414]---> Adder-cost: 81 maxlim: 30 bits: 6/5 8.09/8.20 c ---[2412]---> Adder-cost: 59 maxlim: 30 bits: 6/5 8.19/8.20 c ---[2410]---> Adder-cost: 59 maxlim: 30 bits: 6/5 8.19/8.20 c ---[2408]---> Adder-cost: 56 maxlim: 35 bits: 7/6 8.19/8.20 c ---[2406]---> Adder-cost: 59 maxlim: 30 bits: 6/5 8.19/8.21 c ---[2404]---> Adder-cost: 59 maxlim: 30 bits: 6/5 8.19/8.21 c ---[2402]---> Adder-cost: 59 maxlim: 30 bits: 6/5 8.19/8.21 c ---[2400]---> Adder-cost: 59 maxlim: 30 bits: 6/5 8.19/8.21 c ---[2398]---> Adder-cost: 184 maxlim: 78 bits: 8/7 8.19/8.22 c ---[2396]---> Adder-cost: 232 maxlim: 104 bits: 8/7 8.19/8.23 c ---[2394]---> Adder-cost: 92 maxlim: 104 bits: 8/7 8.19/8.23 c ---[2392]---> Adder-cost: 290 maxlim: 131 bits: 9/8 8.19/8.24 c ---[2390]---> Adder-cost: 72 maxlim: 34 bits: 7/6 8.19/8.25 c ---[2388]---> Adder-cost: 248 maxlim: 112 bits: 8/7 8.19/8.25 c ---[2386]---> Sorter-cost: 577 Base: 2 8.19/8.25 c ---[2384]---> Sorter-cost: 451 Base: 2 8.19/8.26 c ---[2382]---> Sorter-cost: 451 Base: 2 8.19/8.26 c ---[2380]---> Sorter-cost: 451 Base: 2 8.19/8.26 c ---[2378]---> Sorter-cost: 451 Base: 2 8.19/8.26 c ---[2376]---> Adder-cost: 143 maxlim: 58 bits: 7/6 8.19/8.26 c ---[2374]---> Adder-cost: 208 maxlim: 90 bits: 8/7 8.19/8.27 c ---[2372]---> Adder-cost: 182 maxlim: 92 bits: 8/7 8.19/8.28 c ---[2370]---> Adder-cost: 144 maxlim: 91 bits: 8/7 8.19/8.28 c ---[2368]---> Adder-cost: 73 maxlim: 22 bits: 6/5 8.19/8.28 c ---[2366]---> Adder-cost: 60 maxlim: 20 bits: 6/5 8.19/8.29 c ---[2364]---> Adder-cost: 42 maxlim: 20 bits: 6/5 8.19/8.29 c ---[2362]---> Adder-cost: 138 maxlim: 71 bits: 8/7 8.19/8.29 c ---[2360]---> Adder-cost: 60 maxlim: 17 bits: 6/5 8.19/8.30 c ---[2358]---> Adder-cost: 86 maxlim: 32 bits: 7/6 8.29/8.30 c ---[2356]---> Adder-cost: 52 maxlim: 32 bits: 7/6 8.29/8.30 c ---[2354]---> Adder-cost: 79 maxlim: 27 bits: 6/5 8.29/8.30 c ---[2352]---> Adder-cost: 55 maxlim: 27 bits: 6/5 8.29/8.31 c ---[2350]---> Adder-cost: 71 maxlim: 22 bits: 6/5 8.29/8.31 c ---[2348]---> Adder-cost: 62 maxlim: 19 bits: 6/5 8.29/8.31 c ---[2346]---> Adder-cost: 61 maxlim: 23 bits: 6/5 8.29/8.31 c ---[2344]---> Adder-cost: 67 maxlim: 26 bits: 6/5 8.29/8.31 c ---[2342]---> Adder-cost: 51 maxlim: 26 bits: 6/5 8.29/8.32 c ---[2340]---> Adder-cost: 92 maxlim: 34 bits: 7/6 8.29/8.32 c ---[2338]---> Adder-cost: 58 maxlim: 34 bits: 7/6 8.29/8.32 c ---[2336]---> Adder-cost: 90 maxlim: 33 bits: 7/6 8.29/8.32 c ---[2334]---> Adder-cost: 208 maxlim: 92 bits: 8/7 8.29/8.33 c ---[2332]---> Adder-cost: 188 maxlim: 83 bits: 8/7 8.29/8.34 c ---[2330]---> Adder-cost: 46 maxlim: 19 bits: 6/5 8.29/8.34 c ---[2328]---> Adder-cost: 296 maxlim: 143 bits: 9/8 8.29/8.35 c ---[2326]---> Adder-cost: 263 maxlim: 118 bits: 8/7 8.29/8.36 c ---[2324]---> Adder-cost: 96 maxlim: 36 bits: 7/6 8.29/8.36 c ---[2322]---> Adder-cost: 56 maxlim: 36 bits: 7/6 8.29/8.36 c ---[2320]---> Adder-cost: 56 maxlim: 36 bits: 7/6 8.29/8.36 c ---[2318]---> Adder-cost: 120 maxlim: 47 bits: 7/6 8.29/8.37 c ---[2316]---> Adder-cost: 208 maxlim: 99 bits: 8/7 8.29/8.37 c ---[2314]---> Adder-cost: 90 maxlim: 99 bits: 8/7 8.29/8.38 c ---[2312]---> Adder-cost: 208 maxlim: 98 bits: 8/7 8.29/8.39 c ---[2310]---> Adder-cost: 82 maxlim: 98 bits: 8/7 8.29/8.39 c ---[2308]---> Adder-cost: 82 maxlim: 98 bits: 8/7 8.39/8.40 c ---[2306]---> Adder-cost: 82 maxlim: 98 bits: 8/7 8.39/8.41 c ---[2304]---> Adder-cost: 158 maxlim: 73 bits: 8/7 8.39/8.41 c ---[2302]---> Adder-cost: 188 maxlim: 84 bits: 8/7 8.39/8.42 c ---[2300]---> Adder-cost: 88 maxlim: 84 bits: 8/7 8.39/8.42 c ---[2298]---> Adder-cost: 88 maxlim: 84 bits: 8/7 8.39/8.43 c ---[2296]---> Adder-cost: 180 maxlim: 85 bits: 8/7 8.39/8.43 c ---[2294]---> Adder-cost: 182 maxlim: 78 bits: 8/7 8.39/8.44 c ---[2292]---> Adder-cost: 84 maxlim: 78 bits: 8/7 8.39/8.44 c ---[2290]---> Adder-cost: 84 maxlim: 78 bits: 8/7 8.39/8.45 c ---[2288]---> Adder-cost: 132 maxlim: 75 bits: 8/7 8.39/8.46 c ---[2286]---> Adder-cost: 90 maxlim: 75 bits: 8/7 8.39/8.46 c ---[2284]---> Adder-cost: 86 maxlim: 73 bits: 8/7 8.39/8.47 c ---[2282]---> Adder-cost: 84 maxlim: 78 bits: 8/7 8.39/8.47 c ---[2280]---> Adder-cost: 73 maxlim: 22 bits: 6/5 8.39/8.47 c ---[2278]---> Adder-cost: 53 maxlim: 22 bits: 6/5 8.39/8.47 c ---[2276]---> Adder-cost: 116 maxlim: 46 bits: 7/6 8.39/8.48 c ---[2274]---> Adder-cost: 68 maxlim: 46 bits: 7/6 8.39/8.48 c ---[2272]---> Adder-cost: 60 maxlim: 17 bits: 6/5 8.39/8.48 c ---[2270]---> Adder-cost: 160 maxlim: 67 bits: 8/7 8.39/8.49 c ---[2268]---> Adder-cost: 80 maxlim: 67 bits: 8/7 8.39/8.49 c ---[2266]---> Adder-cost: 164 maxlim: 71 bits: 8/7 8.49/8.50 c ---[2264]---> Adder-cost: 90 maxlim: 32 bits: 7/6 8.49/8.50 c ---[2262]---> Adder-cost: 69 maxlim: 29 bits: 6/5 8.49/8.50 c ---[2260]---> Adder-cost: 55 maxlim: 29 bits: 6/5 8.49/8.51 c ---[2258]---> Adder-cost: 178 maxlim: 76 bits: 8/7 8.49/8.51 c ---[2256]---> Adder-cost: 110 maxlim: 52 bits: 7/6 8.49/8.52 c ---[2254]---> Adder-cost: 62 maxlim: 20 bits: 6/5 8.49/8.52 c ---[2252]---> Adder-cost: 358 maxlim: 165 bits: 9/8 8.49/8.53 c ---[2250]---> Adder-cost: 78 maxlim: 71 bits: 8/7 8.49/8.53 c ---[2248]---> Adder-cost: 42 maxlim: 20 bits: 6/5 8.49/8.54 c ---[2246]---> Adder-cost: 71 maxlim: 21 bits: 6/5 8.49/8.54 c ---[2244]---> Adder-cost: 184 maxlim: 84 bits: 8/7 8.49/8.54 c ---[2242]---> Adder-cost: 135 maxlim: 54 bits: 7/6 8.49/8.55 c ---[2240]---> Adder-cost: 96 maxlim: 47 bits: 7/6 8.49/8.55 c ---[2238]---> Adder-cost: 83 maxlim: 30 bits: 6/5 8.49/8.55 c ---[2236]---> Adder-cost: 59 maxlim: 30 bits: 6/5 8.49/8.56 c ---[2234]---> Adder-cost: 73 maxlim: 24 bits: 6/5 8.49/8.56 c ---[2232]---> Adder-cost: 71 maxlim: 22 bits: 6/5 8.49/8.56 c ---[2230]---> Adder-cost: 54 maxlim: 20 bits: 6/5 8.49/8.56 c ---[2228]---> Adder-cost: 63 maxlim: 21 bits: 6/5 8.49/8.56 c ---[2226]---> Adder-cost: 73 maxlim: 25 bits: 6/5 8.49/8.57 c ---[2224]---> Adder-cost: 56 maxlim: 20 bits: 6/5 8.49/8.57 c ---[2222]---> Adder-cost: 42 maxlim: 20 bits: 6/5 8.49/8.57 c ---[2220]---> Sorter-cost: 577 Base: 2 8.49/8.57 c ---[2218]---> Sorter-cost: 451 Base: 2 8.49/8.57 c ---[2216]---> Sorter-cost: 800 Base: 7 8.49/8.58 c ---[2214]---> Sorter-cost: 674 Base: 7 8.49/8.58 c ---[2212]---> Adder-cost: 67 maxlim: 27 bits: 6/5 8.49/8.58 c ---[2210]---> Adder-cost: 54 maxlim: 16 bits: 6/5 8.49/8.58 c ---[2208]---> Adder-cost: 42 maxlim: 16 bits: 6/5 8.49/8.58 c ---[2206]---> Adder-cost: 44 maxlim: 16 bits: 6/5 8.49/8.58 c ---[2204]---> Adder-cost: 269 maxlim: 124 bits: 8/7 8.49/8.59 c ---[2202]---> Adder-cost: 42 maxlim: 16 bits: 6/5 8.49/8.59 c ---[2200]---> Adder-cost: 172 maxlim: 72 bits: 8/7 8.59/8.60 c ---[2198]---> Adder-cost: 80 maxlim: 72 bits: 8/7 8.59/8.61 c ---[2196]---> Adder-cost: 114 maxlim: 49 bits: 7/6 8.59/8.61 c ---[2194]---> Adder-cost: 66 maxlim: 49 bits: 7/6 8.59/8.61 c ---[2192]---> Adder-cost: 202 maxlim: 88 bits: 8/7 8.59/8.62 c ---[2190]---> Adder-cost: 128 maxlim: 65 bits: 8/7 8.59/8.62 c ---[2188]---> Adder-cost: 182 maxlim: 112 bits: 8/7 8.59/8.63 c ---[2186]---> Adder-cost: 151 maxlim: 61 bits: 7/6 8.59/8.64 c ---[2184]---> Adder-cost: 77 maxlim: 61 bits: 7/6 8.59/8.64 c ---[2182]---> Adder-cost: 172 maxlim: 71 bits: 8/7 8.59/8.65 c ---[2180]---> Adder-cost: 78 maxlim: 71 bits: 8/7 8.59/8.65 c ---[2178]---> Adder-cost: 139 maxlim: 54 bits: 7/6 8.59/8.65 c ---[2176]---> Adder-cost: 129 maxlim: 56 bits: 7/6 8.59/8.66 c ---[2174]---> Adder-cost: 238 maxlim: 113 bits: 8/7 8.59/8.67 c ---[2172]---> Adder-cost: 71 maxlim: 56 bits: 7/6 8.59/8.67 c ---[2170]---> Adder-cost: 186 maxlim: 79 bits: 8/7 8.59/8.68 c ---[2168]---> Adder-cost: 178 maxlim: 77 bits: 8/7 8.59/8.68 c ---[2166]---> Adder-cost: 84 maxlim: 77 bits: 8/7 8.59/8.69 c ---[2164]---> Adder-cost: 202 maxlim: 112 bits: 8/7 8.59/8.69 c ---[2162]---> Adder-cost: 98 maxlim: 112 bits: 8/7 8.69/8.70 c ---[2160]---> Adder-cost: 198 maxlim: 110 bits: 8/7 8.69/8.71 c ---[2158]---> Adder-cost: 96 maxlim: 110 bits: 8/7 8.69/8.72 c ---[2156]---> Adder-cost: 98 maxlim: 113 bits: 8/7 8.69/8.72 c ---[2154]---> Adder-cost: 104 maxlim: 38 bits: 7/6 8.69/8.73 c ---[2152]---> Adder-cost: 58 maxlim: 38 bits: 7/6 8.69/8.73 c ---[2150]---> Adder-cost: 188 maxlim: 81 bits: 8/7 8.69/8.74 c ---[2148]---> Adder-cost: 139 maxlim: 55 bits: 7/6 8.69/8.74 c ---[2146]---> Adder-cost: 158 maxlim: 74 bits: 8/7 8.69/8.75 c ---[2144]---> Adder-cost: 140 maxlim: 72 bits: 8/7 8.69/8.75 c ---[2142]---> Adder-cost: 98 maxlim: 113 bits: 8/7 8.69/8.76 c ---[2140]---> Adder-cost: 80 maxlim: 72 bits: 8/7 8.69/8.76 c ---[2138]---> Adder-cost: 120 maxlim: 47 bits: 7/6 8.69/8.77 c ---[2136]---> Adder-cost: 62 maxlim: 47 bits: 7/6 8.69/8.77 c ---[2134]---> Adder-cost: 216 maxlim: 99 bits: 8/7 8.69/8.78 c ---[2132]---> Adder-cost: 188 maxlim: 86 bits: 8/7 8.69/8.78 c ---[2130]---> Adder-cost: 132 maxlim: 106 bits: 8/7 8.69/8.79 c ---[2128]---> Adder-cost: 253 maxlim: 118 bits: 8/7 8.69/8.80 c ---[2126]---> Adder-cost: 111 maxlim: 118 bits: 8/7 8.79/8.81 c ---[2124]---> Adder-cost: 210 maxlim: 112 bits: 8/7 8.79/8.81 c ---[2122]---> Adder-cost: 98 maxlim: 112 bits: 8/7 8.79/8.82 c ---[2120]---> Adder-cost: 186 maxlim: 89 bits: 8/7 8.79/8.83 c ---[2118]---> Adder-cost: 180 maxlim: 93 bits: 8/7 8.79/8.83 c ---[2116]---> Adder-cost: 102 maxlim: 93 bits: 8/7 8.79/8.84 c ---[2114]---> Adder-cost: 142 maxlim: 64 bits: 8/7 8.79/8.85 c ---[2112]---> Adder-cost: 80 maxlim: 64 bits: 8/7 8.79/8.85 c ---[2110]---> Adder-cost: 186 maxlim: 84 bits: 8/7 8.79/8.86 c ---[2108]---> Adder-cost: 88 maxlim: 84 bits: 8/7 8.79/8.86 c ---[2106]---> Adder-cost: 156 maxlim: 81 bits: 8/7 8.79/8.87 c ---[2104]---> Adder-cost: 88 maxlim: 81 bits: 8/7 8.79/8.87 c ---[2102]---> Adder-cost: 71 maxlim: 21 bits: 6/5 8.79/8.87 c ---[2100]---> Adder-cost: 330 maxlim: 157 bits: 9/8 8.79/8.89 c ---[2098]---> Adder-cost: 118 maxlim: 47 bits: 7/6 8.79/8.89 c ---[2096]---> Adder-cost: 108 maxlim: 51 bits: 7/6 8.79/8.89 c ---[2094]---> Adder-cost: 112 maxlim: 47 bits: 7/6 8.79/8.90 c ---[2092]---> Adder-cost: 73 maxlim: 24 bits: 6/5 8.89/8.90 c ---[2090]---> Adder-cost: 77 maxlim: 25 bits: 6/5 8.89/8.90 c ---[2088]---> Adder-cost: 59 maxlim: 25 bits: 6/5 8.89/8.90 c ---[2086]---> Adder-cost: 102 maxlim: 38 bits: 7/6 8.89/8.91 c ---[2084]---> Adder-cost: 67 maxlim: 26 bits: 6/5 8.89/8.91 c ---[2082]---> Adder-cost: 51 maxlim: 26 bits: 6/5 8.89/8.91 c ---[2080]---> Adder-cost: 88 maxlim: 51 bits: 7/6 8.89/8.91 c ---[2078]---> Adder-cost: 178 maxlim: 78 bits: 8/7 8.89/8.92 c ---[2076]---> Adder-cost: 84 maxlim: 78 bits: 8/7 8.89/8.93 c ---[2074]---> Adder-cost: 130 maxlim: 68 bits: 8/7 8.89/8.93 c ---[2072]---> Adder-cost: 58 maxlim: 38 bits: 7/6 8.89/8.93 c ---[2070]---> Adder-cost: 128 maxlim: 68 bits: 8/7 8.89/8.94 c ---[2068]---> Adder-cost: 73 maxlim: 21 bits: 6/5 8.89/8.94 c ---[2066]---> Adder-cost: 73 maxlim: 24 bits: 6/5 8.89/8.94 c ---[2064]---> Adder-cost: 65 maxlim: 25 bits: 6/5 8.89/8.94 c ---[2062]---> Adder-cost: 55 maxlim: 25 bits: 6/5 8.89/8.95 c ---[2060]---> Adder-cost: 75 maxlim: 28 bits: 6/5 8.89/8.95 c ---[2058]---> Adder-cost: 110 maxlim: 43 bits: 7/6 8.89/8.95 c ---[2056]---> Adder-cost: 60 maxlim: 43 bits: 7/6 8.89/8.96 c ---[2054]---> Adder-cost: 79 maxlim: 26 bits: 6/5 8.89/8.96 c ---[2052]---> Adder-cost: 129 maxlim: 55 bits: 7/6 8.89/8.96 c ---[2050]---> Adder-cost: 108 maxlim: 41 bits: 7/6 8.89/8.97 c ---[2048]---> Adder-cost: 74 maxlim: 40 bits: 7/6 8.89/8.97 c ---[2046]---> Adder-cost: 332 maxlim: 186 bits: 9/8 8.89/8.98 c ---[2044]---> Adder-cost: 114 maxlim: 52 bits: 7/6 8.89/8.99 c ---[2042]---> Adder-cost: 108 maxlim: 52 bits: 7/6 8.89/8.99 c ---[2040]---> Adder-cost: 114 maxlim: 47 bits: 7/6 8.89/8.99 c ---[2038]---> Adder-cost: 62 maxlim: 47 bits: 7/6 8.89/9.00 c ---[2036]---> Adder-cost: 196 maxlim: 88 bits: 8/7 8.99/9.00 c ---[2034]---> Adder-cost: 62 maxlim: 47 bits: 7/6 8.99/9.01 c ---[2032]---> Adder-cost: 75 maxlim: 23 bits: 6/5 8.99/9.01 c ---[2030]---> Adder-cost: 122 maxlim: 49 bits: 7/6 8.99/9.01 c ---[2028]---> Adder-cost: 66 maxlim: 49 bits: 7/6 8.99/9.02 c ---[2026]---> Adder-cost: 67 maxlim: 22 bits: 6/5 8.99/9.02 c ---[2024]---> Sorter-cost: 577 Base: 2 8.99/9.02 c ---[2022]---> Adder-cost: 60 maxlim: 19 bits: 6/5 8.99/9.02 c ---[2020]---> Sorter-cost: 577 Base: 2 8.99/9.02 c ---[2018]---> Sorter-cost: 451 Base: 2 8.99/9.02 c ---[2016]---> Sorter-cost: 544 Base: 2 8.99/9.03 c ---[2014]---> Adder-cost: 50 maxlim: 18 bits: 6/5 8.99/9.03 c ---[2012]---> Adder-cost: 151 maxlim: 61 bits: 7/6 8.99/9.03 c ---[2010]---> Sorter-cost: 677 Base: 7 8.99/9.03 c ---[2008]---> Adder-cost: 77 maxlim: 61 bits: 7/6 8.99/9.04 c ---[2006]---> Adder-cost: 104 maxlim: 40 bits: 7/6 8.99/9.04 c ---[2004]---> Adder-cost: 85 maxlim: 30 bits: 6/5 8.99/9.04 c ---[2002]---> Adder-cost: 88 maxlim: 34 bits: 7/6 8.99/9.05 c ---[2000]---> Adder-cost: 232 maxlim: 106 bits: 8/7 8.99/9.05 c ---[1998]---> Adder-cost: 182 maxlim: 89 bits: 8/7 8.99/9.06 c ---[1996]---> Adder-cost: 75 maxlim: 26 bits: 6/5 8.99/9.06 c ---[1994]---> Adder-cost: 56 maxlim: 17 bits: 6/5 8.99/9.06 c ---[1992]---> Adder-cost: 184 maxlim: 83 bits: 8/7 8.99/9.07 c ---[1990]---> Adder-cost: 102 maxlim: 38 bits: 7/6 8.99/9.07 c ---[1988]---> Adder-cost: 118 maxlim: 50 bits: 7/6 8.99/9.08 c ---[1986]---> Adder-cost: 328 maxlim: 156 bits: 9/8 8.99/9.09 c ---[1984]---> Adder-cost: 294 maxlim: 137 bits: 9/8 9.08/9.10 c ---[1982]---> Adder-cost: 220 maxlim: 99 bits: 8/7 9.08/9.11 c ---[1980]---> Adder-cost: 228 maxlim: 105 bits: 8/7 9.08/9.11 c ---[1978]---> Adder-cost: 186 maxlim: 104 bits: 8/7 9.08/9.12 c ---[1976]---> Adder-cost: 160 maxlim: 110 bits: 8/7 9.08/9.13 c ---[1974]---> Adder-cost: 73 maxlim: 27 bits: 6/5 9.08/9.13 c ---[1972]---> Adder-cost: 158 maxlim: 75 bits: 8/7 9.08/9.14 c ---[1970]---> Adder-cost: 138 maxlim: 66 bits: 8/7 9.08/9.14 c ---[1968]---> Adder-cost: 112 maxlim: 46 bits: 7/6 9.08/9.14 c ---[1966]---> Adder-cost: 133 maxlim: 54 bits: 7/6 9.08/9.15 c ---[1964]---> Adder-cost: 238 maxlim: 115 bits: 8/7 9.08/9.16 c ---[1962]---> Adder-cost: 188 maxlim: 95 bits: 8/7 9.08/9.16 c ---[1960]---> Adder-cost: 188 maxlim: 83 bits: 8/7 9.08/9.17 c ---[1958]---> Adder-cost: 192 maxlim: 88 bits: 8/7 9.08/9.17 c ---[1956]---> Adder-cost: 139 maxlim: 59 bits: 7/6 9.08/9.18 c ---[1954]---> Adder-cost: 240 maxlim: 136 bits: 9/8 9.08/9.19 c ---[1952]---> Adder-cost: 108 maxlim: 136 bits: 9/8 9.18/9.20 c ---[1950]---> Adder-cost: 108 maxlim: 136 bits: 9/8 9.18/9.21 c ---[1948]---> Adder-cost: 117 maxlim: 59 bits: 7/6 9.18/9.21 c ---[1946]---> Adder-cost: 234 maxlim: 113 bits: 8/7 9.18/9.22 c ---[1944]---> Adder-cost: 98 maxlim: 113 bits: 8/7 9.18/9.23 c ---[1942]---> Adder-cost: 168 maxlim: 83 bits: 8/7 9.18/9.24 c ---[1940]---> Adder-cost: 80 maxlim: 83 bits: 8/7 9.18/9.24 c ---[1938]---> Adder-cost: 143 maxlim: 60 bits: 7/6 9.18/9.25 c ---[1936]---> Adder-cost: 108 maxlim: 45 bits: 7/6 9.18/9.25 c ---[1934]---> Adder-cost: 66 maxlim: 45 bits: 7/6 9.18/9.25 c ---[1932]---> Adder-cost: 79 maxlim: 28 bits: 6/5 9.18/9.25 c ---[1930]---> Adder-cost: 60 maxlim: 20 bits: 6/5 9.18/9.26 c ---[1928]---> Adder-cost: 200 maxlim: 91 bits: 8/7 9.18/9.26 c ---[1926]---> Adder-cost: 112 maxlim: 45 bits: 7/6 9.18/9.27 c ---[1924]---> Adder-cost: 96 maxlim: 43 bits: 7/6 9.18/9.27 c ---[1922]---> Adder-cost: 138 maxlim: 84 bits: 8/7 9.18/9.28 c ---[1920]---> Adder-cost: 224 maxlim: 112 bits: 8/7 9.18/9.28 c ---[1918]---> Adder-cost: 98 maxlim: 112 bits: 8/7 9.18/9.29 c ---[1916]---> Adder-cost: 100 maxlim: 37 bits: 7/6 9.18/9.29 c ---[1914]---> Adder-cost: 64 maxlim: 37 bits: 7/6 9.28/9.30 c ---[1912]---> Adder-cost: 200 maxlim: 96 bits: 8/7 9.28/9.30 c ---[1910]---> Adder-cost: 79 maxlim: 26 bits: 6/5 9.28/9.31 c ---[1908]---> Adder-cost: 51 maxlim: 26 bits: 6/5 9.28/9.31 c ---[1906]---> Adder-cost: 94 maxlim: 38 bits: 7/6 9.28/9.31 c ---[1904]---> Adder-cost: 263 maxlim: 122 bits: 8/7 9.28/9.32 c ---[1902]---> Adder-cost: 58 maxlim: 38 bits: 7/6 9.28/9.32 c ---[1900]---> Adder-cost: 90 maxlim: 44 bits: 7/6 9.28/9.33 c ---[1898]---> Adder-cost: 56 maxlim: 44 bits: 7/6 9.28/9.33 c ---[1896]---> Adder-cost: 78 maxlim: 36 bits: 7/6 9.28/9.33 c ---[1894]---> Adder-cost: 164 maxlim: 71 bits: 8/7 9.28/9.34 c ---[1892]---> Adder-cost: 78 maxlim: 71 bits: 8/7 9.28/9.34 c ---[1890]---> Adder-cost: 120 maxlim: 50 bits: 7/6 9.28/9.35 c ---[1888]---> Adder-cost: 175 maxlim: 121 bits: 8/7 9.28/9.36 c ---[1886]---> Adder-cost: 116 maxlim: 49 bits: 7/6 9.28/9.36 c ---[1884]---> Adder-cost: 288 maxlim: 148 bits: 9/8 9.28/9.37 c ---[1882]---> Adder-cost: 186 maxlim: 93 bits: 8/7 9.28/9.38 c ---[1880]---> Adder-cost: 334 maxlim: 179 bits: 9/8 9.28/9.39 c ---[1878]---> Adder-cost: 184 maxlim: 98 bits: 8/7 9.28/9.40 c ---[1876]---> Adder-cost: 110 maxlim: 48 bits: 7/6 9.38/9.40 c ---[1874]---> Adder-cost: 192 maxlim: 115 bits: 8/7 9.38/9.41 c ---[1872]---> Adder-cost: 92 maxlim: 34 bits: 7/6 9.38/9.41 c ---[1870]---> Adder-cost: 58 maxlim: 34 bits: 7/6 9.38/9.41 c ---[1868]---> Adder-cost: 83 maxlim: 30 bits: 6/5 9.38/9.42 c ---[1866]---> Adder-cost: 59 maxlim: 30 bits: 6/5 9.38/9.42 c ---[1864]---> Adder-cost: 59 maxlim: 30 bits: 6/5 9.38/9.42 c ---[1862]---> Adder-cost: 79 maxlim: 30 bits: 6/5 9.38/9.42 c ---[1860]---> Adder-cost: 59 maxlim: 30 bits: 6/5 9.38/9.42 c ---[1858]---> Adder-cost: 142 maxlim: 65 bits: 8/7 9.38/9.43 c ---[1856]---> Adder-cost: 144 maxlim: 116 bits: 8/7 9.38/9.44 c ---[1854]---> Adder-cost: 156 maxlim: 67 bits: 8/7 9.38/9.44 c ---[1852]---> Adder-cost: 162 maxlim: 69 bits: 8/7 9.38/9.45 c ---[1850]---> Adder-cost: 75 maxlim: 28 bits: 6/5 9.38/9.45 c ---[1848]---> Adder-cost: 135 maxlim: 57 bits: 7/6 9.38/9.45 c ---[1846]---> Adder-cost: 62 maxlim: 19 bits: 6/5 9.38/9.46 c ---[1844]---> Adder-cost: 208 maxlim: 102 bits: 8/7 9.38/9.46 c ---[1842]---> Sorter-cost: 546 Base: 2 9.38/9.47 c ---[1840]---> Adder-cost: 151 maxlim: 61 bits: 7/6 9.38/9.47 c ---[1838]---> Adder-cost: 120 maxlim: 49 bits: 7/6 9.38/9.47 c ---[1836]---> Adder-cost: 120 maxlim: 52 bits: 7/6 9.38/9.48 c ---[1834]---> Sorter-cost: 577 Base: 2 9.38/9.48 c ---[1833]---> Adder-cost: 2762 maxlim: 1376 bits: 12/11 9.80/9.84 c ---[1831]---> Adder-cost: 283 maxlim: 155 bits: 9/8 9.80/9.86 c ---[1829]---> Adder-cost: 500 maxlim: 248 bits: 9/8 9.80/9.88 c ---[1827]---> Adder-cost: 581 maxlim: 339 bits: 10/9 9.89/9.91 c ---[1826]---> Adder-cost: 607 maxlim: 333 bits: 10/9 9.89/9.94 c ---[1824]---> Adder-cost: 747 maxlim: 356 bits: 10/9 9.89/9.97 c ---[1822]---> Adder-cost: 259 maxlim: 133 bits: 9/8 9.89/9.98 c ---[1817]---> Adder-cost: 58 maxlim: 17 bits: 6/5 9.89/9.99 c ---[1814]---> Adder-cost: 1766 maxlim: 915 bits: 11/10 9.99/10.05 c ---[1812]---> Adder-cost: 759 maxlim: 467 bits: 10/9 9.99/10.09 c ---[1811]---> Adder-cost: 3268 maxlim: 1703 bits: 12/11 10.68/10.73 c ---[1810]---> Adder-cost: 929 maxlim: 489 bits: 10/9 10.68/10.77 c ---[1809]---> Adder-cost: 390 maxlim: 186 bits: 9/8 10.68/10.79 c ---[1807]---> Adder-cost: 2112 maxlim: 1136 bits: 12/11 10.89/10.93 c ---[1805]---> Adder-cost: 75 maxlim: 24 bits: 6/5 10.89/10.93 c ---[1804]---> Adder-cost: 436 maxlim: 202 bits: 9/8 10.89/10.95 c ---[1802]---> Adder-cost: 432 maxlim: 235 bits: 9/8 10.89/10.97 c ---[1797]---> Adder-cost: 855 maxlim: 405 bits: 10/9 10.99/11.00 c ---[1794]---> Sorter-cost: 546 Base: 2 10.99/11.00 c ---[1792]---> Adder-cost: 824 maxlim: 428 bits: 10/9 10.99/11.09 c ---[1790]---> Adder-cost: 99 maxlim: 45 bits: 7/6 10.99/11.10 c ---[1788]---> Adder-cost: 196 maxlim: 60 bits: 7/6 11.08/11.10 c ---[1787]---> Adder-cost: 79 maxlim: 23 bits: 6/5 11.08/11.10 c ---[1786]---> Adder-cost: 176 maxlim: 70 bits: 8/7 11.08/11.11 c ---[1785]---> Adder-cost: 276 maxlim: 147 bits: 9/8 11.08/11.12 c ---[1783]---> Adder-cost: 161 maxlim: 47 bits: 7/6 11.08/11.13 c ---[1782]---> Adder-cost: 142 maxlim: 63 bits: 7/6 11.08/11.13 c ---[1781]---> Adder-cost: 145 maxlim: 46 bits: 7/6 11.08/11.14 c ---[1779]---> Adder-cost: 78 maxlim: 16 bits: 6/5 11.08/11.14 c ---[1778]---> Adder-cost: 366 maxlim: 134 bits: 9/8 11.08/11.15 c ---[1776]---> Adder-cost: 1128 maxlim: 444 bits: 10/9 11.18/11.29 c ---[1775]---> Adder-cost: 233 maxlim: 73 bits: 8/7 11.18/11.30 c ---[1773]---> Adder-cost: 146 maxlim: 73 bits: 8/7 11.28/11.30 c ---[1772]---> Adder-cost: 389 maxlim: 115 bits: 8/7 11.28/11.31 c ---[1771]---> Adder-cost: 275 maxlim: 121 bits: 8/7 11.28/11.32 c ---[1770]---> Adder-cost: 229 maxlim: 105 bits: 8/7 11.28/11.33 c ---[1768]---> Adder-cost: 348 maxlim: 165 bits: 9/8 11.28/11.34 c ---[1767]---> Adder-cost: 9448 maxlim: 4375 bits: 14/13 11.99/12.01 c ---[1766]---> Adder-cost: 2912 maxlim: 1622 bits: 12/11 12.09/12.19 c ---[1765]---> Adder-cost: 16258 maxlim: 9641 bits: 14/14 62.87/62.96 c ---[1751]---> Adder-cost: 73 maxlim: 26 bits: 6/5 62.87/62.97 c ---[1726]---> Adder-cost: 52 maxlim: 19 bits: 6/5 62.87/62.97 c ---[1720]---> Adder-cost: 460 maxlim: 296 bits: 10/9 62.87/62.99 c ---[1715]---> Adder-cost: 408 maxlim: 269 bits: 10/9 62.97/63.01 c ---[1710]---> Adder-cost: 460 maxlim: 297 bits: 10/9 62.97/63.03 c ---[1708]---> Adder-cost: 100 maxlim: 40 bits: 7/6 62.97/63.04 c ---[1706]---> Adder-cost: 110 maxlim: 47 bits: 7/6 62.97/63.04 c ---[1705]---> Adder-cost: 44025 maxlim: 99638 bits: 18/17 66.17/66.28 c ---[1703]---> Adder-cost: 106 maxlim: 40 bits: 7/6 66.17/66.28 c ---[1701]---> Adder-cost: 98 maxlim: 42 bits: 7/6 66.17/66.28 c ---[1698]---> Adder-cost: 74 maxlim: 34 bits: 7/6 66.17/66.29 c ---[1696]---> Adder-cost: 73 maxlim: 28 bits: 6/5 66.17/66.29 c ---[1694]---> Adder-cost: 73 maxlim: 23 bits: 6/5 66.17/66.29 c ---[1692]---> Adder-cost: 51 maxlim: 23 bits: 6/5 66.17/66.29 c ---[1690]---> Adder-cost: 488 maxlim: 244 bits: 9/8 66.27/66.31 c ---[1688]---> Adder-cost: 319 maxlim: 246 bits: 9/8 66.27/66.33 c ---[1686]---> Adder-cost: 98 maxlim: 37 bits: 7/6 66.27/66.33 c ---[1684]---> Adder-cost: 100 maxlim: 37 bits: 7/6 66.27/66.33 c ---[1682]---> Adder-cost: 70 maxlim: 37 bits: 7/6 66.27/66.34 c ---[1680]---> Adder-cost: 64 maxlim: 37 bits: 7/6 66.27/66.34 c ---[1678]---> Adder-cost: 64 maxlim: 37 bits: 7/6 66.27/66.34 c ---[1676]---> Adder-cost: 200 maxlim: 86 bits: 8/7 66.27/66.35 c ---[1674]---> Adder-cost: 218 maxlim: 100 bits: 8/7 66.27/66.36 c ---[1672]---> Adder-cost: 236 maxlim: 107 bits: 8/7 66.27/66.36 c ---[1670]---> Adder-cost: 234 maxlim: 130 bits: 9/8 66.27/66.37 c ---[1668]---> Adder-cost: 108 maxlim: 130 bits: 9/8 66.27/66.38 c ---[1666]---> Adder-cost: 500 maxlim: 253 bits: 9/8 66.37/66.40 c ---[1664]---> Adder-cost: 165 maxlim: 253 bits: 9/8 66.37/66.42 c ---[1662]---> Adder-cost: 94 maxlim: 36 bits: 7/6 66.37/66.42 c ---[1660]---> Adder-cost: 79 maxlim: 26 bits: 6/5 66.37/66.43 c ---[1658]---> Adder-cost: 51 maxlim: 26 bits: 6/5 66.37/66.43 c ---[1656]---> Adder-cost: 133 maxlim: 54 bits: 7/6 66.37/66.43 c ---[1654]---> Adder-cost: 172 maxlim: 87 bits: 8/7 66.37/66.44 c ---[1652]---> Adder-cost: 302 maxlim: 149 bits: 9/8 66.37/66.45 c ---[1650]---> Adder-cost: 158 maxlim: 70 bits: 8/7 66.37/66.45 c ---[1648]---> Adder-cost: 56 maxlim: 36 bits: 7/6 66.37/66.46 c ---[1646]---> Adder-cost: 304 maxlim: 192 bits: 9/8 66.37/66.47 c ---[1644]---> Adder-cost: 563 maxlim: 314 bits: 10/9 66.37/66.49 c ---[1642]---> Adder-cost: 606 maxlim: 315 bits: 10/9 66.47/66.52 c ---[1640]---> Adder-cost: 588 maxlim: 316 bits: 10/9 66.47/66.54 c ---[1638]---> Adder-cost: 466 maxlim: 233 bits: 9/8 66.47/66.56 c ---[1636]---> Adder-cost: 388 maxlim: 239 bits: 9/8 66.47/66.58 c ---[1634]---> Adder-cost: 164 maxlim: 70 bits: 8/7 66.47/66.58 c ---[1632]---> Adder-cost: 82 maxlim: 70 bits: 8/7 66.47/66.59 c ---[1630]---> Adder-cost: 106 maxlim: 44 bits: 7/6 66.47/66.59 c ---[1628]---> Adder-cost: 762 maxlim: 409 bits: 10/9 66.57/66.62 c ---[1626]---> Adder-cost: 208 maxlim: 409 bits: 10/9 66.57/66.65 c ---[1624]---> Adder-cost: 590 maxlim: 312 bits: 10/9 66.57/66.67 c ---[1622]---> Adder-cost: 176 maxlim: 312 bits: 10/9 66.57/66.70 c ---[1620]---> Adder-cost: 232 maxlim: 112 bits: 8/7 66.67/66.70 c ---[1618]---> Adder-cost: 98 maxlim: 112 bits: 8/7 66.67/66.71 c ---[1616]---> Adder-cost: 350 maxlim: 176 bits: 9/8 66.67/66.72 c ---[1614]---> Adder-cost: 262 maxlim: 160 bits: 9/8 66.67/66.73 c ---[1612]---> Adder-cost: 558 maxlim: 305 bits: 10/9 66.67/66.76 c ---[1610]---> Adder-cost: 56 maxlim: 44 bits: 7/6 66.67/66.76 c ---[1608]---> Adder-cost: 178 maxlim: 305 bits: 10/9 66.67/66.79 c ---[1606]---> Adder-cost: 180 maxlim: 84 bits: 8/7 66.67/66.79 c ---[1604]---> Adder-cost: 135 maxlim: 58 bits: 7/6 66.67/66.80 c ---[1602]---> Adder-cost: 592 maxlim: 376 bits: 10/9 66.77/66.82 c ---[1600]---> Adder-cost: 186 maxlim: 376 bits: 10/9 66.77/66.85 c ---[1598]---> Adder-cost: 258 maxlim: 129 bits: 9/8 66.77/66.86 c ---[1596]---> Adder-cost: 120 maxlim: 129 bits: 9/8 66.77/66.87 c ---[1594]---> Adder-cost: 256 maxlim: 149 bits: 9/8 66.77/66.88 c ---[1592]---> Adder-cost: 114 maxlim: 149 bits: 9/8 66.77/66.89 c ---[1590]---> Adder-cost: 56 maxlim: 44 bits: 7/6 66.77/66.89 c ---[1588]---> Adder-cost: 205 maxlim: 121 bits: 8/7 66.87/66.90 c ---[1586]---> Adder-cost: 109 maxlim: 121 bits: 8/7 66.87/66.91 c ---[1584]---> Adder-cost: 194 maxlim: 111 bits: 8/7 66.87/66.92 c ---[1582]---> Adder-cost: 240 maxlim: 139 bits: 9/8 66.87/66.93 c ---[1580]---> Adder-cost: 205 maxlim: 127 bits: 8/7 66.87/66.94 c ---[1578]---> Adder-cost: 111 maxlim: 127 bits: 8/7 66.87/66.95 c ---[1576]---> Adder-cost: 125 maxlim: 58 bits: 7/6 66.87/66.95 c ---[1574]---> Adder-cost: 86 maxlim: 52 bits: 7/6 66.87/66.96 c ---[1572]---> Adder-cost: 265 maxlim: 127 bits: 8/7 66.87/66.97 c ---[1570]---> Adder-cost: 198 maxlim: 115 bits: 8/7 66.87/66.97 c ---[1568]---> Adder-cost: 112 maxlim: 52 bits: 7/6 66.87/66.98 c ---[1566]---> Adder-cost: 246 maxlim: 116 bits: 8/7 66.87/66.99 c ---[1564]---> Adder-cost: 190 maxlim: 100 bits: 8/7 66.87/66.99 c ---[1562]---> Adder-cost: 245 maxlim: 117 bits: 8/7 66.97/67.00 c ---[1560]---> Adder-cost: 402 maxlim: 214 bits: 9/8 66.97/67.02 c ---[1558]---> Adder-cost: 116 maxlim: 46 bits: 7/6 66.97/67.02 c ---[1556]---> Adder-cost: 68 maxlim: 46 bits: 7/6 66.97/67.02 c ---[1554]---> Adder-cost: 69 maxlim: 25 bits: 6/5 66.97/67.03 c ---[1552]---> Adder-cost: 111 maxlim: 127 bits: 8/7 66.97/67.03 c ---[1550]---> Adder-cost: 68 maxlim: 46 bits: 7/6 66.97/67.04 c ---[1548]---> Adder-cost: 68 maxlim: 46 bits: 7/6 66.97/67.04 c ---[1546]---> Adder-cost: 254 maxlim: 131 bits: 9/8 66.97/67.05 c ---[1544]---> Adder-cost: 261 maxlim: 125 bits: 8/7 66.97/67.06 c ---[1542]---> Adder-cost: 123 maxlim: 62 bits: 7/6 66.97/67.07 c ---[1540]---> Adder-cost: 132 maxlim: 77 bits: 8/7 66.97/67.07 c ---[1538]---> Adder-cost: 60 maxlim: 20 bits: 6/5 66.97/67.07 c ---[1536]---> Sorter-cost: 577 Base: 2 66.97/67.07 c ---[1534]---> Sorter-cost: 451 Base: 2 66.97/67.08 c ---[1532]---> Adder-cost: 490 maxlim: 258 bits: 10/9 66.97/67.10 c ---[1530]---> Adder-cost: 160 maxlim: 258 bits: 10/9 67.07/67.12 c ---[1528]---> Adder-cost: 364 maxlim: 208 bits: 9/8 67.07/67.13 c ---[1526]---> Adder-cost: 294 maxlim: 168 bits: 9/8 67.07/67.14 c ---[1524]---> Adder-cost: 276 maxlim: 175 bits: 9/8 67.07/67.16 c ---[1522]---> Adder-cost: 300 maxlim: 214 bits: 9/8 67.07/67.17 c ---[1520]---> Adder-cost: 125 maxlim: 57 bits: 7/6 67.07/67.17 c ---[1518]---> Adder-cost: 172 maxlim: 96 bits: 8/7 67.07/67.18 c ---[1516]---> Adder-cost: 148 maxlim: 72 bits: 8/7 67.07/67.19 c ---[1514]---> Adder-cost: 62 maxlim: 20 bits: 6/5 67.07/67.19 c ---[1512]---> Adder-cost: 56 maxlim: 19 bits: 6/5 67.07/67.19 c ---[1510]---> Adder-cost: 71 maxlim: 21 bits: 6/5 67.07/67.19 c ---[1508]---> Sorter-cost: 575 Base: 2 67.07/67.19 c ---[1506]---> Adder-cost: 69 maxlim: 23 bits: 6/5 67.07/67.20 c ---[1504]---> Adder-cost: 382 maxlim: 199 bits: 9/8 67.16/67.21 c ---[1502]---> Adder-cost: 138 maxlim: 199 bits: 9/8 67.16/67.22 c ---[1500]---> Adder-cost: 238 maxlim: 112 bits: 8/7 67.16/67.23 c ---[1498]---> Adder-cost: 362 maxlim: 178 bits: 9/8 67.16/67.24 c ---[1496]---> Adder-cost: 98 maxlim: 112 bits: 8/7 67.16/67.25 c ---[1494]---> Adder-cost: 83 maxlim: 30 bits: 6/5 67.16/67.25 c ---[1492]---> Adder-cost: 82 maxlim: 33 bits: 7/6 67.16/67.26 c ---[1490]---> Sorter-cost: 577 Base: 2 67.16/67.26 c ---[1488]---> Sorter-cost: 567 Base: 2 67.16/67.26 c ---[1486]---> Adder-cost: 344 maxlim: 176 bits: 9/8 67.16/67.27 c ---[1484]---> Adder-cost: 402 maxlim: 224 bits: 9/8 67.16/67.29 c ---[1482]---> Adder-cost: 518 maxlim: 269 bits: 10/9 67.26/67.31 c ---[1480]---> Adder-cost: 162 maxlim: 269 bits: 10/9 67.26/67.33 c ---[1478]---> Adder-cost: 624 maxlim: 314 bits: 10/9 67.26/67.35 c ---[1476]---> Adder-cost: 162 maxlim: 314 bits: 10/9 67.26/67.38 c ---[1474]---> Adder-cost: 215 maxlim: 118 bits: 8/7 67.26/67.39 c ---[1472]---> Adder-cost: 213 maxlim: 123 bits: 8/7 67.26/67.40 c ---[1470]---> Sorter-cost: 546 Base: 2 67.26/67.40 c ---[1468]---> Adder-cost: 52 maxlim: 16 bits: 6/5 67.36/67.40 c ---[1466]---> Adder-cost: 110 maxlim: 44 bits: 7/6 67.36/67.40 c ---[1464]---> Adder-cost: 192 maxlim: 108 bits: 8/7 67.36/67.41 c ---[1462]---> Adder-cost: 96 maxlim: 108 bits: 8/7 67.36/67.42 c ---[1460]---> Adder-cost: 62 maxlim: 19 bits: 6/5 67.36/67.42 c ---[1458]---> Adder-cost: 62 maxlim: 20 bits: 6/5 67.36/67.42 c ---[1456]---> Adder-cost: 56 maxlim: 17 bits: 6/5 67.36/67.42 c ---[1454]---> Adder-cost: 42 maxlim: 17 bits: 6/5 67.36/67.43 c ---[1452]---> Adder-cost: 42 maxlim: 17 bits: 6/5 67.36/67.43 c ---[1450]---> Adder-cost: 42 maxlim: 20 bits: 6/5 67.36/67.43 c ---[1448]---> Sorter-cost: 546 Base: 2 67.36/67.43 c ---[1446]---> Sorter-cost: 713 Base: 7 67.36/67.43 c ---[1444]---> Sorter-cost: 591 Base: 7 67.36/67.43 c ---[1442]---> Adder-cost: 58 maxlim: 20 bits: 6/5 67.36/67.44 c ---[1440]---> Adder-cost: 71 maxlim: 24 bits: 6/5 67.36/67.44 c ---[1438]---> Adder-cost: 160 maxlim: 69 bits: 8/7 67.36/67.44 c ---[1436]---> Adder-cost: 54 maxlim: 16 bits: 6/5 67.36/67.45 c ---[1434]---> Adder-cost: 71 maxlim: 24 bits: 6/5 67.36/67.45 c ---[1432]---> Sorter-cost: 694 Base: 7 67.36/67.45 c ---[1430]---> Adder-cost: 75 maxlim: 27 bits: 6/5 67.36/67.45 c ---[1428]---> Adder-cost: 62 maxlim: 20 bits: 6/5 67.36/67.45 c ---[1426]---> Adder-cost: 82 maxlim: 69 bits: 8/7 67.36/67.46 c ---[1424]---> Adder-cost: 245 maxlim: 127 bits: 8/7 67.36/67.47 c ---[1422]---> Adder-cost: 113 maxlim: 62 bits: 7/6 67.36/67.47 c ---[1420]---> Adder-cost: 79 maxlim: 30 bits: 6/5 67.36/67.48 c ---[1418]---> Adder-cost: 56 maxlim: 20 bits: 6/5 67.36/67.48 c ---[1416]---> Adder-cost: 69 maxlim: 27 bits: 6/5 67.36/67.48 c ---[1414]---> Adder-cost: 129 maxlim: 57 bits: 7/6 67.36/67.48 c ---[1412]---> Adder-cost: 58 maxlim: 18 bits: 6/5 67.36/67.49 c ---[1410]---> Adder-cost: 57 maxlim: 24 bits: 6/5 67.36/67.49 c ---[1408]---> Adder-cost: 81 maxlim: 31 bits: 6/5 67.36/67.49 c ---[1406]---> Adder-cost: 73 maxlim: 27 bits: 6/5 67.36/67.49 c ---[1404]---> Adder-cost: 55 maxlim: 27 bits: 6/5 67.36/67.50 c ---[1402]---> Adder-cost: 85 maxlim: 29 bits: 6/5 67.46/67.50 c ---[1400]---> Adder-cost: 55 maxlim: 25 bits: 6/5 67.46/67.50 c ---[1398]---> Adder-cost: 111 maxlim: 55 bits: 7/6 67.46/67.51 c ---[1396]---> Adder-cost: 67 maxlim: 22 bits: 6/5 67.46/67.51 c ---[1394]---> Adder-cost: 58 maxlim: 17 bits: 6/5 67.46/67.51 c ---[1392]---> Adder-cost: 58 maxlim: 18 bits: 6/5 67.46/67.51 c ---[1390]---> Adder-cost: 77 maxlim: 28 bits: 6/5 67.46/67.51 c ---[1388]---> Adder-cost: 127 maxlim: 53 bits: 7/6 67.46/67.52 c ---[1386]---> Adder-cost: 58 maxlim: 20 bits: 6/5 67.46/67.52 c ---[1384]---> Adder-cost: 54 maxlim: 16 bits: 6/5 67.46/67.52 c ---[1382]---> Adder-cost: 71 maxlim: 24 bits: 6/5 67.46/67.52 c ---[1380]---> Adder-cost: 240 maxlim: 130 bits: 9/8 67.46/67.53 c ---[1378]---> Adder-cost: 136 maxlim: 78 bits: 8/7 67.46/67.54 c ---[1376]---> Adder-cost: 52 maxlim: 17 bits: 6/5 67.46/67.54 c ---[1374]---> Adder-cost: 77 maxlim: 26 bits: 6/5 67.46/67.54 c ---[1372]---> Adder-cost: 139 maxlim: 63 bits: 7/6 67.46/67.55 c ---[1370]---> Adder-cost: 77 maxlim: 25 bits: 6/5 67.46/67.55 c ---[1368]---> Adder-cost: 200 maxlim: 98 bits: 8/7 67.46/67.56 c ---[1366]---> Adder-cost: 60 maxlim: 17 bits: 6/5 67.46/67.56 c ---[1364]---> Adder-cost: 92 maxlim: 38 bits: 7/6 67.46/67.56 c ---[1362]---> Adder-cost: 112 maxlim: 45 bits: 7/6 67.46/67.57 c ---[1360]---> Sorter-cost: 546 Base: 2 67.46/67.57 c ---[1358]---> Sorter-cost: 496 Base: 2 67.46/67.57 c ---[1356]---> Adder-cost: 120 maxlim: 50 bits: 7/6 67.46/67.57 c ---[1354]---> Adder-cost: 85 maxlim: 31 bits: 6/5 67.46/67.58 c ---[1352]---> Adder-cost: 131 maxlim: 54 bits: 7/6 67.46/67.58 c ---[1350]---> Adder-cost: 378 maxlim: 190 bits: 9/8 67.46/67.59 c ---[1348]---> Adder-cost: 134 maxlim: 190 bits: 9/8 67.56/67.61 c ---[1346]---> Adder-cost: 152 maxlim: 74 bits: 8/7 67.56/67.61 c ---[1344]---> Adder-cost: 80 maxlim: 74 bits: 8/7 67.56/67.62 c ---[1342]---> Adder-cost: 274 maxlim: 163 bits: 9/8 67.56/67.63 c ---[1340]---> Adder-cost: 85 maxlim: 31 bits: 6/5 67.56/67.63 c ---[1338]---> Adder-cost: 60 maxlim: 19 bits: 6/5 67.56/67.63 c ---[1336]---> Adder-cost: 94 maxlim: 39 bits: 7/6 67.56/67.64 c ---[1334]---> Adder-cost: 77 maxlim: 26 bits: 6/5 67.56/67.64 c ---[1332]---> Adder-cost: 76 maxlim: 34 bits: 7/6 67.56/67.64 c ---[1330]---> Adder-cost: 119 maxlim: 57 bits: 7/6 67.56/67.65 c ---[1328]---> Adder-cost: 86 maxlim: 38 bits: 7/6 67.56/67.65 c ---[1326]---> Adder-cost: 139 maxlim: 59 bits: 7/6 67.56/67.65 c ---[1324]---> Adder-cost: 137 maxlim: 59 bits: 7/6 67.56/67.66 c ---[1322]---> Adder-cost: 168 maxlim: 72 bits: 8/7 67.56/67.66 c ---[1320]---> Adder-cost: 129 maxlim: 63 bits: 7/6 67.56/67.67 c ---[1318]---> Adder-cost: 114 maxlim: 49 bits: 7/6 67.56/67.67 c ---[1316]---> Adder-cost: 51 maxlim: 26 bits: 6/5 67.56/67.67 c ---[1314]---> Adder-cost: 304 maxlim: 148 bits: 9/8 67.56/67.68 c ---[1312]---> Adder-cost: 268 maxlim: 140 bits: 9/8 67.56/67.70 c ---[1310]---> Adder-cost: 272 maxlim: 134 bits: 9/8 67.66/67.71 c ---[1308]---> Adder-cost: 218 maxlim: 134 bits: 9/8 67.66/67.72 c ---[1306]---> Adder-cost: 202 maxlim: 95 bits: 8/7 67.66/67.72 c ---[1304]---> Adder-cost: 132 maxlim: 67 bits: 8/7 67.66/67.73 c ---[1302]---> Adder-cost: 168 maxlim: 86 bits: 8/7 67.66/67.73 c ---[1300]---> Adder-cost: 168 maxlim: 100 bits: 8/7 67.66/67.74 c ---[1298]---> Sorter-cost: 577 Base: 2 67.66/67.74 c ---[1296]---> Adder-cost: 51 maxlim: 26 bits: 6/5 67.66/67.74 c ---[1294]---> Adder-cost: 75 maxlim: 26 bits: 6/5 67.66/67.75 c ---[1292]---> Adder-cost: 51 maxlim: 26 bits: 6/5 67.66/67.75 c ---[1290]---> Sorter-cost: 546 Base: 2 67.66/67.75 c ---[1288]---> Adder-cost: 588 maxlim: 303 bits: 10/9 67.66/67.77 c ---[1286]---> Adder-cost: 444 maxlim: 307 bits: 10/9 67.76/67.80 c ---[1284]---> Adder-cost: 82 maxlim: 35 bits: 7/6 67.76/67.80 c ---[1282]---> Adder-cost: 278 maxlim: 167 bits: 9/8 67.76/67.81 c ---[1280]---> Adder-cost: 252 maxlim: 146 bits: 9/8 67.76/67.82 c ---[1278]---> Adder-cost: 51 maxlim: 26 bits: 6/5 67.76/67.82 c ---[1276]---> Adder-cost: 56 maxlim: 16 bits: 6/5 67.76/67.83 c ---[1274]---> Adder-cost: 196 maxlim: 96 bits: 8/7 67.76/67.83 c ---[1272]---> Adder-cost: 116 maxlim: 52 bits: 7/6 67.76/67.84 c ---[1270]---> Adder-cost: 69 maxlim: 23 bits: 6/5 67.76/67.84 c ---[1268]---> Adder-cost: 67 maxlim: 21 bits: 6/5 67.76/67.84 c ---[1266]---> Adder-cost: 117 maxlim: 58 bits: 7/6 67.76/67.85 c ---[1264]---> Adder-cost: 77 maxlim: 58 bits: 7/6 67.76/67.85 c ---[1262]---> Adder-cost: 90 maxlim: 33 bits: 7/6 67.76/67.85 c ---[1260]---> Adder-cost: 60 maxlim: 33 bits: 7/6 67.76/67.86 c ---[1258]---> Adder-cost: 51 maxlim: 26 bits: 6/5 67.76/67.86 c ---[1256]---> Adder-cost: 194 maxlim: 94 bits: 8/7 67.76/67.86 c ---[1254]---> Adder-cost: 98 maxlim: 94 bits: 8/7 67.76/67.87 c ---[1252]---> Adder-cost: 212 maxlim: 100 bits: 8/7 67.76/67.88 c ---[1250]---> Adder-cost: 96 maxlim: 100 bits: 8/7 67.76/67.88 c ---[1248]---> Adder-cost: 276 maxlim: 133 bits: 9/8 67.76/67.89 c ---[1246]---> Adder-cost: 112 maxlim: 133 bits: 9/8 67.86/67.90 c ---[1244]---> Adder-cost: 218 maxlim: 111 bits: 8/7 67.86/67.91 c ---[1242]---> Adder-cost: 98 maxlim: 111 bits: 8/7 67.86/67.92 c ---[1240]---> Adder-cost: 98 maxlim: 111 bits: 8/7 67.86/67.93 c ---[1238]---> Adder-cost: 98 maxlim: 111 bits: 8/7 67.86/67.94 c ---[1236]---> Adder-cost: 73 maxlim: 30 bits: 6/5 67.86/67.94 c ---[1234]---> Adder-cost: 229 maxlim: 124 bits: 8/7 67.86/67.95 c ---[1232]---> Adder-cost: 59 maxlim: 30 bits: 6/5 67.86/67.95 c ---[1230]---> Adder-cost: 59 maxlim: 30 bits: 6/5 67.86/67.95 c ---[1228]---> Adder-cost: 71 maxlim: 23 bits: 6/5 67.86/67.95 c ---[1226]---> Adder-cost: 44 maxlim: 20 bits: 6/5 67.86/67.96 c ---[1224]---> Adder-cost: 48 maxlim: 19 bits: 6/5 67.86/67.96 c ---[1222]---> Adder-cost: 46 maxlim: 19 bits: 6/5 67.86/67.96 c ---[1220]---> Adder-cost: 46 maxlim: 19 bits: 6/5 67.86/67.96 c ---[1218]---> Adder-cost: 46 maxlim: 19 bits: 6/5 67.86/67.96 c ---[1216]---> Adder-cost: 141 maxlim: 60 bits: 7/6 67.86/67.97 c ---[1214]---> Adder-cost: 92 maxlim: 37 bits: 7/6 67.86/67.97 c ---[1212]---> Adder-cost: 129 maxlim: 57 bits: 7/6 67.86/67.98 c ---[1210]---> Adder-cost: 77 maxlim: 27 bits: 6/5 67.86/67.98 c ---[1208]---> Adder-cost: 78 maxlim: 34 bits: 7/6 67.86/67.98 c ---[1206]---> Adder-cost: 122 maxlim: 51 bits: 7/6 67.86/67.99 c ---[1204]---> Adder-cost: 96 maxlim: 40 bits: 7/6 67.86/67.99 c ---[1202]---> Adder-cost: 94 maxlim: 34 bits: 7/6 67.86/67.99 c ---[1200]---> Adder-cost: 67 maxlim: 27 bits: 6/5 67.86/67.99 c ---[1198]---> Adder-cost: 55 maxlim: 27 bits: 6/5 67.96/68.00 c ---[1196]---> Adder-cost: 69 maxlim: 24 bits: 6/5 67.96/68.00 c ---[1194]---> Adder-cost: 86 maxlim: 36 bits: 7/6 67.96/68.00 c ---[1192]---> Adder-cost: 77 maxlim: 31 bits: 6/5 67.96/68.00 c ---[1190]---> Adder-cost: 59 maxlim: 31 bits: 6/5 67.96/68.01 c ---[1188]---> Adder-cost: 88 maxlim: 35 bits: 7/6 67.96/68.01 c ---[1186]---> Adder-cost: 56 maxlim: 35 bits: 7/6 67.96/68.01 c ---[1184]---> Adder-cost: 56 maxlim: 35 bits: 7/6 67.96/68.02 c ---[1182]---> Adder-cost: 242 maxlim: 130 bits: 9/8 67.96/68.03 c ---[1180]---> Adder-cost: 56 maxlim: 16 bits: 6/5 67.96/68.03 c ---[1178]---> Adder-cost: 56 maxlim: 36 bits: 7/6 67.96/68.03 c ---[1176]---> Adder-cost: 42 maxlim: 16 bits: 6/5 67.96/68.03 c ---[1174]---> Adder-cost: 42 maxlim: 16 bits: 6/5 67.96/68.03 c ---[1172]---> Sorter-cost: 577 Base: 2 67.96/68.04 c ---[1170]---> Sorter-cost: 451 Base: 2 67.96/68.04 c ---[1168]---> Adder-cost: 104 maxlim: 41 bits: 7/6 67.96/68.04 c ---[1166]---> Adder-cost: 96 maxlim: 39 bits: 7/6 67.96/68.04 c ---[1164]---> Adder-cost: 78 maxlim: 34 bits: 7/6 67.96/68.05 c ---[1162]---> Adder-cost: 84 maxlim: 36 bits: 7/6 67.96/68.05 c ---[1160]---> Adder-cost: 56 maxlim: 36 bits: 7/6 67.96/68.05 c ---[1158]---> Adder-cost: 56 maxlim: 36 bits: 7/6 67.96/68.06 c ---[1156]---> Adder-cost: 56 maxlim: 36 bits: 7/6 67.96/68.06 c ---[1154]---> Adder-cost: 78 maxlim: 34 bits: 7/6 67.96/68.06 c ---[1152]---> Adder-cost: 58 maxlim: 34 bits: 7/6 67.96/68.07 c ---[1150]---> Adder-cost: 66 maxlim: 33 bits: 7/6 67.96/68.07 c ---[1148]---> Adder-cost: 58 maxlim: 17 bits: 6/5 67.96/68.07 c ---[1146]---> Sorter-cost: 577 Base: 2 67.96/68.07 c ---[1144]---> Sorter-cost: 451 Base: 2 67.96/68.07 c ---[1142]---> Sorter-cost: 451 Base: 2 67.96/68.07 c ---[1140]---> Sorter-cost: 451 Base: 2 67.96/68.08 c ---[1138]---> Adder-cost: 55 maxlim: 21 bits: 6/5 67.96/68.08 c ---[1136]---> Adder-cost: 56 maxlim: 36 bits: 7/6 67.96/68.08 c ---[1134]---> Sorter-cost: 451 Base: 2 67.96/68.08 c ---[1132]---> Adder-cost: 104 maxlim: 41 bits: 7/6 67.96/68.09 c ---[1130]---> Adder-cost: 60 maxlim: 41 bits: 7/6 67.96/68.09 c ---[1128]---> Adder-cost: 60 maxlim: 41 bits: 7/6 67.96/68.09 c ---[1126]---> Adder-cost: 104 maxlim: 42 bits: 7/6 68.07/68.10 c ---[1124]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.07/68.10 c ---[1122]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.07/68.10 c ---[1120]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.07/68.11 c ---[1118]---> Adder-cost: 60 maxlim: 33 bits: 7/6 68.07/68.11 c ---[1116]---> Adder-cost: 58 maxlim: 17 bits: 6/5 68.07/68.11 c ---[1114]---> Adder-cost: 42 maxlim: 17 bits: 6/5 68.07/68.11 c ---[1112]---> Adder-cost: 232 maxlim: 114 bits: 8/7 68.07/68.12 c ---[1110]---> Adder-cost: 192 maxlim: 102 bits: 8/7 68.07/68.13 c ---[1108]---> Adder-cost: 312 maxlim: 152 bits: 9/8 68.07/68.14 c ---[1106]---> Adder-cost: 102 maxlim: 42 bits: 7/6 68.07/68.14 c ---[1104]---> Adder-cost: 190 maxlim: 85 bits: 8/7 68.07/68.15 c ---[1102]---> Adder-cost: 96 maxlim: 85 bits: 8/7 68.07/68.16 c ---[1100]---> Adder-cost: 212 maxlim: 93 bits: 8/7 68.07/68.16 c ---[1098]---> Adder-cost: 102 maxlim: 93 bits: 8/7 68.07/68.17 c ---[1096]---> Adder-cost: 102 maxlim: 93 bits: 8/7 68.07/68.18 c ---[1094]---> Adder-cost: 148 maxlim: 65 bits: 8/7 68.07/68.18 c ---[1092]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.07/68.18 c ---[1090]---> Adder-cost: 78 maxlim: 65 bits: 8/7 68.07/68.19 c ---[1088]---> Adder-cost: 150 maxlim: 78 bits: 8/7 68.07/68.20 c ---[1086]---> Adder-cost: 152 maxlim: 74 bits: 8/7 68.07/68.20 c ---[1084]---> Adder-cost: 80 maxlim: 74 bits: 8/7 68.17/68.21 c ---[1082]---> Adder-cost: 104 maxlim: 37 bits: 7/6 68.17/68.21 c ---[1080]---> Adder-cost: 64 maxlim: 37 bits: 7/6 68.17/68.21 c ---[1078]---> Adder-cost: 76 maxlim: 34 bits: 7/6 68.17/68.21 c ---[1076]---> Adder-cost: 56 maxlim: 18 bits: 6/5 68.17/68.22 c ---[1074]---> Adder-cost: 44 maxlim: 18 bits: 6/5 68.17/68.22 c ---[1072]---> Sorter-cost: 577 Base: 2 68.17/68.22 c ---[1070]---> Sorter-cost: 634 Base: 7 68.17/68.22 c ---[1068]---> Sorter-cost: 677 Base: 7 68.17/68.22 c ---[1066]---> Adder-cost: 77 maxlim: 25 bits: 6/5 68.17/68.23 c ---[1064]---> Adder-cost: 55 maxlim: 25 bits: 6/5 68.17/68.23 c ---[1062]---> Adder-cost: 67 maxlim: 24 bits: 6/5 68.17/68.23 c ---[1060]---> Adder-cost: 51 maxlim: 24 bits: 6/5 68.17/68.23 c ---[1058]---> Adder-cost: 58 maxlim: 34 bits: 7/6 68.17/68.24 c ---[1056]---> Adder-cost: 67 maxlim: 23 bits: 6/5 68.17/68.24 c ---[1054]---> Adder-cost: 51 maxlim: 23 bits: 6/5 68.17/68.24 c ---[1052]---> Adder-cost: 61 maxlim: 21 bits: 6/5 68.17/68.24 c ---[1050]---> Adder-cost: 55 maxlim: 21 bits: 6/5 68.17/68.24 c ---[1048]---> Adder-cost: 238 maxlim: 112 bits: 8/7 68.17/68.25 c ---[1046]---> Adder-cost: 98 maxlim: 112 bits: 8/7 68.17/68.26 c ---[1044]---> Adder-cost: 200 maxlim: 110 bits: 8/7 68.17/68.27 c ---[1042]---> Adder-cost: 96 maxlim: 110 bits: 8/7 68.17/68.28 c ---[1040]---> Adder-cost: 198 maxlim: 94 bits: 8/7 68.17/68.28 c ---[1038]---> Adder-cost: 236 maxlim: 114 bits: 8/7 68.17/68.29 c ---[1036]---> Adder-cost: 182 maxlim: 113 bits: 8/7 68.26/68.30 c ---[1034]---> Adder-cost: 172 maxlim: 77 bits: 8/7 68.26/68.30 c ---[1032]---> Adder-cost: 158 maxlim: 70 bits: 8/7 68.26/68.31 c ---[1030]---> Adder-cost: 188 maxlim: 82 bits: 8/7 68.26/68.32 c ---[1028]---> Adder-cost: 88 maxlim: 82 bits: 8/7 68.26/68.32 c ---[1026]---> Adder-cost: 102 maxlim: 40 bits: 7/6 68.26/68.32 c ---[1024]---> Adder-cost: 64 maxlim: 40 bits: 7/6 68.26/68.33 c ---[1022]---> Adder-cost: 56 maxlim: 17 bits: 6/5 68.26/68.33 c ---[1020]---> Adder-cost: 56 maxlim: 18 bits: 6/5 68.26/68.33 c ---[1018]---> Adder-cost: 44 maxlim: 18 bits: 6/5 68.26/68.33 c ---[1016]---> Adder-cost: 160 maxlim: 73 bits: 8/7 68.26/68.34 c ---[1014]---> Adder-cost: 86 maxlim: 73 bits: 8/7 68.26/68.34 c ---[1012]---> Adder-cost: 73 maxlim: 25 bits: 6/5 68.26/68.35 c ---[1010]---> Adder-cost: 88 maxlim: 35 bits: 7/6 68.26/68.35 c ---[1008]---> Adder-cost: 56 maxlim: 35 bits: 7/6 68.26/68.35 c ---[1006]---> Adder-cost: 56 maxlim: 35 bits: 7/6 68.26/68.36 c ---[1004]---> Adder-cost: 92 maxlim: 36 bits: 7/6 68.26/68.36 c ---[1002]---> Adder-cost: 56 maxlim: 36 bits: 7/6 68.26/68.36 c ---[1000]---> Adder-cost: 56 maxlim: 36 bits: 7/6 68.26/68.36 c ---[ 998]---> Adder-cost: 96 maxlim: 42 bits: 7/6 68.26/68.37 c ---[ 996]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.26/68.37 c ---[ 994]---> Adder-cost: 67 maxlim: 21 bits: 6/5 68.26/68.37 c ---[ 992]---> Adder-cost: 186 maxlim: 84 bits: 8/7 68.26/68.38 c ---[ 990]---> Adder-cost: 88 maxlim: 84 bits: 8/7 68.26/68.39 c ---[ 988]---> Adder-cost: 100 maxlim: 39 bits: 7/6 68.26/68.39 c ---[ 986]---> Adder-cost: 68 maxlim: 39 bits: 7/6 68.26/68.39 c ---[ 984]---> Adder-cost: 68 maxlim: 39 bits: 7/6 68.26/68.40 c ---[ 982]---> Adder-cost: 72 maxlim: 35 bits: 7/6 68.36/68.40 c ---[ 980]---> Adder-cost: 75 maxlim: 25 bits: 6/5 68.36/68.40 c ---[ 978]---> Adder-cost: 59 maxlim: 24 bits: 6/5 68.36/68.40 c ---[ 976]---> Adder-cost: 55 maxlim: 21 bits: 6/5 68.36/68.41 c ---[ 974]---> Adder-cost: 55 maxlim: 21 bits: 6/5 68.36/68.41 c ---[ 972]---> Adder-cost: 51 maxlim: 24 bits: 6/5 68.36/68.41 c ---[ 970]---> Adder-cost: 51 maxlim: 24 bits: 6/5 68.36/68.41 c ---[ 968]---> Adder-cost: 51 maxlim: 24 bits: 6/5 68.36/68.41 c ---[ 966]---> Adder-cost: 57 maxlim: 21 bits: 6/5 68.36/68.42 c ---[ 964]---> Adder-cost: 52 maxlim: 20 bits: 6/5 68.36/68.42 c ---[ 962]---> Adder-cost: 42 maxlim: 20 bits: 6/5 68.36/68.42 c ---[ 960]---> Adder-cost: 48 maxlim: 18 bits: 6/5 68.36/68.42 c ---[ 958]---> Adder-cost: 208 maxlim: 94 bits: 8/7 68.36/68.43 c ---[ 956]---> Adder-cost: 98 maxlim: 94 bits: 8/7 68.36/68.43 c ---[ 954]---> Adder-cost: 290 maxlim: 142 bits: 9/8 68.36/68.45 c ---[ 952]---> Adder-cost: 114 maxlim: 142 bits: 9/8 68.36/68.46 c ---[ 950]---> Adder-cost: 80 maxlim: 34 bits: 7/6 68.36/68.46 c ---[ 948]---> Adder-cost: 86 maxlim: 36 bits: 7/6 68.36/68.46 c ---[ 946]---> Adder-cost: 143 maxlim: 62 bits: 7/6 68.36/68.47 c ---[ 944]---> Adder-cost: 73 maxlim: 62 bits: 7/6 68.36/68.47 c ---[ 942]---> Adder-cost: 154 maxlim: 65 bits: 8/7 68.36/68.48 c ---[ 940]---> Adder-cost: 78 maxlim: 65 bits: 8/7 68.36/68.48 c ---[ 938]---> Adder-cost: 148 maxlim: 69 bits: 8/7 68.36/68.49 c ---[ 936]---> Adder-cost: 82 maxlim: 69 bits: 8/7 68.36/68.49 c ---[ 934]---> Adder-cost: 82 maxlim: 69 bits: 8/7 68.46/68.50 c ---[ 932]---> Adder-cost: 156 maxlim: 74 bits: 8/7 68.46/68.50 c ---[ 930]---> Adder-cost: 80 maxlim: 74 bits: 8/7 68.46/68.51 c ---[ 928]---> Adder-cost: 77 maxlim: 28 bits: 6/5 68.46/68.51 c ---[ 926]---> Adder-cost: 55 maxlim: 28 bits: 6/5 68.46/68.51 c ---[ 924]---> Adder-cost: 81 maxlim: 30 bits: 6/5 68.46/68.52 c ---[ 922]---> Adder-cost: 272 maxlim: 137 bits: 9/8 68.46/68.53 c ---[ 920]---> Adder-cost: 59 maxlim: 30 bits: 6/5 68.46/68.53 c ---[ 918]---> Adder-cost: 133 maxlim: 54 bits: 7/6 68.46/68.53 c ---[ 916]---> Adder-cost: 104 maxlim: 51 bits: 7/6 68.46/68.54 c ---[ 914]---> Adder-cost: 364 maxlim: 177 bits: 9/8 68.46/68.55 c ---[ 912]---> Adder-cost: 216 maxlim: 105 bits: 8/7 68.46/68.56 c ---[ 910]---> Adder-cost: 92 maxlim: 105 bits: 8/7 68.46/68.56 c ---[ 908]---> Adder-cost: 147 maxlim: 62 bits: 7/6 68.46/68.57 c ---[ 906]---> Adder-cost: 73 maxlim: 62 bits: 7/6 68.46/68.57 c ---[ 904]---> Adder-cost: 145 maxlim: 58 bits: 7/6 68.46/68.58 c ---[ 902]---> Adder-cost: 137 maxlim: 60 bits: 7/6 68.46/68.58 c ---[ 900]---> Adder-cost: 75 maxlim: 60 bits: 7/6 68.46/68.59 c ---[ 898]---> Adder-cost: 194 maxlim: 95 bits: 8/7 68.46/68.59 c ---[ 896]---> Adder-cost: 90 maxlim: 95 bits: 8/7 68.56/68.60 c ---[ 894]---> Sorter-cost: 577 Base: 2 68.56/68.60 c ---[ 892]---> Adder-cost: 334 maxlim: 167 bits: 9/8 68.56/68.61 c ---[ 890]---> Adder-cost: 108 maxlim: 44 bits: 7/6 68.56/68.62 c ---[ 888]---> Adder-cost: 141 maxlim: 59 bits: 7/6 68.56/68.62 c ---[ 886]---> Adder-cost: 125 maxlim: 59 bits: 7/6 68.56/68.62 c ---[ 884]---> Adder-cost: 230 maxlim: 111 bits: 8/7 68.56/68.63 c ---[ 882]---> Adder-cost: 98 maxlim: 111 bits: 8/7 68.56/68.64 c ---[ 880]---> Adder-cost: 158 maxlim: 70 bits: 8/7 68.56/68.65 c ---[ 878]---> Adder-cost: 150 maxlim: 84 bits: 8/7 68.56/68.65 c ---[ 876]---> Adder-cost: 204 maxlim: 101 bits: 8/7 68.56/68.66 c ---[ 874]---> Adder-cost: 92 maxlim: 101 bits: 8/7 68.56/68.67 c ---[ 872]---> Adder-cost: 92 maxlim: 101 bits: 8/7 68.56/68.67 c ---[ 870]---> Adder-cost: 87 maxlim: 30 bits: 6/5 68.56/68.67 c ---[ 868]---> Adder-cost: 85 maxlim: 29 bits: 6/5 68.56/68.68 c ---[ 866]---> Adder-cost: 106 maxlim: 44 bits: 7/6 68.56/68.68 c ---[ 864]---> Adder-cost: 56 maxlim: 44 bits: 7/6 68.56/68.68 c ---[ 862]---> Adder-cost: 102 maxlim: 41 bits: 7/6 68.56/68.69 c ---[ 860]---> Adder-cost: 92 maxlim: 36 bits: 7/6 68.56/68.69 c ---[ 858]---> Adder-cost: 286 maxlim: 140 bits: 9/8 68.66/68.70 c ---[ 856]---> Adder-cost: 106 maxlim: 44 bits: 7/6 68.66/68.71 c ---[ 854]---> Adder-cost: 94 maxlim: 46 bits: 7/6 68.66/68.71 c ---[ 852]---> Adder-cost: 67 maxlim: 27 bits: 6/5 68.66/68.71 c ---[ 850]---> Adder-cost: 75 maxlim: 25 bits: 6/5 68.66/68.71 c ---[ 848]---> Adder-cost: 96 maxlim: 42 bits: 7/6 68.66/68.72 c ---[ 846]---> Adder-cost: 98 maxlim: 41 bits: 7/6 68.66/68.72 c ---[ 844]---> Adder-cost: 60 maxlim: 41 bits: 7/6 68.66/68.72 c ---[ 842]---> Adder-cost: 137 maxlim: 61 bits: 7/6 68.66/68.73 c ---[ 840]---> Adder-cost: 104 maxlim: 37 bits: 7/6 68.66/68.73 c ---[ 838]---> Adder-cost: 55 maxlim: 27 bits: 6/5 68.66/68.73 c ---[ 836]---> Adder-cost: 172 maxlim: 93 bits: 8/7 68.66/68.74 c ---[ 834]---> Adder-cost: 102 maxlim: 44 bits: 7/6 68.66/68.74 c ---[ 832]---> Adder-cost: 90 maxlim: 37 bits: 7/6 68.66/68.75 c ---[ 830]---> Adder-cost: 212 maxlim: 101 bits: 8/7 68.66/68.75 c ---[ 828]---> Adder-cost: 92 maxlim: 101 bits: 8/7 68.66/68.76 c ---[ 826]---> Adder-cost: 92 maxlim: 101 bits: 8/7 68.66/68.77 c ---[ 824]---> Adder-cost: 110 maxlim: 43 bits: 7/6 68.66/68.77 c ---[ 822]---> Adder-cost: 67 maxlim: 25 bits: 6/5 68.66/68.77 c ---[ 820]---> Adder-cost: 196 maxlim: 88 bits: 8/7 68.66/68.78 c ---[ 818]---> Adder-cost: 133 maxlim: 54 bits: 7/6 68.66/68.78 c ---[ 816]---> Adder-cost: 127 maxlim: 59 bits: 7/6 68.66/68.79 c ---[ 814]---> Adder-cost: 152 maxlim: 68 bits: 8/7 68.66/68.79 c ---[ 812]---> Adder-cost: 74 maxlim: 68 bits: 8/7 68.76/68.80 c ---[ 810]---> Adder-cost: 144 maxlim: 69 bits: 8/7 68.76/68.80 c ---[ 808]---> Adder-cost: 82 maxlim: 69 bits: 8/7 68.76/68.81 c ---[ 806]---> Adder-cost: 61 maxlim: 24 bits: 6/5 68.76/68.81 c ---[ 804]---> Adder-cost: 116 maxlim: 47 bits: 7/6 68.76/68.82 c ---[ 802]---> Adder-cost: 62 maxlim: 47 bits: 7/6 68.76/68.82 c ---[ 800]---> Adder-cost: 127 maxlim: 53 bits: 7/6 68.76/68.82 c ---[ 798]---> Adder-cost: 78 maxlim: 34 bits: 7/6 68.76/68.83 c ---[ 796]---> Adder-cost: 108 maxlim: 45 bits: 7/6 68.76/68.83 c ---[ 794]---> Adder-cost: 121 maxlim: 53 bits: 7/6 68.76/68.83 c ---[ 792]---> Adder-cost: 55 maxlim: 26 bits: 6/5 68.76/68.84 c ---[ 790]---> Adder-cost: 196 maxlim: 102 bits: 8/7 68.76/68.84 c ---[ 788]---> Adder-cost: 63 maxlim: 29 bits: 6/5 68.76/68.85 c ---[ 786]---> Adder-cost: 79 maxlim: 25 bits: 6/5 68.76/68.85 c ---[ 784]---> Adder-cost: 55 maxlim: 25 bits: 6/5 68.76/68.85 c ---[ 782]---> Adder-cost: 446 maxlim: 237 bits: 9/8 68.76/68.87 c ---[ 780]---> Adder-cost: 336 maxlim: 234 bits: 9/8 68.76/68.89 c ---[ 778]---> Adder-cost: 188 maxlim: 95 bits: 8/7 68.76/68.89 c ---[ 776]---> Adder-cost: 55 maxlim: 27 bits: 6/5 68.76/68.90 c ---[ 774]---> Adder-cost: 156 maxlim: 84 bits: 8/7 68.86/68.90 c ---[ 772]---> Adder-cost: 146 maxlim: 87 bits: 8/7 68.86/68.91 c ---[ 770]---> Adder-cost: 62 maxlim: 19 bits: 6/5 68.86/68.91 c ---[ 768]---> Sorter-cost: 546 Base: 2 68.86/68.91 c ---[ 766]---> Sorter-cost: 496 Base: 2 68.86/68.91 c ---[ 764]---> Sorter-cost: 496 Base: 2 68.86/68.91 c ---[ 762]---> Adder-cost: 62 maxlim: 19 bits: 6/5 68.86/68.92 c ---[ 760]---> Adder-cost: 77 maxlim: 26 bits: 6/5 68.86/68.92 c ---[ 758]---> Adder-cost: 94 maxlim: 36 bits: 7/6 68.86/68.92 c ---[ 756]---> Adder-cost: 71 maxlim: 22 bits: 6/5 68.86/68.92 c ---[ 754]---> Adder-cost: 65 maxlim: 22 bits: 6/5 68.86/68.93 c ---[ 752]---> Sorter-cost: 577 Base: 2 68.86/68.93 c ---[ 750]---> Adder-cost: 194 maxlim: 92 bits: 8/7 68.86/68.93 c ---[ 748]---> Adder-cost: 160 maxlim: 76 bits: 8/7 68.86/68.94 c ---[ 746]---> Adder-cost: 255 maxlim: 118 bits: 8/7 68.86/68.95 c ---[ 744]---> Adder-cost: 243 maxlim: 121 bits: 8/7 68.86/68.96 c ---[ 742]---> Adder-cost: 72 maxlim: 34 bits: 7/6 68.86/68.96 c ---[ 740]---> Adder-cost: 270 maxlim: 132 bits: 9/8 68.86/68.97 c ---[ 738]---> Adder-cost: 139 maxlim: 62 bits: 7/6 68.86/68.97 c ---[ 736]---> Adder-cost: 160 maxlim: 70 bits: 8/7 68.86/68.98 c ---[ 734]---> Adder-cost: 110 maxlim: 79 bits: 8/7 68.86/68.98 c ---[ 732]---> Adder-cost: 112 maxlim: 75 bits: 8/7 68.86/68.99 c ---[ 730]---> Adder-cost: 228 maxlim: 128 bits: 9/8 68.96/69.00 c ---[ 728]---> Adder-cost: 104 maxlim: 128 bits: 9/8 68.96/69.01 c ---[ 726]---> Adder-cost: 58 maxlim: 34 bits: 7/6 68.96/69.01 c ---[ 724]---> Adder-cost: 148 maxlim: 64 bits: 8/7 68.96/69.02 c ---[ 722]---> Adder-cost: 110 maxlim: 43 bits: 7/6 68.96/69.02 c ---[ 720]---> Adder-cost: 152 maxlim: 72 bits: 8/7 68.96/69.03 c ---[ 718]---> Adder-cost: 80 maxlim: 72 bits: 8/7 68.96/69.03 c ---[ 716]---> Adder-cost: 80 maxlim: 72 bits: 8/7 68.96/69.04 c ---[ 714]---> Adder-cost: 58 maxlim: 34 bits: 7/6 68.96/69.04 c ---[ 712]---> Adder-cost: 135 maxlim: 57 bits: 7/6 68.96/69.05 c ---[ 710]---> Adder-cost: 79 maxlim: 57 bits: 7/6 68.96/69.05 c ---[ 708]---> Adder-cost: 137 maxlim: 61 bits: 7/6 68.96/69.05 c ---[ 706]---> Sorter-cost: 577 Base: 2 68.96/69.06 c ---[ 704]---> Sorter-cost: 635 Base: 7 68.96/69.06 c ---[ 702]---> Adder-cost: 58 maxlim: 34 bits: 7/6 68.96/69.06 c ---[ 700]---> Adder-cost: 176 maxlim: 82 bits: 8/7 68.96/69.07 c ---[ 698]---> Adder-cost: 190 maxlim: 95 bits: 8/7 68.96/69.07 c ---[ 696]---> Adder-cost: 90 maxlim: 95 bits: 8/7 68.96/69.08 c ---[ 694]---> Adder-cost: 90 maxlim: 95 bits: 8/7 68.96/69.09 c ---[ 692]---> Adder-cost: 90 maxlim: 95 bits: 8/7 68.96/69.09 c ---[ 690]---> Adder-cost: 88 maxlim: 33 bits: 7/6 68.96/69.09 c ---[ 688]---> Adder-cost: 156 maxlim: 69 bits: 8/7 69.06/69.10 c ---[ 686]---> Adder-cost: 82 maxlim: 69 bits: 8/7 69.06/69.11 c ---[ 684]---> Adder-cost: 58 maxlim: 34 bits: 7/6 69.06/69.11 c ---[ 682]---> Adder-cost: 162 maxlim: 76 bits: 8/7 69.06/69.11 c ---[ 680]---> Adder-cost: 135 maxlim: 62 bits: 7/6 69.06/69.12 c ---[ 678]---> Adder-cost: 54 maxlim: 19 bits: 6/5 69.06/69.12 c ---[ 676]---> Adder-cost: 94 maxlim: 40 bits: 7/6 69.06/69.12 c ---[ 674]---> Adder-cost: 164 maxlim: 75 bits: 8/7 69.06/69.13 c ---[ 672]---> Adder-cost: 210 maxlim: 102 bits: 8/7 69.06/69.14 c ---[ 670]---> Adder-cost: 100 maxlim: 102 bits: 8/7 69.06/69.14 c ---[ 668]---> Adder-cost: 146 maxlim: 68 bits: 8/7 69.06/69.15 c ---[ 666]---> Adder-cost: 178 maxlim: 81 bits: 8/7 69.06/69.16 c ---[ 664]---> Adder-cost: 120 maxlim: 52 bits: 7/6 69.06/69.16 c ---[ 662]---> Adder-cost: 98 maxlim: 39 bits: 7/6 69.06/69.16 c ---[ 660]---> Adder-cost: 109 maxlim: 53 bits: 7/6 69.06/69.17 c ---[ 658]---> Adder-cost: 73 maxlim: 24 bits: 6/5 69.06/69.17 c ---[ 656]---> Adder-cost: 71 maxlim: 22 bits: 6/5 69.06/69.17 c ---[ 654]---> Adder-cost: 100 maxlim: 39 bits: 7/6 69.06/69.18 c ---[ 652]---> Adder-cost: 68 maxlim: 39 bits: 7/6 69.06/69.18 c ---[ 650]---> Adder-cost: 127 maxlim: 53 bits: 7/6 69.06/69.18 c ---[ 648]---> Adder-cost: 88 maxlim: 35 bits: 7/6 69.06/69.19 c ---[ 646]---> Adder-cost: 184 maxlim: 91 bits: 8/7 69.06/69.19 c ---[ 644]---> Adder-cost: 137 maxlim: 60 bits: 7/6 69.06/69.20 c ---[ 642]---> Adder-cost: 179 maxlim: 127 bits: 8/7 69.17/69.21 c ---[ 640]---> Adder-cost: 67 maxlim: 28 bits: 6/5 69.17/69.21 c ---[ 638]---> Adder-cost: 135 maxlim: 56 bits: 7/6 69.17/69.21 c ---[ 636]---> Adder-cost: 170 maxlim: 77 bits: 8/7 69.17/69.22 c ---[ 634]---> Adder-cost: 198 maxlim: 96 bits: 8/7 69.17/69.22 c ---[ 632]---> Adder-cost: 154 maxlim: 96 bits: 8/7 69.17/69.23 c ---[ 630]---> Adder-cost: 94 maxlim: 91 bits: 8/7 69.17/69.24 c ---[ 628]---> Adder-cost: 234 maxlim: 129 bits: 9/8 69.17/69.25 c ---[ 626]---> Adder-cost: 231 maxlim: 119 bits: 8/7 69.17/69.26 c ---[ 624]---> Adder-cost: 84 maxlim: 32 bits: 7/6 69.17/69.26 c ---[ 622]---> Adder-cost: 52 maxlim: 32 bits: 7/6 69.17/69.26 c ---[ 620]---> Adder-cost: 52 maxlim: 32 bits: 7/6 69.17/69.26 c ---[ 618]---> Adder-cost: 56 maxlim: 18 bits: 6/5 69.17/69.27 c ---[ 616]---> Adder-cost: 80 maxlim: 34 bits: 7/6 69.17/69.27 c ---[ 614]---> Adder-cost: 150 maxlim: 72 bits: 8/7 69.17/69.27 c ---[ 612]---> Adder-cost: 80 maxlim: 72 bits: 8/7 69.17/69.28 c ---[ 610]---> Adder-cost: 94 maxlim: 91 bits: 8/7 69.17/69.29 c ---[ 608]---> Adder-cost: 212 maxlim: 102 bits: 8/7 69.17/69.29 c ---[ 606]---> Adder-cost: 100 maxlim: 102 bits: 8/7 69.27/69.30 c ---[ 604]---> Adder-cost: 100 maxlim: 102 bits: 8/7 69.27/69.31 c ---[ 602]---> Adder-cost: 144 maxlim: 69 bits: 8/7 69.27/69.31 c ---[ 600]---> Adder-cost: 56 maxlim: 20 bits: 6/5 69.27/69.32 c ---[ 598]---> Adder-cost: 50 maxlim: 16 bits: 6/5 69.27/69.32 c ---[ 596]---> Adder-cost: 130 maxlim: 93 bits: 8/7 69.27/69.32 c ---[ 594]---> Adder-cost: 56 maxlim: 20 bits: 6/5 69.27/69.33 c ---[ 592]---> Adder-cost: 88 maxlim: 33 bits: 7/6 69.27/69.33 c ---[ 590]---> Adder-cost: 60 maxlim: 33 bits: 7/6 69.27/69.33 c ---[ 588]---> Adder-cost: 142 maxlim: 66 bits: 8/7 69.27/69.34 c ---[ 586]---> Adder-cost: 136 maxlim: 64 bits: 8/7 69.27/69.34 c ---[ 584]---> Adder-cost: 87 maxlim: 55 bits: 7/6 69.27/69.35 c ---[ 582]---> Adder-cost: 127 maxlim: 55 bits: 7/6 69.27/69.35 c ---[ 580]---> Sorter-cost: 544 Base: 2 69.27/69.35 c ---[ 578]---> Adder-cost: 158 maxlim: 76 bits: 8/7 69.27/69.36 c ---[ 576]---> Adder-cost: 77 maxlim: 26 bits: 6/5 69.27/69.36 c ---[ 574]---> Adder-cost: 106 maxlim: 48 bits: 7/6 69.27/69.36 c ---[ 572]---> Adder-cost: 68 maxlim: 48 bits: 7/6 69.27/69.37 c ---[ 570]---> Adder-cost: 237 maxlim: 124 bits: 8/7 69.27/69.38 c ---[ 568]---> Adder-cost: 133 maxlim: 57 bits: 7/6 69.27/69.38 c ---[ 566]---> Adder-cost: 150 maxlim: 71 bits: 8/7 69.27/69.39 c ---[ 564]---> Adder-cost: 150 maxlim: 67 bits: 8/7 69.27/69.39 c ---[ 562]---> Adder-cost: 137 maxlim: 58 bits: 7/6 69.27/69.40 c ---[ 560]---> Adder-cost: 77 maxlim: 58 bits: 7/6 69.36/69.40 c ---[ 558]---> Adder-cost: 77 maxlim: 58 bits: 7/6 69.36/69.40 c ---[ 556]---> Adder-cost: 188 maxlim: 93 bits: 8/7 69.36/69.41 c ---[ 554]---> Adder-cost: 170 maxlim: 86 bits: 8/7 69.36/69.42 c ---[ 552]---> Adder-cost: 213 maxlim: 125 bits: 8/7 69.36/69.43 c ---[ 550]---> Adder-cost: 154 maxlim: 97 bits: 8/7 69.36/69.43 c ---[ 548]---> Adder-cost: 96 maxlim: 37 bits: 7/6 69.36/69.43 c ---[ 546]---> Adder-cost: 64 maxlim: 37 bits: 7/6 69.36/69.44 c ---[ 544]---> Adder-cost: 64 maxlim: 37 bits: 7/6 69.36/69.44 c ---[ 542]---> Adder-cost: 172 maxlim: 78 bits: 8/7 69.36/69.45 c ---[ 540]---> Adder-cost: 222 maxlim: 109 bits: 8/7 69.36/69.45 c ---[ 538]---> Adder-cost: 218 maxlim: 107 bits: 8/7 69.36/69.46 c ---[ 536]---> Adder-cost: 251 maxlim: 123 bits: 8/7 69.36/69.47 c ---[ 534]---> Adder-cost: 172 maxlim: 98 bits: 8/7 69.36/69.48 c ---[ 532]---> Adder-cost: 214 maxlim: 129 bits: 9/8 69.36/69.49 c ---[ 530]---> Adder-cost: 152 maxlim: 70 bits: 8/7 69.36/69.49 c ---[ 528]---> Adder-cost: 92 maxlim: 36 bits: 7/6 69.36/69.50 c ---[ 526]---> Adder-cost: 56 maxlim: 36 bits: 7/6 69.46/69.50 c ---[ 524]---> Sorter-cost: 546 Base: 2 69.46/69.50 c ---[ 522]---> Sorter-cost: 496 Base: 2 69.46/69.50 c ---[ 520]---> Adder-cost: 90 maxlim: 75 bits: 8/7 69.46/69.51 c ---[ 518]---> Adder-cost: 126 maxlim: 107 bits: 8/7 69.46/69.52 c ---[ 516]---> Sorter-cost: 577 Base: 2 69.46/69.52 c ---[ 514]---> Sorter-cost: 451 Base: 2 69.46/69.52 c ---[ 512]---> Sorter-cost: 532 Base: 2 69.46/69.52 c ---[ 510]---> Sorter-cost: 496 Base: 2 69.46/69.52 c ---[ 508]---> Sorter-cost: 540 Base: 2 69.46/69.52 c ---[ 506]---> Sorter-cost: 496 Base: 2 69.46/69.52 c ---[ 504]---> Sorter-cost: 538 Base: 2 69.46/69.53 c ---[ 502]---> Adder-cost: 198 maxlim: 99 bits: 8/7 69.46/69.53 c ---[ 500]---> Adder-cost: 84 maxlim: 32 bits: 7/6 69.46/69.54 c ---[ 498]---> Adder-cost: 73 maxlim: 27 bits: 6/5 69.46/69.54 c ---[ 496]---> Sorter-cost: 577 Base: 2 69.46/69.54 c ---[ 494]---> Adder-cost: 140 maxlim: 67 bits: 8/7 69.46/69.54 c ---[ 492]---> Adder-cost: 90 maxlim: 99 bits: 8/7 69.46/69.55 c ---[ 490]---> Adder-cost: 242 maxlim: 132 bits: 9/8 69.46/69.56 c ---[ 488]---> Adder-cost: 87 maxlim: 31 bits: 6/5 69.46/69.56 c ---[ 486]---> Adder-cost: 59 maxlim: 31 bits: 6/5 69.46/69.57 c ---[ 484]---> Adder-cost: 59 maxlim: 31 bits: 6/5 69.46/69.57 c ---[ 482]---> Adder-cost: 88 maxlim: 39 bits: 7/6 69.46/69.57 c ---[ 480]---> Adder-cost: 131 maxlim: 57 bits: 7/6 69.46/69.58 c ---[ 478]---> Adder-cost: 129 maxlim: 58 bits: 7/6 69.46/69.58 c ---[ 476]---> Adder-cost: 77 maxlim: 58 bits: 7/6 69.46/69.59 c ---[ 474]---> Adder-cost: 90 maxlim: 99 bits: 8/7 69.46/69.59 c ---[ 472]---> Adder-cost: 97 maxlim: 59 bits: 7/6 69.46/69.60 c ---[ 470]---> Adder-cost: 133 maxlim: 55 bits: 7/6 69.56/69.60 c ---[ 468]---> Adder-cost: 102 maxlim: 49 bits: 7/6 69.56/69.60 c ---[ 466]---> Adder-cost: 66 maxlim: 49 bits: 7/6 69.56/69.61 c ---[ 464]---> Adder-cost: 77 maxlim: 55 bits: 7/6 69.56/69.61 c ---[ 462]---> Adder-cost: 86 maxlim: 49 bits: 7/6 69.56/69.62 c ---[ 460]---> Adder-cost: 154 maxlim: 80 bits: 8/7 69.56/69.62 c ---[ 458]---> Adder-cost: 190 maxlim: 90 bits: 8/7 69.56/69.63 c ---[ 456]---> Adder-cost: 204 maxlim: 94 bits: 8/7 69.56/69.64 c ---[ 454]---> Adder-cost: 98 maxlim: 94 bits: 8/7 69.56/69.64 c ---[ 452]---> Adder-cost: 120 maxlim: 51 bits: 7/6 69.56/69.65 c ---[ 450]---> Adder-cost: 64 maxlim: 51 bits: 7/6 69.56/69.65 c ---[ 448]---> Adder-cost: 152 maxlim: 66 bits: 8/7 69.56/69.66 c ---[ 446]---> Adder-cost: 348 maxlim: 177 bits: 9/8 69.56/69.67 c ---[ 444]---> Adder-cost: 126 maxlim: 177 bits: 9/8 69.56/69.68 c ---[ 442]---> Adder-cost: 160 maxlim: 79 bits: 8/7 69.56/69.69 c ---[ 440]---> Adder-cost: 92 maxlim: 34 bits: 7/6 69.56/69.69 c ---[ 438]---> Adder-cost: 135 maxlim: 60 bits: 7/6 69.56/69.69 c ---[ 436]---> Adder-cost: 75 maxlim: 60 bits: 7/6 69.56/69.70 c ---[ 434]---> Adder-cost: 90 maxlim: 38 bits: 7/6 69.66/69.70 c ---[ 432]---> Adder-cost: 58 maxlim: 38 bits: 7/6 69.66/69.70 c ---[ 430]---> Adder-cost: 254 maxlim: 132 bits: 9/8 69.66/69.71 c ---[ 428]---> Adder-cost: 86 maxlim: 37 bits: 7/6 69.66/69.72 c ---[ 426]---> Adder-cost: 419 maxlim: 248 bits: 9/8 69.66/69.73 c ---[ 424]---> Adder-cost: 149 maxlim: 248 bits: 9/8 69.66/69.75 c ---[ 422]---> Adder-cost: 121 maxlim: 54 bits: 7/6 69.66/69.76 c ---[ 420]---> Sorter-cost: 577 Base: 2 69.66/69.76 c ---[ 418]---> Sorter-cost: 451 Base: 2 69.66/69.76 c ---[ 416]---> Sorter-cost: 451 Base: 2 69.66/69.76 c ---[ 414]---> Adder-cost: 192 maxlim: 108 bits: 8/7 69.66/69.77 c ---[ 412]---> Adder-cost: 200 maxlim: 95 bits: 8/7 69.66/69.78 c ---[ 410]---> Adder-cost: 137 maxlim: 60 bits: 7/6 69.66/69.78 c ---[ 408]---> Adder-cost: 75 maxlim: 60 bits: 7/6 69.66/69.78 c ---[ 406]---> Adder-cost: 103 maxlim: 56 bits: 7/6 69.66/69.79 c ---[ 404]---> Adder-cost: 91 maxlim: 57 bits: 7/6 69.66/69.79 c ---[ 402]---> Adder-cost: 86 maxlim: 47 bits: 7/6 69.66/69.80 c ---[ 400]---> Adder-cost: 90 maxlim: 46 bits: 7/6 69.76/69.80 c ---[ 398]---> Adder-cost: 68 maxlim: 46 bits: 7/6 69.76/69.80 c ---[ 396]---> Adder-cost: 68 maxlim: 46 bits: 7/6 69.76/69.81 c ---[ 394]---> Adder-cost: 92 maxlim: 38 bits: 7/6 69.76/69.81 c ---[ 392]---> Adder-cost: 230 maxlim: 105 bits: 8/7 69.76/69.82 c ---[ 390]---> Adder-cost: 92 maxlim: 105 bits: 8/7 69.76/69.83 c ---[ 388]---> Adder-cost: 162 maxlim: 104 bits: 8/7 69.76/69.83 c ---[ 386]---> Adder-cost: 67 maxlim: 23 bits: 6/5 69.76/69.84 c ---[ 384]---> Adder-cost: 135 maxlim: 53 bits: 7/6 69.76/69.84 c ---[ 382]---> Adder-cost: 233 maxlim: 118 bits: 8/7 69.76/69.85 c ---[ 380]---> Adder-cost: 164 maxlim: 92 bits: 8/7 69.76/69.86 c ---[ 378]---> Adder-cost: 144 maxlim: 76 bits: 8/7 69.76/69.86 c ---[ 376]---> Adder-cost: 100 maxlim: 41 bits: 7/6 69.76/69.86 c ---[ 374]---> Adder-cost: 60 maxlim: 41 bits: 7/6 69.76/69.87 c ---[ 372]---> Adder-cost: 158 maxlim: 65 bits: 8/7 69.76/69.87 c ---[ 370]---> Adder-cost: 172 maxlim: 78 bits: 8/7 69.76/69.88 c ---[ 368]---> Adder-cost: 134 maxlim: 72 bits: 8/7 69.76/69.88 c ---[ 366]---> Adder-cost: 224 maxlim: 106 bits: 8/7 69.76/69.89 c ---[ 364]---> Adder-cost: 127 maxlim: 56 bits: 7/6 69.76/69.90 c ---[ 362]---> Adder-cost: 91 maxlim: 53 bits: 7/6 69.86/69.90 c ---[ 360]---> Adder-cost: 100 maxlim: 37 bits: 7/6 69.86/69.90 c ---[ 358]---> Adder-cost: 64 maxlim: 37 bits: 7/6 69.86/69.91 c ---[ 356]---> Adder-cost: 92 maxlim: 33 bits: 7/6 69.86/69.91 c ---[ 354]---> Adder-cost: 60 maxlim: 33 bits: 7/6 69.86/69.91 c ---[ 352]---> Adder-cost: 132 maxlim: 76 bits: 8/7 69.86/69.92 c ---[ 350]---> Adder-cost: 135 maxlim: 56 bits: 7/6 69.86/69.92 c ---[ 348]---> Adder-cost: 71 maxlim: 56 bits: 7/6 69.86/69.93 c ---[ 346]---> Adder-cost: 108 maxlim: 42 bits: 7/6 69.86/69.93 c ---[ 344]---> Adder-cost: 58 maxlim: 42 bits: 7/6 69.86/69.93 c ---[ 342]---> Adder-cost: 58 maxlim: 42 bits: 7/6 69.86/69.94 c ---[ 340]---> Adder-cost: 58 maxlim: 42 bits: 7/6 69.86/69.94 c ---[ 338]---> Adder-cost: 226 maxlim: 116 bits: 8/7 69.86/69.95 c ---[ 336]---> Adder-cost: 84 maxlim: 76 bits: 8/7 69.86/69.95 c ---[ 334]---> Adder-cost: 92 maxlim: 116 bits: 8/7 69.86/69.96 c ---[ 332]---> Adder-cost: 226 maxlim: 115 bits: 8/7 69.86/69.97 c ---[ 330]---> Adder-cost: 174 maxlim: 79 bits: 8/7 69.86/69.98 c ---[ 328]---> Adder-cost: 264 maxlim: 132 bits: 9/8 69.86/69.99 c ---[ 326]---> Adder-cost: 408 maxlim: 227 bits: 9/8 69.96/70.00 c ---[ 324]---> Adder-cost: 138 maxlim: 227 bits: 9/8 69.96/70.02 c ---[ 322]---> Adder-cost: 138 maxlim: 227 bits: 9/8 69.96/70.03 c ---[ 320]---> Adder-cost: 138 maxlim: 227 bits: 9/8 69.96/70.05 c ---[ 318]---> Adder-cost: 274 maxlim: 130 bits: 9/8 69.96/70.06 c ---[ 316]---> Adder-cost: 139 maxlim: 60 bits: 7/6 69.96/70.06 c ---[ 314]---> Adder-cost: 75 maxlim: 60 bits: 7/6 69.96/70.06 c ---[ 312]---> Adder-cost: 56 maxlim: 16 bits: 6/5 69.96/70.07 c ---[ 310]---> Adder-cost: 88 maxlim: 34 bits: 7/6 69.96/70.07 c ---[ 308]---> Adder-cost: 204 maxlim: 90 bits: 8/7 69.96/70.08 c ---[ 306]---> Adder-cost: 79 maxlim: 28 bits: 6/5 69.96/70.08 c ---[ 304]---> Adder-cost: 208 maxlim: 102 bits: 8/7 69.96/70.09 c ---[ 302]---> Adder-cost: 55 maxlim: 28 bits: 6/5 69.96/70.09 c ---[ 300]---> Adder-cost: 86 maxlim: 39 bits: 7/6 69.96/70.09 c ---[ 298]---> Adder-cost: 68 maxlim: 39 bits: 7/6 69.96/70.10 c ---[ 296]---> Adder-cost: 141 maxlim: 60 bits: 7/6 70.06/70.10 c ---[ 294]---> Adder-cost: 106 maxlim: 41 bits: 7/6 70.06/70.10 c ---[ 292]---> Adder-cost: 436 maxlim: 243 bits: 9/8 70.06/70.12 c ---[ 290]---> Adder-cost: 404 maxlim: 261 bits: 10/9 70.06/70.14 c ---[ 288]---> Adder-cost: 164 maxlim: 261 bits: 10/9 70.06/70.16 c ---[ 286]---> Adder-cost: 133 maxlim: 61 bits: 7/6 70.06/70.17 c ---[ 284]---> Adder-cost: 109 maxlim: 60 bits: 7/6 70.06/70.17 c ---[ 282]---> Adder-cost: 77 maxlim: 61 bits: 7/6 70.06/70.18 c ---[ 280]---> Adder-cost: 404 maxlim: 216 bits: 9/8 70.06/70.19 c ---[ 278]---> Adder-cost: 100 maxlim: 41 bits: 7/6 70.06/70.20 c ---[ 276]---> Adder-cost: 86 maxlim: 36 bits: 7/6 70.16/70.20 c ---[ 274]---> Adder-cost: 75 maxlim: 23 bits: 6/5 70.16/70.20 c ---[ 272]---> Adder-cost: 51 maxlim: 23 bits: 6/5 70.16/70.20 c ---[ 270]---> Adder-cost: 51 maxlim: 23 bits: 6/5 70.16/70.21 c ---[ 268]---> Adder-cost: 296 maxlim: 141 bits: 9/8 70.16/70.22 c ---[ 266]---> Adder-cost: 52 maxlim: 17 bits: 6/5 70.16/70.22 c ---[ 264]---> Adder-cost: 55 maxlim: 23 bits: 6/5 70.16/70.22 c ---[ 262]---> Adder-cost: 56 maxlim: 20 bits: 6/5 70.16/70.22 c ---[ 260]---> Adder-cost: 114 maxlim: 47 bits: 7/6 70.16/70.23 c ---[ 258]---> Adder-cost: 62 maxlim: 47 bits: 7/6 70.16/70.23 c ---[ 256]---> Adder-cost: 62 maxlim: 47 bits: 7/6 70.16/70.23 c ---[ 254]---> Adder-cost: 133 maxlim: 61 bits: 7/6 70.16/70.24 c ---[ 252]---> Adder-cost: 258 maxlim: 139 bits: 9/8 70.16/70.25 c ---[ 250]---> Adder-cost: 77 maxlim: 61 bits: 7/6 70.16/70.25 c ---[ 248]---> Adder-cost: 77 maxlim: 25 bits: 6/5 70.16/70.26 c ---[ 246]---> Adder-cost: 55 maxlim: 25 bits: 6/5 70.16/70.26 c ---[ 244]---> Adder-cost: 198 maxlim: 99 bits: 8/7 70.16/70.26 c ---[ 242]---> Adder-cost: 220 maxlim: 105 bits: 8/7 70.16/70.27 c ---[ 240]---> Adder-cost: 284 maxlim: 149 bits: 9/8 70.16/70.28 c ---[ 238]---> Adder-cost: 114 maxlim: 149 bits: 9/8 70.16/70.29 c ---[ 236]---> Adder-cost: 90 maxlim: 37 bits: 7/6 70.27/70.30 c ---[ 234]---> Adder-cost: 184 maxlim: 98 bits: 8/7 70.27/70.30 c ---[ 232]---> Adder-cost: 82 maxlim: 98 bits: 8/7 70.27/70.31 c ---[ 230]---> Adder-cost: 192 maxlim: 95 bits: 8/7 70.27/70.32 c ---[ 228]---> Adder-cost: 90 maxlim: 95 bits: 8/7 70.27/70.32 c ---[ 226]---> Adder-cost: 234 maxlim: 136 bits: 9/8 70.27/70.33 c ---[ 224]---> Adder-cost: 164 maxlim: 78 bits: 8/7 70.27/70.34 c ---[ 222]---> Adder-cost: 100 maxlim: 41 bits: 7/6 70.27/70.34 c ---[ 220]---> Adder-cost: 152 maxlim: 70 bits: 8/7 70.27/70.35 c ---[ 218]---> Adder-cost: 82 maxlim: 70 bits: 8/7 70.27/70.35 c ---[ 216]---> Adder-cost: 249 maxlim: 118 bits: 8/7 70.27/70.36 c ---[ 214]---> Adder-cost: 137 maxlim: 53 bits: 7/6 70.27/70.37 c ---[ 212]---> Adder-cost: 73 maxlim: 53 bits: 7/6 70.27/70.37 c ---[ 210]---> Adder-cost: 186 maxlim: 84 bits: 8/7 70.27/70.38 c ---[ 208]---> Adder-cost: 194 maxlim: 92 bits: 8/7 70.27/70.38 c ---[ 206]---> Adder-cost: 178 maxlim: 83 bits: 8/7 70.27/70.39 c ---[ 204]---> Adder-cost: 119 maxlim: 59 bits: 7/6 70.27/70.39 c ---[ 202]---> Adder-cost: 94 maxlim: 33 bits: 7/6 70.27/70.40 c ---[ 200]---> Adder-cost: 68 maxlim: 32 bits: 7/6 70.27/70.40 c ---[ 198]---> Adder-cost: 71 maxlim: 21 bits: 6/5 70.27/70.40 c ---[ 196]---> Adder-cost: 104 maxlim: 41 bits: 7/6 70.37/70.40 c ---[ 194]---> Adder-cost: 98 maxlim: 37 bits: 7/6 70.37/70.41 c ---[ 192]---> Adder-cost: 80 maxlim: 36 bits: 7/6 70.37/70.41 c ---[ 190]---> Adder-cost: 73 maxlim: 26 bits: 6/5 70.37/70.41 c ---[ 188]---> Adder-cost: 52 maxlim: 16 bits: 6/5 70.37/70.41 c ---[ 186]---> Adder-cost: 388 maxlim: 237 bits: 9/8 70.37/70.43 c ---[ 184]---> Adder-cost: 384 maxlim: 224 bits: 9/8 70.37/70.45 c ---[ 182]---> Adder-cost: 123 maxlim: 54 bits: 7/6 70.37/70.45 c ---[ 180]---> Adder-cost: 86 maxlim: 35 bits: 7/6 70.37/70.45 c ---[ 178]---> Adder-cost: 218 maxlim: 115 bits: 8/7 70.37/70.46 c ---[ 176]---> Adder-cost: 108 maxlim: 41 bits: 7/6 70.37/70.47 c ---[ 174]---> Adder-cost: 75 maxlim: 30 bits: 6/5 70.37/70.47 c ---[ 172]---> Adder-cost: 51 maxlim: 26 bits: 6/5 70.37/70.47 c ---[ 170]---> Adder-cost: 59 maxlim: 30 bits: 6/5 70.37/70.47 c ---[ 168]---> Adder-cost: 57 maxlim: 26 bits: 6/5 70.37/70.48 c ---[ 166]---> Adder-cost: 69 maxlim: 24 bits: 6/5 70.37/70.48 c ---[ 164]---> Adder-cost: 98 maxlim: 50 bits: 7/6 70.37/70.48 c ---[ 162]---> Adder-cost: 62 maxlim: 50 bits: 7/6 70.37/70.49 c ---[ 160]---> Adder-cost: 62 maxlim: 50 bits: 7/6 70.37/70.49 c ---[ 158]---> Adder-cost: 61 maxlim: 28 bits: 6/5 70.37/70.49 c ---[ 156]---> Adder-cost: 84 maxlim: 33 bits: 7/6 70.37/70.50 c ---[ 154]---> Adder-cost: 60 maxlim: 33 bits: 7/6 70.46/70.50 c ---[ 152]---> Adder-cost: 75 maxlim: 23 bits: 6/5 70.46/70.50 c ---[ 150]---> Adder-cost: 150 maxlim: 74 bits: 8/7 70.46/70.51 c ---[ 148]---> Adder-cost: 80 maxlim: 74 bits: 8/7 70.46/70.51 c ---[ 146]---> Adder-cost: 140 maxlim: 68 bits: 8/7 70.46/70.52 c ---[ 144]---> Adder-cost: 55 maxlim: 28 bits: 6/5 70.46/70.52 c ---[ 142]---> Sorter-cost: 546 Base: 2 70.46/70.52 c ---[ 140]---> Sorter-cost: 496 Base: 2 70.46/70.52 c ---[ 138]---> Adder-cost: 79 maxlim: 26 bits: 6/5 70.46/70.52 c ---[ 136]---> Adder-cost: 51 maxlim: 26 bits: 6/5 70.46/70.53 c ---[ 134]---> Adder-cost: 75 maxlim: 24 bits: 6/5 70.46/70.53 c ---[ 132]---> Adder-cost: 148 maxlim: 71 bits: 8/7 70.46/70.53 c ---[ 130]---> Adder-cost: 55 maxlim: 28 bits: 6/5 70.46/70.54 c ---[ 128]---> Adder-cost: 78 maxlim: 71 bits: 8/7 70.46/70.54 c ---[ 126]---> Adder-cost: 117 maxlim: 60 bits: 7/6 70.46/70.55 c ---[ 124]---> Adder-cost: 75 maxlim: 60 bits: 7/6 70.46/70.55 c ---[ 122]---> Adder-cost: 137 maxlim: 62 bits: 7/6 70.46/70.56 c ---[ 120]---> Adder-cost: 73 maxlim: 62 bits: 7/6 70.46/70.56 c ---[ 118]---> Adder-cost: 104 maxlim: 44 bits: 7/6 70.46/70.56 c ---[ 116]---> Adder-cost: 170 maxlim: 85 bits: 8/7 70.46/70.57 c ---[ 114]---> Adder-cost: 92 maxlim: 42 bits: 7/6 70.46/70.57 c ---[ 112]---> Adder-cost: 94 maxlim: 35 bits: 7/6 70.46/70.58 c ---[ 110]---> Adder-cost: 72 maxlim: 33 bits: 7/6 70.46/70.58 c ---[ 108]---> Adder-cost: 60 maxlim: 33 bits: 7/6 70.46/70.58 c ---[ 106]---> Adder-cost: 60 maxlim: 32 bits: 7/6 70.46/70.58 c ---[ 104]---> Adder-cost: 108 maxlim: 48 bits: 7/6 70.46/70.59 c ---[ 102]---> Adder-cost: 68 maxlim: 48 bits: 7/6 70.46/70.59 c ---[ 100]---> Adder-cost: 166 maxlim: 82 bits: 8/7 70.56/70.60 c ---[ 98]---> Adder-cost: 94 maxlim: 39 bits: 7/6 70.56/70.60 c ---[ 96]---> Adder-cost: 55 maxlim: 29 bits: 6/5 70.56/70.60 c ---[ 94]---> Adder-cost: 123 maxlim: 53 bits: 7/6 70.56/70.61 c ---[ 92]---> Adder-cost: 73 maxlim: 53 bits: 7/6 70.56/70.61 c ---[ 90]---> Adder-cost: 88 maxlim: 34 bits: 7/6 70.56/70.62 c ---[ 88]---> Adder-cost: 139 maxlim: 58 bits: 7/6 70.56/70.62 c ---[ 86]---> Adder-cost: 55 maxlim: 29 bits: 6/5 70.56/70.62 c ---[ 84]---> Adder-cost: 112 maxlim: 46 bits: 7/6 70.56/70.63 c ---[ 82]---> Adder-cost: 68 maxlim: 46 bits: 7/6 70.56/70.63 c ---[ 80]---> Adder-cost: 87 maxlim: 31 bits: 6/5 70.56/70.63 c ---[ 78]---> Adder-cost: 59 maxlim: 31 bits: 6/5 70.56/70.64 c ---[ 76]---> Adder-cost: 65 maxlim: 29 bits: 6/5 70.56/70.64 c ---[ 74]---> Adder-cost: 55 maxlim: 29 bits: 6/5 70.56/70.64 c ---[ 72]---> Adder-cost: 100 maxlim: 45 bits: 7/6 70.56/70.64 c ---[ 71]--->
ERROR: no interpretation found !
/tmp/evaluation/362624-1177015591/instance-362624-1177015591.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-362624-1177015591 -o ROOT/results/node18/solver-362624-1177015591 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/362624-1177015591/minisat+ /tmp/evaluation/362624-1177015591/instance-362624-1177015591.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16398 /proc/meminfo: memFree=1718736/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=1352 CPUtime=0 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 149476513 1384448 172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 338 172 67 215 0 120 0 [startup+0.0430209 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16398 /proc/meminfo: memFree=1718736/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=5008 CPUtime=0.03 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 1002 0 0 0 3 0 0 0 18 0 1 0 149476513 5128192 945 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134570194 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 1252 945 67 215 0 1034 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5008 [startup+0.101025 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16398 /proc/meminfo: memFree=1718736/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=9792 CPUtime=0.09 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 2179 0 0 0 8 1 0 0 18 0 1 0 149476513 10027008 2031 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 2448 2031 67 215 0 2230 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9792 [startup+0.301044 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16398 /proc/meminfo: memFree=1718736/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=14272 CPUtime=0.28 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 3404 0 0 0 27 1 0 0 19 0 1 0 149476513 14614528 3126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 3568 3126 75 215 0 3350 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 14272 [startup+0.701083 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16398 /proc/meminfo: memFree=1718736/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=15536 CPUtime=0.69 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 3690 0 0 0 67 2 0 0 22 0 1 0 149476513 15908864 3412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 3884 3412 75 215 0 3666 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15536 [startup+1.50216 s] /proc/loadavg: 0.85 0.97 0.99 2/78 16399 /proc/meminfo: memFree=1704264/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=19324 CPUtime=1.49 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 4658 0 0 0 147 2 0 0 25 0 1 0 149476513 19787776 4380 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 4831 4380 75 215 0 4613 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19324 [startup+3.10132 s] /proc/loadavg: 0.85 0.97 0.99 2/78 16399 /proc/meminfo: memFree=1698248/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=27212 CPUtime=3.09 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 8098 0 0 0 305 4 0 0 25 0 1 0 149476513 27865088 6174 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005818 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 6803 6174 75 215 0 6585 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27212 [startup+6.30163 s] /proc/loadavg: 0.86 0.97 0.99 3/78 16399 /proc/meminfo: memFree=1679176/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=41876 CPUtime=6.28 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 13501 0 0 0 620 8 0 0 25 0 1 0 149476513 42881024 9883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 10469 9883 109 215 0 10251 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 41876 [startup+12.7012 s] /proc/loadavg: 0.87 0.97 0.99 2/78 16399 /proc/meminfo: memFree=1656136/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=69204 CPUtime=12.68 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 21568 0 0 0 1256 12 0 0 25 0 1 0 149476513 70864896 16392 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838474 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 17301 16392 109 215 0 17083 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 69204 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 0.99 2/78 16399 /proc/meminfo: memFree=1653192/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=69344 CPUtime=25.48 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 21610 0 0 0 2536 12 0 0 25 0 1 0 149476513 71008256 16434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 17336 16434 109 215 0 17118 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 69344 [startup+51.102 s] /proc/loadavg: 0.93 0.97 0.99 2/78 16399 /proc/meminfo: memFree=1652040/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=70468 CPUtime=51.07 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 21917 0 0 0 5094 13 0 0 25 0 1 0 149476513 72159232 16699 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 17617 16699 109 215 0 17399 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70468 Solver just ended. Dumping a history of the last processes samples [startup+63.9012 s] /proc/loadavg: 0.94 0.97 0.99 2/78 16399 /proc/meminfo: memFree=1629000/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=94152 CPUtime=63.86 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 30114 0 0 0 6370 16 0 0 25 0 1 0 149476513 96411648 21525 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 23538 21525 109 215 0 23320 0 Current children cumulated CPU time (s) 63.86 Current children cumulated vsize (KiB) 94152 [startup+67.1055 s] /proc/loadavg: 0.95 0.97 0.99 2/78 16399 /proc/meminfo: memFree=1630408/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=95608 CPUtime=67.07 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 30715 0 0 0 6690 17 0 0 25 0 1 0 149476513 97902592 22126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838474 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 23902 22126 109 215 0 23684 0 Current children cumulated CPU time (s) 67.07 Current children cumulated vsize (KiB) 95608 [startup+68.7017 s] /proc/loadavg: 0.95 0.97 0.99 2/78 16399 /proc/meminfo: memFree=1630408/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=95608 CPUtime=68.66 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 30715 0 0 0 6849 17 0 0 25 0 1 0 149476513 97902592 22126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134669847 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 23902 22126 109 215 0 23684 0 Current children cumulated CPU time (s) 68.66 Current children cumulated vsize (KiB) 95608 [startup+70.3018 s] /proc/loadavg: 0.95 0.97 0.99 3/78 16399 /proc/meminfo: memFree=1630408/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=95608 CPUtime=70.27 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4194304 30715 0 0 0 7010 17 0 0 25 0 1 0 149476513 97902592 22126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006824 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 23902 22126 109 215 0 23684 0 Current children cumulated CPU time (s) 70.27 Current children cumulated vsize (KiB) 95608 [startup+71.1019 s] /proc/loadavg: 0.95 0.97 0.99 3/78 16399 /proc/meminfo: memFree=1630408/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=110908 CPUtime=71.06 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4195840 34604 0 0 0 7071 35 0 0 25 0 1 0 149476513 113569792 25950 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 27727 25950 109 215 0 27509 0 Current children cumulated CPU time (s) 71.06 Current children cumulated vsize (KiB) 110908 [startup+71.3019 s] /proc/loadavg: 0.95 0.97 0.99 3/78 16399 /proc/meminfo: memFree=1630408/2055920 swapFree=4147128/4192956 [pid=16398] ppid=16396 vsize=110908 CPUtime=71.26 /proc/16398/stat : 16398 (minisat+) R 16396 16398 15485 0 -1 4195840 36209 0 0 0 7071 55 0 0 25 0 1 0 149476513 113569792 25950 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16398/statm: 27727 25950 109 215 0 27509 0 Current children cumulated CPU time (s) 71.26 Current children cumulated vsize (KiB) 110908 Child ended because it received signal 11 (SIGSEGV) Real time (s): 71.3704 CPU time (s): 71.3412 CPU user time (s): 70.7163 CPU system time (s): 0.624905 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (KiB): 110908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 70.7162 system time used= 0.624905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36235 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 122 runsolver used 0.13098 second user time and 0.208968 second system time The end
Begin job on node18 on Thu Apr 19 20:46:31 UTC 2007 IDJOB= 362624 IDBENCH= 1602 IDSOLVER= 156 FILE ID= node18/362624-1177015591 PBS_JOBID= 4630538 Free space on /tmp= 66479 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb COMMAND LINE= /tmp/evaluation/362624-1177015591/minisat+ /tmp/evaluation/362624-1177015591/instance-362624-1177015591.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-362624-1177015591 -o ROOT/results/node18/conversion-362624-1177015591 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/362624-1177015591/instance-362624-1177015591.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-362624-1177015591 -o ROOT/results/node18/solver-362624-1177015591 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/362624-1177015591/minisat+ /tmp/evaluation/362624-1177015591/instance-362624-1177015591.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= c9cdfa3ed9647feb8326e0656a4e04eb RANDOM SEED= 747229361 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1719208 kB Buffers: 37208 kB Cached: 214888 kB SwapCached: 14192 kB Active: 88520 kB Inactive: 186408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1719208 kB SwapTotal: 4192956 kB SwapFree: 4147128 kB Dirty: 6124 kB Writeback: 0 kB Mapped: 29924 kB Slab: 47372 kB Committed_AS: 4410232 kB PageTables: 1776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66378 MiB End job on node18 on Thu Apr 19 20:47:43 UTC 2007