| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisat+ 1.14 | UNSAT | 1367.82 | 1368.19 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb |
| MD5SUM | a93dde4d8545bab3c441ec26d058498b |
| 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 | 2.23166 |
| 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 | 70755 |
| Total number of constraints | 2219 |
| Number of constraints which are clauses | 310 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1909 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 70755 |
| Number of terms in the objective function | 70755 |
| Biggest coefficient in the objective function | 9973 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 594249 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262141 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 594251 |
| 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 c Parsing PB file... 6.04 c Converting 4027 PB-constraints to clauses... 6.08 c -- Unit propagations: (none) 6.15 c -- Detecting intervals from adjacent constraints: #########################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################=####################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 6.26 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................sssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss............................... 6.68 c ---[4088]---> Adder-cost: 172 maxlim: 72 bits: 8/7 6.69 c ---[4086]---> Adder-cost: 192 maxlim: 83 bits: 8/7 6.69 c ---[4084]---> Adder-cost: 332 maxlim: 150 bits: 9/8 6.70 c ---[4082]---> Adder-cost: 243 maxlim: 127 bits: 8/7 6.71 c ---[4079]---> Adder-cost: 147 maxlim: 59 bits: 7/6 6.71 c ---[4077]---> Adder-cost: 113 maxlim: 63 bits: 7/6 6.71 c ---[4075]---> Adder-cost: 135 maxlim: 63 bits: 7/6 6.72 c ---[4073]---> Adder-cost: 136 maxlim: 64 bits: 8/7 6.72 c ---[4071]---> Adder-cost: 139 maxlim: 57 bits: 7/6 6.73 c ---[4069]---> Adder-cost: 112 maxlim: 49 bits: 7/6 6.73 c ---[4067]---> Adder-cost: 114 maxlim: 84 bits: 8/7 6.73 c ---[4065]---> Adder-cost: 108 maxlim: 45 bits: 7/6 6.74 c ---[4063]---> Adder-cost: 102 maxlim: 45 bits: 7/6 6.74 c ---[4061]---> Adder-cost: 208 maxlim: 95 bits: 8/7 6.74 c ---[4059]---> Adder-cost: 206 maxlim: 96 bits: 8/7 6.75 c ---[4057]---> Adder-cost: 196 maxlim: 99 bits: 8/7 6.76 c ---[4055]---> Adder-cost: 152 maxlim: 87 bits: 8/7 6.76 c ---[4053]---> Adder-cost: 180 maxlim: 87 bits: 8/7 6.77 c ---[4051]---> Adder-cost: 88 maxlim: 84 bits: 8/7 6.77 c ---[4049]---> Adder-cost: 174 maxlim: 94 bits: 8/7 6.78 c ---[4047]---> Adder-cost: 172 maxlim: 90 bits: 8/7 6.78 c ---[4045]---> Adder-cost: 114 maxlim: 45 bits: 7/6 6.78 c ---[4043]---> Adder-cost: 104 maxlim: 46 bits: 7/6 6.79 c ---[4041]---> Adder-cost: 190 maxlim: 86 bits: 8/7 6.79 c ---[4039]---> Adder-cost: 210 maxlim: 91 bits: 8/7 6.80 c ---[4037]---> Adder-cost: 162 maxlim: 91 bits: 8/7 6.80 c ---[4035]---> Adder-cost: 130 maxlim: 75 bits: 8/7 6.81 c ---[4032]---> Adder-cost: 190 maxlim: 105 bits: 8/7 6.81 c ---[4030]---> Adder-cost: 220 maxlim: 104 bits: 8/7 6.82 c ---[4028]---> Adder-cost: 274 maxlim: 144 bits: 9/8 6.83 c ---[4026]---> Adder-cost: 266 maxlim: 146 bits: 9/8 6.84 c ---[4024]---> Adder-cost: 236 maxlim: 155 bits: 9/8 6.85 c ---[4022]---> Adder-cost: 266 maxlim: 157 bits: 9/8 6.86 c ---[4020]---> Adder-cost: 230 maxlim: 161 bits: 9/8 6.87 c ---[4018]---> Adder-cost: 94 maxlim: 36 bits: 7/6 6.87 c ---[4016]---> Adder-cost: 118 maxlim: 161 bits: 9/8 6.88 c ---[4014]---> Adder-cost: 340 maxlim: 195 bits: 9/8 6.89 c ---[4012]---> Adder-cost: 308 maxlim: 171 bits: 9/8 6.90 c ---[4010]---> Adder-cost: 220 maxlim: 161 bits: 9/8 6.91 c ---[4008]---> Adder-cost: 238 maxlim: 128 bits: 9/8 6.91 c ---[4006]---> Adder-cost: 212 maxlim: 108 bits: 8/7 6.92 c ---[4004]---> Adder-cost: 184 maxlim: 85 bits: 8/7 6.93 c ---[4002]---> Adder-cost: 158 maxlim: 80 bits: 8/7 6.93 c ---[4000]---> Adder-cost: 58 maxlim: 20 bits: 6/5 6.93 c ---[3998]---> Adder-cost: 54 maxlim: 16 bits: 6/5 6.93 c ---[3996]---> Adder-cost: 124 maxlim: 49 bits: 7/6 6.94 c ---[3994]---> Adder-cost: 102 maxlim: 48 bits: 7/6 6.94 c ---[3992]---> Adder-cost: 102 maxlim: 49 bits: 7/6 6.94 c ---[3990]---> Adder-cost: 98 maxlim: 45 bits: 7/6 6.95 c ---[3988]---> Adder-cost: 84 maxlim: 38 bits: 7/6 6.95 c ---[3986]---> Adder-cost: 90 maxlim: 45 bits: 7/6 6.95 c ---[3984]---> Adder-cost: 170 maxlim: 73 bits: 8/7 6.96 c ---[3982]---> Adder-cost: 210 maxlim: 100 bits: 8/7 6.96 c ---[3980]---> Adder-cost: 172 maxlim: 99 bits: 8/7 6.97 c ---[3978]---> Adder-cost: 202 maxlim: 94 bits: 8/7 6.97 c ---[3976]---> Adder-cost: 158 maxlim: 90 bits: 8/7 6.98 c ---[3974]---> Adder-cost: 135 maxlim: 61 bits: 7/6 6.98 c ---[3972]---> Adder-cost: 133 maxlim: 56 bits: 7/6 6.99 c ---[3969]---> Adder-cost: 107 maxlim: 57 bits: 7/6 6.99 c ---[3967]---> Adder-cost: 261 maxlim: 122 bits: 8/7 7.00 c ---[3965]---> Adder-cost: 280 maxlim: 138 bits: 9/8 7.01 c ---[3963]---> Adder-cost: 116 maxlim: 138 bits: 9/8 7.01 c ---[3961]---> Adder-cost: 294 maxlim: 150 bits: 9/8 7.02 c ---[3959]---> Adder-cost: 248 maxlim: 153 bits: 9/8 7.03 c ---[3957]---> Adder-cost: 294 maxlim: 158 bits: 9/8 7.04 c ---[3955]---> Adder-cost: 116 maxlim: 158 bits: 9/8 7.05 c ---[3953]---> Adder-cost: 286 maxlim: 156 bits: 9/8 7.06 c ---[3951]---> Adder-cost: 282 maxlim: 128 bits: 9/8 7.07 c ---[3949]---> Adder-cost: 212 maxlim: 159 bits: 9/8 7.08 c ---[3947]---> Adder-cost: 188 maxlim: 156 bits: 9/8 7.09 c ---[3945]---> Adder-cost: 120 maxlim: 156 bits: 9/8 7.10 c ---[3943]---> Adder-cost: 270 maxlim: 154 bits: 9/8 7.11 c ---[3941]---> Adder-cost: 122 maxlim: 154 bits: 9/8 7.11 c ---[3939]---> Adder-cost: 200 maxlim: 153 bits: 9/8 7.12 c ---[3937]---> Adder-cost: 118 maxlim: 153 bits: 9/8 7.13 c ---[3935]---> Adder-cost: 238 maxlim: 152 bits: 9/8 7.14 c ---[3933]---> Adder-cost: 110 maxlim: 152 bits: 9/8 7.15 c ---[3931]---> Adder-cost: 120 maxlim: 153 bits: 9/8 7.16 c ---[3929]---> Adder-cost: 104 maxlim: 128 bits: 9/8 7.17 c ---[3927]---> Adder-cost: 118 maxlim: 153 bits: 9/8 7.18 c ---[3925]---> Adder-cost: 118 maxlim: 153 bits: 9/8 7.19 c ---[3923]---> Adder-cost: 118 maxlim: 153 bits: 9/8 7.20 c ---[3921]---> Adder-cost: 286 maxlim: 188 bits: 9/8 7.21 c ---[3918]---> Adder-cost: 162 maxlim: 68 bits: 8/7 7.21 c ---[3916]---> Adder-cost: 120 maxlim: 69 bits: 8/7 7.22 c ---[3914]---> Adder-cost: 102 maxlim: 40 bits: 7/6 7.22 c ---[3912]---> Adder-cost: 118 maxlim: 47 bits: 7/6 7.22 c ---[3910]---> Adder-cost: 182 maxlim: 116 bits: 8/7 7.23 c ---[3908]---> Adder-cost: 139 maxlim: 53 bits: 7/6 7.23 c ---[3906]---> Adder-cost: 120 maxlim: 51 bits: 7/6 7.24 c ---[3904]---> Adder-cost: 114 maxlim: 50 bits: 7/6 7.24 c ---[3902]---> Adder-cost: 178 maxlim: 75 bits: 8/7 7.25 c ---[3900]---> Adder-cost: 156 maxlim: 73 bits: 8/7 7.25 c ---[3897]---> Adder-cost: 129 maxlim: 55 bits: 7/6 7.25 c ---[3895]---> Adder-cost: 77 maxlim: 55 bits: 7/6 7.26 c ---[3893]---> Adder-cost: 94 maxlim: 34 bits: 7/6 7.26 c ---[3891]---> Adder-cost: 77 maxlim: 25 bits: 6/5 7.26 c ---[3889]---> Adder-cost: 110 maxlim: 42 bits: 7/6 7.26 c ---[3887]---> Adder-cost: 58 maxlim: 42 bits: 7/6 7.27 c ---[3885]---> Adder-cost: 104 maxlim: 40 bits: 7/6 7.27 c ---[3882]---> Adder-cost: 64 maxlim: 40 bits: 7/6 7.27 c ---[3880]---> Adder-cost: 131 maxlim: 57 bits: 7/6 7.28 c ---[3878]---> Adder-cost: 103 maxlim: 57 bits: 7/6 7.28 c ---[3876]---> Adder-cost: 106 maxlim: 40 bits: 7/6 7.28 c ---[3874]---> Adder-cost: 64 maxlim: 40 bits: 7/6 7.29 c ---[3872]---> Adder-cost: 98 maxlim: 44 bits: 7/6 7.29 c ---[3870]---> Adder-cost: 56 maxlim: 44 bits: 7/6 7.29 c ---[3868]---> Adder-cost: 80 maxlim: 44 bits: 7/6 7.30 c ---[3866]---> Adder-cost: 80 maxlim: 45 bits: 7/6 7.30 c ---[3864]---> Adder-cost: 162 maxlim: 67 bits: 8/7 7.30 c ---[3862]---> Adder-cost: 120 maxlim: 47 bits: 7/6 7.31 c ---[3860]---> Adder-cost: 80 maxlim: 67 bits: 8/7 7.31 c ---[3858]---> Adder-cost: 150 maxlim: 72 bits: 8/7 7.32 c ---[3856]---> Adder-cost: 124 maxlim: 70 bits: 8/7 7.32 c ---[3854]---> Adder-cost: 140 maxlim: 67 bits: 8/7 7.32 c ---[3852]---> Adder-cost: 106 maxlim: 70 bits: 8/7 7.33 c ---[3850]---> Adder-cost: 56 maxlim: 16 bits: 6/5 7.33 c ---[3848]---> Adder-cost: 63 maxlim: 22 bits: 6/5 7.33 c ---[3846]---> Adder-cost: 46 maxlim: 17 bits: 6/5 7.33 c ---[3844]---> Adder-cost: 58 maxlim: 18 bits: 6/5 7.34 c ---[3842]---> Adder-cost: 222 maxlim: 99 bits: 8/7 7.34 c ---[3840]---> Adder-cost: 128 maxlim: 100 bits: 8/7 7.35 c ---[3838]---> Adder-cost: 104 maxlim: 38 bits: 7/6 7.35 c ---[3836]---> Adder-cost: 98 maxlim: 39 bits: 7/6 7.35 c ---[3834]---> Adder-cost: 224 maxlim: 99 bits: 8/7 7.36 c ---[3832]---> Adder-cost: 90 maxlim: 99 bits: 8/7 7.36 c ---[3830]---> Adder-cost: 204 maxlim: 92 bits: 8/7 7.37 c ---[3828]---> Adder-cost: 134 maxlim: 93 bits: 8/7 7.37 c ---[3826]---> Adder-cost: 96 maxlim: 92 bits: 8/7 7.38 c ---[3824]---> Adder-cost: 86 maxlim: 92 bits: 8/7 7.39 c ---[3822]---> Adder-cost: 120 maxlim: 48 bits: 7/6 7.39 c ---[3820]---> Adder-cost: 62 maxlim: 47 bits: 7/6 7.39 c ---[3817]---> Sorter-cost: 577 Base: 2 7.39 c ---[3815]---> Sorter-cost: 451 Base: 2 7.39 c ---[3813]---> Sorter-cost: 451 Base: 2 7.40 c ---[3811]---> Sorter-cost: 451 Base: 2 7.40 c ---[3809]---> Adder-cost: 73 maxlim: 21 bits: 6/5 7.40 c ---[3807]---> Adder-cost: 106 maxlim: 40 bits: 7/6 7.40 c ---[3805]---> Adder-cost: 102 maxlim: 39 bits: 7/6 7.40 c ---[3803]---> Adder-cost: 112 maxlim: 43 bits: 7/6 7.41 c ---[3801]---> Adder-cost: 110 maxlim: 41 bits: 7/6 7.41 c ---[3799]---> Adder-cost: 108 maxlim: 43 bits: 7/6 7.41 c ---[3797]---> Adder-cost: 62 maxlim: 20 bits: 6/5 7.42 c ---[3795]---> Adder-cost: 58 maxlim: 17 bits: 6/5 7.42 c ---[3793]---> Adder-cost: 120 maxlim: 47 bits: 7/6 7.42 c ---[3791]---> Adder-cost: 172 maxlim: 72 bits: 8/7 7.43 c ---[3788]---> Adder-cost: 76 maxlim: 48 bits: 7/6 7.43 c ---[3785]---> Adder-cost: 190 maxlim: 81 bits: 8/7 7.43 c ---[3783]---> Adder-cost: 160 maxlim: 65 bits: 8/7 7.44 c ---[3781]---> Adder-cost: 78 maxlim: 65 bits: 8/7 7.44 c ---[3779]---> Adder-cost: 174 maxlim: 77 bits: 8/7 7.45 c ---[3777]---> Adder-cost: 142 maxlim: 78 bits: 8/7 7.45 c ---[3775]---> Adder-cost: 149 maxlim: 61 bits: 7/6 7.46 c ---[3773]---> Adder-cost: 214 maxlim: 94 bits: 8/7 7.46 c ---[3771]---> Adder-cost: 149 maxlim: 62 bits: 7/6 7.46 c ---[3769]---> Adder-cost: 154 maxlim: 65 bits: 8/7 7.47 c ---[3767]---> Adder-cost: 146 maxlim: 64 bits: 8/7 7.47 c ---[3765]---> Adder-cost: 208 maxlim: 90 bits: 8/7 7.48 c ---[3763]---> Adder-cost: 128 maxlim: 91 bits: 8/7 7.48 c ---[3761]---> Adder-cost: 148 maxlim: 85 bits: 8/7 7.49 c ---[3759]---> Adder-cost: 104 maxlim: 40 bits: 7/6 7.49 c ---[3757]---> Adder-cost: 78 maxlim: 32 bits: 7/6 7.49 c ---[3755]---> Adder-cost: 110 maxlim: 41 bits: 7/6 7.50 c ---[3753]---> Adder-cost: 118 maxlim: 51 bits: 7/6 7.50 c ---[3751]---> Adder-cost: 125 maxlim: 58 bits: 7/6 7.50 c ---[3749]---> Adder-cost: 104 maxlim: 38 bits: 7/6 7.51 c ---[3747]---> Adder-cost: 68 maxlim: 48 bits: 7/6 7.51 c ---[3745]---> Adder-cost: 75 maxlim: 23 bits: 6/5 7.51 c ---[3743]---> Adder-cost: 67 maxlim: 27 bits: 6/5 7.51 c ---[3741]---> Sorter-cost: 577 Base: 2 7.52 c ---[3739]---> Adder-cost: 106 maxlim: 39 bits: 7/6 7.52 c ---[3737]---> Adder-cost: 286 maxlim: 128 bits: 9/8 7.53 c ---[3734]---> Adder-cost: 89 maxlim: 31 bits: 6/5 7.53 c ---[3732]---> Adder-cost: 153 maxlim: 62 bits: 7/6 7.53 c ---[3730]---> Adder-cost: 73 maxlim: 62 bits: 7/6 7.54 c ---[3728]---> Adder-cost: 73 maxlim: 62 bits: 7/6 7.54 c ---[3726]---> Adder-cost: 73 maxlim: 62 bits: 7/6 7.54 c ---[3724]---> Adder-cost: 81 maxlim: 28 bits: 6/5 7.55 c ---[3722]---> Adder-cost: 69 maxlim: 25 bits: 6/5 7.55 c ---[3719]---> Adder-cost: 178 maxlim: 75 bits: 8/7 7.55 c ---[3717]---> Adder-cost: 152 maxlim: 66 bits: 8/7 7.56 c ---[3715]---> Adder-cost: 150 maxlim: 67 bits: 8/7 7.56 c ---[3713]---> Adder-cost: 112 maxlim: 43 bits: 7/6 7.57 c ---[3711]---> Adder-cost: 112 maxlim: 43 bits: 7/6 7.57 c ---[3709]---> Adder-cost: 120 maxlim: 50 bits: 7/6 7.57 c ---[3707]---> Adder-cost: 202 maxlim: 85 bits: 8/7 7.58 c ---[3705]---> Adder-cost: 166 maxlim: 81 bits: 8/7 7.58 c ---[3703]---> Adder-cost: 218 maxlim: 96 bits: 8/7 7.59 c ---[3701]---> Adder-cost: 198 maxlim: 97 bits: 8/7 7.59 c ---[3699]---> Adder-cost: 153 maxlim: 61 bits: 7/6 7.60 c ---[3697]---> Adder-cost: 166 maxlim: 78 bits: 8/7 7.60 c ---[3695]---> Adder-cost: 81 maxlim: 27 bits: 6/5 7.60 c ---[3693]---> Adder-cost: 112 maxlim: 46 bits: 7/6 7.61 c ---[3691]---> Adder-cost: 102 maxlim: 45 bits: 7/6 7.61 c ---[3689]---> Adder-cost: 80 maxlim: 48 bits: 7/6 7.61 c ---[3686]---> Adder-cost: 214 maxlim: 93 bits: 8/7 7.62 c ---[3682]---> Adder-cost: 246 maxlim: 112 bits: 8/7 7.63 c ---[3680]---> Adder-cost: 210 maxlim: 93 bits: 8/7 7.63 c ---[3678]---> Adder-cost: 102 maxlim: 93 bits: 8/7 7.64 c ---[3676]---> Adder-cost: 145 maxlim: 60 bits: 7/6 7.64 c ---[3674]---> Adder-cost: 104 maxlim: 41 bits: 7/6 7.64 c ---[3672]---> Adder-cost: 75 maxlim: 60 bits: 7/6 7.65 c ---[3670]---> Adder-cost: 75 maxlim: 60 bits: 7/6 7.65 c ---[3668]---> Adder-cost: 75 maxlim: 60 bits: 7/6 7.65 c ---[3666]---> Adder-cost: 105 maxlim: 57 bits: 7/6 7.66 c ---[3664]---> Adder-cost: 79 maxlim: 57 bits: 7/6 7.66 c ---[3662]---> Sorter-cost: 577 Base: 2 7.66 c ---[3660]---> Adder-cost: 56 maxlim: 16 bits: 6/5 7.67 c ---[3658]---> Adder-cost: 60 maxlim: 18 bits: 6/5 7.67 c ---[3656]---> Adder-cost: 178 maxlim: 76 bits: 8/7 7.67 c ---[3654]---> Adder-cost: 147 maxlim: 63 bits: 7/6 7.68 c ---[3652]---> Adder-cost: 146 maxlim: 66 bits: 8/7 7.68 c ---[3650]---> Adder-cost: 125 maxlim: 57 bits: 7/6 7.68 c ---[3648]---> Adder-cost: 208 maxlim: 89 bits: 8/7 7.69 c ---[3646]---> Adder-cost: 90 maxlim: 36 bits: 7/6 7.69 c ---[3644]---> Adder-cost: 92 maxlim: 89 bits: 8/7 7.70 c ---[3642]---> Adder-cost: 152 maxlim: 74 bits: 8/7 7.70 c ---[3640]---> Adder-cost: 80 maxlim: 74 bits: 8/7 7.71 c ---[3638]---> Adder-cost: 206 maxlim: 93 bits: 8/7 7.71 c ---[3636]---> Adder-cost: 102 maxlim: 93 bits: 8/7 7.72 c ---[3634]---> Adder-cost: 110 maxlim: 44 bits: 7/6 7.73 c ---[3632]---> Adder-cost: 216 maxlim: 96 bits: 8/7 7.73 c ---[3630]---> Adder-cost: 176 maxlim: 77 bits: 8/7 7.74 c ---[3628]---> Adder-cost: 275 maxlim: 121 bits: 8/7 7.74 c ---[3626]---> Adder-cost: 109 maxlim: 121 bits: 8/7 7.75 c ---[3624]---> Adder-cost: 284 maxlim: 132 bits: 9/8 7.76 c ---[3622]---> Adder-cost: 100 maxlim: 132 bits: 9/8 7.77 c ---[3620]---> Adder-cost: 187 maxlim: 127 bits: 8/7 7.78 c ---[3618]---> Adder-cost: 111 maxlim: 127 bits: 8/7 7.78 c ---[3616]---> Adder-cost: 202 maxlim: 85 bits: 8/7 7.79 c ---[3614]---> Adder-cost: 96 maxlim: 85 bits: 8/7 7.79 c ---[3612]---> Adder-cost: 106 maxlim: 45 bits: 7/6 7.80 c ---[3610]---> Adder-cost: 147 maxlim: 60 bits: 7/6 7.80 c ---[3606]---> Adder-cost: 124 maxlim: 49 bits: 7/6 7.80 c ---[3604]---> Adder-cost: 66 maxlim: 49 bits: 7/6 7.81 c ---[3601]---> Adder-cost: 126 maxlim: 52 bits: 7/6 7.81 c ---[3599]---> Adder-cost: 98 maxlim: 42 bits: 7/6 7.81 c ---[3597]---> Adder-cost: 68 maxlim: 35 bits: 7/6 7.82 c ---[3595]---> Adder-cost: 110 maxlim: 43 bits: 7/6 7.82 c ---[3593]---> Adder-cost: 60 maxlim: 43 bits: 7/6 7.82 c ---[3591]---> Adder-cost: 60 maxlim: 43 bits: 7/6 7.83 c ---[3589]---> Adder-cost: 82 maxlim: 43 bits: 7/6 7.83 c ---[3587]---> Adder-cost: 60 maxlim: 43 bits: 7/6 7.83 c ---[3585]---> Adder-cost: 155 maxlim: 63 bits: 7/6 7.84 c ---[3583]---> Adder-cost: 151 maxlim: 62 bits: 7/6 7.84 c ---[3581]---> Adder-cost: 104 maxlim: 38 bits: 7/6 7.84 c ---[3579]---> Adder-cost: 73 maxlim: 62 bits: 7/6 7.85 c ---[3577]---> Adder-cost: 116 maxlim: 49 bits: 7/6 7.85 c ---[3575]---> Adder-cost: 133 maxlim: 53 bits: 7/6 7.85 c ---[3573]---> Adder-cost: 96 maxlim: 36 bits: 7/6 7.86 c ---[3571]---> Adder-cost: 77 maxlim: 28 bits: 6/5 7.86 c ---[3569]---> Adder-cost: 55 maxlim: 28 bits: 6/5 7.86 c ---[3567]---> Adder-cost: 58 maxlim: 18 bits: 6/5 7.86 c ---[3565]---> Adder-cost: 104 maxlim: 40 bits: 7/6 7.86 c ---[3563]---> Adder-cost: 52 maxlim: 18 bits: 6/5 7.87 c ---[3561]---> Adder-cost: 92 maxlim: 36 bits: 7/6 7.87 c ---[3559]---> Adder-cost: 170 maxlim: 69 bits: 8/7 7.87 c ---[3557]---> Adder-cost: 176 maxlim: 83 bits: 8/7 7.88 c ---[3555]---> Adder-cost: 80 maxlim: 83 bits: 8/7 7.88 c ---[3553]---> Adder-cost: 174 maxlim: 92 bits: 8/7 7.89 c ---[3551]---> Adder-cost: 180 maxlim: 89 bits: 8/7 7.89 c ---[3549]---> Adder-cost: 92 maxlim: 89 bits: 8/7 7.90 c ---[3547]---> Adder-cost: 110 maxlim: 42 bits: 7/6 7.90 c ---[3545]---> Adder-cost: 94 maxlim: 44 bits: 7/6 7.91 c ---[3543]---> Adder-cost: 78 maxlim: 45 bits: 7/6 7.91 c ---[3541]---> Adder-cost: 131 maxlim: 55 bits: 7/6 7.91 c ---[3539]---> Adder-cost: 139 maxlim: 54 bits: 7/6 7.92 c ---[3537]---> Adder-cost: 236 maxlim: 111 bits: 8/7 7.92 c ---[3535]---> Adder-cost: 156 maxlim: 115 bits: 8/7 7.93 c ---[3531]---> Adder-cost: 73 maxlim: 21 bits: 6/5 7.93 c ---[3529]---> Adder-cost: 69 maxlim: 24 bits: 6/5 7.93 c ---[3527]---> Adder-cost: 51 maxlim: 24 bits: 6/5 7.94 c ---[3525]---> Adder-cost: 71 maxlim: 25 bits: 6/5 7.94 c ---[3523]---> Sorter-cost: 546 Base: 2 7.94 c ---[3521]---> Sorter-cost: 496 Base: 2 7.94 c ---[3519]---> Sorter-cost: 698 Base: 7 7.94 c ---[3517]---> Adder-cost: 58 maxlim: 17 bits: 6/5 7.94 c ---[3515]---> Adder-cost: 42 maxlim: 17 bits: 6/5 7.95 c ---[3513]---> Adder-cost: 162 maxlim: 68 bits: 8/7 7.95 c ---[3511]---> Adder-cost: 168 maxlim: 69 bits: 8/7 7.95 c ---[3507]---> Adder-cost: 79 maxlim: 25 bits: 6/5 7.96 c ---[3505]---> Adder-cost: 55 maxlim: 25 bits: 6/5 7.96 c ---[3503]---> Adder-cost: 133 maxlim: 56 bits: 7/6 7.96 c ---[3500]---> Adder-cost: 110 maxlim: 43 bits: 7/6 7.97 c ---[3498]---> Adder-cost: 80 maxlim: 44 bits: 7/6 7.97 c ---[3496]---> Adder-cost: 56 maxlim: 44 bits: 7/6 7.97 c ---[3494]---> Adder-cost: 137 maxlim: 59 bits: 7/6 7.98 c ---[3492]---> Adder-cost: 73 maxlim: 59 bits: 7/6 7.98 c ---[3490]---> Adder-cost: 108 maxlim: 44 bits: 7/6 7.98 c ---[3488]---> Adder-cost: 56 maxlim: 44 bits: 7/6 7.99 c ---[3486]---> Adder-cost: 88 maxlim: 46 bits: 7/6 7.99 c ---[3484]---> Adder-cost: 131 maxlim: 54 bits: 7/6 7.99 c ---[3482]---> Adder-cost: 107 maxlim: 58 bits: 7/6 8.00 c ---[3480]---> Adder-cost: 77 maxlim: 58 bits: 7/6 8.00 c ---[3478]---> Adder-cost: 142 maxlim: 68 bits: 8/7 8.00 c ---[3476]---> Adder-cost: 74 maxlim: 68 bits: 8/7 8.01 c ---[3474]---> Adder-cost: 120 maxlim: 49 bits: 7/6 8.01 c ---[3472]---> Adder-cost: 76 maxlim: 43 bits: 7/6 8.02 c ---[3470]---> Adder-cost: 104 maxlim: 40 bits: 7/6 8.02 c ---[3468]---> Adder-cost: 74 maxlim: 38 bits: 7/6 8.02 c ---[3466]---> Sorter-cost: 577 Base: 2 8.02 c ---[3464]---> Adder-cost: 129 maxlim: 53 bits: 7/6 8.03 c ---[3462]---> Sorter-cost: 451 Base: 2 8.03 c ---[3460]---> Adder-cost: 104 maxlim: 38 bits: 7/6 8.03 c ---[3458]---> Adder-cost: 58 maxlim: 38 bits: 7/6 8.03 c ---[3456]---> Adder-cost: 80 maxlim: 32 bits: 7/6 8.04 c ---[3454]---> Adder-cost: 52 maxlim: 32 bits: 7/6 8.04 c ---[3452]---> Adder-cost: 192 maxlim: 83 bits: 8/7 8.04 c ---[3450]---> Adder-cost: 80 maxlim: 83 bits: 8/7 8.05 c ---[3448]---> Adder-cost: 147 maxlim: 61 bits: 7/6 8.05 c ---[3446]---> Adder-cost: 93 maxlim: 58 bits: 7/6 8.06 c ---[3444]---> Adder-cost: 133 maxlim: 55 bits: 7/6 8.06 c ---[3442]---> Adder-cost: 103 maxlim: 56 bits: 7/6 8.06 c ---[3440]---> Adder-cost: 162 maxlim: 68 bits: 8/7 8.07 c ---[3438]---> Adder-cost: 142 maxlim: 64 bits: 8/7 8.07 c ---[3436]---> Adder-cost: 137 maxlim: 54 bits: 7/6 8.08 c ---[3434]---> Adder-cost: 139 maxlim: 55 bits: 7/6 8.08 c ---[3432]---> Adder-cost: 148 maxlim: 72 bits: 8/7 8.08 c ---[3430]---> Adder-cost: 104 maxlim: 71 bits: 8/7 8.09 c ---[3428]---> Adder-cost: 152 maxlim: 69 bits: 8/7 8.09 c ---[3426]---> Adder-cost: 100 maxlim: 72 bits: 8/7 8.10 c ---[3424]---> Adder-cost: 302 maxlim: 138 bits: 9/8 8.11 c ---[3422]---> Adder-cost: 156 maxlim: 67 bits: 8/7 8.11 c ---[3420]---> Adder-cost: 116 maxlim: 138 bits: 9/8 8.12 c ---[3418]---> Adder-cost: 270 maxlim: 133 bits: 9/8 8.13 c ---[3416]---> Adder-cost: 112 maxlim: 133 bits: 9/8 8.14 c ---[3414]---> Adder-cost: 204 maxlim: 134 bits: 9/8 8.15 c ---[3410]---> Adder-cost: 116 maxlim: 45 bits: 7/6 8.15 c ---[3408]---> Adder-cost: 82 maxlim: 44 bits: 7/6 8.15 c ---[3406]---> Adder-cost: 80 maxlim: 67 bits: 8/7 8.16 c ---[3404]---> Adder-cost: 202 maxlim: 88 bits: 8/7 8.16 c ---[3402]---> Adder-cost: 89 maxlim: 31 bits: 6/5 8.17 c ---[3400]---> Adder-cost: 83 maxlim: 30 bits: 6/5 8.17 c ---[3398]---> Adder-cost: 106 maxlim: 44 bits: 7/6 8.17 c ---[3396]---> Adder-cost: 82 maxlim: 43 bits: 7/6 8.17 c ---[3394]---> Adder-cost: 71 maxlim: 21 bits: 6/5 8.18 c ---[3392]---> Adder-cost: 59 maxlim: 22 bits: 6/5 8.18 c ---[3390]---> Adder-cost: 53 maxlim: 22 bits: 6/5 8.18 c ---[3388]---> Sorter-cost: 577 Base: 2 8.18 c ---[3386]---> Adder-cost: 102 maxlim: 37 bits: 7/6 8.18 c ---[3384]---> Adder-cost: 154 maxlim: 64 bits: 8/7 8.19 c ---[3382]---> Adder-cost: 80 maxlim: 32 bits: 7/6 8.19 c ---[3380]---> Adder-cost: 120 maxlim: 48 bits: 7/6 8.19 c ---[3378]---> Adder-cost: 70 maxlim: 39 bits: 7/6 8.20 c ---[3376]---> Adder-cost: 168 maxlim: 73 bits: 8/7 8.20 c ---[3374]---> Adder-cost: 154 maxlim: 67 bits: 8/7 8.21 c ---[3372]---> Adder-cost: 80 maxlim: 67 bits: 8/7 8.21 c ---[3370]---> Adder-cost: 176 maxlim: 78 bits: 8/7 8.22 c ---[3368]---> Adder-cost: 125 maxlim: 57 bits: 7/6 8.22 c ---[3366]---> Adder-cost: 125 maxlim: 58 bits: 7/6 8.22 c ---[3364]---> Adder-cost: 196 maxlim: 97 bits: 8/7 8.23 c ---[3362]---> Adder-cost: 80 maxlim: 64 bits: 8/7 8.23 c ---[3360]---> Adder-cost: 156 maxlim: 69 bits: 8/7 8.24 c ---[3358]---> Adder-cost: 114 maxlim: 70 bits: 8/7 8.24 c ---[3356]---> Adder-cost: 145 maxlim: 62 bits: 7/6 8.25 c ---[3354]---> Adder-cost: 145 maxlim: 63 bits: 7/6 8.25 c ---[3352]---> Adder-cost: 123 maxlim: 55 bits: 7/6 8.25 c ---[3350]---> Adder-cost: 146 maxlim: 65 bits: 8/7 8.26 c ---[3348]---> Adder-cost: 166 maxlim: 73 bits: 8/7 8.26 c ---[3346]---> Adder-cost: 200 maxlim: 98 bits: 8/7 8.27 c ---[3344]---> Adder-cost: 182 maxlim: 98 bits: 8/7 8.27 c ---[3342]---> Adder-cost: 176 maxlim: 95 bits: 8/7 8.28 c ---[3340]---> Adder-cost: 142 maxlim: 66 bits: 8/7 8.28 c ---[3338]---> Adder-cost: 143 maxlim: 62 bits: 7/6 8.29 c ---[3336]---> Adder-cost: 131 maxlim: 58 bits: 7/6 8.29 c ---[3334]---> Adder-cost: 108 maxlim: 44 bits: 7/6 8.30 c ---[3332]---> Adder-cost: 70 maxlim: 44 bits: 7/6 8.30 c ---[3330]---> Adder-cost: 92 maxlim: 35 bits: 7/6 8.30 c ---[3328]---> Adder-cost: 75 maxlim: 27 bits: 6/5 8.30 c ---[3326]---> Adder-cost: 55 maxlim: 27 bits: 6/5 8.31 c ---[3324]---> Adder-cost: 71 maxlim: 21 bits: 6/5 8.31 c ---[3322]---> Adder-cost: 54 maxlim: 19 bits: 6/5 8.31 c ---[3320]---> Adder-cost: 84 maxlim: 66 bits: 8/7 8.31 c ---[3318]---> Adder-cost: 61 maxlim: 24 bits: 6/5 8.32 c ---[3316]---> Adder-cost: 154 maxlim: 68 bits: 8/7 8.32 c ---[3314]---> Adder-cost: 232 maxlim: 107 bits: 8/7 8.33 c ---[3312]---> Adder-cost: 92 maxlim: 107 bits: 8/7 8.33 c ---[3310]---> Adder-cost: 218 maxlim: 104 bits: 8/7 8.34 c ---[3307]---> Sorter-cost: 577 Base: 2 8.34 c ---[3304]---> Adder-cost: 222 maxlim: 99 bits: 8/7 8.35 c ---[3302]---> Adder-cost: 118 maxlim: 69 bits: 8/7 8.35 c ---[3300]---> Adder-cost: 172 maxlim: 100 bits: 8/7 8.36 c ---[3298]---> Adder-cost: 96 maxlim: 100 bits: 8/7 8.36 c ---[3295]---> Adder-cost: 87 maxlim: 29 bits: 6/5 8.37 c ---[3293]---> Adder-cost: 60 maxlim: 19 bits: 6/5 8.37 c ---[3291]---> Sorter-cost: 546 Base: 2 8.37 c ---[3289]---> Adder-cost: 139 maxlim: 53 bits: 7/6 8.37 c ---[3287]---> Adder-cost: 176 maxlim: 84 bits: 8/7 8.38 c ---[3285]---> Adder-cost: 82 maxlim: 69 bits: 8/7 8.38 c ---[3283]---> Adder-cost: 138 maxlim: 77 bits: 8/7 8.40 c ---[3281]---> Adder-cost: 186 maxlim: 80 bits: 8/7 8.40 c ---[3279]---> Adder-cost: 116 maxlim: 48 bits: 7/6 8.40 c ---[3277]---> Adder-cost: 80 maxlim: 47 bits: 7/6 8.40 c ---[3275]---> Adder-cost: 127 maxlim: 54 bits: 7/6 8.40 c ---[3273]---> Adder-cost: 172 maxlim: 75 bits: 8/7 8.41 c ---[3271]---> Adder-cost: 108 maxlim: 76 bits: 8/7 8.41 c ---[3269]---> Adder-cost: 176 maxlim: 78 bits: 8/7 8.42 c ---[3267]---> Adder-cost: 158 maxlim: 67 bits: 8/7 8.42 c ---[3265]---> Adder-cost: 218 maxlim: 95 bits: 8/7 8.43 c ---[3263]---> Adder-cost: 184 maxlim: 101 bits: 8/7 8.43 c ---[3261]---> Adder-cost: 174 maxlim: 95 bits: 8/7 8.44 c ---[3259]---> Adder-cost: 90 maxlim: 95 bits: 8/7 8.45 c ---[3257]---> Adder-cost: 132 maxlim: 93 bits: 8/7 8.45 c ---[3253]---> Adder-cost: 240 maxlim: 107 bits: 8/7 8.46 c ---[3250]---> Adder-cost: 80 maxlim: 67 bits: 8/7 8.46 c ---[3248]---> Adder-cost: 204 maxlim: 112 bits: 8/7 8.47 c ---[3244]---> Adder-cost: 174 maxlim: 73 bits: 8/7 8.48 c ---[3242]---> Adder-cost: 86 maxlim: 73 bits: 8/7 8.48 c ---[3238]---> Adder-cost: 304 maxlim: 137 bits: 9/8 8.49 c ---[3236]---> Adder-cost: 296 maxlim: 133 bits: 9/8 8.50 c ---[3234]---> Adder-cost: 234 maxlim: 130 bits: 9/8 8.51 c ---[3232]---> Adder-cost: 279 maxlim: 126 bits: 8/7 8.51 c ---[3228]---> Adder-cost: 170 maxlim: 76 bits: 8/7 8.52 c ---[3226]---> Adder-cost: 139 maxlim: 59 bits: 7/6 8.52 c ---[3224]---> Adder-cost: 135 maxlim: 60 bits: 7/6 8.53 c ---[3222]---> Adder-cost: 90 maxlim: 47 bits: 7/6 8.53 c ---[3220]---> Adder-cost: 100 maxlim: 47 bits: 7/6 8.53 c ---[3218]---> Adder-cost: 80 maxlim: 47 bits: 7/6 8.54 c ---[3216]---> Adder-cost: 71 maxlim: 21 bits: 6/5 8.54 c ---[3214]---> Adder-cost: 56 maxlim: 18 bits: 6/5 8.54 c ---[3212]---> Adder-cost: 105 maxlim: 126 bits: 8/7 8.55 c ---[3210]---> Adder-cost: 71 maxlim: 23 bits: 6/5 8.55 c ---[3208]---> Adder-cost: 58 maxlim: 20 bits: 6/5 8.55 c ---[3206]---> Adder-cost: 58 maxlim: 17 bits: 6/5 8.55 c ---[3204]---> Adder-cost: 139 maxlim: 54 bits: 7/6 8.56 c ---[3202]---> Adder-cost: 121 maxlim: 55 bits: 7/6 8.56 c ---[3200]---> Adder-cost: 91 maxlim: 54 bits: 7/6 8.57 c ---[3198]---> Adder-cost: 111 maxlim: 56 bits: 7/6 8.57 c ---[3196]---> Adder-cost: 314 maxlim: 142 bits: 9/8 8.58 c ---[3194]---> Adder-cost: 298 maxlim: 158 bits: 9/8 8.59 c ---[3192]---> Adder-cost: 328 maxlim: 162 bits: 9/8 8.60 c ---[3190]---> Adder-cost: 218 maxlim: 106 bits: 8/7 8.61 c ---[3188]---> Adder-cost: 106 maxlim: 44 bits: 7/6 8.61 c ---[3186]---> Adder-cost: 176 maxlim: 74 bits: 8/7 8.61 c ---[3184]---> Adder-cost: 160 maxlim: 78 bits: 8/7 8.62 c ---[3182]---> Adder-cost: 148 maxlim: 74 bits: 8/7 8.62 c ---[3180]---> Adder-cost: 119 maxlim: 58 bits: 7/6 8.63 c ---[3178]---> Adder-cost: 89 maxlim: 31 bits: 6/5 8.63 c ---[3176]---> Adder-cost: 102 maxlim: 40 bits: 7/6 8.63 c ---[3174]---> Adder-cost: 90 maxlim: 42 bits: 7/6 8.64 c ---[3172]---> Adder-cost: 120 maxlim: 49 bits: 7/6 8.64 c ---[3170]---> Adder-cost: 127 maxlim: 54 bits: 7/6 8.64 c ---[3168]---> Adder-cost: 77 maxlim: 26 bits: 6/5 8.64 c ---[3166]---> Adder-cost: 94 maxlim: 106 bits: 8/7 8.65 c ---[3164]---> Adder-cost: 145 maxlim: 57 bits: 7/6 8.66 c ---[3162]---> Adder-cost: 101 maxlim: 57 bits: 7/6 8.66 c ---[3160]---> Adder-cost: 145 maxlim: 61 bits: 7/6 8.66 c ---[3158]---> Adder-cost: 178 maxlim: 84 bits: 8/7 8.67 c ---[3156]---> Adder-cost: 180 maxlim: 99 bits: 8/7 8.67 c ---[3154]---> Adder-cost: 186 maxlim: 112 bits: 8/7 8.68 c ---[3152]---> Adder-cost: 205 maxlim: 117 bits: 8/7 8.69 c ---[3149]---> Adder-cost: 176 maxlim: 74 bits: 8/7 8.69 c ---[3147]---> Adder-cost: 196 maxlim: 98 bits: 8/7 8.70 c ---[3144]---> Sorter-cost: 577 Base: 2 8.70 c ---[3142]---> Sorter-cost: 451 Base: 2 8.70 c ---[3140]---> Adder-cost: 75 maxlim: 24 bits: 6/5 8.70 c ---[3138]---> Adder-cost: 58 maxlim: 17 bits: 6/5 8.71 c ---[3136]---> Adder-cost: 204 maxlim: 87 bits: 8/7 8.71 c ---[3134]---> Adder-cost: 300 maxlim: 138 bits: 9/8 8.74 c ---[3131]---> Adder-cost: 122 maxlim: 52 bits: 7/6 8.74 c ---[3129]---> Adder-cost: 133 maxlim: 54 bits: 7/6 8.75 c ---[3127]---> Adder-cost: 82 maxlim: 98 bits: 8/7 8.75 c ---[3125]---> Adder-cost: 94 maxlim: 51 bits: 7/6 8.76 c ---[3123]---> Adder-cost: 64 maxlim: 51 bits: 7/6 8.76 c ---[3121]---> Adder-cost: 88 maxlim: 44 bits: 7/6 8.76 c ---[3119]---> Adder-cost: 65 maxlim: 30 bits: 6/5 8.77 c ---[3117]---> Adder-cost: 98 maxlim: 38 bits: 7/6 8.77 c ---[3115]---> Adder-cost: 124 maxlim: 49 bits: 7/6 8.77 c ---[3113]---> Adder-cost: 116 maxlim: 48 bits: 7/6 8.77 c ---[3111]---> Adder-cost: 60 maxlim: 17 bits: 6/5 8.78 c ---[3109]---> Adder-cost: 164 maxlim: 69 bits: 8/7 8.78 c ---[3107]---> Adder-cost: 69 maxlim: 21 bits: 6/5 8.78 c ---[3105]---> Adder-cost: 55 maxlim: 21 bits: 6/5 8.78 c ---[3103]---> Adder-cost: 62 maxlim: 20 bits: 6/5 8.79 c ---[3101]---> Adder-cost: 65 maxlim: 21 bits: 6/5 8.79 c ---[3099]---> Adder-cost: 92 maxlim: 34 bits: 7/6 8.79 c ---[3097]---> Adder-cost: 100 maxlim: 37 bits: 7/6 8.79 c ---[3095]---> Adder-cost: 98 maxlim: 39 bits: 7/6 8.80 c ---[3093]---> Adder-cost: 88 maxlim: 37 bits: 7/6 8.80 c ---[3091]---> Adder-cost: 192 maxlim: 83 bits: 8/7 8.80 c ---[3089]---> Adder-cost: 82 maxlim: 69 bits: 8/7 8.81 c ---[3087]---> Adder-cost: 80 maxlim: 83 bits: 8/7 8.81 c ---[3085]---> Adder-cost: 192 maxlim: 90 bits: 8/7 8.82 c ---[3083]---> Adder-cost: 168 maxlim: 105 bits: 8/7 8.83 c ---[3081]---> Adder-cost: 156 maxlim: 104 bits: 8/7 8.83 c ---[3079]---> Adder-cost: 202 maxlim: 93 bits: 8/7 8.84 c ---[3077]---> Adder-cost: 268 maxlim: 132 bits: 9/8 8.85 c ---[3075]---> Adder-cost: 252 maxlim: 130 bits: 9/8 8.86 c ---[3073]---> Adder-cost: 194 maxlim: 101 bits: 8/7 8.86 c ---[3071]---> Adder-cost: 190 maxlim: 97 bits: 8/7 8.87 c ---[3069]---> Adder-cost: 176 maxlim: 96 bits: 8/7 8.88 c ---[3067]---> Adder-cost: 176 maxlim: 83 bits: 8/7 8.88 c ---[3065]---> Adder-cost: 253 maxlim: 120 bits: 8/7 8.89 c ---[3063]---> Adder-cost: 248 maxlim: 138 bits: 9/8 8.90 c ---[3061]---> Adder-cost: 116 maxlim: 138 bits: 9/8 8.91 c ---[3059]---> Adder-cost: 166 maxlim: 74 bits: 8/7 8.91 c ---[3057]---> Adder-cost: 184 maxlim: 83 bits: 8/7 8.92 c ---[3055]---> Adder-cost: 116 maxlim: 78 bits: 8/7 8.92 c ---[3053]---> Adder-cost: 259 maxlim: 120 bits: 8/7 8.93 c ---[3051]---> Adder-cost: 222 maxlim: 115 bits: 8/7 8.94 c ---[3049]---> Adder-cost: 96 maxlim: 115 bits: 8/7 8.94 c ---[3047]---> Adder-cost: 204 maxlim: 112 bits: 8/7 8.95 c ---[3045]---> Adder-cost: 80 maxlim: 83 bits: 8/7 8.96 c ---[3043]---> Adder-cost: 214 maxlim: 110 bits: 8/7 8.96 c ---[3041]---> Adder-cost: 96 maxlim: 110 bits: 8/7 8.97 c ---[3039]---> Adder-cost: 126 maxlim: 83 bits: 8/7 8.98 c ---[3037]---> Adder-cost: 88 maxlim: 41 bits: 7/6 8.98 c ---[3035]---> Adder-cost: 60 maxlim: 41 bits: 7/6 8.98 c ---[3033]---> Adder-cost: 58 maxlim: 17 bits: 6/5 8.98 c ---[3030]---> Adder-cost: 124 maxlim: 49 bits: 7/6 8.99 c ---[3028]---> Adder-cost: 66 maxlim: 49 bits: 7/6 8.99 c ---[3026]---> Adder-cost: 280 maxlim: 131 bits: 9/8 9.00 c ---[3024]---> Adder-cost: 198 maxlim: 91 bits: 8/7 9.01 c ---[3022]---> Adder-cost: 133 maxlim: 53 bits: 7/6 9.01 c ---[3020]---> Adder-cost: 96 maxlim: 47 bits: 7/6 9.01 c ---[3016]---> Adder-cost: 330 maxlim: 152 bits: 9/8 9.02 c ---[3014]---> Adder-cost: 318 maxlim: 148 bits: 9/8 9.03 c ---[3012]---> Adder-cost: 304 maxlim: 150 bits: 9/8 9.04 c ---[3010]---> Adder-cost: 112 maxlim: 150 bits: 9/8 9.05 c ---[3006]---> Adder-cost: 230 maxlim: 102 bits: 8/7 9.06 c ---[3004]---> Adder-cost: 170 maxlim: 91 bits: 8/7 9.07 c ---[3002]---> Adder-cost: 94 maxlim: 91 bits: 8/7 9.07 c ---[3000]---> Adder-cost: 94 maxlim: 91 bits: 8/7 9.08 c ---[2998]---> Adder-cost: 94 maxlim: 91 bits: 8/7 9.08 c ---[2994]---> Adder-cost: 152 maxlim: 68 bits: 8/7 9.09 c ---[2992]---> Adder-cost: 138 maxlim: 71 bits: 8/7 9.09 c ---[2990]---> Adder-cost: 302 maxlim: 135 bits: 9/8 9.10 c ---[2988]---> Adder-cost: 168 maxlim: 73 bits: 8/7 9.11 c ---[2986]---> Adder-cost: 194 maxlim: 96 bits: 8/7 9.11 c ---[2984]---> Adder-cost: 73 maxlim: 21 bits: 6/5 9.11 c ---[2982]---> Sorter-cost: 577 Base: 2 9.12 c ---[2980]---> Adder-cost: 254 maxlim: 115 bits: 8/7 9.12 c ---[2978]---> Adder-cost: 152 maxlim: 64 bits: 8/7 9.13 c ---[2976]---> Adder-cost: 104 maxlim: 37 bits: 7/6 9.13 c ---[2974]---> Adder-cost: 78 maxlim: 34 bits: 7/6 9.13 c ---[2972]---> Adder-cost: 100 maxlim: 37 bits: 7/6 9.14 c ---[2970]---> Adder-cost: 246 maxlim: 110 bits: 8/7 9.14 c ---[2968]---> Adder-cost: 112 maxlim: 135 bits: 9/8 9.15 c ---[2966]---> Adder-cost: 279 maxlim: 126 bits: 8/7 9.16 c ---[2964]---> Adder-cost: 230 maxlim: 101 bits: 8/7 9.16 c ---[2962]---> Adder-cost: 164 maxlim: 96 bits: 8/7 9.17 c ---[2960]---> Adder-cost: 104 maxlim: 38 bits: 7/6 9.17 c ---[2958]---> Adder-cost: 75 maxlim: 29 bits: 6/5 9.18 c ---[2956]---> Adder-cost: 108 maxlim: 42 bits: 7/6 9.18 c ---[2954]---> Adder-cost: 139 maxlim: 55 bits: 7/6 9.18 c ---[2952]---> Adder-cost: 220 maxlim: 98 bits: 8/7 9.19 c ---[2950]---> Adder-cost: 124 maxlim: 51 bits: 7/6 9.19 c ---[2948]---> Adder-cost: 133 maxlim: 56 bits: 7/6 9.20 c ---[2946]---> Adder-cost: 228 maxlim: 102 bits: 8/7 9.20 c ---[2944]---> Adder-cost: 100 maxlim: 41 bits: 7/6 9.21 c ---[2942]---> Adder-cost: 92 maxlim: 40 bits: 7/6 9.21 c ---[2940]---> Adder-cost: 92 maxlim: 33 bits: 7/6 9.21 c ---[2938]---> Adder-cost: 62 maxlim: 20 bits: 6/5 9.21 c ---[2936]---> Adder-cost: 56 maxlim: 16 bits: 6/5 9.21 c ---[2934]---> Adder-cost: 244 maxlim: 112 bits: 8/7 9.22 c ---[2931]---> Adder-cost: 104 maxlim: 39 bits: 7/6 9.22 c ---[2929]---> Adder-cost: 96 maxlim: 36 bits: 7/6 9.23 c ---[2927]---> Adder-cost: 94 maxlim: 47 bits: 7/6 9.23 c ---[2925]---> Adder-cost: 100 maxlim: 102 bits: 8/7 9.24 c ---[2921]---> Adder-cost: 160 maxlim: 65 bits: 8/7 9.24 c ---[2919]---> Adder-cost: 166 maxlim: 76 bits: 8/7 9.25 c ---[2917]---> Adder-cost: 84 maxlim: 76 bits: 8/7 9.25 c ---[2915]---> Adder-cost: 144 maxlim: 73 bits: 8/7 9.26 c ---[2913]---> Adder-cost: 188 maxlim: 81 bits: 8/7 9.26 c ---[2911]---> Adder-cost: 88 maxlim: 81 bits: 8/7 9.27 c ---[2907]---> Adder-cost: 126 maxlim: 102 bits: 8/7 9.27 c ---[2905]---> Adder-cost: 249 maxlim: 120 bits: 8/7 9.28 c ---[2903]---> Adder-cost: 123 maxlim: 55 bits: 7/6 9.29 c ---[2900]---> Sorter-cost: 577 Base: 2 9.29 c ---[2898]---> Sorter-cost: 451 Base: 2 9.29 c ---[2896]---> Sorter-cost: 496 Base: 2 9.29 c ---[2894]---> Sorter-cost: 496 Base: 2 9.29 c ---[2892]---> Sorter-cost: 824 Base: 7 9.29 c ---[2890]---> Sorter-cost: 708 Base: 7 9.29 c ---[2888]---> Adder-cost: 71 maxlim: 24 bits: 6/5 9.30 c ---[2886]---> Adder-cost: 100 maxlim: 102 bits: 8/7 9.30 c ---[2884]---> Adder-cost: 71 maxlim: 26 bits: 6/5 9.31 c ---[2882]---> Adder-cost: 92 maxlim: 36 bits: 7/6 9.31 c ---[2880]---> Adder-cost: 56 maxlim: 36 bits: 7/6 9.31 c ---[2878]---> Adder-cost: 77 maxlim: 27 bits: 6/5 9.31 c ---[2876]---> Adder-cost: 54 maxlim: 20 bits: 6/5 9.31 c ---[2874]---> Adder-cost: 96 maxlim: 36 bits: 7/6 9.32 c ---[2872]---> Adder-cost: 56 maxlim: 36 bits: 7/6 9.32 c ---[2870]---> Adder-cost: 78 maxlim: 35 bits: 7/6 9.32 c ---[2868]---> Adder-cost: 62 maxlim: 36 bits: 7/6 9.33 c ---[2866]---> Adder-cost: 104 maxlim: 43 bits: 7/6 9.33 c ---[2864]---> Adder-cost: 138 maxlim: 100 bits: 8/7 9.33 c ---[2862]---> Adder-cost: 60 maxlim: 43 bits: 7/6 9.34 c ---[2860]---> Adder-cost: 236 maxlim: 106 bits: 8/7 9.34 c ---[2858]---> Adder-cost: 94 maxlim: 106 bits: 8/7 9.35 c ---[2856]---> Adder-cost: 220 maxlim: 109 bits: 8/7 9.36 c ---[2854]---> Adder-cost: 156 maxlim: 108 bits: 8/7 9.37 c ---[2852]---> Adder-cost: 168 maxlim: 109 bits: 8/7 9.37 c ---[2850]---> Adder-cost: 120 maxlim: 109 bits: 8/7 9.38 c ---[2848]---> Adder-cost: 269 maxlim: 119 bits: 8/7 9.39 c ---[2846]---> Adder-cost: 105 maxlim: 119 bits: 8/7 9.39 c ---[2844]---> Adder-cost: 230 maxlim: 115 bits: 8/7 9.40 c ---[2842]---> Adder-cost: 96 maxlim: 100 bits: 8/7 9.41 c ---[2840]---> Adder-cost: 170 maxlim: 112 bits: 8/7 9.41 c ---[2838]---> Adder-cost: 162 maxlim: 67 bits: 8/7 9.42 c ---[2836]---> Adder-cost: 144 maxlim: 68 bits: 8/7 9.42 c ---[2834]---> Adder-cost: 138 maxlim: 70 bits: 8/7 9.43 c ---[2832]---> Adder-cost: 82 maxlim: 70 bits: 8/7 9.43 c ---[2830]---> Adder-cost: 254 maxlim: 115 bits: 8/7 9.44 c ---[2828]---> Adder-cost: 166 maxlim: 112 bits: 8/7 9.45 c ---[2826]---> Adder-cost: 226 maxlim: 105 bits: 8/7 9.45 c ---[2824]---> Adder-cost: 92 maxlim: 105 bits: 8/7 9.46 c ---[2822]---> Adder-cost: 92 maxlim: 105 bits: 8/7 9.47 c ---[2820]---> Adder-cost: 96 maxlim: 100 bits: 8/7 9.47 c ---[2818]---> Adder-cost: 122 maxlim: 108 bits: 8/7 9.48 c ---[2816]---> Adder-cost: 114 maxlim: 114 bits: 8/7 9.49 c ---[2813]---> Adder-cost: 155 maxlim: 63 bits: 7/6 9.49 c ---[2811]---> Adder-cost: 190 maxlim: 84 bits: 8/7 9.50 c ---[2809]---> Adder-cost: 156 maxlim: 80 bits: 8/7 9.50 c ---[2807]---> Adder-cost: 158 maxlim: 75 bits: 8/7 9.51 c ---[2805]---> Adder-cost: 96 maxlim: 100 bits: 8/7 9.51 c ---[2803]---> Adder-cost: 146 maxlim: 73 bits: 8/7 9.52 c ---[2801]---> Adder-cost: 131 maxlim: 58 bits: 7/6 9.52 c ---[2799]---> Adder-cost: 106 maxlim: 44 bits: 7/6 9.53 c ---[2797]---> Adder-cost: 147 maxlim: 59 bits: 7/6 9.53 c ---[2795]---> Adder-cost: 108 maxlim: 46 bits: 7/6 9.53 c ---[2793]---> Adder-cost: 96 maxlim: 100 bits: 8/7 9.54 c ---[2791]---> Adder-cost: 230 maxlim: 102 bits: 8/7 9.55 c ---[2789]---> Adder-cost: 184 maxlim: 103 bits: 8/7 9.55 c ---[2787]---> Adder-cost: 210 maxlim: 92 bits: 8/7 9.56 c ---[2785]---> Adder-cost: 206 maxlim: 91 bits: 8/7 9.56 c ---[2783]---> Adder-cost: 166 maxlim: 96 bits: 8/7 9.57 c ---[2781]---> Adder-cost: 52 maxlim: 20 bits: 6/5 9.57 c ---[2778]---> Adder-cost: 212 maxlim: 104 bits: 8/7 9.58 c ---[2776]---> Adder-cost: 243 maxlim: 117 bits: 8/7 9.59 c ---[2774]---> Adder-cost: 212 maxlim: 109 bits: 8/7 9.59 c ---[2772]---> Adder-cost: 126 maxlim: 51 bits: 7/6 9.60 c ---[2770]---> Adder-cost: 131 maxlim: 56 bits: 7/6 9.60 c ---[2767]---> Adder-cost: 110 maxlim: 48 bits: 7/6 9.60 c ---[2765]---> Adder-cost: 96 maxlim: 36 bits: 7/6 9.61 c ---[2763]---> Adder-cost: 84 maxlim: 33 bits: 7/6 9.61 c ---[2761]---> Adder-cost: 60 maxlim: 33 bits: 7/6 9.61 c ---[2759]---> Adder-cost: 100 maxlim: 44 bits: 7/6 9.62 c ---[2757]---> Sorter-cost: 577 Base: 2 9.62 c ---[2754]---> Adder-cost: 102 maxlim: 37 bits: 7/6 9.62 c ---[2752]---> Adder-cost: 71 maxlim: 26 bits: 6/5 9.62 c ---[2750]---> Adder-cost: 55 maxlim: 24 bits: 6/5 9.62 c ---[2747]---> Adder-cost: 298 maxlim: 133 bits: 9/8 9.63 c ---[2745]---> Adder-cost: 261 maxlim: 120 bits: 8/7 9.64 c ---[2743]---> Adder-cost: 124 maxlim: 50 bits: 7/6 9.64 c ---[2740]---> Adder-cost: 106 maxlim: 39 bits: 7/6 9.65 c ---[2738]---> Adder-cost: 85 maxlim: 31 bits: 6/5 9.65 c ---[2736]---> Adder-cost: 152 maxlim: 67 bits: 8/7 9.65 c ---[2734]---> Adder-cost: 122 maxlim: 49 bits: 7/6 9.66 c ---[2730]---> Adder-cost: 66 maxlim: 49 bits: 7/6 9.66 c ---[2728]---> Adder-cost: 83 maxlim: 56 bits: 7/6 9.67 c ---[2726]---> Adder-cost: 172 maxlim: 72 bits: 8/7 9.67 c ---[2724]---> Adder-cost: 168 maxlim: 73 bits: 8/7 9.68 c ---[2722]---> Adder-cost: 106 maxlim: 44 bits: 7/6 9.68 c ---[2720]---> Adder-cost: 56 maxlim: 44 bits: 7/6 9.68 c ---[2717]---> Adder-cost: 176 maxlim: 73 bits: 8/7 9.69 c ---[2715]---> Adder-cost: 86 maxlim: 73 bits: 8/7 9.69 c ---[2713]---> Adder-cost: 71 maxlim: 56 bits: 7/6 9.70 c ---[2710]---> Adder-cost: 232 maxlim: 106 bits: 8/7 9.70 c ---[2707]---> Adder-cost: 162 maxlim: 67 bits: 8/7 9.71 c ---[2703]---> Adder-cost: 300 maxlim: 144 bits: 9/8 9.72 c ---[2701]---> Adder-cost: 141 maxlim: 57 bits: 7/6 9.72 c ---[2697]---> Adder-cost: 170 maxlim: 70 bits: 8/7 9.73 c ---[2694]---> Adder-cost: 102 maxlim: 40 bits: 7/6 9.73 c ---[2692]---> Adder-cost: 94 maxlim: 34 bits: 7/6 9.73 c ---[2689]---> Adder-cost: 79 maxlim: 57 bits: 7/6 9.73 c ---[2686]---> Adder-cost: 288 maxlim: 130 bits: 9/8 9.74 c ---[2682]---> Adder-cost: 277 maxlim: 123 bits: 8/7 9.75 c ---[2678]---> Adder-cost: 254 maxlim: 116 bits: 8/7 9.76 c ---[2676]---> Adder-cost: 116 maxlim: 45 bits: 7/6 9.76 c ---[2674]---> Adder-cost: 114 maxlim: 52 bits: 7/6 9.77 c ---[2670]---> Adder-cost: 290 maxlim: 132 bits: 9/8 9.78 c ---[2668]---> Adder-cost: 202 maxlim: 87 bits: 8/7 9.78 c ---[2664]---> Adder-cost: 294 maxlim: 140 bits: 9/8 9.79 c ---[2660]---> Adder-cost: 108 maxlim: 41 bits: 7/6 9.79 c ---[2658]---> Adder-cost: 64 maxlim: 52 bits: 7/6 9.80 c ---[2655]---> Adder-cost: 139 maxlim: 53 bits: 7/6 9.80 c ---[2653]---> Adder-cost: 115 maxlim: 54 bits: 7/6 9.80 c ---[2651]---> Adder-cost: 188 maxlim: 81 bits: 8/7 9.81 c ---[2647]---> Adder-cost: 94 maxlim: 34 bits: 7/6 9.81 c ---[2645]---> Adder-cost: 374 maxlim: 180 bits: 9/8 9.82 c ---[2643]---> Adder-cost: 348 maxlim: 178 bits: 9/8 9.83 c ---[2639]---> Adder-cost: 218 maxlim: 106 bits: 8/7 9.84 c ---[2637]---> Adder-cost: 316 maxlim: 151 bits: 9/8 9.85 c ---[2635]---> Adder-cost: 192 maxlim: 84 bits: 8/7 9.86 c ---[2631]---> Adder-cost: 178 maxlim: 87 bits: 8/7 9.86 c ---[2629]---> Adder-cost: 70 maxlim: 36 bits: 7/6 9.86 c ---[2625]---> Adder-cost: 254 maxlim: 116 bits: 8/7 9.87 c ---[2622]---> Adder-cost: 153 maxlim: 61 bits: 7/6 9.88 c ---[2620]---> Adder-cost: 77 maxlim: 61 bits: 7/6 9.88 c ---[2616]---> Adder-cost: 141 maxlim: 60 bits: 7/6 9.88 c ---[2614]---> Adder-cost: 86 maxlim: 32 bits: 7/6 9.89 c ---[2612]---> Adder-cost: 147 maxlim: 60 bits: 7/6 9.89 c ---[2608]---> Adder-cost: 135 maxlim: 60 bits: 7/6 9.89 c ---[2606]---> Adder-cost: 94 maxlim: 36 bits: 7/6 9.90 c ---[2604]---> Adder-cost: 68 maxlim: 34 bits: 7/6 9.90 c ---[2602]---> Adder-cost: 106 maxlim: 40 bits: 7/6 9.90 c ---[2599]---> Adder-cost: 80 maxlim: 36 bits: 7/6 9.91 c ---[2597]---> Adder-cost: 90 maxlim: 32 bits: 7/6 9.91 c ---[2593]---> Adder-cost: 168 maxlim: 69 bits: 8/7 9.91 c ---[2591]---> Adder-cost: 246 maxlim: 109 bits: 8/7 9.92 c ---[2589]---> Adder-cost: 146 maxlim: 110 bits: 8/7 9.93 c ---[2585]---> Adder-cost: 178 maxlim: 79 bits: 8/7 9.93 c ---[2582]---> Adder-cost: 89 maxlim: 31 bits: 6/5 9.93 c ---[2579]---> Adder-cost: 126 maxlim: 51 bits: 7/6 9.94 c ---[2577]---> Adder-cost: 296 maxlim: 134 bits: 9/8 9.95 c ---[2575]---> Adder-cost: 174 maxlim: 135 bits: 9/8 9.96 c ---[2571]---> Adder-cost: 204 maxlim: 88 bits: 8/7 9.96 c ---[2567]---> Adder-cost: 288 maxlim: 135 bits: 9/8 9.97 c ---[2565]---> Adder-cost: 76 maxlim: 32 bits: 7/6 9.97 c ---[2562]---> Adder-cost: 186 maxlim: 79 bits: 8/7 9.98 c ---[2560]---> Adder-cost: 86 maxlim: 79 bits: 8/7 9.98 c ---[2556]---> Adder-cost: 208 maxlim: 89 bits: 8/7 9.99 c ---[2554]---> Adder-cost: 62 maxlim: 20 bits: 6/5 9.99 c ---[2552]---> Sorter-cost: 546 Base: 2 9.99 c ---[2550]---> Adder-cost: 75 maxlim: 30 bits: 6/5 10.00 c ---[2548]---> Sorter-cost: 496 Base: 2 10.00 c ---[2546]---> Sorter-cost: 496 Base: 2 10.00 c ---[2544]---> Adder-cost: 69 maxlim: 21 bits: 6/5 10.00 c ---[2542]---> Adder-cost: 75 maxlim: 23 bits: 6/5 10.00 c ---[2540]---> Adder-cost: 62 maxlim: 19 bits: 6/5 10.00 c ---[2538]---> Adder-cost: 58 maxlim: 18 bits: 6/5 10.01 c ---[2535]---> Adder-cost: 145 maxlim: 60 bits: 7/6 10.01 c ---[2533]---> Adder-cost: 59 maxlim: 30 bits: 6/5 10.01 c ---[2531]---> Adder-cost: 125 maxlim: 59 bits: 7/6 10.02 c ---[2528]---> Adder-cost: 75 maxlim: 24 bits: 6/5 10.02 c ---[2526]---> Adder-cost: 73 maxlim: 21 bits: 6/5 10.02 c ---[2524]---> Adder-cost: 55 maxlim: 21 bits: 6/5 10.02 c ---[2522]---> Adder-cost: 73 maxlim: 30 bits: 6/5 10.02 c ---[2520]---> Adder-cost: 300 maxlim: 143 bits: 9/8 10.03 c ---[2518]---> Adder-cost: 114 maxlim: 143 bits: 9/8 10.04 c ---[2514]---> Adder-cost: 162 maxlim: 73 bits: 8/7 10.05 c ---[2510]---> Adder-cost: 200 maxlim: 86 bits: 8/7 10.05 c ---[2508]---> Adder-cost: 204 maxlim: 88 bits: 8/7 10.06 c ---[2506]---> Adder-cost: 92 maxlim: 88 bits: 8/7 10.07 c ---[2504]---> Adder-cost: 59 maxlim: 30 bits: 6/5 10.07 c ---[2500]---> Adder-cost: 170 maxlim: 76 bits: 8/7 10.07 c ---[2497]---> Adder-cost: 206 maxlim: 89 bits: 8/7 10.08 c ---[2495]---> Adder-cost: 110 maxlim: 42 bits: 7/6 10.08 c ---[2492]---> Adder-cost: 190 maxlim: 81 bits: 8/7 10.09 c ---[2490]---> Adder-cost: 312 maxlim: 146 bits: 9/8 10.10 c ---[2488]---> Adder-cost: 230 maxlim: 103 bits: 8/7 10.10 c ---[2486]---> Adder-cost: 116 maxlim: 46 bits: 7/6 10.11 c ---[2484]---> Adder-cost: 68 maxlim: 46 bits: 7/6 10.11 c ---[2480]---> Adder-cost: 308 maxlim: 146 bits: 9/8 10.12 c ---[2478]---> Adder-cost: 73 maxlim: 21 bits: 6/5 10.12 c ---[2475]---> Adder-cost: 55 maxlim: 21 bits: 6/5 10.12 c ---[2473]---> Adder-cost: 87 maxlim: 31 bits: 6/5 10.13 c ---[2471]---> Adder-cost: 59 maxlim: 31 bits: 6/5 10.13 c ---[2469]---> Adder-cost: 94 maxlim: 103 bits: 8/7 10.14 c ---[2467]---> Adder-cost: 220 maxlim: 100 bits: 8/7 10.14 c ---[2465]---> Adder-cost: 158 maxlim: 77 bits: 8/7 10.15 c ---[2463]---> Adder-cost: 96 maxlim: 36 bits: 7/6 10.15 c ---[2461]---> Adder-cost: 90 maxlim: 32 bits: 7/6 10.15 c ---[2459]---> Adder-cost: 69 maxlim: 31 bits: 6/5 10.15 c ---[2457]---> Adder-cost: 84 maxlim: 34 bits: 7/6 10.16 c ---[2455]---> Adder-cost: 172 maxlim: 72 bits: 8/7 10.16 c ---[2453]---> Adder-cost: 281 maxlim: 126 bits: 8/7 10.17 c ---[2451]---> Adder-cost: 140 maxlim: 102 bits: 8/7 10.18 c ---[2448]---> Adder-cost: 174 maxlim: 81 bits: 8/7 10.18 c ---[2446]---> Adder-cost: 144 maxlim: 80 bits: 8/7 10.19 c ---[2442]---> Adder-cost: 120 maxlim: 47 bits: 7/6 10.19 c ---[2440]---> Adder-cost: 94 maxlim: 33 bits: 7/6 10.19 c ---[2438]---> Adder-cost: 208 maxlim: 103 bits: 8/7 10.20 c ---[2435]---> Adder-cost: 174 maxlim: 75 bits: 8/7 10.21 c ---[2433]---> Sorter-cost: 546 Base: 2 10.21 c ---[2431]---> Adder-cost: 73 maxlim: 24 bits: 6/5 10.21 c ---[2429]---> Adder-cost: 88 maxlim: 32 bits: 7/6 10.21 c ---[2427]---> Adder-cost: 82 maxlim: 34 bits: 7/6 10.21 c ---[2423]---> Adder-cost: 116 maxlim: 45 bits: 7/6 10.22 c ---[2421]---> Adder-cost: 168 maxlim: 73 bits: 8/7 10.22 c ---[2419]---> Adder-cost: 110 maxlim: 44 bits: 7/6 10.23 c ---[2417]---> Sorter-cost: 546 Base: 2 10.23 c ---[2415]---> Adder-cost: 60 maxlim: 18 bits: 6/5 10.23 c ---[2413]---> Adder-cost: 62 maxlim: 19 bits: 6/5 10.23 c ---[2411]---> Adder-cost: 65 maxlim: 25 bits: 6/5 10.23 c ---[2409]---> Adder-cost: 54 maxlim: 19 bits: 6/5 10.23 c ---[2407]---> Adder-cost: 154 maxlim: 71 bits: 8/7 10.24 c ---[2405]---> Adder-cost: 63 maxlim: 21 bits: 6/5 10.24 c ---[2403]---> Adder-cost: 55 maxlim: 21 bits: 6/5 10.24 c ---[2401]---> Adder-cost: 52 maxlim: 17 bits: 6/5 10.24 c ---[2398]---> Adder-cost: 122 maxlim: 49 bits: 7/6 10.25 c ---[2396]---> Adder-cost: 120 maxlim: 49 bits: 7/6 10.25 c ---[2394]---> Adder-cost: 87 maxlim: 30 bits: 6/5 10.25 c ---[2392]---> Adder-cost: 168 maxlim: 69 bits: 8/7 10.26 c ---[2389]---> Adder-cost: 222 maxlim: 97 bits: 8/7 10.26 c ---[2387]---> Adder-cost: 86 maxlim: 97 bits: 8/7 10.27 c ---[2385]---> Sorter-cost: 546 Base: 2 10.27 c ---[2382]---> Adder-cost: 139 maxlim: 59 bits: 7/6 10.28 c ---[2378]---> Adder-cost: 190 maxlim: 85 bits: 8/7 10.28 c ---[2376]---> Adder-cost: 152 maxlim: 68 bits: 8/7 10.29 c ---[2374]---> Adder-cost: 154 maxlim: 75 bits: 8/7 10.29 c ---[2372]---> Adder-cost: 74 maxlim: 68 bits: 8/7 10.30 c ---[2369]---> Adder-cost: 96 maxlim: 85 bits: 8/7 10.30 c ---[2365]---> Adder-cost: 94 maxlim: 39 bits: 7/6 10.30 c ---[2363]---> Adder-cost: 73 maxlim: 26 bits: 6/5 10.31 c ---[2361]---> Adder-cost: 100 maxlim: 44 bits: 7/6 10.31 c ---[2359]---> Adder-cost: 160 maxlim: 69 bits: 8/7 10.32 c ---[2357]---> Adder-cost: 108 maxlim: 42 bits: 7/6 10.32 c ---[2355]---> Adder-cost: 145 maxlim: 60 bits: 7/6 10.32 c ---[2353]---> Adder-cost: 156 maxlim: 66 bits: 8/7 10.33 c ---[2350]---> Adder-cost: 121 maxlim: 61 bits: 7/6 10.33 c ---[2348]---> Adder-cost: 104 maxlim: 70 bits: 8/7 10.34 c ---[2346]---> Sorter-cost: 546 Base: 2 10.34 c ---[2344]---> Adder-cost: 310 maxlim: 148 bits: 9/8 10.35 c ---[2342]---> Adder-cost: 326 maxlim: 150 bits: 9/8 10.36 c ---[2340]---> Adder-cost: 240 maxlim: 108 bits: 8/7 10.37 c ---[2337]---> Adder-cost: 212 maxlim: 93 bits: 8/7 10.37 c ---[2335]---> Adder-cost: 255 maxlim: 123 bits: 8/7 10.38 c ---[2333]---> Adder-cost: 56 maxlim: 20 bits: 6/5 10.38 c ---[2331]---> Adder-cost: 42 maxlim: 20 bits: 6/5 10.38 c ---[2329]---> Adder-cost: 77 maxlim: 26 bits: 6/5 10.39 c ---[2327]---> Adder-cost: 214 maxlim: 99 bits: 8/7 10.39 c ---[2323]---> Adder-cost: 112 maxlim: 45 bits: 7/6 10.39 c ---[2321]---> Adder-cost: 164 maxlim: 74 bits: 8/7 10.40 c ---[2319]---> Adder-cost: 131 maxlim: 58 bits: 7/6 10.40 c ---[2317]---> Adder-cost: 56 maxlim: 20 bits: 6/5 10.41 c ---[2315]---> Adder-cost: 106 maxlim: 42 bits: 7/6 10.41 c ---[2313]---> Adder-cost: 184 maxlim: 97 bits: 8/7 10.42 c ---[2310]---> Adder-cost: 238 maxlim: 106 bits: 8/7 10.42 c ---[2308]---> Adder-cost: 230 maxlim: 116 bits: 8/7 10.43 c ---[2306]---> Adder-cost: 92 maxlim: 116 bits: 8/7 10.44 c ---[2304]---> Adder-cost: 190 maxlim: 84 bits: 8/7 10.44 c ---[2302]---> Adder-cost: 88 maxlim: 84 bits: 8/7 10.45 c ---[2300]---> Adder-cost: 94 maxlim: 36 bits: 7/6 10.45 c ---[2296]---> Adder-cost: 220 maxlim: 97 bits: 8/7 10.46 c ---[2294]---> Adder-cost: 98 maxlim: 45 bits: 7/6 10.46 c ---[2292]---> Adder-cost: 88 maxlim: 44 bits: 7/6 10.46 c ---[2290]---> Adder-cost: 79 maxlim: 30 bits: 6/5 10.47 c ---[2288]---> Adder-cost: 204 maxlim: 88 bits: 8/7 10.47 c ---[2286]---> Adder-cost: 122 maxlim: 49 bits: 7/6 10.48 c ---[2284]---> Adder-cost: 153 maxlim: 62 bits: 7/6 10.48 c ---[2282]---> Adder-cost: 276 maxlim: 133 bits: 9/8 10.49 c ---[2279]---> Adder-cost: 90 maxlim: 32 bits: 7/6 10.49 c ---[2277]---> Adder-cost: 86 maxlim: 97 bits: 8/7 10.50 c ---[2275]---> Adder-cost: 52 maxlim: 32 bits: 7/6 10.50 c ---[2273]---> Adder-cost: 108 maxlim: 47 bits: 7/6 10.50 c ---[2270]---> Adder-cost: 62 maxlim: 20 bits: 6/5 10.51 c ---[2268]---> Adder-cost: 162 maxlim: 71 bits: 8/7 10.51 c ---[2266]---> Adder-cost: 42 maxlim: 20 bits: 6/5 10.51 c ---[2264]---> Adder-cost: 202 maxlim: 96 bits: 8/7 10.52 c ---[2261]---> Adder-cost: 60 maxlim: 17 bits: 6/5 10.52 c ---[2259]---> Sorter-cost: 546 Base: 2 10.52 c ---[2257]---> Adder-cost: 135 maxlim: 53 bits: 7/6 10.53 c ---[2255]---> Adder-cost: 96 maxlim: 35 bits: 7/6 10.53 c ---[2251]---> Adder-cost: 130 maxlim: 95 bits: 8/7 10.53 c ---[2249]---> Adder-cost: 184 maxlim: 84 bits: 8/7 10.54 c ---[2247]---> Adder-cost: 79 maxlim: 28 bits: 6/5 10.54 c ---[2243]---> Adder-cost: 81 maxlim: 28 bits: 6/5 10.54 c ---[2241]---> Adder-cost: 55 maxlim: 28 bits: 6/5 10.55 c ---[2239]---> Adder-cost: 58 maxlim: 20 bits: 6/5 10.55 c ---[2235]---> Adder-cost: 182 maxlim: 94 bits: 8/7 10.55 c ---[2233]---> Adder-cost: 98 maxlim: 39 bits: 7/6 10.56 c ---[2229]---> Adder-cost: 87 maxlim: 31 bits: 6/5 10.56 c ---[2227]---> Adder-cost: 56 maxlim: 17 bits: 6/5 10.56 c ---[2224]---> Adder-cost: 71 maxlim: 21 bits: 6/5 10.56 c ---[2220]---> Adder-cost: 132 maxlim: 93 bits: 8/7 10.57 c ---[2218]---> Adder-cost: 60 maxlim: 17 bits: 6/5 10.57 c ---[2214]---> Adder-cost: 184 maxlim: 80 bits: 8/7 10.58 c ---[2211]---> Adder-cost: 160 maxlim: 68 bits: 8/7 10.58 c ---[2208]---> Adder-cost: 139 maxlim: 53 bits: 7/6 10.58 c ---[2206]---> Adder-cost: 102 maxlim: 93 bits: 8/7 10.59 c ---[2204]---> Adder-cost: 139 maxlim: 59 bits: 7/6 10.59 c ---[2202]---> Adder-cost: 73 maxlim: 59 bits: 7/6 10.60 c ---[2198]---> Adder-cost: 340 maxlim: 159 bits: 9/8 10.61 c ---[2196]---> Adder-cost: 118 maxlim: 159 bits: 9/8 10.62 c ---[2194]---> Adder-cost: 330 maxlim: 163 bits: 9/8 10.63 c ---[2192]---> Adder-cost: 122 maxlim: 163 bits: 9/8 10.64 c ---[2189]---> Adder-cost: 122 maxlim: 163 bits: 9/8 10.65 c ---[2187]---> Adder-cost: 122 maxlim: 163 bits: 9/8 10.66 c ---[2184]---> Adder-cost: 69 maxlim: 24 bits: 6/5 10.67 c ---[2182]---> Adder-cost: 141 maxlim: 55 bits: 7/6 10.67 c ---[2180]---> Adder-cost: 121 maxlim: 53 bits: 7/6 10.67 c ---[2178]---> Adder-cost: 92 maxlim: 50 bits: 7/6 10.68 c ---[2176]---> Adder-cost: 298 maxlim: 138 bits: 9/8 10.69 c ---[2172]---> Adder-cost: 148 maxlim: 67 bits: 8/7 10.69 c ---[2170]---> Adder-cost: 114 maxlim: 65 bits: 8/7 10.70 c ---[2168]---> Adder-cost: 152 maxlim: 64 bits: 8/7 10.70 c ---[2164]---> Adder-cost: 102 maxlim: 52 bits: 7/6 10.70 c ---[2162]---> Adder-cost: 380 maxlim: 180 bits: 9/8 10.72 c ---[2160]---> Adder-cost: 118 maxlim: 45 bits: 7/6 10.72 c ---[2156]---> Adder-cost: 204 maxlim: 87 bits: 8/7 10.72 c ---[2154]---> Adder-cost: 66 maxlim: 45 bits: 7/6 10.73 c ---[2151]---> Adder-cost: 124 maxlim: 52 bits: 7/6 10.73 c ---[2149]---> Adder-cost: 166 maxlim: 71 bits: 8/7 10.74 c ---[2147]---> Adder-cost: 140 maxlim: 69 bits: 8/7 10.74 c ---[2145]---> Adder-cost: 278 maxlim: 150 bits: 9/8 10.75 c ---[2142]---> Adder-cost: 162 maxlim: 72 bits: 8/7 10.76 c ---[2140]---> Adder-cost: 125 maxlim: 54 bits: 7/6 10.76 c ---[2136]---> Adder-cost: 259 maxlim: 117 bits: 8/7 10.77 c ---[2134]---> Adder-cost: 107 maxlim: 117 bits: 8/7 10.78 c ---[2131]---> Adder-cost: 71 maxlim: 21 bits: 6/5 10.78 c ---[2128]---> Adder-cost: 184 maxlim: 149 bits: 9/8 10.79 c ---[2125]---> Adder-cost: 73 maxlim: 26 bits: 6/5 10.79 c ---[2123]---> Adder-cost: 67 maxlim: 27 bits: 6/5 10.79 c ---[2121]---> Adder-cost: 67 maxlim: 22 bits: 6/5 10.79 c ---[2119]---> Adder-cost: 79 maxlim: 29 bits: 6/5 10.80 c ---[2117]---> Adder-cost: 55 maxlim: 29 bits: 6/5 10.80 c ---[2115]---> Adder-cost: 106 maxlim: 44 bits: 7/6 10.80 c ---[2113]---> Adder-cost: 145 maxlim: 57 bits: 7/6 10.81 c ---[2110]---> Adder-cost: 110 maxlim: 43 bits: 7/6 10.81 c ---[2108]---> Adder-cost: 164 maxlim: 152 bits: 9/8 10.82 c ---[2104]---> Adder-cost: 60 maxlim: 17 bits: 6/5 10.82 c ---[2100]---> Adder-cost: 147 maxlim: 60 bits: 7/6 10.83 c ---[2098]---> Adder-cost: 75 maxlim: 60 bits: 7/6 10.83 c ---[2096]---> Adder-cost: 102 maxlim: 38 bits: 7/6 10.83 c ---[2094]---> Adder-cost: 75 maxlim: 24 bits: 6/5 10.84 c ---[2092]---> Adder-cost: 110 maxlim: 152 bits: 9/8 10.85 c ---[2090]---> Adder-cost: 51 maxlim: 24 bits: 6/5 10.85 c ---[2086]---> Adder-cost: 77 maxlim: 28 bits: 6/5 10.85 c ---[2084]---> Adder-cost: 196 maxlim: 85 bits: 8/7 10.86 c ---[2082]---> Adder-cost: 251 maxlim: 117 bits: 8/7 10.86 c ---[2080]---> Adder-cost: 160 maxlim: 72 bits: 8/7 10.87 c ---[2078]---> Adder-cost: 80 maxlim: 72 bits: 8/7 10.87 c ---[2073]---> Adder-cost: 67 maxlim: 28 bits: 6/5 10.88 c ---[2069]---> Adder-cost: 94 maxlim: 33 bits: 7/6 10.88 c ---[2066]---> Sorter-cost: 546 Base: 2 10.88 c ---[2064]---> Sorter-cost: 496 Base: 2 10.88 c ---[2062]---> Adder-cost: 172 maxlim: 72 bits: 8/7 10.89 c ---[2060]---> Sorter-cost: 496 Base: 2 10.89 c ---[2057]---> Adder-cost: 110 maxlim: 42 bits: 7/6 10.89 c ---[2055]---> Adder-cost: 120 maxlim: 52 bits: 7/6 10.89 c ---[2051]---> Adder-cost: 83 maxlim: 30 bits: 6/5 10.90 c ---[2047]---> Adder-cost: 56 maxlim: 16 bits: 6/5 10.90 c ---[2045]---> Adder-cost: 106 maxlim: 72 bits: 8/7 10.90 c ---[2042]---> Adder-cost: 106 maxlim: 39 bits: 7/6 10.91 c ---[2039]---> Adder-cost: 62 maxlim: 19 bits: 6/5 10.91 c ---[2037]---> Sorter-cost: 546 Base: 2 10.91 c ---[2035]---> Sorter-cost: 496 Base: 2 10.91 c ---[2033]---> Sorter-cost: 777 Base: 7 10.91 c ---[2030]---> Adder-cost: 81 maxlim: 28 bits: 6/5 10.92 c ---[2028]---> Adder-cost: 129 maxlim: 60 bits: 7/6 10.97 c ---[2026]---> Adder-cost: 210 maxlim: 91 bits: 8/7 10.97 c ---[2024]---> Adder-cost: 108 maxlim: 91 bits: 8/7 10.98 c ---[2021]---> Adder-cost: 106 maxlim: 42 bits: 7/6 10.98 c ---[2019]---> Adder-cost: 85 maxlim: 31 bits: 6/5 10.99 c ---[2017]---> Adder-cost: 56 maxlim: 18 bits: 6/5 10.99 c ---[2015]---> Adder-cost: 83 maxlim: 29 bits: 6/5 10.99 c ---[2011]---> Adder-cost: 194 maxlim: 88 bits: 8/7 11.00 c ---[2009]---> Adder-cost: 96 maxlim: 36 bits: 7/6 11.00 c ---[2006]---> Adder-cost: 104 maxlim: 39 bits: 7/6 11.00 c ---[2004]---> Adder-cost: 96 maxlim: 35 bits: 7/6 11.00 c ---[2002]---> Adder-cost: 188 maxlim: 84 bits: 8/7 11.01 c ---[2000]---> Adder-cost: 69 maxlim: 23 bits: 6/5 11.01 c ---[1998]---> Adder-cost: 73 maxlim: 21 bits: 6/5 11.01 c ---[1996]---> Adder-cost: 81 maxlim: 27 bits: 6/5 11.02 c ---[1994]---> Adder-cost: 54 maxlim: 19 bits: 6/5 11.02 c ---[1992]---> Sorter-cost: 546 Base: 2 11.02 c ---[1990]---> Adder-cost: 56 maxlim: 16 bits: 6/5 11.02 c ---[1987]---> Adder-cost: 110 maxlim: 41 bits: 7/6 11.03 c ---[1985]---> Adder-cost: 132 maxlim: 78 bits: 8/7 11.03 c ---[1983]---> Sorter-cost: 546 Base: 2 11.03 c ---[1981]---> Sorter-cost: 506 Base: 2 11.03 c ---[1979]---> Adder-cost: 87 maxlim: 29 bits: 6/5 11.04 c ---[1977]---> Adder-cost: 75 maxlim: 29 bits: 6/5 11.04 c ---[1974]---> Adder-cost: 67 maxlim: 25 bits: 6/5 11.04 c ---[1972]---> Sorter-cost: 577 Base: 2 11.04 c ---[1970]---> Adder-cost: 168 maxlim: 76 bits: 8/7 11.05 c ---[1967]---> Adder-cost: 56 maxlim: 18 bits: 6/5 11.05 c ---[1965]---> Adder-cost: 250 maxlim: 113 bits: 8/7 11.06 c ---[1963]---> Adder-cost: 180 maxlim: 112 bits: 8/7 11.06 c ---[1961]---> Adder-cost: 222 maxlim: 114 bits: 8/7 11.07 c ---[1958]---> Adder-cost: 73 maxlim: 21 bits: 6/5 11.07 c ---[1956]---> Adder-cost: 84 maxlim: 76 bits: 8/7 11.08 c ---[1953]---> Adder-cost: 81 maxlim: 27 bits: 6/5 11.08 c ---[1951]---> Adder-cost: 55 maxlim: 27 bits: 6/5 11.08 c ---[1949]---> Adder-cost: 69 maxlim: 23 bits: 6/5 11.09 c ---[1945]---> Adder-cost: 220 maxlim: 102 bits: 8/7 11.09 c ---[1943]---> Adder-cost: 112 maxlim: 43 bits: 7/6 11.10 c ---[1941]---> Adder-cost: 122 maxlim: 50 bits: 7/6 11.10 c ---[1937]---> Adder-cost: 114 maxlim: 49 bits: 7/6 11.10 c ---[1934]---> Sorter-cost: 546 Base: 2 11.10 c ---[1932]---> Sorter-cost: 546 Base: 2 11.11 c ---[1930]---> Sorter-cost: 496 Base: 2 11.11 c ---[1927]---> Sorter-cost: 546 Base: 2 11.11 c ---[1925]---> Adder-cost: 62 maxlim: 50 bits: 7/6 11.11 c ---[1923]---> Sorter-cost: 496 Base: 2 11.11 c ---[1920]---> Adder-cost: 79 maxlim: 26 bits: 6/5 11.12 c ---[1917]---> Adder-cost: 83 maxlim: 30 bits: 6/5 11.12 c ---[1914]---> Adder-cost: 96 maxlim: 42 bits: 7/6 11.12 c ---[1911]---> Adder-cost: 82 maxlim: 32 bits: 7/6 11.12 c ---[1909]---> Adder-cost: 118 maxlim: 46 bits: 7/6 11.13 c ---[1907]---> Adder-cost: 94 maxlim: 34 bits: 7/6 11.13 c ---[1905]---> Adder-cost: 100 maxlim: 47 bits: 7/6 11.13 c ---[1902]---> Adder-cost: 100 maxlim: 40 bits: 7/6 11.14 c ---[1900]---> Adder-cost: 64 maxlim: 40 bits: 7/6 11.14 c ---[1897]---> Adder-cost: 139 maxlim: 58 bits: 7/6 11.14 c ---[1895]---> Adder-cost: 77 maxlim: 58 bits: 7/6 11.15 c ---[1893]---> Adder-cost: 117 maxlim: 57 bits: 7/6 11.15 c ---[1890]---> Adder-cost: 131 maxlim: 54 bits: 7/6 11.16 c ---[1888]---> Adder-cost: 71 maxlim: 24 bits: 6/5 11.16 c ---[1886]---> Adder-cost: 56 maxlim: 17 bits: 6/5 11.16 c ---[1884]---> Adder-cost: 120 maxlim: 47 bits: 7/6 11.16 c ---[1882]---> Adder-cost: 131 maxlim: 57 bits: 7/6 11.17 c ---[1880]---> Adder-cost: 94 maxlim: 47 bits: 7/6 11.17 c ---[1878]---> Adder-cost: 146 maxlim: 72 bits: 8/7 11.18 c ---[1875]---> Adder-cost: 75 maxlim: 26 bits: 6/5 11.18 c ---[1873]---> Adder-cost: 116 maxlim: 47 bits: 7/6 11.18 c ---[1871]---> Adder-cost: 71 maxlim: 29 bits: 6/5 11.18 c ---[1869]---> Adder-cost: 58 maxlim: 20 bits: 6/5 11.19 c ---[1867]---> Adder-cost: 320 maxlim: 160 bits: 9/8 11.20 c ---[1865]---> Adder-cost: 141 maxlim: 60 bits: 7/6 11.20 c ---[1862]---> Adder-cost: 42 maxlim: 20 bits: 6/5 11.20 c ---[1859]---> Adder-cost: 114 maxlim: 47 bits: 7/6 11.21 c ---[1857]---> Adder-cost: 172 maxlim: 81 bits: 8/7 11.21 c ---[1855]---> Adder-cost: 79 maxlim: 27 bits: 6/5 11.22 c ---[1851]---> Adder-cost: 168 maxlim: 78 bits: 8/7 11.22 c ---[1849]---> Adder-cost: 102 maxlim: 44 bits: 7/6 11.22 c ---[1846]---> Adder-cost: 236 maxlim: 109 bits: 8/7 11.23 c ---[1843]---> Adder-cost: 62 maxlim: 19 bits: 6/5 11.23 c ---[1841]---> Adder-cost: 83 maxlim: 30 bits: 6/5 11.24 c ---[1839]---> Adder-cost: 118 maxlim: 48 bits: 7/6 11.24 c ---[1837]---> Adder-cost: 150 maxlim: 74 bits: 8/7 11.24 c ---[1833]---> Adder-cost: 50 maxlim: 16 bits: 6/5 11.25 c ---[1831]---> Adder-cost: 77 maxlim: 26 bits: 6/5 11.25 c ---[1828]---> Adder-cost: 126 maxlim: 51 bits: 7/6 11.25 c ---[1825]---> Adder-cost: 64 maxlim: 51 bits: 7/6 11.26 c ---[1822]---> Adder-cost: 108 maxlim: 44 bits: 7/6 11.26 c ---[1819]---> Adder-cost: 94 maxlim: 34 bits: 7/6 11.26 c ---[1817]---> Adder-cost: 104 maxlim: 40 bits: 7/6 11.27 c ---[1815]---> Adder-cost: 92 maxlim: 41 bits: 7/6 11.27 c ---[1813]---> Adder-cost: 73 maxlim: 23 bits: 6/5 11.27 c ---[1811]---> Adder-cost: 81 maxlim: 27 bits: 6/5 11.27 c ---[1809]---> Adder-cost: 84 maxlim: 33 bits: 7/6 11.28 c ---[1807]---> Adder-cost: 236 maxlim: 108 bits: 8/7 11.28 c ---[1805]---> Adder-cost: 212 maxlim: 99 bits: 8/7 11.29 c ---[1803]---> Adder-cost: 137 maxlim: 56 bits: 7/6 11.29 c ---[1800]---> Adder-cost: 60 maxlim: 19 bits: 6/5 11.30 c ---[1798]---> Adder-cost: 62 maxlim: 20 bits: 6/5 11.30 c ---[1796]---> Sorter-cost: 546 Base: 2 11.30 c ---[1794]---> Sorter-cost: 536 Base: 2 11.30 c ---[1792]---> Adder-cost: 116 maxlim: 49 bits: 7/6 11.30 c ---[1790]---> Adder-cost: 52 maxlim: 16 bits: 6/5 11.31 c ---[1788]---> Adder-cost: 114 maxlim: 46 bits: 7/6 11.31 c ---[1786]---> Adder-cost: 42 maxlim: 16 bits: 6/5 11.31 c ---[1784]---> Adder-cost: 200 maxlim: 87 bits: 8/7 11.32 c ---[1782]---> Adder-cost: 56 maxlim: 18 bits: 6/5 11.32 c ---[1780]---> Adder-cost: 44 maxlim: 18 bits: 6/5 11.32 c ---[1778]---> Adder-cost: 44 maxlim: 18 bits: 6/5 11.32 c ---[1776]---> Adder-cost: 71 maxlim: 24 bits: 6/5 11.32 c ---[1774]---> Adder-cost: 51 maxlim: 24 bits: 6/5 11.33 c ---[1772]---> Adder-cost: 51 maxlim: 24 bits: 6/5 11.33 c ---[1768]---> Adder-cost: 151 maxlim: 61 bits: 7/6 11.33 c ---[1766]---> Adder-cost: 194 maxlim: 106 bits: 8/7 11.34 c ---[1764]---> Adder-cost: 184 maxlim: 81 bits: 8/7 11.35 c ---[1761]---> Adder-cost: 75 maxlim: 24 bits: 6/5 11.35 c ---[1759]---> Sorter-cost: 577 Base: 2 11.35 c ---[1757]---> Adder-cost: 79 maxlim: 27 bits: 6/5 11.35 c ---[1755]---> Adder-cost: 96 maxlim: 35 bits: 7/6 11.35 c ---[1753]---> Adder-cost: 271 maxlim: 121 bits: 8/7 11.36 c ---[1751]---> Adder-cost: 56 maxlim: 35 bits: 7/6 11.37 c ---[1748]---> Adder-cost: 75 maxlim: 26 bits: 6/5 11.37 c ---[1746]---> Adder-cost: 133 maxlim: 54 bits: 7/6 11.37 c ---[1742]---> Adder-cost: 116 maxlim: 46 bits: 7/6 11.37 c ---[1740]---> Adder-cost: 82 maxlim: 33 bits: 7/6 11.38 c ---[1738]---> Adder-cost: 229 maxlim: 123 bits: 8/7 11.39 c ---[1736]---> Adder-cost: 124 maxlim: 51 bits: 7/6 11.39 c ---[1734]---> Adder-cost: 135 maxlim: 59 bits: 7/6 11.39 c ---[1732]---> Adder-cost: 139 maxlim: 63 bits: 7/6 11.40 c ---[1730]---> Adder-cost: 127 maxlim: 57 bits: 7/6 11.40 c ---[1728]---> Adder-cost: 94 maxlim: 36 bits: 7/6 11.40 c ---[1726]---> Adder-cost: 90 maxlim: 34 bits: 7/6 11.41 c ---[1724]---> Adder-cost: 110 maxlim: 42 bits: 7/6 11.41 c ---[1722]---> Adder-cost: 288 maxlim: 131 bits: 9/8 11.42 c ---[1720]---> Adder-cost: 122 maxlim: 52 bits: 7/6 11.42 c ---[1716]---> Adder-cost: 104 maxlim: 38 bits: 7/6 11.43 c ---[1714]---> Adder-cost: 100 maxlim: 40 bits: 7/6 11.43 c ---[1711]---> Adder-cost: 172 maxlim: 72 bits: 8/7 11.44 c ---[1708]---> Adder-cost: 266 maxlim: 135 bits: 9/8 11.45 c ---[1706]---> Adder-cost: 71 maxlim: 21 bits: 6/5 11.45 c ---[1704]---> Sorter-cost: 546 Base: 2 11.45 c ---[1701]---> Adder-cost: 96 maxlim: 35 bits: 7/6 11.45 c ---[1698]---> Adder-cost: 86 maxlim: 33 bits: 7/6 11.45 c ---[1696]---> Adder-cost: 284 maxlim: 138 bits: 9/8 11.46 c ---[1694]---> Adder-cost: 106 maxlim: 44 bits: 7/6 11.47 c ---[1692]---> Adder-cost: 100 maxlim: 37 bits: 7/6 11.47 c ---[1688]---> Adder-cost: 137 maxlim: 63 bits: 7/6 11.48 c ---[1686]---> Sorter-cost: 577 Base: 2 11.48 c ---[1684]---> Sorter-cost: 451 Base: 2 11.48 c ---[1680]---> Adder-cost: 75 maxlim: 25 bits: 6/5 11.48 c ---[1677]---> Adder-cost: 92 maxlim: 36 bits: 7/6 11.48 c ---[1675]---> Adder-cost: 69 maxlim: 28 bits: 6/5 11.49 c ---[1672]---> Adder-cost: 184 maxlim: 77 bits: 8/7 11.49 c ---[1670]---> Adder-cost: 84 maxlim: 77 bits: 8/7 11.50 c ---[1668]---> Adder-cost: 139 maxlim: 55 bits: 7/6 11.50 c ---[1666]---> Adder-cost: 114 maxlim: 48 bits: 7/6 11.50 c ---[1663]---> Adder-cost: 69 maxlim: 21 bits: 6/5 11.51 c ---[1661]---> Adder-cost: 174 maxlim: 76 bits: 8/7 11.51 c ---[1659]---> Adder-cost: 116 maxlim: 78 bits: 8/7 11.52 c ---[1657]---> Adder-cost: 290 maxlim: 133 bits: 9/8 11.53 c ---[1655]---> Adder-cost: 244 maxlim: 132 bits: 9/8 11.54 c ---[1653]---> Adder-cost: 302 maxlim: 139 bits: 9/8 11.55 c ---[1651]---> Adder-cost: 118 maxlim: 139 bits: 9/8 11.56 c ---[1649]---> Adder-cost: 67 maxlim: 24 bits: 6/5 11.56 c ---[1646]---> Adder-cost: 61 maxlim: 21 bits: 6/5 11.56 c ---[1644]---> Adder-cost: 88 maxlim: 32 bits: 7/6 11.56 c ---[1642]---> Adder-cost: 156 maxlim: 64 bits: 8/7 11.57 c ---[1640]---> Adder-cost: 92 maxlim: 40 bits: 7/6 11.57 c ---[1638]---> Adder-cost: 98 maxlim: 39 bits: 7/6 11.57 c ---[1635]---> Adder-cost: 275 maxlim: 125 bits: 8/7 11.58 c ---[1633]---> Adder-cost: 71 maxlim: 21 bits: 6/5 11.58 c ---[1631]---> Adder-cost: 137 maxlim: 55 bits: 7/6 11.59 c ---[1629]---> Adder-cost: 100 maxlim: 40 bits: 7/6 11.59 c ---[1627]---> Adder-cost: 77 maxlim: 55 bits: 7/6 11.60 c ---[1623]---> Adder-cost: 73 maxlim: 23 bits: 6/5 11.60 c ---[1621]---> Adder-cost: 77 maxlim: 25 bits: 6/5 11.60 c ---[1619]---> Adder-cost: 55 maxlim: 25 bits: 6/5 11.60 c ---[1617]---> Sorter-cost: 546 Base: 2 11.60 c ---[1615]---> Sorter-cost: 496 Base: 2 11.60 c ---[1612]---> Adder-cost: 204 maxlim: 89 bits: 8/7 11.61 c ---[1610]---> Adder-cost: 116 maxlim: 51 bits: 7/6 11.61 c ---[1608]---> Adder-cost: 178 maxlim: 83 bits: 8/7 11.62 c ---[1605]---> Adder-cost: 160 maxlim: 66 bits: 8/7 11.62 c ---[1603]---> Adder-cost: 220 maxlim: 97 bits: 8/7 11.63 c ---[1601]---> Adder-cost: 86 maxlim: 97 bits: 8/7 11.64 c ---[1597]---> Adder-cost: 149 maxlim: 61 bits: 7/6 11.64 c ---[1593]---> Adder-cost: 87 maxlim: 31 bits: 6/5 11.64 c ---[1590]---> Adder-cost: 100 maxlim: 37 bits: 7/6 11.65 c ---[1588]---> Adder-cost: 90 maxlim: 34 bits: 7/6 11.65 c ---[1586]---> Adder-cost: 172 maxlim: 88 bits: 8/7 11.66 c ---[1583]---> Adder-cost: 300 maxlim: 156 bits: 9/8 11.67 c ---[1581]---> Adder-cost: 129 maxlim: 57 bits: 7/6 11.67 c ---[1579]---> Adder-cost: 109 maxlim: 58 bits: 7/6 11.67 c ---[1577]---> Adder-cost: 131 maxlim: 60 bits: 7/6 11.68 c ---[1574]---> Adder-cost: 94 maxlim: 37 bits: 7/6 11.68 c ---[1572]---> Adder-cost: 73 maxlim: 24 bits: 6/5 11.68 c ---[1570]---> Sorter-cost: 577 Base: 2 11.69 c ---[1568]---> Adder-cost: 102 maxlim: 39 bits: 7/6 11.69 c ---[1566]---> Adder-cost: 131 maxlim: 59 bits: 7/6 11.69 c ---[1564]---> Adder-cost: 76 maxlim: 33 bits: 7/6 11.69 c ---[1562]---> Adder-cost: 77 maxlim: 29 bits: 6/5 11.70 c ---[1560]---> Adder-cost: 51 maxlim: 26 bits: 6/5 11.70 c ---[1558]---> Adder-cost: 51 maxlim: 26 bits: 6/5 11.70 c ---[1556]---> Adder-cost: 124 maxlim: 52 bits: 7/6 11.71 c ---[1554]---> Adder-cost: 64 maxlim: 52 bits: 7/6 11.71 c ---[1550]---> Adder-cost: 133 maxlim: 63 bits: 7/6 11.71 c ---[1547]---> Adder-cost: 88 maxlim: 32 bits: 7/6 11.72 c ---[1544]---> Adder-cost: 244 maxlim: 109 bits: 8/7 11.72 c ---[1542]---> Adder-cost: 79 maxlim: 27 bits: 6/5 11.73 c ---[1540]---> Adder-cost: 55 maxlim: 27 bits: 6/5 11.73 c ---[1538]---> Adder-cost: 120 maxlim: 49 bits: 7/6 11.73 c ---[1536]---> Adder-cost: 84 maxlim: 49 bits: 7/6 11.74 c ---[1533]---> Adder-cost: 77 maxlim: 26 bits: 6/5 11.74 c ---[1531]---> Sorter-cost: 577 Base: 2 11.74 c ---[1529]---> Adder-cost: 116 maxlim: 45 bits: 7/6 11.74 c ---[1527]---> Adder-cost: 66 maxlim: 45 bits: 7/6 11.75 c ---[1523]---> Sorter-cost: 542 Base: 2 11.75 c ---[1521]---> Adder-cost: 104 maxlim: 38 bits: 7/6 11.75 c ---[1519]---> Adder-cost: 104 maxlim: 41 bits: 7/6 11.75 c ---[1517]---> Adder-cost: 261 maxlim: 120 bits: 8/7 11.76 c ---[1515]---> Adder-cost: 52 maxlim: 32 bits: 7/6 11.77 c ---[1513]---> Adder-cost: 237 maxlim: 117 bits: 8/7 11.77 c ---[1508]---> Adder-cost: 118 maxlim: 49 bits: 7/6 11.78 c ---[1506]---> Adder-cost: 158 maxlim: 65 bits: 8/7 11.78 c ---[1503]---> Adder-cost: 62 maxlim: 20 bits: 6/5 11.78 c ---[1501]---> Adder-cost: 75 maxlim: 23 bits: 6/5 11.79 c ---[1499]---> Adder-cost: 80 maxlim: 33 bits: 7/6 11.79 c ---[1496]---> Adder-cost: 100 maxlim: 41 bits: 7/6 11.79 c ---[1494]---> Adder-cost: 138 maxlim: 66 bits: 8/7 11.80 c ---[1492]---> Adder-cost: 110 maxlim: 43 bits: 7/6 11.80 c ---[1490]---> Adder-cost: 116 maxlim: 48 bits: 7/6 11.80 c ---[1488]---> Adder-cost: 147 maxlim: 60 bits: 7/6 11.81 c ---[1486]---> Adder-cost: 56 maxlim: 16 bits: 6/5 11.81 c ---[1484]---> Adder-cost: 60 maxlim: 33 bits: 7/6 11.81 c ---[1482]---> Adder-cost: 218 maxlim: 100 bits: 8/7 11.82 c ---[1480]---> Adder-cost: 158 maxlim: 99 bits: 8/7 11.82 c ---[1478]---> Adder-cost: 96 maxlim: 36 bits: 7/6 11.83 c ---[1476]---> Adder-cost: 194 maxlim: 87 bits: 8/7 11.83 c ---[1474]---> Adder-cost: 170 maxlim: 71 bits: 8/7 11.84 c ---[1472]---> Adder-cost: 334 maxlim: 156 bits: 9/8 11.85 c ---[1470]---> Adder-cost: 141 maxlim: 57 bits: 7/6 11.85 c ---[1468]---> Adder-cost: 104 maxlim: 51 bits: 7/6 11.86 c ---[1466]---> Adder-cost: 106 maxlim: 40 bits: 7/6 11.86 c ---[1464]---> Adder-cost: 82 maxlim: 32 bits: 7/6 11.86 c ---[1462]---> Adder-cost: 162 maxlim: 68 bits: 8/7 11.87 c ---[1460]---> Adder-cost: 182 maxlim: 77 bits: 8/7 11.87 c ---[1458]---> Adder-cost: 228 maxlim: 102 bits: 8/7 11.88 c ---[1456]---> Adder-cost: 118 maxlim: 46 bits: 7/6 11.88 c ---[1454]---> Adder-cost: 255 maxlim: 117 bits: 8/7 11.89 c ---[1452]---> Adder-cost: 210 maxlim: 94 bits: 8/7 11.90 c ---[1450]---> Adder-cost: 261 maxlim: 124 bits: 8/7 11.91 c ---[1448]---> Adder-cost: 210 maxlim: 104 bits: 8/7 11.91 c ---[1446]---> Adder-cost: 176 maxlim: 74 bits: 8/7 11.92 c ---[1444]---> Adder-cost: 198 maxlim: 85 bits: 8/7 11.92 c ---[1442]---> Adder-cost: 60 maxlim: 33 bits: 7/6 11.93 c ---[1440]---> Adder-cost: 267 maxlim: 126 bits: 8/7 11.94 c ---[1438]---> Adder-cost: 116 maxlim: 45 bits: 7/6 11.94 c ---[1435]---> Adder-cost: 60 maxlim: 33 bits: 7/6 11.94 c ---[1433]---> Adder-cost: 118 maxlim: 50 bits: 7/6 11.95 c ---[1431]---> Adder-cost: 115 maxlim: 56 bits: 7/6 11.95 c ---[1429]---> Adder-cost: 103 maxlim: 53 bits: 7/6 11.95 c ---[1427]---> Adder-cost: 232 maxlim: 108 bits: 8/7 11.96 c ---[1425]---> Adder-cost: 272 maxlim: 132 bits: 9/8 11.97 c ---[1423]---> Adder-cost: 282 maxlim: 138 bits: 9/8 11.98 c ---[1421]---> Adder-cost: 372 maxlim: 195 bits: 9/8 11.99 c ---[1419]---> Adder-cost: 252 maxlim: 149 bits: 9/8 12.00 c ---[1417]---> Adder-cost: 354 maxlim: 192 bits: 9/8 12.02 c ---[1415]---> Adder-cost: 292 maxlim: 190 bits: 9/8 12.03 c ---[1413]---> Adder-cost: 336 maxlim: 187 bits: 9/8 12.04 c ---[1411]---> Adder-cost: 300 maxlim: 174 bits: 9/8 12.05 c ---[1409]---> Adder-cost: 280 maxlim: 148 bits: 9/8 12.06 c ---[1407]---> Adder-cost: 298 maxlim: 167 bits: 9/8 12.08 c ---[1405]---> Adder-cost: 388 maxlim: 199 bits: 9/8 12.09 c ---[1403]---> Adder-cost: 392 maxlim: 213 bits: 9/8 12.10 c ---[1401]---> Adder-cost: 366 maxlim: 211 bits: 9/8 12.12 c ---[1399]---> Adder-cost: 334 maxlim: 191 bits: 9/8 12.13 c ---[1397]---> Adder-cost: 240 maxlim: 139 bits: 9/8 12.14 c ---[1395]---> Adder-cost: 214 maxlim: 116 bits: 8/7 12.15 c ---[1393]---> Adder-cost: 202 maxlim: 108 bits: 8/7 12.15 c ---[1391]---> Adder-cost: 229 maxlim: 118 bits: 8/7 12.16 c ---[1389]---> Adder-cost: 204 maxlim: 113 bits: 8/7 12.17 c ---[1387]---> Adder-cost: 188 maxlim: 92 bits: 8/7 12.18 c ---[1385]---> Adder-cost: 296 maxlim: 139 bits: 9/8 12.19 c ---[1383]---> Adder-cost: 196 maxlim: 140 bits: 9/8 12.20 c ---[1381]---> Adder-cost: 272 maxlim: 138 bits: 9/8 12.21 c ---[1379]---> Adder-cost: 188 maxlim: 143 bits: 9/8 12.22 c ---[1377]---> Adder-cost: 218 maxlim: 141 bits: 9/8 12.23 c ---[1375]---> Adder-cost: 222 maxlim: 145 bits: 9/8 12.24 c ---[1373]---> Adder-cost: 272 maxlim: 153 bits: 9/8 12.25 c ---[1371]---> Adder-cost: 208 maxlim: 151 bits: 9/8 12.26 c ---[1369]---> Adder-cost: 122 maxlim: 52 bits: 7/6 12.26 c ---[1367]---> Adder-cost: 226 maxlim: 137 bits: 9/8 12.27 c ---[1365]---> Adder-cost: 230 maxlim: 138 bits: 9/8 12.28 c ---[1363]---> Adder-cost: 200 maxlim: 133 bits: 9/8 12.29 c ---[1361]---> Adder-cost: 242 maxlim: 132 bits: 9/8 12.30 c ---[1359]---> Adder-cost: 236 maxlim: 136 bits: 9/8 12.31 c ---[1357]---> Adder-cost: 182 maxlim: 133 bits: 9/8 12.32 c ---[1355]---> Adder-cost: 198 maxlim: 109 bits: 8/7 12.33 c ---[1353]---> Adder-cost: 180 maxlim: 79 bits: 8/7 12.33 c ---[1351]---> Adder-cost: 202 maxlim: 107 bits: 8/7 12.34 c ---[1350]---> Adder-cost: 2308 maxlim: 1140 bits: 12/11 12.48 c ---[1349]---> Adder-cost: 11140 maxlim: 5665 bits: 13/13 26.55 c ---[1347]---> Adder-cost: 279 maxlim: 133 bits: 9/8 26.56 c ---[1346]---> Adder-cost: 291 maxlim: 143 bits: 9/8 26.57 c ---[1345]---> Adder-cost: 323 maxlim: 148 bits: 9/8 26.59 c ---[1343]---> Adder-cost: 347 maxlim: 156 bits: 9/8 26.60 c ---[1342]---> Adder-cost: 376 maxlim: 170 bits: 9/8 26.62 c ---[1340]---> Adder-cost: 528 maxlim: 244 bits: 9/8 26.64 c ---[1339]---> Adder-cost: 317 maxlim: 148 bits: 9/8 26.65 c ---[1337]---> Adder-cost: 512 maxlim: 240 bits: 9/8 26.67 c ---[1331]---> Adder-cost: 353 maxlim: 161 bits: 9/8 26.69 c ---[1329]---> Adder-cost: 525 maxlim: 252 bits: 9/8 26.71 c ---[1328]---> Adder-cost: 625 maxlim: 299 bits: 10/9 26.74 c ---[1324]---> Adder-cost: 406 maxlim: 193 bits: 9/8 26.75 c ---[1323]---> Adder-cost: 2980 maxlim: 1565 bits: 12/11 27.22 c ---[1319]---> Adder-cost: 733 maxlim: 351 bits: 10/9 27.25 c ---[1318]---> Adder-cost: 3462 maxlim: 1534 bits: 11/11 28.65 c ---[1317]---> Adder-cost: 73 maxlim: 49 bits: 7/6 28.65 c ---[1316]---> Adder-cost: 177 maxlim: 56 bits: 7/6 28.65 c ---[1315]---> Adder-cost: 94 maxlim: 28 bits: 6/5 28.66 c ---[1314]---> Adder-cost: 248 maxlim: 71 bits: 8/7 28.67 c ---[1313]---> Adder-cost: 256 maxlim: 106 bits: 8/7 28.67 c ---[1312]---> Adder-cost: 141 maxlim: 36 bits: 7/6 28.68 c ---[1311]---> Adder-cost: 145 maxlim: 58 bits: 7/6 28.68 c ---[1310]---> Adder-cost: 79 maxlim: 52 bits: 7/6 28.69 c ---[1309]---> Adder-cost: 123 maxlim: 34 bits: 7/6 28.69 c ---[1308]---> Adder-cost: 432 maxlim: 203 bits: 9/8 28.72 c ---[1307]---> Adder-cost: 207 maxlim: 58 bits: 7/6 28.72 c ---[1306]---> Adder-cost: 67 maxlim: 16 bits: 6/5 28.72 c ---[1305]---> Adder-cost: 77 maxlim: 17 bits: 6/5 28.73 c ---[1304]---> Adder-cost: 123 maxlim: 45 bits: 7/6 28.73 c ---[1303]---> Adder-cost: 1148 maxlim: 581 bits: 10/10 28.95 c ---[1302]---> Adder-cost: 12630 maxlim: 5522 bits: 14/13 29.55 c ---[1301]---> Adder-cost: 3962 maxlim: 1144 bits: 12/11 29.77 c ---[1300]---> Adder-cost: 21784 maxlim: 11677 bits: 14/14 104.92 c ---[1298]---> Adder-cost: 176 maxlim: 99 bits: 8/7 104.92 c ---[1293]---> Adder-cost: 55132 maxlim: 89595 bits: 18/17 109.09 c ---[1283]---> Adder-cost: 168 maxlim: 74 bits: 8/7 109.10 c ---[1264]---> Adder-cost: 29194 maxlim: 48394 bits: 17/16 111.74 c ---[1245]---> Adder-cost: 304 maxlim: 147 bits: 9/8 111.75 c ---[1243]---> Adder-cost: 300 maxlim: 156 bits: 9/8 111.76 c ---[1241]---> Adder-cost: 342 maxlim: 185 bits: 9/8 111.77 c ---[1239]---> Adder-cost: 130 maxlim: 185 bits: 9/8 111.78 c ---[1237]---> Adder-cost: 282 maxlim: 173 bits: 9/8 111.79 c ---[1235]---> Adder-cost: 296 maxlim: 166 bits: 9/8 111.80 c ---[1233]---> Adder-cost: 200 maxlim: 107 bits: 8/7 111.81 c ---[1231]---> Adder-cost: 92 maxlim: 107 bits: 8/7 111.82 c ---[1229]---> Adder-cost: 310 maxlim: 152 bits: 9/8 111.83 c ---[1227]---> Adder-cost: 326 maxlim: 165 bits: 9/8 111.84 c ---[1225]---> Adder-cost: 300 maxlim: 156 bits: 9/8 111.85 c ---[1223]---> Adder-cost: 120 maxlim: 156 bits: 9/8 111.86 c ---[1221]---> Adder-cost: 304 maxlim: 156 bits: 9/8 111.87 c ---[1219]---> Adder-cost: 272 maxlim: 158 bits: 9/8 111.88 c ---[1217]---> Adder-cost: 254 maxlim: 148 bits: 9/8 111.89 c ---[1215]---> Adder-cost: 156 maxlim: 73 bits: 8/7 111.90 c ---[1213]---> Adder-cost: 274 maxlim: 166 bits: 9/8 111.91 c ---[1211]---> Adder-cost: 288 maxlim: 161 bits: 9/8 111.92 c ---[1209]---> Adder-cost: 264 maxlim: 160 bits: 9/8 111.93 c ---[1207]---> Adder-cost: 268 maxlim: 165 bits: 9/8 111.94 c ---[1205]---> Adder-cost: 244 maxlim: 160 bits: 9/8 111.95 c ---[1203]---> Adder-cost: 238 maxlim: 157 bits: 9/8 111.96 c ---[1201]---> Adder-cost: 210 maxlim: 167 bits: 9/8 111.98 c ---[1199]---> Adder-cost: 120 maxlim: 167 bits: 9/8 111.99 c ---[1197]---> Adder-cost: 120 maxlim: 167 bits: 9/8 112.00 c ---[1195]---> Adder-cost: 160 maxlim: 166 bits: 9/8 112.01 c ---[1193]---> Adder-cost: 190 maxlim: 159 bits: 9/8 112.02 c ---[1191]---> Adder-cost: 118 maxlim: 159 bits: 9/8 112.03 c ---[1189]---> Adder-cost: 154 maxlim: 155 bits: 9/8 112.04 c ---[1187]---> Adder-cost: 114 maxlim: 155 bits: 9/8 112.05 c ---[1185]---> Adder-cost: 256 maxlim: 170 bits: 9/8 112.06 c ---[1183]---> Adder-cost: 200 maxlim: 101 bits: 8/7 112.07 c ---[1181]---> Adder-cost: 206 maxlim: 103 bits: 8/7 112.08 c ---[1179]---> Adder-cost: 112 maxlim: 48 bits: 7/6 112.08 c ---[1177]---> Adder-cost: 70 maxlim: 33 bits: 7/6 112.08 c ---[1175]---> Adder-cost: 106 maxlim: 45 bits: 7/6 112.09 c ---[1173]---> Adder-cost: 76 maxlim: 46 bits: 7/6 112.09 c ---[1171]---> Adder-cost: 94 maxlim: 38 bits: 7/6 112.09 c ---[1169]---> Adder-cost: 58 maxlim: 38 bits: 7/6 112.10 c ---[1165]---> Adder-cost: 162 maxlim: 67 bits: 8/7 112.10 c ---[1163]---> Adder-cost: 162 maxlim: 69 bits: 8/7 112.11 c ---[1161]---> Adder-cost: 82 maxlim: 69 bits: 8/7 112.11 c ---[1159]---> Adder-cost: 318 maxlim: 162 bits: 9/8 112.12 c ---[1157]---> Adder-cost: 120 maxlim: 162 bits: 9/8 112.13 c ---[1155]---> Adder-cost: 282 maxlim: 148 bits: 9/8 112.14 c ---[1153]---> Adder-cost: 116 maxlim: 148 bits: 9/8 112.15 c ---[1151]---> Adder-cost: 80 maxlim: 64 bits: 8/7 112.16 c ---[1149]---> Adder-cost: 133 maxlim: 57 bits: 7/6 112.16 c ---[1147]---> Adder-cost: 162 maxlim: 80 bits: 8/7 112.17 c ---[1145]---> Adder-cost: 131 maxlim: 59 bits: 7/6 112.17 c ---[1143]---> Adder-cost: 208 maxlim: 106 bits: 8/7 112.18 c ---[1141]---> Adder-cost: 94 maxlim: 106 bits: 8/7 112.19 c ---[1139]---> Adder-cost: 202 maxlim: 109 bits: 8/7 112.19 c ---[1137]---> Adder-cost: 140 maxlim: 97 bits: 8/7 112.20 c ---[1135]---> Adder-cost: 86 maxlim: 97 bits: 8/7 112.21 c ---[1133]---> Adder-cost: 144 maxlim: 99 bits: 8/7 112.21 c ---[1131]---> Adder-cost: 182 maxlim: 110 bits: 8/7 112.22 c ---[1129]---> Adder-cost: 166 maxlim: 77 bits: 8/7 112.23 c ---[1127]---> Adder-cost: 166 maxlim: 78 bits: 8/7 112.23 c ---[1125]---> Adder-cost: 148 maxlim: 73 bits: 8/7 112.24 c ---[1123]---> Adder-cost: 144 maxlim: 72 bits: 8/7 112.24 c ---[1121]---> Adder-cost: 126 maxlim: 64 bits: 8/7 112.25 c ---[1119]---> Adder-cost: 136 maxlim: 65 bits: 8/7 112.25 c ---[1117]---> Adder-cost: 144 maxlim: 65 bits: 8/7 112.26 c ---[1115]---> Adder-cost: 143 maxlim: 58 bits: 7/6 112.26 c ---[1113]---> Adder-cost: 81 maxlim: 31 bits: 6/5 112.26 c ---[1111]---> Adder-cost: 69 maxlim: 23 bits: 6/5 112.27 c ---[1109]---> Adder-cost: 166 maxlim: 69 bits: 8/7 112.27 c ---[1107]---> Adder-cost: 51 maxlim: 23 bits: 6/5 112.27 c ---[1105]---> Adder-cost: 67 maxlim: 22 bits: 6/5 112.27 c ---[1103]---> Adder-cost: 96 maxlim: 36 bits: 7/6 112.28 c ---[1101]---> Adder-cost: 77 maxlim: 29 bits: 6/5 112.28 c ---[1099]---> Adder-cost: 73 maxlim: 25 bits: 6/5 112.28 c ---[1097]---> Adder-cost: 55 maxlim: 24 bits: 6/5 112.28 c ---[1095]---> Adder-cost: 67 maxlim: 21 bits: 6/5 112.29 c ---[1093]---> Adder-cost: 83 maxlim: 31 bits: 6/5 112.29 c ---[1091]---> Adder-cost: 55 maxlim: 24 bits: 6/5 112.29 c ---[1089]---> Adder-cost: 174 maxlim: 73 bits: 8/7 112.30 c ---[1087]---> Adder-cost: 158 maxlim: 74 bits: 8/7 112.30 c ---[1085]---> Adder-cost: 130 maxlim: 75 bits: 8/7 112.31 c ---[1083]---> Adder-cost: 137 maxlim: 53 bits: 7/6 112.31 c ---[1081]---> Adder-cost: 111 maxlim: 62 bits: 7/6 112.31 c ---[1079]---> Adder-cost: 73 maxlim: 62 bits: 7/6 112.32 c ---[1077]---> Adder-cost: 149 maxlim: 63 bits: 7/6 112.32 c ---[1075]---> Adder-cost: 136 maxlim: 64 bits: 8/7 112.33 c ---[1073]---> Adder-cost: 80 maxlim: 64 bits: 8/7 112.33 c ---[1071]---> Adder-cost: 120 maxlim: 65 bits: 8/7 112.34 c ---[1069]---> Adder-cost: 146 maxlim: 74 bits: 8/7 112.34 c ---[1067]---> Adder-cost: 117 maxlim: 61 bits: 7/6 112.35 c ---[1064]---> Adder-cost: 182 maxlim: 88 bits: 8/7 112.35 c ---[1062]---> Adder-cost: 180 maxlim: 89 bits: 8/7 112.36 c ---[1060]---> Adder-cost: 156 maxlim: 88 bits: 8/7 112.36 c ---[1058]---> Adder-cost: 288 maxlim: 132 bits: 9/8 112.37 c ---[1056]---> Adder-cost: 246 maxlim: 128 bits: 9/8 112.38 c ---[1054]---> Adder-cost: 200 maxlim: 99 bits: 8/7 112.39 c ---[1052]---> Adder-cost: 200 maxlim: 96 bits: 8/7 112.40 c ---[1050]---> Adder-cost: 246 maxlim: 115 bits: 8/7 112.40 c ---[1048]---> Adder-cost: 300 maxlim: 142 bits: 9/8 112.41 c ---[1046]---> Adder-cost: 108 maxlim: 76 bits: 8/7 112.42 c ---[1044]---> Adder-cost: 247 maxlim: 122 bits: 8/7 112.43 c ---[1042]---> Adder-cost: 257 maxlim: 121 bits: 8/7 112.44 c ---[1040]---> Adder-cost: 206 maxlim: 114 bits: 8/7 112.44 c ---[1038]---> Adder-cost: 104 maxlim: 114 bits: 8/7 112.45 c ---[1036]---> Adder-cost: 96 maxlim: 39 bits: 7/6 112.46 c ---[1034]---> Adder-cost: 86 maxlim: 35 bits: 7/6 112.46 c ---[1032]---> Adder-cost: 56 maxlim: 35 bits: 7/6 112.46 c ---[1030]---> Adder-cost: 94 maxlim: 39 bits: 7/6 112.46 c ---[1028]---> Adder-cost: 86 maxlim: 42 bits: 7/6 112.47 c ---[1026]---> Adder-cost: 58 maxlim: 42 bits: 7/6 112.47 c ---[1024]---> Adder-cost: 143 maxlim: 62 bits: 7/6 112.48 c ---[1022]---> Adder-cost: 82 maxlim: 41 bits: 7/6 112.48 c ---[1020]---> Adder-cost: 104 maxlim: 46 bits: 7/6 112.48 c ---[1018]---> Adder-cost: 102 maxlim: 37 bits: 7/6 112.48 c ---[1016]---> Adder-cost: 102 maxlim: 41 bits: 7/6 112.49 c ---[1014]---> Adder-cost: 119 maxlim: 59 bits: 7/6 112.49 c ---[1012]---> Adder-cost: 140 maxlim: 64 bits: 8/7 112.50 c ---[1010]---> Adder-cost: 148 maxlim: 66 bits: 8/7 112.50 c ---[1008]---> Adder-cost: 138 maxlim: 65 bits: 8/7 112.51 c ---[1006]---> Adder-cost: 78 maxlim: 65 bits: 8/7 112.51 c ---[1004]---> Adder-cost: 162 maxlim: 72 bits: 8/7 112.52 c ---[1002]---> Adder-cost: 204 maxlim: 99 bits: 8/7 112.52 c ---[1000]---> Adder-cost: 158 maxlim: 83 bits: 8/7 112.53 c ---[ 998]---> Adder-cost: 114 maxlim: 45 bits: 7/6 112.53 c ---[ 996]---> Adder-cost: 174 maxlim: 77 bits: 8/7 112.54 c ---[ 994]---> Adder-cost: 140 maxlim: 67 bits: 8/7 112.54 c ---[ 992]---> Adder-cost: 198 maxlim: 89 bits: 8/7 112.55 c ---[ 990]---> Adder-cost: 192 maxlim: 97 bits: 8/7 112.56 c ---[ 988]---> Adder-cost: 192 maxlim: 98 bits: 8/7 112.56 c ---[ 986]---> Adder-cost: 90 maxlim: 44 bits: 7/6 112.57 c ---[ 984]---> Adder-cost: 182 maxlim: 103 bits: 8/7 112.57 c ---[ 982]---> Adder-cost: 114 maxlim: 48 bits: 7/6 112.58 c ---[ 980]---> Adder-cost: 68 maxlim: 48 bits: 7/6 112.58 c ---[ 978]---> Adder-cost: 125 maxlim: 54 bits: 7/6 112.58 c ---[ 976]---> Adder-cost: 75 maxlim: 54 bits: 7/6 112.59 c ---[ 974]---> Adder-cost: 114 maxlim: 52 bits: 7/6 112.59 c ---[ 972]---> Adder-cost: 64 maxlim: 52 bits: 7/6 112.60 c ---[ 970]---> Adder-cost: 135 maxlim: 62 bits: 7/6 112.60 c ---[ 968]---> Adder-cost: 73 maxlim: 62 bits: 7/6 112.60 c ---[ 966]---> Adder-cost: 69 maxlim: 22 bits: 6/5 112.61 c ---[ 964]---> Adder-cost: 129 maxlim: 60 bits: 7/6 112.61 c ---[ 962]---> Adder-cost: 158 maxlim: 69 bits: 8/7 112.61 c ---[ 960]---> Adder-cost: 144 maxlim: 73 bits: 8/7 112.62 c ---[ 958]---> Adder-cost: 152 maxlim: 76 bits: 8/7 112.63 c ---[ 956]---> Adder-cost: 218 maxlim: 108 bits: 8/7 112.63 c ---[ 954]---> Adder-cost: 96 maxlim: 108 bits: 8/7 112.64 c ---[ 952]---> Adder-cost: 64 maxlim: 52 bits: 7/6 112.64 c ---[ 950]---> Adder-cost: 172 maxlim: 89 bits: 8/7 112.65 c ---[ 948]---> Adder-cost: 190 maxlim: 95 bits: 8/7 112.66 c ---[ 946]---> Adder-cost: 90 maxlim: 95 bits: 8/7 112.66 c ---[ 944]---> Adder-cost: 192 maxlim: 109 bits: 8/7 112.67 c ---[ 942]---> Adder-cost: 100 maxlim: 109 bits: 8/7 112.68 c ---[ 940]---> Adder-cost: 288 maxlim: 140 bits: 9/8 112.69 c ---[ 938]---> Adder-cost: 106 maxlim: 140 bits: 9/8 112.70 c ---[ 936]---> Adder-cost: 243 maxlim: 125 bits: 8/7 112.71 c ---[ 934]---> Adder-cost: 103 maxlim: 125 bits: 8/7 112.71 c ---[ 932]---> Adder-cost: 50 maxlim: 20 bits: 6/5 112.72 c ---[ 930]---> Adder-cost: 240 maxlim: 116 bits: 8/7 112.72 c ---[ 928]---> Adder-cost: 92 maxlim: 116 bits: 8/7 112.73 c ---[ 926]---> Adder-cost: 212 maxlim: 105 bits: 8/7 112.74 c ---[ 924]---> Adder-cost: 92 maxlim: 105 bits: 8/7 112.75 c ---[ 922]---> Adder-cost: 286 maxlim: 148 bits: 9/8 112.76 c ---[ 920]---> Adder-cost: 116 maxlim: 148 bits: 9/8 112.77 c ---[ 918]---> Adder-cost: 243 maxlim: 117 bits: 8/7 112.77 c ---[ 916]---> Adder-cost: 107 maxlim: 117 bits: 8/7 112.78 c ---[ 914]---> Adder-cost: 206 maxlim: 115 bits: 8/7 112.79 c ---[ 912]---> Adder-cost: 96 maxlim: 115 bits: 8/7 112.80 c ---[ 910]---> Adder-cost: 54 maxlim: 17 bits: 6/5 112.80 c ---[ 908]---> Adder-cost: 224 maxlim: 116 bits: 8/7 112.81 c ---[ 906]---> Adder-cost: 92 maxlim: 116 bits: 8/7 112.81 c ---[ 904]---> Adder-cost: 212 maxlim: 110 bits: 8/7 112.82 c ---[ 902]---> Adder-cost: 96 maxlim: 110 bits: 8/7 112.83 c ---[ 900]---> Adder-cost: 186 maxlim: 112 bits: 8/7 112.84 c ---[ 898]---> Adder-cost: 98 maxlim: 112 bits: 8/7 112.85 c ---[ 896]---> Adder-cost: 196 maxlim: 94 bits: 8/7 112.85 c ---[ 894]---> Adder-cost: 98 maxlim: 94 bits: 8/7 112.86 c ---[ 892]---> Adder-cost: 174 maxlim: 83 bits: 8/7 112.86 c ---[ 890]---> Adder-cost: 80 maxlim: 83 bits: 8/7 112.87 c ---[ 888]---> Adder-cost: 54 maxlim: 18 bits: 6/5 112.87 c ---[ 886]---> Adder-cost: 148 maxlim: 67 bits: 8/7 112.88 c ---[ 884]---> Adder-cost: 162 maxlim: 71 bits: 8/7 112.88 c ---[ 882]---> Adder-cost: 78 maxlim: 71 bits: 8/7 112.89 c ---[ 880]---> Adder-cost: 139 maxlim: 60 bits: 7/6 112.89 c ---[ 878]---> Adder-cost: 75 maxlim: 60 bits: 7/6 112.89 c ---[ 876]---> Adder-cost: 166 maxlim: 79 bits: 8/7 112.90 c ---[ 874]---> Adder-cost: 86 maxlim: 79 bits: 8/7 112.90 c ---[ 872]---> Adder-cost: 149 maxlim: 61 bits: 7/6 112.91 c ---[ 870]---> Adder-cost: 77 maxlim: 61 bits: 7/6 112.91 c ---[ 868]---> Adder-cost: 52 maxlim: 18 bits: 6/5 112.91 c ---[ 866]---> Adder-cost: 135 maxlim: 59 bits: 7/6 112.92 c ---[ 864]---> Adder-cost: 73 maxlim: 59 bits: 7/6 112.92 c ---[ 862]---> Adder-cost: 164 maxlim: 86 bits: 8/7 112.93 c ---[ 860]---> Adder-cost: 84 maxlim: 86 bits: 8/7 112.93 c ---[ 858]---> Adder-cost: 146 maxlim: 89 bits: 8/7 112.94 c ---[ 856]---> Adder-cost: 92 maxlim: 89 bits: 8/7 112.95 c ---[ 854]---> Adder-cost: 235 maxlim: 119 bits: 8/7 112.95 c ---[ 852]---> Adder-cost: 105 maxlim: 119 bits: 8/7 112.96 c ---[ 850]---> Adder-cost: 105 maxlim: 119 bits: 8/7 112.97 c ---[ 848]---> Adder-cost: 105 maxlim: 119 bits: 8/7 112.98 c ---[ 846]---> Adder-cost: 176 maxlim: 116 bits: 8/7 112.99 c ---[ 842]---> Adder-cost: 158 maxlim: 70 bits: 8/7 112.99 c ---[ 840]---> Adder-cost: 82 maxlim: 70 bits: 8/7 113.00 c ---[ 838]---> Adder-cost: 148 maxlim: 65 bits: 8/7 113.00 c ---[ 836]---> Adder-cost: 78 maxlim: 65 bits: 8/7 113.01 c ---[ 834]---> Adder-cost: 128 maxlim: 65 bits: 8/7 113.01 c ---[ 832]---> Adder-cost: 78 maxlim: 65 bits: 8/7 113.02 c ---[ 830]---> Adder-cost: 178 maxlim: 75 bits: 8/7 113.02 c ---[ 828]---> Adder-cost: 71 maxlim: 26 bits: 6/5 113.02 c ---[ 826]---> Adder-cost: 120 maxlim: 73 bits: 8/7 113.03 c ---[ 824]---> Adder-cost: 88 maxlim: 32 bits: 7/6 113.03 c ---[ 822]---> Adder-cost: 90 maxlim: 38 bits: 7/6 113.03 c ---[ 820]---> Adder-cost: 80 maxlim: 37 bits: 7/6 113.04 c ---[ 818]---> Adder-cost: 77 maxlim: 30 bits: 6/5 113.04 c ---[ 816]---> Adder-cost: 172 maxlim: 76 bits: 8/7 113.04 c ---[ 814]---> Adder-cost: 84 maxlim: 76 bits: 8/7 113.05 c ---[ 812]---> Adder-cost: 148 maxlim: 67 bits: 8/7 113.05 c ---[ 810]---> Adder-cost: 80 maxlim: 67 bits: 8/7 113.06 c ---[ 808]---> Adder-cost: 118 maxlim: 47 bits: 7/6 113.06 c ---[ 806]---> Adder-cost: 62 maxlim: 47 bits: 7/6 113.07 c ---[ 804]---> Adder-cost: 137 maxlim: 55 bits: 7/6 113.07 c ---[ 802]---> Adder-cost: 77 maxlim: 55 bits: 7/6 113.07 c ---[ 800]---> Sorter-cost: 577 Base: 2 113.08 c ---[ 798]---> Sorter-cost: 548 Base: 7 113.08 c ---[ 796]---> Adder-cost: 86 maxlim: 32 bits: 7/6 113.08 c ---[ 794]---> Adder-cost: 77 maxlim: 25 bits: 6/5 113.08 c ---[ 792]---> Adder-cost: 86 maxlim: 35 bits: 7/6 113.09 c ---[ 790]---> Adder-cost: 139 maxlim: 55 bits: 7/6 113.09 c ---[ 788]---> Adder-cost: 192 maxlim: 87 bits: 8/7 113.09 c ---[ 786]---> Adder-cost: 212 maxlim: 99 bits: 8/7 113.10 c ---[ 784]---> Adder-cost: 147 maxlim: 61 bits: 7/6 113.11 c ---[ 782]---> Adder-cost: 124 maxlim: 51 bits: 7/6 113.11 c ---[ 780]---> Adder-cost: 156 maxlim: 66 bits: 8/7 113.11 c ---[ 778]---> Adder-cost: 164 maxlim: 71 bits: 8/7 113.12 c ---[ 776]---> Adder-cost: 130 maxlim: 74 bits: 8/7 113.12 c ---[ 774]---> Adder-cost: 230 maxlim: 108 bits: 8/7 113.13 c ---[ 772]---> Adder-cost: 96 maxlim: 108 bits: 8/7 113.14 c ---[ 770]---> Adder-cost: 241 maxlim: 123 bits: 8/7 113.15 c ---[ 768]---> Adder-cost: 101 maxlim: 123 bits: 8/7 113.16 c ---[ 766]---> Adder-cost: 68 maxlim: 36 bits: 7/6 113.16 c ---[ 764]---> Adder-cost: 156 maxlim: 69 bits: 8/7 113.16 c ---[ 762]---> Adder-cost: 82 maxlim: 69 bits: 8/7 113.17 c ---[ 760]---> Adder-cost: 198 maxlim: 86 bits: 8/7 113.17 c ---[ 758]---> Adder-cost: 84 maxlim: 86 bits: 8/7 113.18 c ---[ 756]---> Adder-cost: 204 maxlim: 98 bits: 8/7 113.19 c ---[ 754]---> Adder-cost: 82 maxlim: 98 bits: 8/7 113.19 c ---[ 752]---> Adder-cost: 172 maxlim: 90 bits: 8/7 113.20 c ---[ 750]---> Adder-cost: 92 maxlim: 90 bits: 8/7 113.20 c ---[ 748]---> Adder-cost: 132 maxlim: 94 bits: 8/7 113.21 c ---[ 746]---> Adder-cost: 98 maxlim: 94 bits: 8/7 113.22 c ---[ 744]---> Adder-cost: 56 maxlim: 36 bits: 7/6 113.22 c ---[ 741]---> Adder-cost: 121 maxlim: 55 bits: 7/6 113.22 c ---[ 739]---> Adder-cost: 127 maxlim: 61 bits: 7/6 113.23 c ---[ 737]---> Adder-cost: 131 maxlim: 58 bits: 7/6 113.23 c ---[ 735]---> Adder-cost: 73 maxlim: 22 bits: 6/5 113.23 c ---[ 733]---> Adder-cost: 84 maxlim: 32 bits: 7/6 113.24 c ---[ 730]---> Adder-cost: 63 maxlim: 22 bits: 6/5 113.24 c ---[ 728]---> Adder-cost: 104 maxlim: 39 bits: 7/6 113.24 c ---[ 726]---> Adder-cost: 100 maxlim: 38 bits: 7/6 113.24 c ---[ 724]---> Adder-cost: 58 maxlim: 38 bits: 7/6 113.25 c ---[ 722]---> Adder-cost: 186 maxlim: 84 bits: 8/7 113.25 c ---[ 720]---> Adder-cost: 88 maxlim: 84 bits: 8/7 113.26 c ---[ 718]---> Adder-cost: 190 maxlim: 86 bits: 8/7 113.26 c ---[ 715]---> Adder-cost: 84 maxlim: 86 bits: 8/7 113.27 c ---[ 713]---> Adder-cost: 112 maxlim: 46 bits: 7/6 113.27 c ---[ 711]---> Adder-cost: 106 maxlim: 51 bits: 7/6 113.28 c ---[ 709]---> Adder-cost: 196 maxlim: 91 bits: 8/7 113.28 c ---[ 706]---> Adder-cost: 116 maxlim: 48 bits: 7/6 113.29 c ---[ 704]---> Adder-cost: 89 maxlim: 54 bits: 7/6 113.29 c ---[ 702]---> Adder-cost: 92 maxlim: 34 bits: 7/6 113.29 c ---[ 700]---> Adder-cost: 103 maxlim: 53 bits: 7/6 113.30 c ---[ 698]---> Adder-cost: 58 maxlim: 34 bits: 7/6 113.30 c ---[ 696]---> Adder-cost: 106 maxlim: 40 bits: 7/6 113.30 c ---[ 694]---> Adder-cost: 80 maxlim: 41 bits: 7/6 113.31 c ---[ 692]---> Adder-cost: 88 maxlim: 35 bits: 7/6 113.31 c ---[ 690]---> Adder-cost: 56 maxlim: 35 bits: 7/6 113.31 c ---[ 688]---> Adder-cost: 218 maxlim: 100 bits: 8/7 113.32 c ---[ 686]---> Adder-cost: 96 maxlim: 100 bits: 8/7 113.33 c ---[ 684]---> Adder-cost: 200 maxlim: 100 bits: 8/7 113.33 c ---[ 682]---> Adder-cost: 96 maxlim: 100 bits: 8/7 113.34 c ---[ 680]---> Adder-cost: 168 maxlim: 87 bits: 8/7 113.34 c ---[ 678]---> Adder-cost: 50 maxlim: 18 bits: 6/5 113.35 c ---[ 676]---> Adder-cost: 142 maxlim: 82 bits: 8/7 113.35 c ---[ 674]---> Adder-cost: 269 maxlim: 122 bits: 8/7 113.36 c ---[ 672]---> Adder-cost: 165 maxlim: 120 bits: 8/7 113.37 c ---[ 670]---> Adder-cost: 90 maxlim: 33 bits: 7/6 113.37 c ---[ 668]---> Adder-cost: 84 maxlim: 34 bits: 7/6 113.37 c ---[ 666]---> Adder-cost: 108 maxlim: 51 bits: 7/6 113.38 c ---[ 664]---> Adder-cost: 64 maxlim: 51 bits: 7/6 113.38 c ---[ 662]---> Adder-cost: 100 maxlim: 37 bits: 7/6 113.38 c ---[ 660]---> Adder-cost: 64 maxlim: 37 bits: 7/6 113.39 c ---[ 658]---> Adder-cost: 110 maxlim: 48 bits: 7/6 113.39 c ---[ 656]---> Sorter-cost: 577 Base: 2 113.39 c ---[ 654]---> Adder-cost: 94 maxlim: 51 bits: 7/6 113.40 c ---[ 652]---> Adder-cost: 90 maxlim: 32 bits: 7/6 113.40 c ---[ 650]---> Adder-cost: 52 maxlim: 32 bits: 7/6 113.40 c ---[ 648]---> Adder-cost: 90 maxlim: 33 bits: 7/6 113.40 c ---[ 646]---> Adder-cost: 85 maxlim: 31 bits: 6/5 113.41 c ---[ 643]---> Adder-cost: 170 maxlim: 79 bits: 8/7 113.41 c ---[ 641]---> Adder-cost: 86 maxlim: 47 bits: 7/6 113.41 c ---[ 639]---> Sorter-cost: 788 Base: 7 113.42 c ---[ 637]---> Adder-cost: 62 maxlim: 47 bits: 7/6 113.42 c ---[ 635]---> Adder-cost: 114 maxlim: 48 bits: 7/6 113.42 c ---[ 633]---> Adder-cost: 68 maxlim: 48 bits: 7/6 113.43 c ---[ 631]---> Adder-cost: 125 maxlim: 56 bits: 7/6 113.43 c ---[ 629]---> Adder-cost: 71 maxlim: 56 bits: 7/6 113.44 c ---[ 627]---> Adder-cost: 190 maxlim: 82 bits: 8/7 113.44 c ---[ 625]---> Adder-cost: 88 maxlim: 82 bits: 8/7 113.45 c ---[ 623]---> Adder-cost: 172 maxlim: 75 bits: 8/7 113.45 c ---[ 621]---> Adder-cost: 90 maxlim: 75 bits: 8/7 113.46 c ---[ 619]---> Adder-cost: 94 maxlim: 35 bits: 7/6 113.46 c ---[ 617]---> Sorter-cost: 734 Base: 7 113.46 c ---[ 615]---> Adder-cost: 56 maxlim: 35 bits: 7/6 113.46 c ---[ 613]---> Adder-cost: 106 maxlim: 42 bits: 7/6 113.47 c ---[ 611]---> Adder-cost: 96 maxlim: 43 bits: 7/6 113.47 c ---[ 607]---> Adder-cost: 220 maxlim: 103 bits: 8/7 113.48 c ---[ 605]---> Adder-cost: 94 maxlim: 103 bits: 8/7 113.49 c ---[ 603]---> Adder-cost: 176 maxlim: 101 bits: 8/7 113.49 c ---[ 601]---> Adder-cost: 92 maxlim: 101 bits: 8/7 113.50 c ---[ 599]---> Adder-cost: 190 maxlim: 87 bits: 8/7 113.50 c ---[ 597]---> Sorter-cost: 708 Base: 7 113.51 c ---[ 594]---> Adder-cost: 206 maxlim: 97 bits: 8/7 113.51 c ---[ 590]---> Adder-cost: 100 maxlim: 44 bits: 7/6 113.52 c ---[ 588]---> Adder-cost: 114 maxlim: 45 bits: 7/6 113.52 c ---[ 586]---> Adder-cost: 66 maxlim: 45 bits: 7/6 113.52 c ---[ 584]---> Adder-cost: 118 maxlim: 49 bits: 7/6 113.53 c ---[ 582]---> Adder-cost: 145 maxlim: 61 bits: 7/6 113.53 c ---[ 580]---> Adder-cost: 123 maxlim: 56 bits: 7/6 113.54 c ---[ 578]---> Adder-cost: 73 maxlim: 27 bits: 6/5 113.54 c ---[ 576]---> Adder-cost: 112 maxlim: 50 bits: 7/6 113.54 c ---[ 574]---> Adder-cost: 62 maxlim: 50 bits: 7/6 113.55 c ---[ 572]---> Adder-cost: 96 maxlim: 35 bits: 7/6 113.55 c ---[ 570]---> Adder-cost: 82 maxlim: 34 bits: 7/6 113.55 c ---[ 568]---> Adder-cost: 124 maxlim: 50 bits: 7/6 113.55 c ---[ 566]---> Adder-cost: 110 maxlim: 48 bits: 7/6 113.56 c ---[ 564]---> Adder-cost: 100 maxlim: 44 bits: 7/6 113.56 c ---[ 562]---> Adder-cost: 56 maxlim: 44 bits: 7/6 113.57 c ---[ 560]---> Adder-cost: 202 maxlim: 87 bits: 8/7 113.57 c ---[ 558]---> Adder-cost: 94 maxlim: 87 bits: 8/7 113.58 c ---[ 556]---> Sorter-cost: 708 Base: 7 113.58 c ---[ 554]---> Adder-cost: 182 maxlim: 90 bits: 8/7 113.58 c ---[ 552]---> Adder-cost: 92 maxlim: 90 bits: 8/7 113.59 c ---[ 550]---> Adder-cost: 176 maxlim: 80 bits: 8/7 113.60 c ---[ 547]---> Adder-cost: 112 maxlim: 45 bits: 7/6 113.60 c ---[ 545]---> Adder-cost: 92 maxlim: 52 bits: 7/6 113.60 c ---[ 543]---> Adder-cost: 129 maxlim: 59 bits: 7/6 113.61 c ---[ 541]---> Adder-cost: 100 maxlim: 37 bits: 7/6 113.61 c ---[ 539]---> Adder-cost: 137 maxlim: 55 bits: 7/6 113.61 c ---[ 537]---> Adder-cost: 98 maxlim: 37 bits: 7/6 113.62 c ---[ 535]---> Adder-cost: 104 maxlim: 37 bits: 7/6 113.62 c ---[ 533]---> Adder-cost: 100 maxlim: 37 bits: 7/6 113.62 c ---[ 531]---> Adder-cost: 232 maxlim: 103 bits: 8/7 113.63 c ---[ 529]---> Adder-cost: 66 maxlim: 35 bits: 7/6 113.63 c ---[ 527]---> Adder-cost: 224 maxlim: 105 bits: 8/7 113.64 c ---[ 525]---> Adder-cost: 172 maxlim: 84 bits: 8/7 113.65 c ---[ 523]---> Adder-cost: 88 maxlim: 84 bits: 8/7 113.65 c ---[ 521]---> Adder-cost: 238 maxlim: 112 bits: 8/7 113.66 c ---[ 519]---> Adder-cost: 98 maxlim: 112 bits: 8/7 113.67 c ---[ 517]---> Adder-cost: 156 maxlim: 68 bits: 8/7 113.67 c ---[ 515]---> Adder-cost: 238 maxlim: 109 bits: 8/7 113.68 c ---[ 513]---> Adder-cost: 100 maxlim: 109 bits: 8/7 113.69 c ---[ 511]---> Adder-cost: 71 maxlim: 23 bits: 6/5 113.69 c ---[ 509]---> Adder-cost: 214 maxlim: 111 bits: 8/7 113.70 c ---[ 507]---> Adder-cost: 98 maxlim: 111 bits: 8/7 113.70 c ---[ 505]---> Adder-cost: 98 maxlim: 111 bits: 8/7 113.71 c ---[ 502]---> Adder-cost: 148 maxlim: 66 bits: 8/7 113.72 c ---[ 500]---> Adder-cost: 96 maxlim: 50 bits: 7/6 113.72 c ---[ 498]---> Adder-cost: 102 maxlim: 46 bits: 7/6 113.72 c ---[ 496]---> Adder-cost: 178 maxlim: 81 bits: 8/7 113.73 c ---[ 494]---> Adder-cost: 51 maxlim: 23 bits: 6/5 113.73 c ---[ 492]---> Sorter-cost: 577 Base: 2 113.73 c ---[ 490]---> Adder-cost: 56 maxlim: 16 bits: 6/5 113.73 c ---[ 488]---> Adder-cost: 90 maxlim: 35 bits: 7/6 113.74 c ---[ 486]---> Adder-cost: 80 maxlim: 34 bits: 7/6 113.74 c ---[ 484]---> Adder-cost: 172 maxlim: 76 bits: 8/7 113.75 c ---[ 482]---> Adder-cost: 141 maxlim: 56 bits: 7/6 113.75 c ---[ 480]---> Adder-cost: 140 maxlim: 73 bits: 8/7 113.75 c ---[ 478]---> Adder-cost: 150 maxlim: 64 bits: 8/7 113.76 c ---[ 476]---> Adder-cost: 80 maxlim: 64 bits: 8/7 113.76 c ---[ 474]---> Adder-cost: 135 maxlim: 59 bits: 7/6 113.77 c ---[ 472]---> Adder-cost: 73 maxlim: 59 bits: 7/6 113.77 c ---[ 470]---> Adder-cost: 192 maxlim: 83 bits: 8/7 113.78 c ---[ 468]---> Adder-cost: 80 maxlim: 83 bits: 8/7 113.78 c ---[ 466]---> Adder-cost: 284 maxlim: 130 bits: 9/8 113.79 c ---[ 464]---> Adder-cost: 71 maxlim: 56 bits: 7/6 113.80 c ---[ 462]---> Adder-cost: 108 maxlim: 130 bits: 9/8 113.81 c ---[ 460]---> Adder-cost: 229 maxlim: 117 bits: 8/7 113.81 c ---[ 458]---> Adder-cost: 107 maxlim: 117 bits: 8/7 113.82 c ---[ 454]---> Adder-cost: 104 maxlim: 39 bits: 7/6 113.83 c ---[ 452]---> Adder-cost: 68 maxlim: 39 bits: 7/6 113.83 c ---[ 450]---> Adder-cost: 98 maxlim: 40 bits: 7/6 113.83 c ---[ 448]---> Adder-cost: 87 maxlim: 29 bits: 6/5 113.83 c ---[ 446]---> Adder-cost: 147 maxlim: 60 bits: 7/6 113.84 c ---[ 444]---> Adder-cost: 59 maxlim: 27 bits: 6/5 113.84 c ---[ 442]---> Adder-cost: 96 maxlim: 36 bits: 7/6 113.84 c ---[ 440]---> Adder-cost: 149 maxlim: 62 bits: 7/6 113.85 c ---[ 438]---> Adder-cost: 149 maxlim: 62 bits: 7/6 113.85 c ---[ 436]---> Adder-cost: 92 maxlim: 36 bits: 7/6 113.86 c ---[ 434]---> Adder-cost: 106 maxlim: 40 bits: 7/6 113.86 c ---[ 432]---> Adder-cost: 102 maxlim: 41 bits: 7/6 113.86 c ---[ 430]---> Adder-cost: 87 maxlim: 30 bits: 6/5 113.86 c ---[ 428]---> Adder-cost: 99 maxlim: 61 bits: 7/6 113.87 c ---[ 426]---> Adder-cost: 59 maxlim: 30 bits: 6/5 113.87 c ---[ 424]---> Adder-cost: 87 maxlim: 29 bits: 6/5 113.87 c ---[ 422]---> Adder-cost: 55 maxlim: 29 bits: 6/5 113.88 c ---[ 420]---> Adder-cost: 73 maxlim: 21 bits: 6/5 113.88 c ---[ 418]---> Adder-cost: 75 maxlim: 24 bits: 6/5 113.88 c ---[ 416]---> Adder-cost: 51 maxlim: 24 bits: 6/5 113.88 c ---[ 414]---> Adder-cost: 94 maxlim: 36 bits: 7/6 113.88 c ---[ 412]---> Adder-cost: 228 maxlim: 103 bits: 8/7 113.89 c ---[ 410]---> Adder-cost: 124 maxlim: 66 bits: 8/7 113.90 c ---[ 408]---> Adder-cost: 94 maxlim: 103 bits: 8/7 113.90 c ---[ 406]---> Adder-cost: 234 maxlim: 104 bits: 8/7 113.91 c ---[ 404]---> Adder-cost: 92 maxlim: 104 bits: 8/7 113.92 c ---[ 401]---> Adder-cost: 152 maxlim: 66 bits: 8/7 113.92 c ---[ 399]---> Adder-cost: 133 maxlim: 62 bits: 7/6 113.93 c ---[ 397]---> Adder-cost: 98 maxlim: 37 bits: 7/6 113.93 c ---[ 395]---> Adder-cost: 84 maxlim: 66 bits: 8/7 113.94 c ---[ 393]---> Adder-cost: 102 maxlim: 39 bits: 7/6 113.94 c ---[ 391]---> Adder-cost: 94 maxlim: 40 bits: 7/6 113.94 c ---[ 389]---> Adder-cost: 92 maxlim: 44 bits: 7/6 113.95 c ---[ 387]---> Adder-cost: 102 maxlim: 46 bits: 7/6 113.95 c ---[ 385]---> Adder-cost: 108 maxlim: 49 bits: 7/6 113.95 c ---[ 383]---> Adder-cost: 196 maxlim: 87 bits: 8/7 113.96 c ---[ 381]---> Adder-cost: 112 maxlim: 51 bits: 7/6 113.96 c ---[ 379]---> Adder-cost: 110 maxlim: 50 bits: 7/6 113.97 c ---[ 377]---> Adder-cost: 137 maxlim: 53 bits: 7/6 113.97 c ---[ 375]---> Adder-cost: 129 maxlim: 61 bits: 7/6 113.97 c ---[ 373]---> Adder-cost: 127 maxlim: 59 bits: 7/6 113.98 c ---[ 371]---> Adder-cost: 94 maxlim: 87 bits: 8/7 113.98 c ---[ 369]---> Adder-cost: 174 maxlim: 75 bits: 8/7 113.99 c ---[ 367]---> Adder-cost: 170 maxlim: 80 bits: 8/7 114.00 c ---[ 365]---> Adder-cost: 168 maxlim: 81 bits: 8/7 114.00 c ---[ 363]---> Adder-cost: 243 maxlim: 118 bits: 8/7 114.01 c ---[ 361]---> Adder-cost: 111 maxlim: 118 bits: 8/7 114.02 c ---[ 359]---> Adder-cost: 212 maxlim: 111 bits: 8/7 114.02 c ---[ 357]---> Adder-cost: 98 maxlim: 111 bits: 8/7 114.03 c ---[ 355]---> Adder-cost: 174 maxlim: 90 bits: 8/7 114.04 c ---[ 353]---> Adder-cost: 239 maxlim: 125 bits: 8/7 114.05 c ---[ 351]---> Adder-cost: 103 maxlim: 125 bits: 8/7 114.05 c ---[ 349]---> Adder-cost: 223 maxlim: 119 bits: 8/7 114.06 c ---[ 347]---> Adder-cost: 105 maxlim: 119 bits: 8/7 114.07 c ---[ 345]---> Adder-cost: 212 maxlim: 131 bits: 9/8 114.08 c ---[ 343]---> Adder-cost: 102 maxlim: 131 bits: 9/8 114.09 c ---[ 341]---> Adder-cost: 209 maxlim: 127 bits: 8/7 114.10 c ---[ 339]---> Adder-cost: 111 maxlim: 127 bits: 8/7 114.11 c ---[ 337]---> Adder-cost: 154 maxlim: 75 bits: 8/7 114.11 c ---[ 335]---> Adder-cost: 90 maxlim: 75 bits: 8/7 114.12 c ---[ 333]---> Adder-cost: 154 maxlim: 89 bits: 8/7 114.12 c ---[ 331]---> Adder-cost: 130 maxlim: 78 bits: 8/7 114.13 c ---[ 329]---> Adder-cost: 84 maxlim: 78 bits: 8/7 114.13 c ---[ 327]---> Adder-cost: 104 maxlim: 41 bits: 7/6 114.14 c ---[ 325]---> Adder-cost: 145 maxlim: 63 bits: 7/6 114.14 c ---[ 323]---> Adder-cost: 249 maxlim: 117 bits: 8/7 114.15 c ---[ 321]---> Adder-cost: 198 maxlim: 92 bits: 8/7 114.15 c ---[ 319]---> Adder-cost: 110 maxlim: 48 bits: 7/6 114.16 c ---[ 317]---> Adder-cost: 216 maxlim: 102 bits: 8/7 114.17 c ---[ 315]---> Adder-cost: 100 maxlim: 102 bits: 8/7 114.17 c ---[ 313]---> Adder-cost: 182 maxlim: 84 bits: 8/7 114.18 c ---[ 311]---> Adder-cost: 88 maxlim: 84 bits: 8/7 114.18 c ---[ 309]---> Adder-cost: 200 maxlim: 93 bits: 8/7 114.19 c ---[ 307]---> Adder-cost: 102 maxlim: 93 bits: 8/7 114.20 c ---[ 305]---> Adder-cost: 212 maxlim: 109 bits: 8/7 114.20 c ---[ 303]---> Adder-cost: 100 maxlim: 109 bits: 8/7 114.21 c ---[ 301]---> Adder-cost: 231 maxlim: 126 bits: 8/7 114.22 c ---[ 299]---> Adder-cost: 105 maxlim: 126 bits: 8/7 114.23 c ---[ 297]---> Adder-cost: 82 maxlim: 42 bits: 7/6 114.23 c ---[ 295]---> Adder-cost: 194 maxlim: 115 bits: 8/7 114.24 c ---[ 293]---> Adder-cost: 96 maxlim: 115 bits: 8/7 114.25 c ---[ 291]---> Adder-cost: 243 maxlim: 125 bits: 8/7 114.26 c ---[ 289]---> Adder-cost: 280 maxlim: 140 bits: 9/8 114.27 c ---[ 287]---> Adder-cost: 498 maxlim: 259 bits: 10/9 114.29 c ---[ 285]---> Adder-cost: 150 maxlim: 259 bits: 10/9 114.31 c ---[ 283]---> Adder-cost: 468 maxlim: 263 bits: 10/9 114.33 c ---[ 281]---> Adder-cost: 156 maxlim: 263 bits: 10/9 114.35 c ---[ 279]---> Adder-cost: 170 maxlim: 77 bits: 8/7 114.35 c ---[ 277]---> Adder-cost: 488 maxlim: 278 bits: 10/9 114.37 c ---[ 275]---> Adder-cost: 160 maxlim: 278 bits: 10/9 114.39 c ---[ 273]---> Adder-cost: 408 maxlim: 270 bits: 10/9 114.41 c ---[ 271]---> Adder-cost: 166 maxlim: 270 bits: 10/9 114.43 c ---[ 269]---> Adder-cost: 406 maxlim: 271 bits: 10/9 114.46 c ---[ 267]---> Adder-cost: 166 maxlim: 271 bits: 10/9 114.48 c ---[ 265]---> Adder-cost: 339 maxlim: 248 bits: 9/8 114.49 c ---[ 263]---> Adder-cost: 149 maxlim: 248 bits: 9/8 114.51 c ---[ 261]---> Adder-cost: 392 maxlim: 243 bits: 9/8 114.53 c ---[ 259]---> Adder-cost: 148 maxlim: 243 bits: 9/8 114.54 c ---[ 257]---> Adder-cost: 126 maxlim: 77 bits: 8/7 114.55 c ---[ 255]---> Adder-cost: 357 maxlim: 247 bits: 9/8 114.57 c ---[ 253]---> Adder-cost: 163 maxlim: 247 bits: 9/8 114.58 c ---[ 251]---> Adder-cost: 280 maxlim: 244 bits: 9/8 114.60 c ---[ 249]---> Adder-cost: 148 maxlim: 244 bits: 9/8 114.62 c ---[ 247]---> Adder-cost: 148 maxlim: 244 bits: 9/8 114.63 c ---[ 245]---> Adder-cost: 148 maxlim: 244 bits: 9/8 114.65 c ---[ 243]---> Adder-cost: 190 maxlim: 234 bits: 9/8 114.67 c ---[ 240]---> Adder-cost: 220 maxlim: 106 bits: 8/7 114.67 c ---[ 238]---> Adder-cost: 132 maxlim: 64 bits: 8/7 114.68 c ---[ 236]---> Adder-cost: 190 maxlim: 89 bits: 8/7 114.69 c ---[ 234]---> Adder-cost: 94 maxlim: 106 bits: 8/7 114.69 c ---[ 232]---> Adder-cost: 245 maxlim: 117 bits: 8/7 114.70 c ---[ 230]---> Adder-cost: 162 maxlim: 116 bits: 8/7 114.71 c ---[ 228]---> Adder-cost: 165 maxlim: 119 bits: 8/7 114.72 c ---[ 226]---> Adder-cost: 145 maxlim: 118 bits: 8/7 114.72 c ---[ 224]---> Adder-cost: 184 maxlim: 95 bits: 8/7 114.73 c ---[ 222]---> Adder-cost: 253 maxlim: 123 bits: 8/7 114.74 c ---[ 220]---> Adder-cost: 204 maxlim: 107 bits: 8/7 114.75 c ---[ 218]---> Adder-cost: 162 maxlim: 88 bits: 8/7 114.75 c ---[ 216]---> Adder-cost: 238 maxlim: 111 bits: 8/7 114.76 c ---[ 214]---> Adder-cost: 304 maxlim: 157 bits: 9/8 114.77 c ---[ 212]---> Adder-cost: 256 maxlim: 153 bits: 9/8 114.78 c ---[ 210]---> Adder-cost: 243 maxlim: 120 bits: 8/7 114.79 c ---[ 207]---> Adder-cost: 143 maxlim: 60 bits: 7/6 114.79 c ---[ 205]---> Adder-cost: 158 maxlim: 70 bits: 8/7 114.80 c ---[ 203]---> Adder-cost: 216 maxlim: 105 bits: 8/7 114.81 c ---[ 201]---> Adder-cost: 82 maxlim: 70 bits: 8/7 114.81 c ---[ 199]---> Adder-cost: 146 maxlim: 62 bits: 7/6 114.82 c ---[ 197]---> Adder-cost: 73 maxlim: 62 bits: 7/6 114.82 c ---[ 193]---> Adder-cost: 268 maxlim: 131 bits: 9/8 114.83 c ---[ 190]---> Adder-cost: 178 maxlim: 92 bits: 8/7 114.84 c ---[ 186]---> Adder-cost: 198 maxlim: 106 bits: 8/7 114.84 c ---[ 184]---> Adder-cost: 143 maxlim: 58 bits: 7/6 114.85 c ---[ 182]---> Adder-cost: 135 maxlim: 56 bits: 7/6 114.85 c ---[ 178]---> Adder-cost: 148 maxlim: 66 bits: 8/7 114.86 c ---[ 176]---> Adder-cost: 176 maxlim: 97 bits: 8/7 114.86 c ---[ 174]---> Adder-cost: 128 maxlim: 76 bits: 8/7 114.87 c ---[ 172]---> Adder-cost: 192 maxlim: 96 bits: 8/7 114.87 c ---[ 170]---> Adder-cost: 220 maxlim: 110 bits: 8/7 114.88 c ---[ 168]---> Adder-cost: 112 maxlim: 45 bits: 7/6 114.88 c ---[ 166]---> Adder-cost: 54 maxlim: 17 bits: 6/5 114.89 c ---[ 164]---> Adder-cost: 60 maxlim: 19 bits: 6/5 114.89 c ---[ 162]---> Adder-cost: 56 maxlim: 20 bits: 6/5 114.89 c ---[ 160]---> Adder-cost: 180 maxlim: 95 bits: 8/7 114.90 c ---[ 158]---> Adder-cost: 166 maxlim: 75 bits: 8/7 114.90 c ---[ 156]---> Adder-cost: 255 maxlim: 120 bits: 8/7 114.91 c ---[ 154]---> Adder-cost: 115 maxlim: 120 bits: 8/7 114.92 c ---[ 152]---> Adder-cost: 184 maxlim: 116 bits: 8/7 114.93 c ---[ 150]---> Adder-cost: 92 maxlim: 116 bits: 8/7 114.93 c ---[ 148]---> Adder-cost: 174 maxlim: 80 bits: 8/7 114.94 c ---[ 146]---> Adder-cost: 148 maxlim: 65 bits: 8/7 114.94 c ---[ 144]---> Adder-cost: 142 maxlim: 86 bits: 8/7 114.95 c ---[ 142]---> Adder-cost: 141 maxlim: 56 bits: 7/6 114.95 c ---[ 140]---> Adder-cost: 206 maxlim: 89 bits: 8/7 114.96 c ---[ 138]---> Adder-cost: 92 maxlim: 89 bits: 8/7 114.97 c ---[ 136]---> Adder-cost: 139 maxlim: 54 bits: 7/6 114.97 c ---[ 134]---> Adder-cost: 75 maxlim: 54 bits: 7/6 114.97 c ---[ 132]---> Adder-cost: 116 maxlim: 50 bits: 7/6 114.98 c ---[ 130]---> Adder-cost: 62 maxlim: 50 bits: 7/6 114.98 c ---[ 128]---> Adder-cost: 145 maxlim: 59 bits: 7/6 114.99 c ---[ 126]---> Adder-cost: 73 maxlim: 59 bits: 7/6 114.99 c ---[ 124]---> Adder-cost: 84 maxlim: 86 bits: 8/7 114.99 c ---[ 122]---> Adder-cost: 240 maxlim: 109 bits: 8/7 115.00 c ---[ 118]---> Adder-cost: 77 maxlim: 27 bits: 6/5 115.00 c ---[ 116]---> Sorter-cost: 577 Base: 2 115.01 c ---[ 114]---> Sorter-cost: 641 Base: 7 115.01 c ---[ 112]---> Sorter-cost: 668 Base: 7 115.01 c ---[ 110]---> Adder-cost: 75 maxlim: 23 bits: 6/5 115.01 c ---[ 108]---> Adder-cost: 180 maxlim: 86 bits: 8/7 115.02 c ---[ 106]---> Adder-cost: 190 maxlim: 85 bits: 8/7 115.02 c ---[ 104]---> Adder-cost: 204 maxlim: 102 bits: 8/7 115.03 c ---[ 102]---> Adder-cost: 200 maxlim: 93 bits: 8/7 115.04 c ---[ 100]---> Adder-cost: 192 maxlim: 92 bits: 8/7 115.04 c ---[ 98]---> Sorter-cost: 577 Base: 2 115.04 c ---[ 96]---> Adder-cost: 104 maxlim: 40 bits: 7/6 115.05 c ---[ 94]---> Adder-cost: 116 maxlim: 50 bits: 7/6 115.05 c ---[ 92]---> Adder-cost: 123 maxlim: 54 bits: 7/6 115.05 c ---[ 90]---> Adder-cost: 150 maxlim: 66 bits: 8/7 115.06 c ---[ 88]---> Adder-cost: 145 maxlim: 63 bits: 7/6 115.06 c ---[ 86]---> Adder-cost: 136 maxlim: 68 bits: 8/7 115.07 c ---[ 84]---> Adder-cost: 96 maxlim: 85 bits: 8/7 115.07 c ---[ 82]---> Adder-cost: 192 maxlim: 87 bits: 8/7 115.08 c ---[ 80]---> Adder-cost: 200 maxlim: 95 bits: 8/7 115.09 c ---[ 78]---> Adder-cost: 164 maxlim: 76 bits: 8/7 115.09 c ---[ 76]---> Adder-cost: 139 maxlim: 59 bits: 7/6 115.10 c ---[ 74]---> Adder-cost: 127 maxlim: 55 bits: 7/6 115.10 c ---[ 72]---> Adder-cost: 114 maxlim: 52 bits: 7/6 115.10 c ---[ 70]---> Adder-cost: 104 maxlim: 44 bits: 7/6 115.11 c ---[ 68]---> Adder-cost: 112 maxlim: 48 bits: 7/6 115.11 c ---[ 66]---> Adder-cost: 116 maxlim: 52 bits: 7/6 115.11 c ---[ 64]---> Adder-cost: 260 maxlim: 152 bits: 9/8 115.13 c ---[ 63]---> BDD-cost:141673 1345.78 c ---[ 62]---> Adder-cost: 161 maxlim: 69 bits: 8/7 1345.78 c ---[ 61]---> Adder-cost: 49 maxlim: 19 bits: 6/5 1345.78 c ---[ 60]---> Adder-cost: 87 maxlim: 44 bits: 7/6 1345.79 c ---[ 59]---> Adder-cost: 227 maxlim: 99 bits: 8/7 1345.80 c ---[ 58]---> Sorter-cost: 533 Base: 7 1345.80 c ---[ 57]---> Adder-cost: 89 maxlim: 71 bits: 8/7 1345.80 c ---[ 56]---> Adder-cost: 91 maxlim: 57 bits: 7/6 1345.81 c ---[ 55]---> Adder-cost: 175 maxlim: 75 bits: 8/7 1345.81 c ---[ 54]---> Adder-cost: 49 maxlim: 19 bits: 6/5 1345.82 c ---[ 53]---> Adder-cost: 103 maxlim: 50 bits: 7/6 1345.82 c ---[ 52]---> Adder-cost: 87 maxlim: 33 bits: 7/6 1345.82 c ---[ 51]---> Adder-cost: 227 maxlim: 100 bits: 8/7 1345.83 c ---[ 50]---> Adder-cost: 205 maxlim: 90 bits: 8/7 1345.84 c ---[ 49]---> Adder-cost: 183 maxlim: 87 bits: 8/7 1345.85 c ---[ 48]---> Adder-cost: 261 maxlim: 118 bits: 8/7 1345.85 c ---[ 47]---> Adder-cost: 6946 maxlim: 3836 bits: 13/12 1346.24 c ---[ 46]---> Adder-cost: 158 maxlim: 59 bits: 7/6 1346.25 c ---[ 45]---> Adder-cost: 3151 maxlim: 1702 bits: 12/11 1346.45 c ---[ 44]---> Adder-cost: 43567 maxlim: 48680 bits: 17/16 1349.23 c ---[ 43]---> Adder-cost: 5010 maxlim: 1654 bits: 12/11 1349.47 c ---[ 42]---> Adder-cost: 3995 maxlim: 5365 bits: 14/13 1349.65 c ---[ 41]---> Adder-cost: 22674 maxlim: 30621 bits: 16/15 1350.92 c ---[ 40]---> Adder-cost: 307 maxlim: 478 bits: 10/9 1350.93 c ---[ 39]---> Adder-cost: 589 maxlim: 1112 bits: 12/11 1350.97 c ---[ 38]---> Adder-cost: 765 maxlim: 2264 bits: 13/12 1351.02 c ---[ 37]---> Adder-cost: 631 maxlim: 1491 bits: 12/11 1351.05 c ---[ 36]---> Adder-cost: 755 maxlim: 1214 bits: 12/11 1351.09 c ---[ 35]---> Adder-cost: 919 maxlim: 3112 bits: 13/12 1351.16 c ---[ 34]---> Adder-cost: 1244 maxlim: 3423 bits: 13/12 1351.24 c ---[ 33]---> Adder-cost: 844 maxlim: 4271 bits: 14/13 1351.31 c ---[ 32]---> Adder-cost: 535 maxlim: 1359 bits: 12/11 1351.35 c ---[ 31]---> Adder-cost: 1020 maxlim: 741 bits: 11/10 1351.40 c ---[ 30]---> Adder-cost: 428 maxlim: 1876 bits: 12/11 1351.44 c ---[ 29]---> Adder-cost: 365 maxlim: 607 bits: 11/10 1351.45 c ---[ 28]---> Sorter-cost: 1287 Base: 2 3 5 1351.46 c ---[ 27]---> Adder-cost: 832 maxlim: 2794 bits: 13/12 1351.51 c ---[ 26]---> Adder-cost: 182 maxlim: 43 bits: 7/6 1351.52 c ---[ 25]---> Adder-cost: 1371 maxlim: 5723 bits: 14/13 1351.62 c ---[ 24]---> Adder-cost: 1506 maxlim: 4306 bits: 14/13 1351.72 c ---[ 23]---> Adder-cost: 450 maxlim: 392 bits: 10/9 1351.74 c ---[ 22]---> Adder-cost: 444 maxlim: 936 bits: 11/10 1351.77 c ---[ 21]---> Adder-cost: 1011 maxlim: 3303 bits: 13/12 1351.83 c ---[ 20]---> Adder-cost: 6011 maxlim: 8039 bits: 14/13 1352.15 c ---[ 19]---> Adder-cost: 483 maxlim: 1125 bits: 12/11 1352.18 c ---[ 18]---> Adder-cost: 433 maxlim: 593 bits: 11/10 1352.20 c ---[ 17]---> Adder-cost: 5185 maxlim: 2374 bits: 13/12 1352.47 c ---[ 16]---> Adder-cost: 921 maxlim: 1860 bits: 12/11 1352.60 c ---[ 15]---> Adder-cost: 882 maxlim: 2819 bits: 13/12 1352.68 c ---[ 14]---> Adder-cost: 810 maxlim: 1890 bits: 12/11 1352.74 c ---[ 13]---> Adder-cost: 935 maxlim: 620 bits: 11/10 1352.82 c ---[ 12]---> Adder-cost: 1045 maxlim: 2595 bits: 13/12 1352.94 c ---[ 11]---> Adder-cost: 1471 maxlim: 4028 bits: 13/12 1353.08 c ---[ 10]---> Adder-cost: 572 maxlim: 2053 bits: 13/12 1353.14 c ---[ 9]---> Adder-cost: 1335 maxlim: 519 bits: 11/10 1353.26 c ---[ 8]---> Sorter-cost: 3368 Base: 3 5 3 5 1353.28 c ---[ 7]---> Adder-cost: 1025 maxlim: 4376 bits: 14/13 1353.40 c ---[ 6]---> Adder-cost: 1353 maxlim: 9864 bits: 15/14 1353.55 c ---[ 5]---> Adder-cost: 1399 maxlim: 286 bits: 10/9 1353.68 c ---[ 4]---> Adder-cost: 272 maxlim: 774 bits: 11/10 1353.70 c ---[ 3]---> Adder-cost: 582 maxlim: 1528 bits: 12/11 1353.78 c ---[ 2]---> Adder-cost: 1044 maxlim: 1712 bits: 12/11 1353.89 c ---[ 1]---> Adder-cost: 8210 maxlim: 23212 bits: 16/15 1354.51 c ---[ 0]---> Adder-cost: 565 maxlim: 118 bits: 8/7 1357.64 c ==================================[MINISAT+]================================== 1357.64 c | Conflicts | Original | Learnt | Progress | 1357.64 c | | Clauses Literals | Max Clauses Literals LPC | | 1357.64 c ============================================================================== 1357.64 c | 0 | 4104318 14208657 | 1368106 0 0 nan | 0.000 % | 1367.99 c ============================================================================== 1367.99 c [1mUNSATISFIABLE[0m 1367.99 s UNSATISFIABLE 1367.99 c _______________________________________________________________________________ 1367.99 c 1367.99 c restarts : 1 1367.99 c conflicts : 65 (0 /sec) 1367.99 c decisions : 4123 (3 /sec) 1367.99 c propagations : 0 (0 /sec) 1367.99 c inspects : 0 (0 /sec) 1367.99 c CPU time : 1367.1 s 1367.99 c _______________________________________________________________________________
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node78/watcher-34972-1149261628 -o ROOT/results/node78/solver-34972-1149261628 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node78/34972-1149261628/instance-34972-1149261628.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1385456/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=1352 CPUtime=0 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 191191686 1384448 144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134570011 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 338 144 67 215 0 120 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1335744/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=53076 CPUtime=9.97 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 16942 0 0 0 989 8 0 0 25 0 1 0 191191686 54349824 12530 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 13269 12530 109 215 0 13051 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 53076 [startup+20.0082 s] /proc/loadavg: 0.94 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1326656/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=62564 CPUtime=19.97 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 19614 0 0 0 1987 10 0 0 25 0 1 0 191191686 64065536 14872 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005240 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 15641 14872 109 215 0 15423 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 62564 [startup+30.0143 s] /proc/loadavg: 0.95 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1300416/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=91688 CPUtime=29.97 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 29035 0 0 0 2983 14 0 0 25 0 1 0 191191686 93888512 21428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 22922 21428 109 215 0 22704 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 91688 [startup+40.0203 s] /proc/loadavg: 0.96 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1300288/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=91820 CPUtime=39.98 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 29081 0 0 0 3983 15 0 0 25 0 1 0 191191686 94023680 21474 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 22955 21474 109 215 0 22737 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 91820 [startup+50.0264 s] /proc/loadavg: 0.96 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1300096/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=92120 CPUtime=49.99 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 29133 0 0 0 4984 15 0 0 25 0 1 0 191191686 94330880 21526 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 23030 21526 109 215 0 22812 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 92120 [startup+60.0325 s] /proc/loadavg: 0.97 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1300160/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=92120 CPUtime=59.99 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 29133 0 0 0 5984 15 0 0 25 0 1 0 191191686 94330880 21526 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 23030 21526 109 215 0 22812 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 92120 [startup+70.0386 s] /proc/loadavg: 0.97 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1299776/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=92384 CPUtime=69.99 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 29226 0 0 0 6984 15 0 0 25 0 1 0 191191686 94601216 21619 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 23096 21619 109 215 0 22878 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 92384 [startup+80.0447 s] /proc/loadavg: 0.98 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1299200/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=93076 CPUtime=80 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 29411 0 0 0 7985 15 0 0 25 0 1 0 191191686 95309824 21762 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 23269 21762 109 215 0 23051 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 93076 [startup+90.0507 s] /proc/loadavg: 0.98 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1299008/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=93208 CPUtime=90 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 29446 0 0 0 8985 15 0 0 25 0 1 0 191191686 95444992 21797 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 23302 21797 109 215 0 23084 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 93208 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1298560/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=93604 CPUtime=100 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 29556 0 0 0 9985 15 0 0 25 0 1 0 191191686 95850496 21907 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003912 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 23401 21907 109 215 0 23183 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 93604 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1265728/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=123184 CPUtime=110 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 44024 0 0 0 10980 20 0 0 25 0 1 0 191191686 126140416 30042 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 30796 30042 109 215 0 30578 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 123184 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1247488/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=141700 CPUtime=120 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48623 0 0 0 11976 24 0 0 25 0 1 0 191191686 145100800 34641 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35425 34641 109 215 0 35207 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 141700 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1247424/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=141700 CPUtime=130.01 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48630 0 0 0 12977 24 0 0 25 0 1 0 191191686 145100800 34648 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35425 34648 109 215 0 35207 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 141700 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1247232/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=141868 CPUtime=140.01 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48675 0 0 0 13977 24 0 0 25 0 1 0 191191686 145272832 34693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35467 34693 109 215 0 35249 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 141868 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1247232/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=141868 CPUtime=150.01 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48675 0 0 0 14977 24 0 0 25 0 1 0 191191686 145272832 34693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35467 34693 109 215 0 35249 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 141868 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1247232/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=141868 CPUtime=160.02 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48679 0 0 0 15978 24 0 0 25 0 1 0 191191686 145272832 34697 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35467 34697 109 215 0 35249 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 141868 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1247168/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=141868 CPUtime=170.02 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48686 0 0 0 16978 24 0 0 25 0 1 0 191191686 145272832 34704 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35467 34704 109 215 0 35249 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 141868 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1247168/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=141868 CPUtime=180.03 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48692 0 0 0 17978 25 0 0 25 0 1 0 191191686 145272832 34710 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35467 34710 109 215 0 35249 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 141868 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1246848/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=142164 CPUtime=190.03 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48781 0 0 0 18978 25 0 0 25 0 1 0 191191686 145575936 34757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35541 34757 109 215 0 35323 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 142164 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1246848/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=142164 CPUtime=200.04 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 48787 0 0 0 19979 25 0 0 25 0 1 0 191191686 145575936 34763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 35541 34763 109 215 0 35323 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 142164 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1246848/2055892 swapFree=4085732/4096564 ################ # More data... # ################ /proc/6111/statm: 36415 35662 109 215 0 36197 0 Current children cumulated CPU time (s) 1150.34 Current children cumulated vsize (Kb) 145660 [startup+1160.67 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1243200/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=145660 CPUtime=1160.34 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 49934 0 0 0 116008 26 0 0 25 0 1 0 191191686 149155840 35662 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36415 35662 109 215 0 36197 0 Current children cumulated CPU time (s) 1160.34 Current children cumulated vsize (Kb) 145660 [startup+1170.68 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1243200/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=145660 CPUtime=1170.35 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 49934 0 0 0 117009 26 0 0 25 0 1 0 191191686 149155840 35662 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36415 35662 109 215 0 36197 0 Current children cumulated CPU time (s) 1170.35 Current children cumulated vsize (Kb) 145660 [startup+1180.69 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1242496/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=146452 CPUtime=1180.35 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50110 0 0 0 118009 26 0 0 25 0 1 0 191191686 149966848 35838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36613 35838 109 215 0 36395 0 Current children cumulated CPU time (s) 1180.35 Current children cumulated vsize (Kb) 146452 [startup+1190.69 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241664/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147376 CPUtime=1190.36 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50332 0 0 0 119009 27 0 0 25 0 1 0 191191686 150913024 36060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36844 36060 109 215 0 36626 0 Current children cumulated CPU time (s) 1190.36 Current children cumulated vsize (Kb) 147376 [startup+1200.7 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241536/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147376 CPUtime=1200.36 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50362 0 0 0 120009 27 0 0 25 0 1 0 191191686 150913024 36090 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36844 36090 109 215 0 36626 0 Current children cumulated CPU time (s) 1200.36 Current children cumulated vsize (Kb) 147376 [startup+1210.7 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241472/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147508 CPUtime=1210.36 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50380 0 0 0 121009 27 0 0 25 0 1 0 191191686 151048192 36108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666972 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36877 36108 109 215 0 36659 0 Current children cumulated CPU time (s) 1210.36 Current children cumulated vsize (Kb) 147508 [startup+1220.71 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241408/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147508 CPUtime=1220.37 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50393 0 0 0 122010 27 0 0 25 0 1 0 191191686 151048192 36121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005288 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36877 36121 109 215 0 36659 0 Current children cumulated CPU time (s) 1220.37 Current children cumulated vsize (Kb) 147508 [startup+1230.72 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241344/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147640 CPUtime=1230.37 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50404 0 0 0 123010 27 0 0 25 0 1 0 191191686 151183360 36132 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36910 36132 109 215 0 36692 0 Current children cumulated CPU time (s) 1230.37 Current children cumulated vsize (Kb) 147640 [startup+1240.72 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241280/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147640 CPUtime=1240.37 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50415 0 0 0 124010 27 0 0 25 0 1 0 191191686 151183360 36143 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36910 36143 109 215 0 36692 0 Current children cumulated CPU time (s) 1240.37 Current children cumulated vsize (Kb) 147640 [startup+1250.73 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241280/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147640 CPUtime=1250.37 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50424 0 0 0 125010 27 0 0 25 0 1 0 191191686 151183360 36152 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36910 36152 109 215 0 36692 0 Current children cumulated CPU time (s) 1250.37 Current children cumulated vsize (Kb) 147640 [startup+1260.73 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241216/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147772 CPUtime=1260.38 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50432 0 0 0 126011 27 0 0 25 0 1 0 191191686 151318528 36160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36943 36160 109 215 0 36725 0 Current children cumulated CPU time (s) 1260.38 Current children cumulated vsize (Kb) 147772 [startup+1270.74 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241152/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147772 CPUtime=1270.38 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50440 0 0 0 127011 27 0 0 25 0 1 0 191191686 151318528 36168 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36943 36168 109 215 0 36725 0 Current children cumulated CPU time (s) 1270.38 Current children cumulated vsize (Kb) 147772 [startup+1280.75 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241152/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147772 CPUtime=1280.38 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50448 0 0 0 128011 27 0 0 25 0 1 0 191191686 151318528 36176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36943 36176 109 215 0 36725 0 Current children cumulated CPU time (s) 1280.38 Current children cumulated vsize (Kb) 147772 [startup+1290.75 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241088/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147772 CPUtime=1290.39 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50455 0 0 0 129012 27 0 0 25 0 1 0 191191686 151318528 36183 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808937 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36943 36183 109 215 0 36725 0 Current children cumulated CPU time (s) 1290.39 Current children cumulated vsize (Kb) 147772 [startup+1300.76 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241088/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147772 CPUtime=1300.39 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50462 0 0 0 130012 27 0 0 25 0 1 0 191191686 151318528 36190 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003259 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36943 36190 109 215 0 36725 0 Current children cumulated CPU time (s) 1300.39 Current children cumulated vsize (Kb) 147772 [startup+1310.76 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241024/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147904 CPUtime=1310.39 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50468 0 0 0 131012 27 0 0 25 0 1 0 191191686 151453696 36196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012168 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36976 36196 109 215 0 36758 0 Current children cumulated CPU time (s) 1310.39 Current children cumulated vsize (Kb) 147904 [startup+1320.77 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241088/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147904 CPUtime=1320.4 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50474 0 0 0 132013 27 0 0 25 0 1 0 191191686 151453696 36202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36976 36202 109 215 0 36758 0 Current children cumulated CPU time (s) 1320.4 Current children cumulated vsize (Kb) 147904 [startup+1330.77 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241024/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147904 CPUtime=1330.4 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50480 0 0 0 133013 27 0 0 25 0 1 0 191191686 151453696 36208 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36976 36208 109 215 0 36758 0 Current children cumulated CPU time (s) 1330.4 Current children cumulated vsize (Kb) 147904 [startup+1340.78 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1241024/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=147904 CPUtime=1340.4 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 50486 0 0 0 134013 27 0 0 25 0 1 0 191191686 151453696 36214 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 36976 36214 109 215 0 36758 0 Current children cumulated CPU time (s) 1340.4 Current children cumulated vsize (Kb) 147904 [startup+1350.79 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1244864/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=149480 CPUtime=1350.41 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 54451 0 0 0 135012 29 0 0 25 0 1 0 191191686 153067520 35196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134550376 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 37370 35196 109 215 0 37152 0 Current children cumulated CPU time (s) 1350.41 Current children cumulated vsize (Kb) 149480 [startup+1360.79 s] /proc/loadavg: 0.99 0.98 0.99 2/67 6111 /proc/meminfo: memFree=1040000/2055892 swapFree=4085732/4096564 [pid=6111] ppid=6109 vsize=379168 CPUtime=1360.41 /proc/6111/stat : 6111 (minisat+) R 6109 6111 6065 0 -1 4194304 105643 0 0 0 135990 51 0 0 25 0 1 0 191191686 388268032 86351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580418 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6111/statm: 94792 86351 122 215 0 94574 0 Current children cumulated CPU time (s) 1360.41 Current children cumulated vsize (Kb) 379168 Child status: 20 Real time (s): 1368.19 CPU time (s): 1367.82 CPU user time (s): 1367.24 CPU system time (s): 0.574912 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (Kb): 379168
Begin job on node78 on Fri Jun 2 15:20:29 UTC 2006 FILE ID= 34972-1149261628 PBS_JOBID= 298682 BENCH NAME= ROOT/tmp/node78/34972-1149261628/instance-34972-1149261628.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node78/34972-1149261628/instance-34972-1149261628.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-34972-1149261628 -o ROOT/results/node78/solver-34972-1149261628 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node78/34972-1149261628/instance-34972-1149261628.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= a93dde4d8545bab3c441ec26d058498b RANDOM SEED= 918221430 /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.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1385856 kB Buffers: 35768 kB Cached: 563648 kB SwapCached: 2520 kB Active: 53820 kB Inactive: 554304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1385856 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15136 kB Slab: 48376 kB Committed_AS: 253676 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Fri Jun 2 15:43:17 UTC 2006