| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.03 | 1800.3 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb |
| MD5SUM | 6b1441ebcfc2678f5078c728b5f20e0c |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 16269067107200000 |
| Optimality of the best value was proved | NO |
| 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 | 536870912000000000000 |
| Number of bits for the biggest coefficient in the objective function | 69 |
| Sum of the numbers in the objective function | 28224865138562971148229 |
| Number of bits of the sum of numbers in the objective function | 75 |
| Biggest number in a constraint | 536870912000000000000 |
| Number of bits of the biggest number in a constraint | 69 |
| Biggest sum of numbers in a constraint | 28224967538562971148229 |
| Number of bits of the biggest sum of numbers | 75 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 3.18/3.30 c Converting 4027 PB-constraints to clauses... 3.29/3.31 c -- Unit propagations: (none) 3.29/3.32 c -- Detecting intervals from adjacent constraints: #########################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################=####################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 3.29/3.37 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................sssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss............................... 3.49/3.56 c ---[4094]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 3.49/3.57 c ---[4092]---> Adder-cost: 172 maxlim: 84992 bits: 18/17 3.49/3.58 c ---[4090]---> Adder-cost: 308 maxlim: 153600 bits: 19/18 3.49/3.59 c ---[4088]---> Adder-cost: 212 maxlim: 130048 bits: 18/17 3.59/3.61 c ---[4085]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 3.59/3.62 c ---[4083]---> Adder-cost: 84 maxlim: 64512 bits: 17/16 3.59/3.62 c ---[4081]---> Adder-cost: 106 maxlim: 64512 bits: 17/16 3.59/3.63 c ---[4079]---> Adder-cost: 120 maxlim: 65536 bits: 18/17 3.59/3.64 c ---[4077]---> Adder-cost: 112 maxlim: 58368 bits: 17/16 3.59/3.65 c ---[4075]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 3.59/3.65 c ---[4073]---> Adder-cost: 102 maxlim: 86016 bits: 18/17 3.59/3.66 c ---[4071]---> Sorter-cost: 1191 Base: 2 2 2 2 2 2 2 2 2 2 7 3.59/3.67 c ---[4069]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 3.59/3.67 c ---[4067]---> Adder-cost: 188 maxlim: 97280 bits: 18/17 3.59/3.69 c ---[4065]---> Adder-cost: 190 maxlim: 98304 bits: 18/17 3.69/3.70 c ---[4063]---> Adder-cost: 176 maxlim: 101376 bits: 18/17 3.69/3.71 c ---[4061]---> Adder-cost: 122 maxlim: 89088 bits: 18/17 3.69/3.72 c ---[4059]---> Adder-cost: 154 maxlim: 89088 bits: 18/17 3.69/3.73 c ---[4057]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 3.69/3.74 c ---[4055]---> Adder-cost: 148 maxlim: 96256 bits: 18/17 3.69/3.75 c ---[4053]---> Adder-cost: 150 maxlim: 92160 bits: 18/17 3.69/3.77 c ---[4051]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.77 c ---[4049]---> Sorter-cost: 1200 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.78 c ---[4047]---> Adder-cost: 178 maxlim: 88064 bits: 18/17 3.69/3.79 c ---[4045]---> Adder-cost: 186 maxlim: 93184 bits: 18/17 3.79/3.80 c ---[4043]---> Adder-cost: 134 maxlim: 93184 bits: 18/17 3.79/3.81 c ---[4041]---> Adder-cost: 108 maxlim: 76800 bits: 18/17 3.79/3.82 c ---[4038]---> Adder-cost: 166 maxlim: 107520 bits: 18/17 3.79/3.83 c ---[4036]---> Adder-cost: 200 maxlim: 106496 bits: 18/17 3.79/3.85 c ---[4034]---> Adder-cost: 256 maxlim: 147456 bits: 19/18 3.79/3.86 c ---[4032]---> Adder-cost: 248 maxlim: 149504 bits: 19/18 3.79/3.88 c ---[4030]---> Adder-cost: 216 maxlim: 158720 bits: 19/18 3.89/3.90 c ---[4028]---> Adder-cost: 236 maxlim: 160768 bits: 19/18 3.89/3.92 c ---[4026]---> Adder-cost: 210 maxlim: 164864 bits: 19/18 3.89/3.94 c ---[4024]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.94 c ---[4022]---> Adder-cost: 100 maxlim: 164864 bits: 19/18 3.89/3.96 c ---[4020]---> Adder-cost: 316 maxlim: 199680 bits: 19/18 3.89/3.99 c ---[4018]---> Adder-cost: 288 maxlim: 175104 bits: 19/18 3.99/4.01 c ---[4016]---> Adder-cost: 200 maxlim: 164864 bits: 19/18 3.99/4.03 c ---[4014]---> Adder-cost: 224 maxlim: 131072 bits: 19/18 3.99/4.04 c ---[4012]---> Adder-cost: 194 maxlim: 110592 bits: 18/17 3.99/4.06 c ---[4010]---> Adder-cost: 158 maxlim: 87040 bits: 18/17 3.99/4.07 c ---[4008]---> Adder-cost: 144 maxlim: 81920 bits: 18/17 3.99/4.08 c ---[4006]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.08 c ---[4004]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.08 c ---[4002]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.09 c ---[4000]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.10 c ---[3998]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.10 c ---[3996]---> Sorter-cost: 1163 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.11 c ---[3994]---> Sorter-cost: 1013 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.11 c ---[3992]---> Sorter-cost: 1117 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.12 c ---[3990]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 4.09/4.13 c ---[3988]---> Adder-cost: 200 maxlim: 102400 bits: 18/17 4.09/4.14 c ---[3986]---> Adder-cost: 162 maxlim: 101376 bits: 18/17 4.09/4.15 c ---[3984]---> Adder-cost: 180 maxlim: 96256 bits: 18/17 4.09/4.16 c ---[3982]---> Adder-cost: 136 maxlim: 92160 bits: 18/17 4.09/4.18 c ---[3980]---> Adder-cost: 106 maxlim: 62464 bits: 17/16 4.09/4.18 c ---[3978]---> Adder-cost: 110 maxlim: 57344 bits: 17/16 4.09/4.19 c ---[3975]---> Adder-cost: 82 maxlim: 58368 bits: 17/16 4.19/4.20 c ---[3973]---> Adder-cost: 232 maxlim: 124928 bits: 18/17 4.19/4.21 c ---[3971]---> Adder-cost: 260 maxlim: 141312 bits: 19/18 4.19/4.23 c ---[3969]---> Adder-cost: 92 maxlim: 141312 bits: 19/18 4.19/4.25 c ---[3967]---> Adder-cost: 272 maxlim: 153600 bits: 19/18 4.19/4.27 c ---[3965]---> Adder-cost: 226 maxlim: 156672 bits: 19/18 4.19/4.29 c ---[3963]---> Adder-cost: 272 maxlim: 161792 bits: 19/18 4.29/4.30 c ---[3961]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 4.29/4.32 c ---[3959]---> Adder-cost: 266 maxlim: 159744 bits: 19/18 4.29/4.34 c ---[3957]---> Adder-cost: 266 maxlim: 131072 bits: 19/18 4.29/4.36 c ---[3955]---> Adder-cost: 182 maxlim: 162816 bits: 19/18 4.29/4.38 c ---[3953]---> Adder-cost: 166 maxlim: 159744 bits: 19/18 4.29/4.40 c ---[3951]---> Adder-cost: 94 maxlim: 159744 bits: 19/18 4.40/4.42 c ---[3949]---> Adder-cost: 250 maxlim: 157696 bits: 19/18 4.40/4.44 c ---[3947]---> Adder-cost: 92 maxlim: 157696 bits: 19/18 4.40/4.45 c ---[3945]---> Adder-cost: 180 maxlim: 156672 bits: 19/18 4.40/4.47 c ---[3943]---> Adder-cost: 96 maxlim: 156672 bits: 19/18 4.40/4.49 c ---[3941]---> Adder-cost: 216 maxlim: 155648 bits: 19/18 4.50/4.51 c ---[3939]---> Adder-cost: 96 maxlim: 155648 bits: 19/18 4.50/4.53 c ---[3937]---> Adder-cost: 102 maxlim: 156672 bits: 19/18 4.50/4.55 c ---[3935]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 4.50/4.57 c ---[3933]---> Adder-cost: 96 maxlim: 156672 bits: 19/18 4.50/4.58 c ---[3931]---> Adder-cost: 96 maxlim: 156672 bits: 19/18 4.59/4.60 c ---[3929]---> Adder-cost: 96 maxlim: 156672 bits: 19/18 4.59/4.62 c ---[3927]---> Adder-cost: 260 maxlim: 192512 bits: 19/18 4.59/4.65 c ---[3924]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 4.59/4.65 c ---[3922]---> Adder-cost: 94 maxlim: 70656 bits: 18/17 4.59/4.66 c ---[3920]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.67 c ---[3918]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.67 c ---[3916]---> Adder-cost: 168 maxlim: 118784 bits: 18/17 4.59/4.69 c ---[3914]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 4.59/4.69 c ---[3912]---> Adder-cost: 100 maxlim: 52224 bits: 17/16 4.69/4.70 c ---[3910]---> Adder-cost: 96 maxlim: 51200 bits: 17/16 4.69/4.71 c ---[3908]---> Adder-cost: 156 maxlim: 76800 bits: 18/17 4.69/4.72 c ---[3906]---> Adder-cost: 136 maxlim: 74752 bits: 18/17 4.69/4.73 c ---[3903]---> Adder-cost: 98 maxlim: 56320 bits: 17/16 4.69/4.73 c ---[3901]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 4.69/4.74 c ---[3899]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.74 c ---[3897]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.75 c ---[3895]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.75 c ---[3893]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.76 c ---[3891]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.76 c ---[3888]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.77 c ---[3886]---> Adder-cost: 116 maxlim: 58368 bits: 17/16 4.69/4.77 c ---[3884]---> Adder-cost: 82 maxlim: 58368 bits: 17/16 4.69/4.78 c ---[3882]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.79 c ---[3880]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.79 c ---[3878]---> Sorter-cost: 1154 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.80 c ---[3876]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.80 c ---[3874]---> Sorter-cost: 1012 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.81 c ---[3872]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.81 c ---[3870]---> Adder-cost: 142 maxlim: 68608 bits: 18/17 4.79/4.82 c ---[3868]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.83 c ---[3866]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 4.79/4.83 c ---[3864]---> Adder-cost: 132 maxlim: 73728 bits: 18/17 4.79/4.84 c ---[3862]---> Adder-cost: 102 maxlim: 71680 bits: 18/17 4.79/4.85 c ---[3860]---> Adder-cost: 120 maxlim: 68608 bits: 18/17 4.79/4.86 c ---[3858]---> Adder-cost: 84 maxlim: 71680 bits: 18/17 4.79/4.87 c ---[3856]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.87 c ---[3854]---> Sorter-cost: 526 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.88 c ---[3852]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.88 c ---[3850]---> Sorter-cost: 414 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.88 c ---[3848]---> Adder-cost: 204 maxlim: 101376 bits: 18/17 4.79/4.89 c ---[3846]---> Adder-cost: 118 maxlim: 102400 bits: 18/17 4.89/4.91 c ---[3844]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.91 c ---[3842]---> Sorter-cost: 1036 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.92 c ---[3840]---> Adder-cost: 204 maxlim: 101376 bits: 18/17 4.89/4.93 c ---[3838]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 4.89/4.94 c ---[3836]---> Adder-cost: 186 maxlim: 94208 bits: 18/17 4.89/4.95 c ---[3834]---> Adder-cost: 104 maxlim: 95232 bits: 18/17 4.89/4.96 c ---[3832]---> Adder-cost: 74 maxlim: 94208 bits: 18/17 4.89/4.98 c ---[3830]---> Adder-cost: 70 maxlim: 94208 bits: 18/17 4.89/4.99 c ---[3828]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.99 c ---[3826]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.00 c ---[3823]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 4.99/5.00 c ---[3821]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 4.99/5.00 c ---[3819]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 4.99/5.00 c ---[3817]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 4.99/5.01 c ---[3815]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.01 c ---[3813]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.01 c ---[3811]---> Sorter-cost: 1070 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.02 c ---[3809]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.02 c ---[3807]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.03 c ---[3805]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.03 c ---[3803]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.04 c ---[3801]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.04 c ---[3799]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.04 c ---[3797]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 4.99/5.05 c ---[3794]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.06 c ---[3791]---> Adder-cost: 170 maxlim: 82944 bits: 18/17 4.99/5.07 c ---[3789]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 4.99/5.08 c ---[3787]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 4.99/5.09 c ---[3785]---> Adder-cost: 152 maxlim: 78848 bits: 18/17 5.09/5.10 c ---[3783]---> Adder-cost: 122 maxlim: 79872 bits: 18/17 5.09/5.11 c ---[3781]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 5.09/5.11 c ---[3779]---> Adder-cost: 190 maxlim: 96256 bits: 18/17 5.09/5.13 c ---[3777]---> Adder-cost: 122 maxlim: 63488 bits: 17/16 5.09/5.13 c ---[3775]---> Adder-cost: 134 maxlim: 66560 bits: 18/17 5.09/5.14 c ---[3773]---> Adder-cost: 130 maxlim: 65536 bits: 18/17 5.09/5.15 c ---[3771]---> Adder-cost: 186 maxlim: 92160 bits: 18/17 5.09/5.16 c ---[3769]---> Adder-cost: 96 maxlim: 93184 bits: 18/17 5.09/5.17 c ---[3767]---> Adder-cost: 122 maxlim: 87040 bits: 18/17 5.09/5.19 c ---[3765]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.19 c ---[3763]---> Sorter-cost: 896 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.19 c ---[3761]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.20 c ---[3759]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 5.19/5.21 c ---[3757]---> Adder-cost: 102 maxlim: 59392 bits: 17/16 5.19/5.21 c ---[3755]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.22 c ---[3753]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.22 c ---[3751]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.23 c ---[3749]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.23 c ---[3747]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 5.19/5.23 c ---[3745]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.24 c ---[3743]---> Adder-cost: 270 maxlim: 131072 bits: 19/18 5.19/5.26 c ---[3740]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.26 c ---[3738]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 5.19/5.27 c ---[3736]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 5.19/5.27 c ---[3734]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 5.19/5.28 c ---[3732]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 5.19/5.29 c ---[3730]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.29 c ---[3728]---> Sorter-cost: 604 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.29 c ---[3725]---> Adder-cost: 156 maxlim: 76800 bits: 18/17 5.29/5.31 c ---[3723]---> Adder-cost: 134 maxlim: 67584 bits: 18/17 5.29/5.31 c ---[3721]---> Adder-cost: 130 maxlim: 68608 bits: 18/17 5.29/5.32 c ---[3719]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[3717]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[3715]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 5.29/5.34 c ---[3713]---> Adder-cost: 176 maxlim: 87040 bits: 18/17 5.29/5.35 c ---[3711]---> Adder-cost: 146 maxlim: 82944 bits: 18/17 5.29/5.36 c ---[3709]---> Adder-cost: 202 maxlim: 98304 bits: 18/17 5.29/5.37 c ---[3707]---> Adder-cost: 178 maxlim: 99328 bits: 18/17 5.29/5.39 c ---[3705]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 5.29/5.39 c ---[3703]---> Adder-cost: 144 maxlim: 79872 bits: 18/17 5.39/5.40 c ---[3701]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.41 c ---[3699]---> Sorter-cost: 1224 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.41 c ---[3697]---> Sorter-cost: 1149 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.42 c ---[3695]---> Sorter-cost: 889 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.42 c ---[3692]---> Adder-cost: 188 maxlim: 95232 bits: 18/17 5.39/5.44 c ---[3688]---> Adder-cost: 230 maxlim: 114688 bits: 18/17 5.39/5.45 c ---[3686]---> Adder-cost: 184 maxlim: 95232 bits: 18/17 5.39/5.46 c ---[3684]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 5.39/5.47 c ---[3682]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 5.39/5.48 c ---[3680]---> Sorter-cost: 1113 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.49 c ---[3678]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 5.39/5.49 c ---[3676]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 5.39/5.50 c ---[3674]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 5.50/5.51 c ---[3672]---> Adder-cost: 78 maxlim: 58368 bits: 17/16 5.50/5.51 c ---[3670]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 5.50/5.52 c ---[3668]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 5.50/5.52 c ---[3666]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.52 c ---[3664]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.53 c ---[3662]---> Adder-cost: 160 maxlim: 77824 bits: 18/17 5.50/5.54 c ---[3660]---> Adder-cost: 118 maxlim: 64512 bits: 17/16 5.50/5.54 c ---[3658]---> Adder-cost: 124 maxlim: 67584 bits: 18/17 5.50/5.55 c ---[3656]---> Adder-cost: 96 maxlim: 58368 bits: 17/16 5.50/5.56 c ---[3654]---> Adder-cost: 184 maxlim: 91136 bits: 18/17 5.50/5.57 c ---[3652]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.58 c ---[3650]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 5.50/5.59 c ---[3648]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 5.50/5.60 c ---[3646]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 5.60/5.61 c ---[3644]---> Adder-cost: 180 maxlim: 95232 bits: 18/17 5.60/5.62 c ---[3642]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 5.60/5.63 c ---[3640]---> Sorter-cost: 1178 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.64 c ---[3638]---> Adder-cost: 200 maxlim: 98304 bits: 18/17 5.60/5.65 c ---[3636]---> Adder-cost: 152 maxlim: 78848 bits: 18/17 5.60/5.66 c ---[3634]---> Adder-cost: 246 maxlim: 123904 bits: 18/17 5.60/5.67 c ---[3632]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 5.60/5.69 c ---[3630]---> Adder-cost: 268 maxlim: 135168 bits: 19/18 5.69/5.70 c ---[3628]---> Adder-cost: 88 maxlim: 135168 bits: 19/18 5.69/5.72 c ---[3626]---> Adder-cost: 150 maxlim: 130048 bits: 18/17 5.69/5.74 c ---[3624]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 5.69/5.75 c ---[3622]---> Adder-cost: 176 maxlim: 87040 bits: 18/17 5.69/5.76 c ---[3620]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 5.69/5.77 c ---[3618]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.78 c ---[3616]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 5.69/5.79 c ---[3612]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.79 c ---[3610]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.80 c ---[3607]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 5.79/5.80 c ---[3605]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.81 c ---[3603]---> Sorter-cost: 605 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.81 c ---[3601]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.82 c ---[3599]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.82 c ---[3597]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.83 c ---[3595]---> Sorter-cost: 1017 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.83 c ---[3593]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.84 c ---[3591]---> Adder-cost: 126 maxlim: 64512 bits: 17/16 5.79/5.85 c ---[3589]---> Adder-cost: 124 maxlim: 63488 bits: 17/16 5.79/5.85 c ---[3587]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.86 c ---[3585]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 5.79/5.87 c ---[3583]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.87 c ---[3581]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 5.79/5.88 c ---[3579]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.88 c ---[3577]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.89 c ---[3575]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.89 c ---[3573]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.89 c ---[3571]---> Sorter-cost: 1083 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[3569]---> Sorter-cost: 406 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[3567]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[3565]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 5.89/5.91 c ---[3563]---> Adder-cost: 156 maxlim: 84992 bits: 18/17 5.89/5.92 c ---[3561]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 5.89/5.93 c ---[3559]---> Adder-cost: 156 maxlim: 94208 bits: 18/17 5.89/5.95 c ---[3557]---> Adder-cost: 156 maxlim: 91136 bits: 18/17 5.89/5.96 c ---[3555]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 5.89/5.97 c ---[3553]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.97 c ---[3551]---> Sorter-cost: 1052 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.98 c ---[3549]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.98 c ---[3547]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 5.89/5.99 c ---[3545]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 5.99/6.00 c ---[3543]---> Adder-cost: 214 maxlim: 113664 bits: 18/17 5.99/6.01 c ---[3541]---> Adder-cost: 136 maxlim: 117760 bits: 18/17 5.99/6.03 c ---[3537]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.03 c ---[3535]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.03 c ---[3533]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.03 c ---[3531]---> Sorter-cost: 628 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.04 c ---[3529]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 2 5.99/6.04 c ---[3527]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 5.99/6.04 c ---[3525]---> Sorter-cost: 414 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.04 c ---[3523]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.05 c ---[3521]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.05 c ---[3519]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 5.99/6.06 c ---[3517]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 5.99/6.07 c ---[3513]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.07 c ---[3511]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.07 c ---[3509]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 5.99/6.08 c ---[3506]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.09 c ---[3504]---> Sorter-cost: 800 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.09 c ---[3502]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.10 c ---[3500]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 6.09/6.10 c ---[3498]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 6.09/6.11 c ---[3496]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.12 c ---[3494]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.12 c ---[3492]---> Sorter-cost: 1210 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.13 c ---[3490]---> Adder-cost: 110 maxlim: 55296 bits: 17/16 6.09/6.13 c ---[3488]---> Adder-cost: 84 maxlim: 59392 bits: 17/16 6.09/6.14 c ---[3486]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 6.09/6.15 c ---[3484]---> Adder-cost: 126 maxlim: 69632 bits: 18/17 6.09/6.16 c ---[3482]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 6.09/6.16 c ---[3480]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.17 c ---[3478]---> Sorter-cost: 1001 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.18 c ---[3476]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.18 c ---[3474]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.18 c ---[3472]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 6.09/6.19 c ---[3470]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 6.09/6.19 c ---[3468]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 6.09/6.19 c ---[3466]---> Sorter-cost: 1051 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.20 c ---[3464]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.20 c ---[3462]---> Sorter-cost: 852 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.21 c ---[3460]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.21 c ---[3458]---> Adder-cost: 172 maxlim: 84992 bits: 18/17 6.19/6.22 c ---[3456]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 6.19/6.23 c ---[3454]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 6.19/6.24 c ---[3452]---> Adder-cost: 68 maxlim: 59392 bits: 17/16 6.19/6.25 c ---[3450]---> Adder-cost: 104 maxlim: 56320 bits: 17/16 6.19/6.25 c ---[3448]---> Adder-cost: 82 maxlim: 57344 bits: 17/16 6.19/6.26 c ---[3446]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 6.19/6.27 c ---[3444]---> Adder-cost: 126 maxlim: 65536 bits: 18/17 6.19/6.28 c ---[3442]---> Adder-cost: 110 maxlim: 55296 bits: 17/16 6.19/6.29 c ---[3440]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 6.19/6.29 c ---[3438]---> Adder-cost: 130 maxlim: 73728 bits: 18/17 6.29/6.30 c ---[3436]---> Adder-cost: 84 maxlim: 72704 bits: 18/17 6.29/6.31 c ---[3434]---> Adder-cost: 126 maxlim: 70656 bits: 18/17 6.29/6.32 c ---[3432]---> Adder-cost: 82 maxlim: 73728 bits: 18/17 6.29/6.33 c ---[3430]---> Adder-cost: 282 maxlim: 141312 bits: 19/18 6.29/6.35 c ---[3428]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 6.29/6.36 c ---[3426]---> Adder-cost: 92 maxlim: 141312 bits: 19/18 6.29/6.38 c ---[3424]---> Adder-cost: 246 maxlim: 136192 bits: 19/18 6.29/6.39 c ---[3422]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 6.39/6.41 c ---[3420]---> Adder-cost: 186 maxlim: 137216 bits: 19/18 6.39/6.43 c ---[3416]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.43 c ---[3414]---> Sorter-cost: 800 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.44 c ---[3412]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 6.39/6.45 c ---[3410]---> Adder-cost: 184 maxlim: 90112 bits: 18/17 6.39/6.46 c ---[3408]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.46 c ---[3406]---> Sorter-cost: 723 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.47 c ---[3404]---> Sorter-cost: 1156 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.47 c ---[3402]---> Sorter-cost: 799 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.49 c ---[3400]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.49 c ---[3398]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.49 c ---[3396]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.50 c ---[3394]---> Sorter-cost: 285 Base: 2 2 2 2 2 2 2 2 2 2 2 6.49/6.50 c ---[3392]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.50 c ---[3390]---> Adder-cost: 138 maxlim: 65536 bits: 18/17 6.49/6.51 c ---[3388]---> Sorter-cost: 862 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.52 c ---[3386]---> Sorter-cost: 1237 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.52 c ---[3384]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.53 c ---[3382]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 6.49/6.54 c ---[3380]---> Adder-cost: 134 maxlim: 68608 bits: 18/17 6.49/6.55 c ---[3378]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 6.49/6.56 c ---[3376]---> Adder-cost: 154 maxlim: 79872 bits: 18/17 6.49/6.57 c ---[3374]---> Adder-cost: 96 maxlim: 58368 bits: 17/16 6.49/6.57 c ---[3372]---> Adder-cost: 104 maxlim: 59392 bits: 17/16 6.49/6.58 c ---[3370]---> Adder-cost: 176 maxlim: 99328 bits: 18/17 6.49/6.59 c ---[3368]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 6.49/6.60 c ---[3366]---> Adder-cost: 134 maxlim: 70656 bits: 18/17 6.59/6.61 c ---[3364]---> Adder-cost: 94 maxlim: 71680 bits: 18/17 6.59/6.62 c ---[3362]---> Adder-cost: 118 maxlim: 63488 bits: 17/16 6.59/6.63 c ---[3360]---> Adder-cost: 116 maxlim: 64512 bits: 17/16 6.59/6.63 c ---[3358]---> Adder-cost: 94 maxlim: 56320 bits: 17/16 6.59/6.64 c ---[3356]---> Adder-cost: 126 maxlim: 66560 bits: 18/17 6.59/6.65 c ---[3354]---> Adder-cost: 144 maxlim: 74752 bits: 18/17 6.59/6.66 c ---[3352]---> Adder-cost: 182 maxlim: 100352 bits: 18/17 6.59/6.67 c ---[3350]---> Adder-cost: 164 maxlim: 100352 bits: 18/17 6.59/6.69 c ---[3348]---> Adder-cost: 148 maxlim: 97280 bits: 18/17 6.59/6.70 c ---[3346]---> Adder-cost: 124 maxlim: 67584 bits: 18/17 6.69/6.71 c ---[3344]---> Adder-cost: 116 maxlim: 63488 bits: 17/16 6.69/6.71 c ---[3342]---> Adder-cost: 106 maxlim: 59392 bits: 17/16 6.69/6.72 c ---[3340]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.73 c ---[3338]---> Sorter-cost: 968 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.73 c ---[3336]---> Sorter-cost: 981 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.74 c ---[3334]---> Sorter-cost: 672 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.74 c ---[3332]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.74 c ---[3330]---> Sorter-cost: 452 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.75 c ---[3328]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.75 c ---[3326]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 6.69/6.76 c ---[3324]---> Sorter-cost: 489 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.76 c ---[3322]---> Adder-cost: 144 maxlim: 69632 bits: 18/17 6.69/6.77 c ---[3320]---> Adder-cost: 212 maxlim: 109568 bits: 18/17 6.69/6.78 c ---[3318]---> Adder-cost: 78 maxlim: 109568 bits: 18/17 6.79/6.80 c ---[3316]---> Adder-cost: 200 maxlim: 106496 bits: 18/17 6.79/6.81 c ---[3313]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 6.79/6.81 c ---[3310]---> Adder-cost: 202 maxlim: 101376 bits: 18/17 6.79/6.82 c ---[3308]---> Adder-cost: 92 maxlim: 70656 bits: 18/17 6.79/6.83 c ---[3306]---> Adder-cost: 160 maxlim: 102400 bits: 18/17 6.79/6.85 c ---[3304]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 6.79/6.86 c ---[3301]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.86 c ---[3299]---> Sorter-cost: 441 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.86 c ---[3297]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 6.79/6.87 c ---[3295]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 6.79/6.87 c ---[3293]---> Adder-cost: 160 maxlim: 86016 bits: 18/17 6.79/6.88 c ---[3291]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 6.79/6.89 c ---[3289]---> Adder-cost: 114 maxlim: 78848 bits: 18/17 6.89/6.90 c ---[3287]---> Adder-cost: 170 maxlim: 81920 bits: 18/17 6.89/6.91 c ---[3285]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 6.89/6.92 c ---[3283]---> Sorter-cost: 849 Base: 2 2 2 2 2 2 2 2 2 2 7 6.89/6.92 c ---[3281]---> Adder-cost: 110 maxlim: 55296 bits: 17/16 6.89/6.93 c ---[3279]---> Adder-cost: 150 maxlim: 76800 bits: 18/17 6.89/6.94 c ---[3277]---> Adder-cost: 92 maxlim: 77824 bits: 18/17 6.89/6.95 c ---[3275]---> Adder-cost: 154 maxlim: 79872 bits: 18/17 6.89/6.96 c ---[3273]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 6.89/6.97 c ---[3271]---> Adder-cost: 192 maxlim: 97280 bits: 18/17 6.89/6.98 c ---[3269]---> Adder-cost: 160 maxlim: 103424 bits: 18/17 6.89/7.00 c ---[3267]---> Adder-cost: 150 maxlim: 97280 bits: 18/17 6.99/7.01 c ---[3265]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 6.99/7.02 c ---[3263]---> Adder-cost: 108 maxlim: 95232 bits: 18/17 6.99/7.03 c ---[3259]---> Adder-cost: 218 maxlim: 109568 bits: 18/17 6.99/7.04 c ---[3256]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 6.99/7.05 c ---[3254]---> Adder-cost: 186 maxlim: 114688 bits: 18/17 6.99/7.07 c ---[3250]---> Adder-cost: 152 maxlim: 74752 bits: 18/17 6.99/7.08 c ---[3248]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 6.99/7.09 c ---[3244]---> Adder-cost: 282 maxlim: 140288 bits: 19/18 7.08/7.10 c ---[3242]---> Adder-cost: 272 maxlim: 136192 bits: 19/18 7.08/7.12 c ---[3240]---> Adder-cost: 214 maxlim: 133120 bits: 19/18 7.08/7.14 c ---[3238]---> Adder-cost: 250 maxlim: 129024 bits: 18/17 7.08/7.15 c ---[3234]---> Adder-cost: 154 maxlim: 77824 bits: 18/17 7.08/7.16 c ---[3232]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 7.08/7.17 c ---[3230]---> Adder-cost: 112 maxlim: 61440 bits: 17/16 7.08/7.18 c ---[3228]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 7.08/7.18 c ---[3226]---> Sorter-cost: 1141 Base: 2 2 2 2 2 2 2 2 2 2 7 7.08/7.19 c ---[3224]---> Sorter-cost: 885 Base: 2 2 2 2 2 2 2 2 2 2 7 7.08/7.19 c ---[3222]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 7.18/7.20 c ---[3220]---> Sorter-cost: 382 Base: 2 2 2 2 2 2 2 2 2 2 7 7.18/7.20 c ---[3218]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 7.18/7.22 c ---[3216]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 7.18/7.22 c ---[3214]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 7.18/7.22 c ---[3212]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 7.18/7.22 c ---[3210]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 7.18/7.23 c ---[3208]---> Adder-cost: 92 maxlim: 56320 bits: 17/16 7.18/7.24 c ---[3206]---> Adder-cost: 62 maxlim: 55296 bits: 17/16 7.18/7.24 c ---[3204]---> Adder-cost: 88 maxlim: 57344 bits: 17/16 7.18/7.25 c ---[3202]---> Adder-cost: 292 maxlim: 145408 bits: 19/18 7.18/7.27 c ---[3200]---> Adder-cost: 274 maxlim: 161792 bits: 19/18 7.18/7.29 c ---[3198]---> Adder-cost: 310 maxlim: 165888 bits: 19/18 7.28/7.31 c ---[3196]---> Adder-cost: 198 maxlim: 108544 bits: 18/17 7.28/7.32 c ---[3194]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 7.28/7.33 c ---[3192]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 7.28/7.34 c ---[3190]---> Adder-cost: 136 maxlim: 79872 bits: 18/17 7.28/7.35 c ---[3188]---> Adder-cost: 128 maxlim: 75776 bits: 18/17 7.28/7.36 c ---[3186]---> Adder-cost: 92 maxlim: 59392 bits: 17/16 7.28/7.36 c ---[3184]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 7.28/7.37 c ---[3182]---> Sorter-cost: 1071 Base: 2 2 2 2 2 2 2 2 2 2 7 7.28/7.37 c ---[3180]---> Sorter-cost: 1143 Base: 2 2 2 2 2 2 2 2 2 2 7 7.28/7.38 c ---[3178]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 7.28/7.38 c ---[3176]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 7.28/7.39 c ---[3174]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 7.28/7.39 c ---[3172]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 7.38/7.41 c ---[3170]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 7.38/7.41 c ---[3168]---> Adder-cost: 68 maxlim: 58368 bits: 17/16 7.38/7.42 c ---[3166]---> Adder-cost: 116 maxlim: 62464 bits: 17/16 7.38/7.43 c ---[3164]---> Adder-cost: 162 maxlim: 86016 bits: 18/17 7.38/7.44 c ---[3162]---> Adder-cost: 160 maxlim: 101376 bits: 18/17 7.38/7.45 c ---[3160]---> Adder-cost: 170 maxlim: 114688 bits: 18/17 7.38/7.47 c ---[3158]---> Adder-cost: 174 maxlim: 119808 bits: 18/17 7.38/7.48 c ---[3155]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 7.38/7.49 c ---[3153]---> Adder-cost: 178 maxlim: 100352 bits: 18/17 7.49/7.50 c ---[3150]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 7.49/7.51 c ---[3148]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.49/7.51 c ---[3146]---> Sorter-cost: 605 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.51 c ---[3144]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.51 c ---[3142]---> Adder-cost: 178 maxlim: 89088 bits: 18/17 7.49/7.52 c ---[3140]---> Adder-cost: 280 maxlim: 141312 bits: 19/18 7.49/7.54 c ---[3137]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 7.49/7.55 c ---[3135]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 7.49/7.55 c ---[3133]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 7.49/7.57 c ---[3131]---> Adder-cost: 74 maxlim: 52224 bits: 17/16 7.49/7.57 c ---[3129]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 7.49/7.58 c ---[3127]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[3125]---> Sorter-cost: 677 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[3123]---> Sorter-cost: 1017 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[3121]---> Sorter-cost: 1299 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[3119]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.61 c ---[3117]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.61 c ---[3115]---> Adder-cost: 140 maxlim: 70656 bits: 18/17 7.59/7.62 c ---[3113]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.62 c ---[3111]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.62 c ---[3109]---> Sorter-cost: 442 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.63 c ---[3107]---> Sorter-cost: 418 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.63 c ---[3105]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.63 c ---[3103]---> Sorter-cost: 1004 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.64 c ---[3101]---> Sorter-cost: 1040 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.64 c ---[3099]---> Sorter-cost: 956 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.65 c ---[3097]---> Adder-cost: 172 maxlim: 84992 bits: 18/17 7.59/7.66 c ---[3095]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 7.59/7.67 c ---[3093]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 7.59/7.68 c ---[3091]---> Adder-cost: 170 maxlim: 92160 bits: 18/17 7.59/7.69 c ---[3089]---> Adder-cost: 146 maxlim: 107520 bits: 18/17 7.70/7.70 c ---[3087]---> Adder-cost: 136 maxlim: 106496 bits: 18/17 7.70/7.72 c ---[3085]---> Adder-cost: 174 maxlim: 95232 bits: 18/17 7.70/7.73 c ---[3083]---> Adder-cost: 252 maxlim: 135168 bits: 19/18 7.70/7.75 c ---[3081]---> Adder-cost: 232 maxlim: 133120 bits: 19/18 7.70/7.76 c ---[3079]---> Adder-cost: 170 maxlim: 103424 bits: 18/17 7.70/7.77 c ---[3077]---> Adder-cost: 170 maxlim: 99328 bits: 18/17 7.70/7.79 c ---[3075]---> Adder-cost: 160 maxlim: 98304 bits: 18/17 7.70/7.80 c ---[3073]---> Adder-cost: 156 maxlim: 84992 bits: 18/17 7.80/7.81 c ---[3071]---> Adder-cost: 228 maxlim: 122880 bits: 18/17 7.80/7.83 c ---[3069]---> Adder-cost: 226 maxlim: 141312 bits: 19/18 7.80/7.84 c ---[3067]---> Adder-cost: 92 maxlim: 141312 bits: 19/18 7.80/7.86 c ---[3065]---> Adder-cost: 146 maxlim: 75776 bits: 18/17 7.80/7.87 c ---[3063]---> Adder-cost: 164 maxlim: 84992 bits: 18/17 7.80/7.88 c ---[3061]---> Adder-cost: 96 maxlim: 79872 bits: 18/17 7.80/7.89 c ---[3059]---> Adder-cost: 234 maxlim: 122880 bits: 18/17 7.89/7.91 c ---[3057]---> Adder-cost: 206 maxlim: 117760 bits: 18/17 7.89/7.92 c ---[3055]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 7.89/7.94 c ---[3053]---> Adder-cost: 188 maxlim: 114688 bits: 18/17 7.89/7.95 c ---[3051]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 7.89/7.96 c ---[3049]---> Adder-cost: 190 maxlim: 112640 bits: 18/17 7.89/7.97 c ---[3047]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 7.89/7.99 c ---[3045]---> Adder-cost: 108 maxlim: 84992 bits: 18/17 7.99/8.00 c ---[3043]---> Sorter-cost: 1035 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.00 c ---[3041]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.01 c ---[3039]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.01 c ---[3036]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.02 c ---[3034]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.02 c ---[3032]---> Adder-cost: 260 maxlim: 134144 bits: 19/18 7.99/8.04 c ---[3030]---> Adder-cost: 184 maxlim: 93184 bits: 18/17 7.99/8.05 c ---[3028]---> Adder-cost: 104 maxlim: 54272 bits: 17/16 7.99/8.06 c ---[3026]---> Sorter-cost: 1261 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.06 c ---[3022]---> Adder-cost: 310 maxlim: 155648 bits: 19/18 7.99/8.08 c ---[3020]---> Adder-cost: 302 maxlim: 151552 bits: 19/18 8.09/8.10 c ---[3018]---> Adder-cost: 280 maxlim: 153600 bits: 19/18 8.09/8.12 c ---[3016]---> Adder-cost: 92 maxlim: 153600 bits: 19/18 8.09/8.14 c ---[3012]---> Adder-cost: 208 maxlim: 104448 bits: 18/17 8.09/8.15 c ---[3010]---> Adder-cost: 146 maxlim: 93184 bits: 18/17 8.09/8.16 c ---[3008]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 8.09/8.17 c ---[3006]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 8.09/8.19 c ---[3004]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 8.19/8.20 c ---[3000]---> Adder-cost: 140 maxlim: 69632 bits: 18/17 8.19/8.21 c ---[2998]---> Adder-cost: 116 maxlim: 72704 bits: 18/17 8.19/8.22 c ---[2996]---> Adder-cost: 278 maxlim: 138240 bits: 19/18 8.19/8.23 c ---[2994]---> Adder-cost: 146 maxlim: 74752 bits: 18/17 8.19/8.24 c ---[2992]---> Adder-cost: 178 maxlim: 98304 bits: 18/17 8.19/8.26 c ---[2990]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.26 c ---[2988]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 8.19/8.26 c ---[2986]---> Adder-cost: 234 maxlim: 117760 bits: 18/17 8.19/8.28 c ---[2984]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 8.19/8.28 c ---[2982]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.29 c ---[2980]---> Sorter-cost: 915 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.29 c ---[2978]---> Sorter-cost: 1010 Base: 2 2 2 2 2 2 2 2 2 2 7 8.29/8.30 c ---[2976]---> Adder-cost: 224 maxlim: 112640 bits: 18/17 8.29/8.31 c ---[2974]---> Adder-cost: 88 maxlim: 138240 bits: 19/18 8.29/8.33 c ---[2972]---> Adder-cost: 250 maxlim: 129024 bits: 18/17 8.29/8.34 c ---[2970]---> Adder-cost: 206 maxlim: 103424 bits: 18/17 8.29/8.36 c ---[2968]---> Adder-cost: 148 maxlim: 98304 bits: 18/17 8.29/8.37 c ---[2966]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 8.29/8.37 c ---[2964]---> Sorter-cost: 672 Base: 2 2 2 2 2 2 2 2 2 2 7 8.29/8.38 c ---[2962]---> Sorter-cost: 1147 Base: 2 2 2 2 2 2 2 2 2 2 7 8.29/8.38 c ---[2960]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 8.29/8.39 c ---[2958]---> Adder-cost: 202 maxlim: 100352 bits: 18/17 8.39/8.40 c ---[2956]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 8.39/8.41 c ---[2954]---> Adder-cost: 110 maxlim: 57344 bits: 17/16 8.39/8.42 c ---[2952]---> Adder-cost: 206 maxlim: 104448 bits: 18/17 8.39/8.43 c ---[2950]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.43 c ---[2948]---> Sorter-cost: 1067 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.44 c ---[2946]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.44 c ---[2944]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.45 c ---[2942]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.45 c ---[2940]---> Adder-cost: 228 maxlim: 114688 bits: 18/17 8.39/8.46 c ---[2937]---> Sorter-cost: 1076 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.47 c ---[2935]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.47 c ---[2933]---> Sorter-cost: 1191 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.48 c ---[2931]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 8.39/8.49 c ---[2927]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 8.49/8.50 c ---[2925]---> Adder-cost: 148 maxlim: 77824 bits: 18/17 8.49/8.51 c ---[2923]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 8.49/8.52 c ---[2921]---> Adder-cost: 122 maxlim: 74752 bits: 18/17 8.49/8.53 c ---[2919]---> Adder-cost: 168 maxlim: 82944 bits: 18/17 8.49/8.54 c ---[2917]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 8.49/8.55 c ---[2913]---> Adder-cost: 100 maxlim: 104448 bits: 18/17 8.49/8.56 c ---[2911]---> Adder-cost: 224 maxlim: 122880 bits: 18/17 8.49/8.58 c ---[2909]---> Adder-cost: 94 maxlim: 56320 bits: 17/16 8.49/8.59 c ---[2906]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 8.49/8.59 c ---[2904]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 8.49/8.59 c ---[2902]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 8.49/8.59 c ---[2900]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 8.49/8.59 c ---[2898]---> Sorter-cost: 592 Base: 2 2 2 2 2 2 2 2 2 2 7 8.49/8.60 c ---[2896]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.60 c ---[2894]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.60 c ---[2892]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 8.59/8.61 c ---[2890]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.62 c ---[2888]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.62 c ---[2886]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.63 c ---[2884]---> Sorter-cost: 676 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.63 c ---[2882]---> Sorter-cost: 402 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.63 c ---[2880]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.64 c ---[2878]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.64 c ---[2876]---> Sorter-cost: 855 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.65 c ---[2874]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.65 c ---[2872]---> Sorter-cost: 1141 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.66 c ---[2870]---> Adder-cost: 122 maxlim: 102400 bits: 18/17 8.59/8.67 c ---[2868]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.68 c ---[2866]---> Adder-cost: 216 maxlim: 108544 bits: 18/17 8.59/8.69 c ---[2864]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 8.69/8.70 c ---[2862]---> Adder-cost: 198 maxlim: 111616 bits: 18/17 8.69/8.72 c ---[2860]---> Adder-cost: 134 maxlim: 110592 bits: 18/17 8.69/8.73 c ---[2858]---> Adder-cost: 144 maxlim: 111616 bits: 18/17 8.69/8.74 c ---[2856]---> Adder-cost: 94 maxlim: 111616 bits: 18/17 8.69/8.76 c ---[2854]---> Adder-cost: 238 maxlim: 121856 bits: 18/17 8.69/8.77 c ---[2852]---> Adder-cost: 80 maxlim: 121856 bits: 18/17 8.69/8.79 c ---[2850]---> Adder-cost: 210 maxlim: 117760 bits: 18/17 8.69/8.80 c ---[2848]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 8.80/8.81 c ---[2846]---> Adder-cost: 154 maxlim: 114688 bits: 18/17 8.80/8.83 c ---[2844]---> Adder-cost: 142 maxlim: 68608 bits: 18/17 8.80/8.84 c ---[2842]---> Adder-cost: 128 maxlim: 69632 bits: 18/17 8.80/8.85 c ---[2840]---> Adder-cost: 114 maxlim: 71680 bits: 18/17 8.80/8.86 c ---[2838]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 8.80/8.86 c ---[2836]---> Adder-cost: 234 maxlim: 117760 bits: 18/17 8.80/8.88 c ---[2834]---> Adder-cost: 150 maxlim: 114688 bits: 18/17 8.80/8.89 c ---[2832]---> Adder-cost: 206 maxlim: 107520 bits: 18/17 8.90/8.91 c ---[2830]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 8.90/8.92 c ---[2828]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 8.90/8.93 c ---[2826]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 8.90/8.95 c ---[2824]---> Adder-cost: 102 maxlim: 110592 bits: 18/17 8.90/8.96 c ---[2822]---> Adder-cost: 96 maxlim: 116736 bits: 18/17 8.90/8.97 c ---[2819]---> Adder-cost: 126 maxlim: 64512 bits: 17/16 8.90/8.98 c ---[2817]---> Adder-cost: 174 maxlim: 86016 bits: 18/17 8.90/8.99 c ---[2815]---> Adder-cost: 140 maxlim: 81920 bits: 18/17 8.99/9.00 c ---[2813]---> Adder-cost: 136 maxlim: 76800 bits: 18/17 8.99/9.01 c ---[2811]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 8.99/9.03 c ---[2809]---> Adder-cost: 122 maxlim: 74752 bits: 18/17 8.99/9.03 c ---[2807]---> Adder-cost: 106 maxlim: 59392 bits: 17/16 8.99/9.04 c ---[2805]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 8.99/9.05 c ---[2803]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 8.99/9.05 c ---[2801]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 8.99/9.06 c ---[2799]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 8.99/9.07 c ---[2797]---> Adder-cost: 208 maxlim: 104448 bits: 18/17 8.99/9.09 c ---[2795]---> Adder-cost: 158 maxlim: 105472 bits: 18/17 9.09/9.10 c ---[2793]---> Adder-cost: 190 maxlim: 94208 bits: 18/17 9.09/9.11 c ---[2791]---> Adder-cost: 182 maxlim: 93184 bits: 18/17 9.09/9.12 c ---[2789]---> Adder-cost: 152 maxlim: 98304 bits: 18/17 9.09/9.13 c ---[2787]---> Sorter-cost: 434 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.14 c ---[2784]---> Adder-cost: 196 maxlim: 106496 bits: 18/17 9.09/9.15 c ---[2782]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 9.09/9.17 c ---[2780]---> Adder-cost: 188 maxlim: 111616 bits: 18/17 9.09/9.18 c ---[2778]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 9.09/9.19 c ---[2776]---> Adder-cost: 108 maxlim: 57344 bits: 17/16 9.09/9.19 c ---[2773]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.20 c ---[2771]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.20 c ---[2769]---> Sorter-cost: 887 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.21 c ---[2767]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.21 c ---[2765]---> Sorter-cost: 1120 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.22 c ---[2763]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 9.19/9.22 c ---[2760]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.22 c ---[2758]---> Sorter-cost: 601 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.23 c ---[2756]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.23 c ---[2753]---> Adder-cost: 274 maxlim: 136192 bits: 19/18 9.19/9.25 c ---[2751]---> Adder-cost: 238 maxlim: 122880 bits: 18/17 9.19/9.26 c ---[2749]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 9.19/9.27 c ---[2746]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.27 c ---[2744]---> Sorter-cost: 751 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.28 c ---[2742]---> Adder-cost: 132 maxlim: 68608 bits: 18/17 9.19/9.29 c ---[2740]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.29 c ---[2736]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.30 c ---[2734]---> Adder-cost: 60 maxlim: 57344 bits: 17/16 9.29/9.30 c ---[2732]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 9.29/9.31 c ---[2730]---> Adder-cost: 146 maxlim: 74752 bits: 18/17 9.29/9.32 c ---[2728]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.33 c ---[2726]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.33 c ---[2723]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 9.29/9.34 c ---[2721]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 9.29/9.35 c ---[2719]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 9.29/9.36 c ---[2716]---> Adder-cost: 212 maxlim: 108544 bits: 18/17 9.29/9.37 c ---[2713]---> Adder-cost: 142 maxlim: 68608 bits: 18/17 9.29/9.38 c ---[2709]---> Adder-cost: 286 maxlim: 147456 bits: 19/18 9.39/9.40 c ---[2707]---> Adder-cost: 114 maxlim: 58368 bits: 17/16 9.39/9.41 c ---[2703]---> Adder-cost: 148 maxlim: 71680 bits: 18/17 9.39/9.42 c ---[2700]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.42 c ---[2698]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.43 c ---[2695]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 9.39/9.43 c ---[2692]---> Adder-cost: 272 maxlim: 133120 bits: 19/18 9.39/9.45 c ---[2688]---> Adder-cost: 248 maxlim: 125952 bits: 18/17 9.39/9.47 c ---[2684]---> Adder-cost: 238 maxlim: 118784 bits: 18/17 9.39/9.48 c ---[2682]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.49 c ---[2680]---> Adder-cost: 98 maxlim: 53248 bits: 17/16 9.39/9.49 c ---[2676]---> Adder-cost: 274 maxlim: 135168 bits: 19/18 9.49/9.51 c ---[2674]---> Adder-cost: 176 maxlim: 89088 bits: 18/17 9.49/9.52 c ---[2670]---> Adder-cost: 276 maxlim: 143360 bits: 19/18 9.49/9.54 c ---[2666]---> Sorter-cost: 1117 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.54 c ---[2664]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 9.49/9.55 c ---[2661]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 9.49/9.56 c ---[2659]---> Adder-cost: 88 maxlim: 55296 bits: 17/16 9.49/9.56 c ---[2657]---> Adder-cost: 168 maxlim: 82944 bits: 18/17 9.49/9.57 c ---[2653]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.58 c ---[2651]---> Adder-cost: 360 maxlim: 184320 bits: 19/18 9.59/9.60 c ---[2649]---> Adder-cost: 330 maxlim: 182272 bits: 19/18 9.59/9.62 c ---[2645]---> Adder-cost: 198 maxlim: 108544 bits: 18/17 9.59/9.64 c ---[2643]---> Adder-cost: 290 maxlim: 154624 bits: 19/18 9.59/9.66 c ---[2641]---> Adder-cost: 176 maxlim: 86016 bits: 18/17 9.59/9.67 c ---[2637]---> Adder-cost: 150 maxlim: 89088 bits: 18/17 9.59/9.68 c ---[2635]---> Sorter-cost: 831 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.68 c ---[2631]---> Adder-cost: 238 maxlim: 118784 bits: 18/17 9.69/9.70 c ---[2628]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 9.69/9.70 c ---[2626]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 9.69/9.71 c ---[2622]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 9.69/9.72 c ---[2620]---> Sorter-cost: 882 Base: 2 2 2 2 2 2 2 2 2 2 7 9.69/9.72 c ---[2618]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 9.69/9.73 c ---[2614]---> Adder-cost: 112 maxlim: 61440 bits: 17/16 9.69/9.74 c ---[2612]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 9.69/9.74 c ---[2610]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 9.69/9.75 c ---[2608]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 9.69/9.78 c ---[2605]---> Sorter-cost: 845 Base: 2 2 2 2 2 2 2 2 2 2 7 9.69/9.79 c ---[2603]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 9.69/9.79 c ---[2599]---> Adder-cost: 144 maxlim: 70656 bits: 18/17 9.79/9.80 c ---[2597]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 9.79/9.82 c ---[2595]---> Adder-cost: 130 maxlim: 112640 bits: 18/17 9.79/9.83 c ---[2591]---> Adder-cost: 158 maxlim: 80896 bits: 18/17 9.79/9.84 c ---[2588]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.84 c ---[2585]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 9.79/9.85 c ---[2583]---> Adder-cost: 274 maxlim: 137216 bits: 19/18 9.79/9.87 c ---[2581]---> Adder-cost: 140 maxlim: 138240 bits: 19/18 9.79/9.88 c ---[2577]---> Adder-cost: 184 maxlim: 90112 bits: 18/17 9.79/9.89 c ---[2573]---> Adder-cost: 264 maxlim: 138240 bits: 19/18 9.90/9.91 c ---[2571]---> Sorter-cost: 784 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.92 c ---[2568]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 9.90/9.93 c ---[2566]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 9.90/9.94 c ---[2562]---> Adder-cost: 184 maxlim: 91136 bits: 18/17 9.90/9.95 c ---[2560]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.95 c ---[2558]---> Sorter-cost: 227 Base: 2 2 2 2 2 2 2 2 2 2 2 9.90/9.95 c ---[2556]---> Sorter-cost: 703 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.96 c ---[2554]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 9.90/9.96 c ---[2552]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 9.90/9.96 c ---[2550]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.96 c ---[2548]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.97 c ---[2546]---> Sorter-cost: 439 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.97 c ---[2544]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.97 c ---[2541]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 9.90/9.98 c ---[2539]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.98 c ---[2537]---> Adder-cost: 98 maxlim: 60416 bits: 17/16 9.90/9.99 c ---[2534]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.99 c ---[2532]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/10.00 c ---[2530]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/10.00 c ---[2528]---> Sorter-cost: 669 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/10.00 c ---[2526]---> Adder-cost: 278 maxlim: 146432 bits: 19/18 10.00/10.02 c ---[2524]---> Adder-cost: 88 maxlim: 146432 bits: 19/18 10.00/10.04 c ---[2520]---> Adder-cost: 148 maxlim: 74752 bits: 18/17 10.00/10.05 c ---[2516]---> Adder-cost: 176 maxlim: 88064 bits: 18/17 10.00/10.06 c ---[2514]---> Adder-cost: 184 maxlim: 90112 bits: 18/17 10.00/10.07 c ---[2512]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 10.00/10.08 c ---[2510]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.00/10.08 c ---[2506]---> Adder-cost: 152 maxlim: 77824 bits: 18/17 10.00/10.09 c ---[2503]---> Adder-cost: 182 maxlim: 91136 bits: 18/17 10.09/10.11 c ---[2501]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.11 c ---[2498]---> Adder-cost: 170 maxlim: 82944 bits: 18/17 10.09/10.12 c ---[2496]---> Adder-cost: 298 maxlim: 149504 bits: 19/18 10.09/10.14 c ---[2494]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 10.09/10.15 c ---[2492]---> Sorter-cost: 1244 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.16 c ---[2490]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.16 c ---[2486]---> Adder-cost: 290 maxlim: 149504 bits: 19/18 10.09/10.18 c ---[2484]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.19 c ---[2481]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.19 c ---[2479]---> Sorter-cost: 785 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.19 c ---[2477]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.20 c ---[2475]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 10.19/10.21 c ---[2473]---> Adder-cost: 204 maxlim: 102400 bits: 18/17 10.19/10.22 c ---[2471]---> Adder-cost: 134 maxlim: 78848 bits: 18/17 10.19/10.23 c ---[2469]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.24 c ---[2467]---> Sorter-cost: 896 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.24 c ---[2465]---> Sorter-cost: 623 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.24 c ---[2463]---> Sorter-cost: 923 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.25 c ---[2461]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 10.19/10.26 c ---[2459]---> Adder-cost: 252 maxlim: 129024 bits: 18/17 10.19/10.27 c ---[2457]---> Adder-cost: 112 maxlim: 104448 bits: 18/17 10.19/10.29 c ---[2454]---> Adder-cost: 154 maxlim: 82944 bits: 18/17 10.29/10.30 c ---[2452]---> Adder-cost: 130 maxlim: 81920 bits: 18/17 10.29/10.31 c ---[2448]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.31 c ---[2446]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.32 c ---[2444]---> Adder-cost: 180 maxlim: 105472 bits: 18/17 10.29/10.33 c ---[2441]---> Adder-cost: 152 maxlim: 76800 bits: 18/17 10.29/10.34 c ---[2439]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 10.29/10.34 c ---[2437]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.34 c ---[2435]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.35 c ---[2433]---> Sorter-cost: 905 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.35 c ---[2429]---> Sorter-cost: 1215 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.36 c ---[2427]---> Adder-cost: 146 maxlim: 74752 bits: 18/17 10.29/10.37 c ---[2425]---> Sorter-cost: 1182 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.37 c ---[2423]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 10.29/10.38 c ---[2421]---> Sorter-cost: 418 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.38 c ---[2419]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.38 c ---[2417]---> Sorter-cost: 584 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.38 c ---[2415]---> Sorter-cost: 413 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.39 c ---[2413]---> Adder-cost: 130 maxlim: 72704 bits: 18/17 10.39/10.40 c ---[2411]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.40 c ---[2409]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.40 c ---[2407]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.40 c ---[2404]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.41 c ---[2402]---> Sorter-cost: 1279 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.42 c ---[2400]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.42 c ---[2398]---> Adder-cost: 144 maxlim: 70656 bits: 18/17 10.39/10.43 c ---[2395]---> Adder-cost: 202 maxlim: 99328 bits: 18/17 10.39/10.44 c ---[2393]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 10.39/10.45 c ---[2391]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 10.39/10.45 c ---[2388]---> Adder-cost: 118 maxlim: 60416 bits: 17/16 10.39/10.46 c ---[2384]---> Adder-cost: 166 maxlim: 87040 bits: 18/17 10.39/10.47 c ---[2382]---> Adder-cost: 136 maxlim: 69632 bits: 18/17 10.39/10.48 c ---[2380]---> Adder-cost: 132 maxlim: 76800 bits: 18/17 10.39/10.49 c ---[2378]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 10.49/10.50 c ---[2375]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 10.49/10.51 c ---[2371]---> Sorter-cost: 1034 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.52 c ---[2369]---> Sorter-cost: 639 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.52 c ---[2367]---> Sorter-cost: 1138 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.53 c ---[2365]---> Adder-cost: 136 maxlim: 70656 bits: 18/17 10.49/10.53 c ---[2363]---> Sorter-cost: 1143 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.54 c ---[2361]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 10.49/10.55 c ---[2359]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 10.49/10.56 c ---[2356]---> Adder-cost: 92 maxlim: 62464 bits: 17/16 10.49/10.56 c ---[2354]---> Adder-cost: 84 maxlim: 71680 bits: 18/17 10.49/10.57 c ---[2352]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 10.49/10.57 c ---[2350]---> Adder-cost: 298 maxlim: 151552 bits: 19/18 10.49/10.59 c ---[2348]---> Adder-cost: 302 maxlim: 153600 bits: 19/18 10.59/10.61 c ---[2346]---> Adder-cost: 222 maxlim: 110592 bits: 18/17 10.59/10.63 c ---[2343]---> Adder-cost: 186 maxlim: 95232 bits: 18/17 10.59/10.64 c ---[2341]---> Adder-cost: 228 maxlim: 125952 bits: 18/17 10.59/10.65 c ---[2339]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.66 c ---[2337]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.66 c ---[2335]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.66 c ---[2333]---> Adder-cost: 194 maxlim: 101376 bits: 18/17 10.59/10.67 c ---[2329]---> Sorter-cost: 1211 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.68 c ---[2327]---> Adder-cost: 152 maxlim: 75776 bits: 18/17 10.59/10.69 c ---[2325]---> Adder-cost: 104 maxlim: 59392 bits: 17/16 10.69/10.70 c ---[2323]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.70 c ---[2321]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.70 c ---[2319]---> Adder-cost: 164 maxlim: 99328 bits: 18/17 10.69/10.72 c ---[2316]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 10.69/10.73 c ---[2314]---> Adder-cost: 214 maxlim: 118784 bits: 18/17 10.69/10.74 c ---[2312]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 10.69/10.76 c ---[2310]---> Adder-cost: 174 maxlim: 86016 bits: 18/17 10.69/10.77 c ---[2308]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 10.69/10.78 c ---[2306]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.78 c ---[2302]---> Adder-cost: 200 maxlim: 99328 bits: 18/17 10.79/10.80 c ---[2300]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.80 c ---[2298]---> Sorter-cost: 1016 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.81 c ---[2296]---> Sorter-cost: 677 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.81 c ---[2294]---> Adder-cost: 184 maxlim: 90112 bits: 18/17 10.79/10.82 c ---[2292]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.83 c ---[2290]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 10.79/10.84 c ---[2288]---> Adder-cost: 252 maxlim: 136192 bits: 19/18 10.79/10.85 c ---[2285]---> Sorter-cost: 900 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.86 c ---[2283]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 10.79/10.87 c ---[2281]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.87 c ---[2279]---> Sorter-cost: 1259 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.88 c ---[2276]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.88 c ---[2274]---> Adder-cost: 138 maxlim: 72704 bits: 18/17 10.79/10.89 c ---[2272]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.89 c ---[2270]---> Adder-cost: 188 maxlim: 98304 bits: 18/17 10.89/10.91 c ---[2267]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.91 c ---[2265]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 10.89/10.91 c ---[2263]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 10.89/10.92 c ---[2261]---> Sorter-cost: 985 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.92 c ---[2257]---> Adder-cost: 108 maxlim: 97280 bits: 18/17 10.89/10.93 c ---[2255]---> Adder-cost: 168 maxlim: 86016 bits: 18/17 10.89/10.94 c ---[2253]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.95 c ---[2249]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.95 c ---[2247]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.95 c ---[2245]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.96 c ---[2241]---> Adder-cost: 158 maxlim: 96256 bits: 18/17 10.89/10.97 c ---[2239]---> Sorter-cost: 1048 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.97 c ---[2235]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.98 c ---[2233]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.98 c ---[2230]---> Sorter-cost: 460 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.98 c ---[2226]---> Adder-cost: 108 maxlim: 95232 bits: 18/17 10.89/11.00 c ---[2224]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/11.00 c ---[2220]---> Adder-cost: 168 maxlim: 81920 bits: 18/17 10.99/11.01 c ---[2217]---> Adder-cost: 144 maxlim: 69632 bits: 18/17 10.99/11.02 c ---[2214]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 10.99/11.02 c ---[2212]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 10.99/11.04 c ---[2210]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 10.99/11.04 c ---[2208]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 10.99/11.05 c ---[2204]---> Adder-cost: 314 maxlim: 162816 bits: 19/18 10.99/11.07 c ---[2202]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 10.99/11.09 c ---[2200]---> Adder-cost: 310 maxlim: 166912 bits: 19/18 11.09/11.11 c ---[2198]---> Adder-cost: 100 maxlim: 166912 bits: 19/18 11.09/11.13 c ---[2195]---> Adder-cost: 100 maxlim: 166912 bits: 19/18 11.09/11.15 c ---[2193]---> Adder-cost: 100 maxlim: 166912 bits: 19/18 11.09/11.17 c ---[2190]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.17 c ---[2188]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 11.09/11.18 c ---[2186]---> Adder-cost: 92 maxlim: 54272 bits: 17/16 11.09/11.19 c ---[2184]---> Adder-cost: 78 maxlim: 51200 bits: 17/16 11.09/11.19 c ---[2182]---> Adder-cost: 278 maxlim: 141312 bits: 19/18 11.19/11.21 c ---[2178]---> Adder-cost: 128 maxlim: 68608 bits: 18/17 11.19/11.22 c ---[2176]---> Adder-cost: 96 maxlim: 66560 bits: 18/17 11.19/11.23 c ---[2174]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 11.19/11.24 c ---[2170]---> Adder-cost: 86 maxlim: 53248 bits: 17/16 11.19/11.24 c ---[2168]---> Adder-cost: 364 maxlim: 184320 bits: 19/18 11.19/11.27 c ---[2166]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.27 c ---[2162]---> Adder-cost: 178 maxlim: 89088 bits: 18/17 11.19/11.28 c ---[2160]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.29 c ---[2157]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 11.19/11.29 c ---[2155]---> Adder-cost: 142 maxlim: 72704 bits: 18/17 11.29/11.30 c ---[2153]---> Adder-cost: 116 maxlim: 70656 bits: 18/17 11.29/11.31 c ---[2151]---> Adder-cost: 254 maxlim: 153600 bits: 19/18 11.29/11.33 c ---[2148]---> Adder-cost: 148 maxlim: 73728 bits: 18/17 11.29/11.34 c ---[2146]---> Adder-cost: 102 maxlim: 55296 bits: 17/16 11.29/11.35 c ---[2142]---> Adder-cost: 230 maxlim: 119808 bits: 18/17 11.29/11.36 c ---[2140]---> Adder-cost: 80 maxlim: 119808 bits: 18/17 11.29/11.38 c ---[2137]---> Sorter-cost: 460 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.38 c ---[2134]---> Adder-cost: 168 maxlim: 152576 bits: 19/18 11.38/11.40 c ---[2131]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.40 c ---[2129]---> Sorter-cost: 548 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.40 c ---[2127]---> Sorter-cost: 532 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.41 c ---[2125]---> Sorter-cost: 706 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.41 c ---[2123]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.41 c ---[2121]---> Sorter-cost: 1178 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.42 c ---[2119]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 11.38/11.43 c ---[2116]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.43 c ---[2114]---> Adder-cost: 146 maxlim: 155648 bits: 19/18 11.38/11.45 c ---[2110]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.45 c ---[2106]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 11.38/11.46 c ---[2104]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 11.38/11.47 c ---[2102]---> Sorter-cost: 1053 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.47 c ---[2100]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 11.38/11.48 c ---[2098]---> Adder-cost: 96 maxlim: 155648 bits: 19/18 11.38/11.49 c ---[2096]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 11.48/11.50 c ---[2092]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 11.48/11.50 c ---[2090]---> Adder-cost: 172 maxlim: 87040 bits: 18/17 11.48/11.51 c ---[2088]---> Adder-cost: 226 maxlim: 119808 bits: 18/17 11.48/11.53 c ---[2086]---> Adder-cost: 142 maxlim: 73728 bits: 18/17 11.48/11.54 c ---[2084]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 11.48/11.55 c ---[2079]---> Sorter-cost: 554 Base: 2 2 2 2 2 2 2 2 2 2 7 11.48/11.55 c ---[2075]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 11.48/11.55 c ---[2072]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 11.48/11.56 c ---[2070]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 11.48/11.56 c ---[2068]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 11.48/11.57 c ---[2066]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 11.48/11.57 c ---[2063]---> Sorter-cost: 1147 Base: 2 2 2 2 2 2 2 2 2 2 7 11.48/11.57 c ---[2061]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 11.48/11.58 c ---[2057]---> Sorter-cost: 727 Base: 2 2 2 2 2 2 2 2 2 2 7 11.48/11.58 c ---[2053]---> Sorter-cost: 363 Base: 2 2 2 2 2 2 2 2 2 2 7 11.48/11.59 c ---[2051]---> Adder-cost: 88 maxlim: 73728 bits: 18/17 11.48/11.60 c ---[2048]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.60 c ---[2045]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.60 c ---[2043]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 11.58/11.60 c ---[2041]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 11.58/11.61 c ---[2039]---> Sorter-cost: 534 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.61 c ---[2036]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.61 c ---[2034]---> Adder-cost: 108 maxlim: 61440 bits: 17/16 11.58/11.62 c ---[2032]---> Adder-cost: 186 maxlim: 93184 bits: 18/17 11.58/11.63 c ---[2030]---> Adder-cost: 84 maxlim: 93184 bits: 18/17 11.58/11.64 c ---[2027]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.65 c ---[2025]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.65 c ---[2023]---> Sorter-cost: 408 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.65 c ---[2021]---> Sorter-cost: 698 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.66 c ---[2017]---> Adder-cost: 172 maxlim: 90112 bits: 18/17 11.58/11.67 c ---[2015]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.67 c ---[2012]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.68 c ---[2010]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58/11.68 c ---[2008]---> Adder-cost: 172 maxlim: 86016 bits: 18/17 11.58/11.69 c ---[2006]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.70 c ---[2004]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.70 c ---[2002]---> Sorter-cost: 676 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.70 c ---[2000]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.71 c ---[1998]---> Sorter-cost: 245 Base: 2 2 2 2 2 2 2 2 2 2 2 11.68/11.71 c ---[1996]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.71 c ---[1993]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.72 c ---[1991]---> Adder-cost: 108 maxlim: 79872 bits: 18/17 11.68/11.73 c ---[1989]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 11.68/11.73 c ---[1987]---> Sorter-cost: 231 Base: 2 2 2 2 2 2 2 2 2 2 2 11.68/11.73 c ---[1985]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.73 c ---[1983]---> Sorter-cost: 704 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.74 c ---[1980]---> Sorter-cost: 624 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.74 c ---[1978]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 11.68/11.74 c ---[1976]---> Adder-cost: 150 maxlim: 77824 bits: 18/17 11.68/11.75 c ---[1973]---> Sorter-cost: 418 Base: 2 2 2 2 2 2 2 2 2 2 7 11.68/11.75 c ---[1971]---> Adder-cost: 230 maxlim: 115712 bits: 18/17 11.68/11.77 c ---[1969]---> Adder-cost: 160 maxlim: 114688 bits: 18/17 11.68/11.78 c ---[1967]---> Adder-cost: 204 maxlim: 116736 bits: 18/17 11.78/11.80 c ---[1964]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.80 c ---[1962]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 11.78/11.81 c ---[1959]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.81 c ---[1957]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.82 c ---[1955]---> Sorter-cost: 589 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.82 c ---[1951]---> Adder-cost: 204 maxlim: 104448 bits: 18/17 11.78/11.83 c ---[1949]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.84 c ---[1947]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 11.78/11.84 c ---[1943]---> Sorter-cost: 1289 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.85 c ---[1940]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 11.78/11.85 c ---[1938]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 11.78/11.85 c ---[1936]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 11.78/11.85 c ---[1933]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 11.78/11.86 c ---[1931]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 11.78/11.86 c ---[1929]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 11.78/11.86 c ---[1926]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.87 c ---[1923]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.87 c ---[1920]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.88 c ---[1917]---> Sorter-cost: 894 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.88 c ---[1915]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.89 c ---[1913]---> Sorter-cost: 951 Base: 2 2 2 2 2 2 2 2 2 2 7 11.78/11.89 c ---[1911]---> Sorter-cost: 1129 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.90 c ---[1908]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.90 c ---[1906]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.91 c ---[1903]---> Adder-cost: 114 maxlim: 59392 bits: 17/16 11.88/11.91 c ---[1901]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 11.88/11.92 c ---[1899]---> Adder-cost: 90 maxlim: 58368 bits: 17/16 11.88/11.93 c ---[1896]---> Adder-cost: 108 maxlim: 55296 bits: 17/16 11.88/11.93 c ---[1894]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.94 c ---[1892]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.94 c ---[1890]---> Sorter-cost: 1265 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.94 c ---[1888]---> Adder-cost: 102 maxlim: 58368 bits: 17/16 11.88/11.95 c ---[1886]---> Sorter-cost: 1229 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.96 c ---[1884]---> Adder-cost: 136 maxlim: 73728 bits: 18/17 11.88/11.97 c ---[1881]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.97 c ---[1879]---> Sorter-cost: 1209 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.97 c ---[1877]---> Sorter-cost: 706 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.98 c ---[1875]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 11.88/11.98 c ---[1873]---> Adder-cost: 304 maxlim: 163840 bits: 19/18 11.98/12.00 c ---[1871]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 11.98/12.01 c ---[1868]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.01 c ---[1865]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.02 c ---[1863]---> Adder-cost: 152 maxlim: 82944 bits: 18/17 11.98/12.03 c ---[1861]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.03 c ---[1857]---> Adder-cost: 146 maxlim: 79872 bits: 18/17 11.98/12.04 c ---[1855]---> Sorter-cost: 1128 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.05 c ---[1852]---> Adder-cost: 212 maxlim: 111616 bits: 18/17 11.98/12.06 c ---[1849]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.06 c ---[1847]---> Sorter-cost: 697 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.07 c ---[1845]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.07 c ---[1843]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 11.98/12.08 c ---[1839]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.08 c ---[1837]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98/12.09 c ---[1834]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 11.98/12.09 c ---[1831]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 11.98/12.10 c ---[1828]---> Sorter-cost: 1178 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.10 c ---[1825]---> Sorter-cost: 939 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.11 c ---[1823]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.11 c ---[1821]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.12 c ---[1819]---> Sorter-cost: 577 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.12 c ---[1817]---> Sorter-cost: 670 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.13 c ---[1815]---> Sorter-cost: 883 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.13 c ---[1813]---> Adder-cost: 218 maxlim: 110592 bits: 18/17 12.09/12.14 c ---[1811]---> Adder-cost: 192 maxlim: 101376 bits: 18/17 12.09/12.16 c ---[1809]---> Adder-cost: 114 maxlim: 57344 bits: 17/16 12.09/12.16 c ---[1806]---> Sorter-cost: 439 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.17 c ---[1804]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.17 c ---[1802]---> Sorter-cost: 265 Base: 2 2 2 2 2 2 2 2 2 2 2 12.09/12.17 c ---[1800]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 12.09/12.17 c ---[1798]---> Sorter-cost: 1301 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.18 c ---[1796]---> Sorter-cost: 363 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.18 c ---[1794]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.19 c ---[1792]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.19 c ---[1790]---> Adder-cost: 174 maxlim: 89088 bits: 18/17 12.09/12.20 c ---[1788]---> Sorter-cost: 406 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.20 c ---[1786]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.20 c ---[1784]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.21 c ---[1782]---> Sorter-cost: 581 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.21 c ---[1780]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.21 c ---[1778]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.22 c ---[1774]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 12.19/12.22 c ---[1772]---> Adder-cost: 174 maxlim: 108544 bits: 18/17 12.19/12.24 c ---[1770]---> Adder-cost: 164 maxlim: 82944 bits: 18/17 12.19/12.25 c ---[1767]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.25 c ---[1765]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 12.19/12.25 c ---[1763]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.26 c ---[1761]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.26 c ---[1759]---> Adder-cost: 242 maxlim: 123904 bits: 18/17 12.19/12.28 c ---[1757]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.28 c ---[1754]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.28 c ---[1752]---> Adder-cost: 110 maxlim: 55296 bits: 17/16 12.19/12.29 c ---[1748]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.30 c ---[1746]---> Sorter-cost: 923 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.30 c ---[1744]---> Adder-cost: 200 maxlim: 125952 bits: 18/17 12.28/12.32 c ---[1742]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 12.28/12.32 c ---[1740]---> Adder-cost: 108 maxlim: 60416 bits: 17/16 12.28/12.33 c ---[1738]---> Adder-cost: 110 maxlim: 64512 bits: 17/16 12.28/12.34 c ---[1736]---> Adder-cost: 102 maxlim: 58368 bits: 17/16 12.28/12.34 c ---[1734]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.35 c ---[1732]---> Sorter-cost: 963 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.35 c ---[1730]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.36 c ---[1728]---> Adder-cost: 268 maxlim: 134144 bits: 19/18 12.28/12.37 c ---[1726]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 12.28/12.38 c ---[1722]---> Sorter-cost: 975 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.39 c ---[1720]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.39 c ---[1717]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 12.38/12.40 c ---[1714]---> Adder-cost: 242 maxlim: 138240 bits: 19/18 12.38/12.42 c ---[1712]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.42 c ---[1710]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 12.38/12.42 c ---[1707]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.43 c ---[1704]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.43 c ---[1702]---> Adder-cost: 264 maxlim: 141312 bits: 19/18 12.38/12.45 c ---[1700]---> Sorter-cost: 1132 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.45 c ---[1698]---> Sorter-cost: 1016 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.46 c ---[1694]---> Adder-cost: 110 maxlim: 64512 bits: 17/16 12.38/12.47 c ---[1692]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 12.38/12.47 c ---[1690]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 12.38/12.47 c ---[1686]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.47 c ---[1683]---> Sorter-cost: 973 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.48 c ---[1681]---> Sorter-cost: 668 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.48 c ---[1678]---> Adder-cost: 160 maxlim: 78848 bits: 18/17 12.38/12.49 c ---[1676]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 12.48/12.50 c ---[1674]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 12.48/12.51 c ---[1672]---> Sorter-cost: 1275 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.51 c ---[1669]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.52 c ---[1667]---> Adder-cost: 156 maxlim: 77824 bits: 18/17 12.48/12.53 c ---[1665]---> Adder-cost: 94 maxlim: 79872 bits: 18/17 12.48/12.54 c ---[1663]---> Adder-cost: 266 maxlim: 136192 bits: 19/18 12.48/12.55 c ---[1661]---> Adder-cost: 226 maxlim: 135168 bits: 19/18 12.48/12.57 c ---[1659]---> Adder-cost: 280 maxlim: 142336 bits: 19/18 12.48/12.59 c ---[1657]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 12.59/12.61 c ---[1655]---> Sorter-cost: 559 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.61 c ---[1652]---> Sorter-cost: 414 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.61 c ---[1650]---> Sorter-cost: 904 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.62 c ---[1648]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 12.59/12.63 c ---[1646]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.63 c ---[1644]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.63 c ---[1641]---> Adder-cost: 244 maxlim: 128000 bits: 18/17 12.59/12.65 c ---[1639]---> Sorter-cost: 462 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.65 c ---[1637]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 12.59/12.66 c ---[1635]---> Sorter-cost: 1031 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.66 c ---[1633]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 12.59/12.67 c ---[1629]---> Sorter-cost: 581 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.67 c ---[1627]---> Sorter-cost: 622 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.68 c ---[1625]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.68 c ---[1623]---> Sorter-cost: 227 Base: 2 2 2 2 2 2 2 2 2 2 2 12.59/12.68 c ---[1621]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 12.59/12.68 c ---[1618]---> Adder-cost: 180 maxlim: 91136 bits: 18/17 12.69/12.70 c ---[1616]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 12.69/12.70 c ---[1614]---> Adder-cost: 158 maxlim: 84992 bits: 18/17 12.69/12.71 c ---[1611]---> Adder-cost: 142 maxlim: 67584 bits: 18/17 12.69/12.72 c ---[1609]---> Adder-cost: 200 maxlim: 99328 bits: 18/17 12.69/12.73 c ---[1607]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 12.69/12.75 c ---[1603]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 12.69/12.75 c ---[1599]---> Sorter-cost: 775 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.76 c ---[1596]---> Sorter-cost: 1008 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.76 c ---[1594]---> Sorter-cost: 967 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.77 c ---[1592]---> Adder-cost: 152 maxlim: 90112 bits: 18/17 12.69/12.78 c ---[1589]---> Adder-cost: 282 maxlim: 159744 bits: 19/18 12.79/12.80 c ---[1587]---> Adder-cost: 106 maxlim: 58368 bits: 17/16 12.79/12.80 c ---[1585]---> Adder-cost: 84 maxlim: 59392 bits: 17/16 12.79/12.81 c ---[1583]---> Adder-cost: 108 maxlim: 61440 bits: 17/16 12.79/12.82 c ---[1580]---> Sorter-cost: 968 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.82 c ---[1578]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.83 c ---[1576]---> Sorter-cost: 291 Base: 2 2 2 2 2 2 2 2 2 2 2 12.79/12.83 c ---[1574]---> Sorter-cost: 1068 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.83 c ---[1572]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 12.79/12.84 c ---[1570]---> Sorter-cost: 873 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.85 c ---[1568]---> Sorter-cost: 672 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.85 c ---[1566]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.85 c ---[1564]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.86 c ---[1562]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 12.79/12.86 c ---[1560]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 12.79/12.87 c ---[1556]---> Adder-cost: 104 maxlim: 64512 bits: 17/16 12.79/12.88 c ---[1553]---> Sorter-cost: 894 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.88 c ---[1550]---> Adder-cost: 220 maxlim: 111616 bits: 18/17 12.79/12.89 c ---[1548]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.90 c ---[1546]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.90 c ---[1544]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.91 c ---[1542]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.91 c ---[1539]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.91 c ---[1537]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 2 12.89/12.92 c ---[1535]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.92 c ---[1533]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.93 c ---[1529]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 12.89/12.93 c ---[1527]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.93 c ---[1525]---> Sorter-cost: 1103 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.94 c ---[1523]---> Adder-cost: 236 maxlim: 122880 bits: 18/17 12.89/12.95 c ---[1521]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.96 c ---[1519]---> Adder-cost: 206 maxlim: 119808 bits: 18/17 12.89/12.97 c ---[1514]---> Sorter-cost: 1293 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.98 c ---[1512]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 12.89/12.99 c ---[1509]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.99 c ---[1507]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.99 c ---[1505]---> Sorter-cost: 811 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.00 c ---[1502]---> Sorter-cost: 1069 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.00 c ---[1500]---> Adder-cost: 122 maxlim: 67584 bits: 18/17 12.99/13.01 c ---[1498]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.02 c ---[1496]---> Sorter-cost: 1281 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.02 c ---[1494]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 12.99/13.03 c ---[1492]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.03 c ---[1490]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.04 c ---[1488]---> Adder-cost: 202 maxlim: 102400 bits: 18/17 12.99/13.05 c ---[1486]---> Adder-cost: 138 maxlim: 101376 bits: 18/17 12.99/13.06 c ---[1484]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.07 c ---[1482]---> Adder-cost: 170 maxlim: 89088 bits: 18/17 12.99/13.08 c ---[1480]---> Adder-cost: 146 maxlim: 72704 bits: 18/17 12.99/13.09 c ---[1478]---> Adder-cost: 318 maxlim: 159744 bits: 19/18 13.09/13.11 c ---[1476]---> Adder-cost: 114 maxlim: 58368 bits: 17/16 13.09/13.11 c ---[1474]---> Adder-cost: 86 maxlim: 52224 bits: 17/16 13.09/13.12 c ---[1472]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.13 c ---[1470]---> Sorter-cost: 882 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.13 c ---[1468]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 13.09/13.14 c ---[1466]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 13.09/13.15 c ---[1464]---> Adder-cost: 206 maxlim: 104448 bits: 18/17 13.09/13.16 c ---[1462]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.17 c ---[1460]---> Adder-cost: 224 maxlim: 119808 bits: 18/17 13.09/13.18 c ---[1458]---> Adder-cost: 186 maxlim: 96256 bits: 18/17 13.09/13.19 c ---[1456]---> Adder-cost: 236 maxlim: 126976 bits: 18/17 13.20/13.21 c ---[1454]---> Adder-cost: 192 maxlim: 106496 bits: 18/17 13.20/13.22 c ---[1452]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 13.20/13.23 c ---[1450]---> Adder-cost: 172 maxlim: 87040 bits: 18/17 13.20/13.24 c ---[1448]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 13.20/13.25 c ---[1446]---> Adder-cost: 238 maxlim: 129024 bits: 18/17 13.20/13.26 c ---[1444]---> Sorter-cost: 1207 Base: 2 2 2 2 2 2 2 2 2 2 7 13.20/13.27 c ---[1441]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 13.20/13.27 c ---[1439]---> Adder-cost: 102 maxlim: 51200 bits: 17/16 13.20/13.28 c ---[1437]---> Adder-cost: 92 maxlim: 57344 bits: 17/16 13.20/13.29 c ---[1435]---> Adder-cost: 76 maxlim: 54272 bits: 17/16 13.20/13.29 c ---[1433]---> Adder-cost: 214 maxlim: 110592 bits: 18/17 13.30/13.31 c ---[1431]---> Adder-cost: 256 maxlim: 135168 bits: 19/18 13.30/13.32 c ---[1429]---> Adder-cost: 262 maxlim: 141312 bits: 19/18 13.30/13.34 c ---[1427]---> Adder-cost: 354 maxlim: 199680 bits: 19/18 13.30/13.36 c ---[1425]---> Adder-cost: 230 maxlim: 152576 bits: 19/18 13.30/13.38 c ---[1423]---> Adder-cost: 338 maxlim: 196608 bits: 19/18 13.39/13.41 c ---[1421]---> Adder-cost: 264 maxlim: 194560 bits: 19/18 13.39/13.43 c ---[1419]---> Adder-cost: 310 maxlim: 191488 bits: 19/18 13.39/13.45 c ---[1417]---> Adder-cost: 276 maxlim: 178176 bits: 19/18 13.39/13.47 c ---[1415]---> Adder-cost: 266 maxlim: 151552 bits: 19/18 13.39/13.49 c ---[1413]---> Adder-cost: 274 maxlim: 171008 bits: 19/18 13.49/13.51 c ---[1411]---> Adder-cost: 366 maxlim: 203776 bits: 19/18 13.49/13.54 c ---[1409]---> Adder-cost: 364 maxlim: 218112 bits: 19/18 13.49/13.56 c ---[1407]---> Adder-cost: 346 maxlim: 216064 bits: 19/18 13.49/13.59 c ---[1405]---> Adder-cost: 306 maxlim: 195584 bits: 19/18 13.59/13.61 c ---[1403]---> Adder-cost: 216 maxlim: 142336 bits: 19/18 13.59/13.63 c ---[1401]---> Adder-cost: 198 maxlim: 118784 bits: 18/17 13.59/13.64 c ---[1399]---> Adder-cost: 184 maxlim: 110592 bits: 18/17 13.59/13.66 c ---[1397]---> Adder-cost: 196 maxlim: 120832 bits: 18/17 13.59/13.67 c ---[1395]---> Adder-cost: 184 maxlim: 115712 bits: 18/17 13.59/13.69 c ---[1393]---> Adder-cost: 168 maxlim: 94208 bits: 18/17 13.69/13.70 c ---[1391]---> Adder-cost: 272 maxlim: 142336 bits: 19/18 13.69/13.72 c ---[1389]---> Adder-cost: 186 maxlim: 143360 bits: 19/18 13.69/13.73 c ---[1387]---> Adder-cost: 252 maxlim: 141312 bits: 19/18 13.69/13.75 c ---[1385]---> Adder-cost: 168 maxlim: 146432 bits: 19/18 13.69/13.77 c ---[1383]---> Adder-cost: 190 maxlim: 144384 bits: 19/18 13.69/13.79 c ---[1381]---> Adder-cost: 196 maxlim: 148480 bits: 19/18 13.79/13.81 c ---[1379]---> Adder-cost: 250 maxlim: 156672 bits: 19/18 13.79/13.83 c ---[1377]---> Adder-cost: 180 maxlim: 154624 bits: 19/18 13.79/13.84 c ---[1375]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 13.79/13.85 c ---[1373]---> Adder-cost: 208 maxlim: 140288 bits: 19/18 13.79/13.87 c ---[1371]---> Adder-cost: 210 maxlim: 141312 bits: 19/18 13.79/13.89 c ---[1369]---> Adder-cost: 170 maxlim: 136192 bits: 19/18 13.89/13.90 c ---[1367]---> Adder-cost: 228 maxlim: 135168 bits: 19/18 13.89/13.92 c ---[1365]---> Adder-cost: 216 maxlim: 139264 bits: 19/18 13.89/13.94 c ---[1363]---> Adder-cost: 156 maxlim: 136192 bits: 19/18 13.89/13.95 c ---[1361]---> Adder-cost: 178 maxlim: 111616 bits: 18/17 13.89/13.97 c ---[1359]---> Adder-cost: 156 maxlim: 80896 bits: 18/17 13.89/13.98 c ---[1357]---> Adder-cost: 180 maxlim: 109568 bits: 18/17 13.89/13.99 c ---[1356]---> Adder-cost: 2306 maxlim: 1125375 bits: 22/21 14.18/14.22 c ---[1355]---> Adder-cost: 11112 maxlim: 5775359 bits: 23/23 14.88/14.95 c ---[1353]---> Adder-cost: 257 maxlim: 135167 bits: 19/18 14.88/14.97 c ---[1352]---> Adder-cost: 275 maxlim: 146431 bits: 19/18 14.88/14.99 c ---[1351]---> Adder-cost: 309 maxlim: 149503 bits: 19/18 14.98/15.01 c ---[1349]---> Adder-cost: 323 maxlim: 157695 bits: 19/18 14.98/15.03 c ---[1348]---> Adder-cost: 345 maxlim: 173055 bits: 19/18 14.98/15.06 c ---[1346]---> Adder-cost: 520 maxlim: 244735 bits: 19/18 14.98/15.09 c ---[1345]---> Adder-cost: 303 maxlim: 150527 bits: 19/18 15.08/15.11 c ---[1343]---> Adder-cost: 496 maxlim: 243711 bits: 19/18 15.08/15.14 c ---[1337]---> Adder-cost: 351 maxlim: 162815 bits: 19/18 15.08/15.17 c ---[1335]---> Adder-cost: 496 maxlim: 254975 bits: 19/18 15.18/15.20 c ---[1334]---> Adder-cost: 603 maxlim: 301055 bits: 20/19 15.18/15.24 c ---[1330]---> Adder-cost: 406 maxlim: 195583 bits: 19/18 15.18/15.27 c ---[1329]---> Adder-cost: 2972 maxlim: 1595391 bits: 22/21 15.39/15.46 c ---[1325]---> Adder-cost: 725 maxlim: 359423 bits: 20/19 15.49/15.51 c ---[1324]---> Adder-cost: 3446 maxlim: 1300479 bits: 21/21 15.68/15.71 c ---[1323]---> Adder-cost: 77 maxlim: 41983 bits: 17/16 15.68/15.72 c ---[1322]---> Adder-cost: 182 maxlim: 23551 bits: 16/15 15.68/15.73 c ---[1319]---> Adder-cost: 232 maxlim: 95231 bits: 18/17 15.68/15.75 c ---[1317]---> Adder-cost: 157 maxlim: 46079 bits: 17/16 15.68/15.76 c ---[1316]---> Adder-cost: 75 maxlim: 50175 bits: 17/16 15.68/15.76 c ---[1314]---> Adder-cost: 420 maxlim: 184319 bits: 19/18 15.68/15.79 c ---[1313]---> Adder-cost: 196 maxlim: 20479 bits: 16/15 15.78/15.80 c ---[1310]---> Adder-cost: 105 maxlim: 27647 bits: 16/15 15.78/15.81 c ---[1309]---> Adder-cost: 1130 maxlim: 509951 bits: 20/19 15.78/15.89 c ---[1308]---> Adder-cost: 12571 maxlim: 4651007 bits: 24/23 16.79/16.84 c ---[1306]---> Adder-cost: 21792 maxlim: 11857919 bits: 24/24 18.49/18.57 c ---[1304]---> Adder-cost: 158 maxlim: 101376 bits: 18/17 18.49/18.58 c ---[1299]---> Adder-cost: 70965 maxlim: 378189823 bits: 30/29 72.68/72.75 c ---[1297]---> Adder-cost: 27402 maxlim: 70737919 bits: 28/27 82.58/82.60 c ---[1289]---> Adder-cost: 148 maxlim: 75776 bits: 18/17 82.58/82.61 c ---[1270]---> Adder-cost: 34136 maxlim: 161996799 bits: 29/28 123.37/123.40 c ---[1251]---> Adder-cost: 284 maxlim: 150528 bits: 19/18 123.37/123.42 c ---[1249]---> Adder-cost: 278 maxlim: 159744 bits: 19/18 123.37/123.44 c ---[1247]---> Adder-cost: 314 maxlim: 189440 bits: 19/18 123.37/123.46 c ---[1245]---> Adder-cost: 104 maxlim: 189440 bits: 19/18 123.37/123.49 c ---[1243]---> Adder-cost: 260 maxlim: 177152 bits: 19/18 123.47/123.51 c ---[1241]---> Adder-cost: 276 maxlim: 169984 bits: 19/18 123.47/123.53 c ---[1239]---> Adder-cost: 176 maxlim: 109568 bits: 18/17 123.47/123.54 c ---[1237]---> Adder-cost: 78 maxlim: 109568 bits: 18/17 123.47/123.56 c ---[1235]---> Adder-cost: 290 maxlim: 155648 bits: 19/18 123.47/123.57 c ---[1233]---> Adder-cost: 300 maxlim: 168960 bits: 19/18 123.47/123.60 c ---[1231]---> Adder-cost: 282 maxlim: 159744 bits: 19/18 123.57/123.61 c ---[1229]---> Adder-cost: 94 maxlim: 159744 bits: 19/18 123.57/123.63 c ---[1227]---> Adder-cost: 284 maxlim: 159744 bits: 19/18 123.57/123.65 c ---[1225]---> Adder-cost: 246 maxlim: 161792 bits: 19/18 123.57/123.67 c ---[1223]---> Adder-cost: 242 maxlim: 151552 bits: 19/18 123.57/123.69 c ---[1221]---> Adder-cost: 132 maxlim: 74752 bits: 18/17 123.67/123.70 c ---[1219]---> Adder-cost: 254 maxlim: 169984 bits: 19/18 123.67/123.72 c ---[1217]---> Adder-cost: 266 maxlim: 164864 bits: 19/18 123.67/123.74 c ---[1215]---> Adder-cost: 248 maxlim: 163840 bits: 19/18 123.67/123.76 c ---[1213]---> Adder-cost: 246 maxlim: 168960 bits: 19/18 123.67/123.78 c ---[1211]---> Adder-cost: 226 maxlim: 163840 bits: 19/18 123.77/123.80 c ---[1209]---> Adder-cost: 210 maxlim: 160768 bits: 19/18 123.77/123.82 c ---[1207]---> Adder-cost: 186 maxlim: 171008 bits: 19/18 123.77/123.85 c ---[1205]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 123.77/123.87 c ---[1203]---> Adder-cost: 100 maxlim: 171008 bits: 19/18 123.77/123.89 c ---[1201]---> Adder-cost: 120 maxlim: 169984 bits: 19/18 123.87/123.91 c ---[1199]---> Adder-cost: 170 maxlim: 162816 bits: 19/18 123.87/123.93 c ---[1197]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 123.87/123.95 c ---[1195]---> Adder-cost: 132 maxlim: 158720 bits: 19/18 123.87/123.97 c ---[1193]---> Adder-cost: 92 maxlim: 158720 bits: 19/18 123.87/123.99 c ---[1191]---> Adder-cost: 236 maxlim: 174080 bits: 19/18 123.97/124.01 c ---[1189]---> Adder-cost: 174 maxlim: 103424 bits: 18/17 123.97/124.02 c ---[1187]---> Adder-cost: 184 maxlim: 105472 bits: 18/17 123.97/124.03 c ---[1185]---> Sorter-cost: 1273 Base: 2 2 2 2 2 2 2 2 2 2 7 123.97/124.04 c ---[1183]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 123.97/124.04 c ---[1181]---> Sorter-cost: 1197 Base: 2 2 2 2 2 2 2 2 2 2 7 123.97/124.05 c ---[1179]---> Sorter-cost: 820 Base: 2 2 2 2 2 2 2 2 2 2 7 123.97/124.05 c ---[1177]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 123.97/124.06 c ---[1175]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 123.97/124.06 c ---[1171]---> Adder-cost: 142 maxlim: 68608 bits: 18/17 123.97/124.07 c ---[1169]---> Adder-cost: 138 maxlim: 70656 bits: 18/17 123.97/124.08 c ---[1167]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 123.97/124.09 c ---[1165]---> Adder-cost: 300 maxlim: 165888 bits: 19/18 124.07/124.11 c ---[1163]---> Adder-cost: 102 maxlim: 165888 bits: 19/18 124.07/124.13 c ---[1161]---> Adder-cost: 264 maxlim: 151552 bits: 19/18 124.07/124.15 c ---[1159]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 124.07/124.17 c ---[1157]---> Adder-cost: 120 maxlim: 65536 bits: 18/17 124.07/124.18 c ---[1155]---> Adder-cost: 107 maxlim: 58368 bits: 17/16 124.07/124.18 c ---[1153]---> Adder-cost: 148 maxlim: 81920 bits: 18/17 124.07/124.20 c ---[1151]---> Adder-cost: 108 maxlim: 60416 bits: 17/16 124.17/124.20 c ---[1149]---> Adder-cost: 194 maxlim: 108544 bits: 18/17 124.17/124.22 c ---[1147]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 124.17/124.23 c ---[1145]---> Adder-cost: 178 maxlim: 111616 bits: 18/17 124.17/124.24 c ---[1143]---> Adder-cost: 124 maxlim: 99328 bits: 18/17 124.17/124.26 c ---[1141]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 124.17/124.27 c ---[1139]---> Adder-cost: 124 maxlim: 101376 bits: 18/17 124.17/124.28 c ---[1137]---> Adder-cost: 162 maxlim: 112640 bits: 18/17 124.17/124.29 c ---[1135]---> Adder-cost: 144 maxlim: 78848 bits: 18/17 124.27/124.30 c ---[1133]---> Adder-cost: 142 maxlim: 79872 bits: 18/17 124.27/124.32 c ---[1131]---> Adder-cost: 126 maxlim: 74752 bits: 18/17 124.27/124.32 c ---[1129]---> Adder-cost: 124 maxlim: 73728 bits: 18/17 124.27/124.33 c ---[1127]---> Adder-cost: 112 maxlim: 65536 bits: 18/17 124.27/124.34 c ---[1125]---> Adder-cost: 116 maxlim: 66560 bits: 18/17 124.27/124.35 c ---[1123]---> Adder-cost: 124 maxlim: 66560 bits: 18/17 124.27/124.36 c ---[1121]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 124.27/124.37 c ---[1119]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 124.27/124.37 c ---[1117]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 124.27/124.37 c ---[1115]---> Adder-cost: 142 maxlim: 70656 bits: 18/17 124.27/124.38 c ---[1113]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 124.27/124.39 c ---[1111]---> Sorter-cost: 534 Base: 2 2 2 2 2 2 2 2 2 2 7 124.27/124.39 c ---[1109]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 124.27/124.39 c ---[1107]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 124.27/124.40 c ---[1105]---> Sorter-cost: 592 Base: 2 2 2 2 2 2 2 2 2 2 7 124.27/124.40 c ---[1103]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 124.37/124.40 c ---[1101]---> Sorter-cost: 442 Base: 2 2 2 2 2 2 2 2 2 2 7 124.37/124.41 c ---[1099]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 124.37/124.41 c ---[1097]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 124.37/124.41 c ---[1095]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 124.37/124.42 c ---[1093]---> Adder-cost: 138 maxlim: 75776 bits: 18/17 124.37/124.43 c ---[1091]---> Adder-cost: 106 maxlim: 76800 bits: 18/17 124.37/124.44 c ---[1089]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 124.37/124.45 c ---[1087]---> Adder-cost: 86 maxlim: 63488 bits: 17/16 124.37/124.46 c ---[1085]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 124.37/124.46 c ---[1083]---> Adder-cost: 120 maxlim: 64512 bits: 17/16 124.37/124.47 c ---[1081]---> Adder-cost: 120 maxlim: 65536 bits: 18/17 124.37/124.48 c ---[1079]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 124.37/124.49 c ---[1077]---> Adder-cost: 102 maxlim: 66560 bits: 18/17 124.47/124.50 c ---[1075]---> Adder-cost: 128 maxlim: 75776 bits: 18/17 124.47/124.51 c ---[1073]---> Adder-cost: 86 maxlim: 62464 bits: 17/16 124.47/124.52 c ---[1070]---> Adder-cost: 164 maxlim: 90112 bits: 18/17 124.47/124.53 c ---[1068]---> Adder-cost: 156 maxlim: 91136 bits: 18/17 124.47/124.54 c ---[1066]---> Adder-cost: 132 maxlim: 90112 bits: 18/17 124.47/124.55 c ---[1064]---> Adder-cost: 272 maxlim: 135168 bits: 19/18 124.47/124.57 c ---[1062]---> Adder-cost: 230 maxlim: 131072 bits: 19/18 124.47/124.58 c ---[1060]---> Adder-cost: 182 maxlim: 101376 bits: 18/17 124.57/124.60 c ---[1058]---> Adder-cost: 184 maxlim: 98304 bits: 18/17 124.57/124.61 c ---[1056]---> Adder-cost: 224 maxlim: 117760 bits: 18/17 124.57/124.62 c ---[1054]---> Adder-cost: 278 maxlim: 145408 bits: 19/18 124.57/124.64 c ---[1052]---> Adder-cost: 90 maxlim: 77824 bits: 18/17 124.57/124.65 c ---[1050]---> Adder-cost: 220 maxlim: 124928 bits: 18/17 124.57/124.67 c ---[1048]---> Adder-cost: 228 maxlim: 123904 bits: 18/17 124.57/124.68 c ---[1046]---> Adder-cost: 186 maxlim: 116736 bits: 18/17 124.67/124.70 c ---[1044]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 124.67/124.71 c ---[1042]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.72 c ---[1040]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.72 c ---[1038]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.73 c ---[1036]---> Sorter-cost: 1016 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.73 c ---[1034]---> Sorter-cost: 1107 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.74 c ---[1032]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.74 c ---[1030]---> Adder-cost: 116 maxlim: 63488 bits: 17/16 124.67/124.75 c ---[1028]---> Sorter-cost: 1033 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.75 c ---[1026]---> Sorter-cost: 1202 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.76 c ---[1024]---> Sorter-cost: 1014 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.76 c ---[1022]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 124.67/124.77 c ---[1020]---> Adder-cost: 114 maxlim: 60416 bits: 17/16 124.67/124.78 c ---[1018]---> Adder-cost: 124 maxlim: 65536 bits: 18/17 124.67/124.78 c ---[1016]---> Adder-cost: 132 maxlim: 67584 bits: 18/17 124.67/124.79 c ---[1014]---> Adder-cost: 118 maxlim: 66560 bits: 18/17 124.77/124.80 c ---[1012]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 124.77/124.81 c ---[1010]---> Adder-cost: 144 maxlim: 73728 bits: 18/17 124.77/124.82 c ---[1008]---> Adder-cost: 184 maxlim: 101376 bits: 18/17 124.77/124.83 c ---[1006]---> Adder-cost: 140 maxlim: 84992 bits: 18/17 124.77/124.84 c ---[1004]---> Sorter-cost: 1217 Base: 2 2 2 2 2 2 2 2 2 2 7 124.77/124.85 c ---[1002]---> Adder-cost: 148 maxlim: 78848 bits: 18/17 124.77/124.86 c ---[1000]---> Adder-cost: 118 maxlim: 68608 bits: 18/17 124.77/124.87 c ---[ 998]---> Adder-cost: 174 maxlim: 91136 bits: 18/17 124.77/124.88 c ---[ 996]---> Adder-cost: 174 maxlim: 99328 bits: 18/17 124.77/124.89 c ---[ 994]---> Adder-cost: 178 maxlim: 100352 bits: 18/17 124.87/124.91 c ---[ 992]---> Sorter-cost: 1092 Base: 2 2 2 2 2 2 2 2 2 2 7 124.87/124.91 c ---[ 990]---> Adder-cost: 158 maxlim: 105472 bits: 18/17 124.87/124.92 c ---[ 988]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 124.87/124.93 c ---[ 986]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 124.87/124.94 c ---[ 984]---> Adder-cost: 100 maxlim: 55296 bits: 17/16 124.87/124.94 c ---[ 982]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 124.87/124.95 c ---[ 980]---> Adder-cost: 98 maxlim: 53248 bits: 17/16 124.87/124.95 c ---[ 978]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 124.87/124.96 c ---[ 976]---> Adder-cost: 108 maxlim: 63488 bits: 17/16 124.87/124.97 c ---[ 974]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 124.87/124.98 c ---[ 972]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 124.87/124.98 c ---[ 970]---> Adder-cost: 106 maxlim: 61440 bits: 17/16 124.87/124.99 c ---[ 968]---> Adder-cost: 136 maxlim: 70656 bits: 18/17 124.87/125.00 c ---[ 966]---> Adder-cost: 122 maxlim: 74752 bits: 18/17 124.97/125.01 c ---[ 964]---> Adder-cost: 132 maxlim: 77824 bits: 18/17 124.97/125.02 c ---[ 962]---> Adder-cost: 198 maxlim: 110592 bits: 18/17 124.97/125.03 c ---[ 960]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 124.97/125.04 c ---[ 958]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 124.97/125.05 c ---[ 956]---> Adder-cost: 146 maxlim: 91136 bits: 18/17 124.97/125.06 c ---[ 954]---> Adder-cost: 164 maxlim: 97280 bits: 18/17 124.97/125.07 c ---[ 952]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 124.97/125.09 c ---[ 950]---> Adder-cost: 168 maxlim: 111616 bits: 18/17 125.07/125.10 c ---[ 948]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 125.07/125.11 c ---[ 946]---> Adder-cost: 270 maxlim: 143360 bits: 19/18 125.07/125.13 c ---[ 944]---> Adder-cost: 90 maxlim: 143360 bits: 19/18 125.07/125.15 c ---[ 942]---> Adder-cost: 208 maxlim: 128000 bits: 18/17 125.07/125.16 c ---[ 940]---> Adder-cost: 78 maxlim: 128000 bits: 18/17 125.07/125.18 c ---[ 938]---> Sorter-cost: 320 Base: 2 2 2 2 2 2 2 2 2 2 7 125.07/125.18 c ---[ 936]---> Adder-cost: 224 maxlim: 118784 bits: 18/17 125.17/125.20 c ---[ 934]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 125.17/125.21 c ---[ 932]---> Adder-cost: 190 maxlim: 107520 bits: 18/17 125.17/125.23 c ---[ 930]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 125.17/125.24 c ---[ 928]---> Adder-cost: 270 maxlim: 151552 bits: 19/18 125.17/125.26 c ---[ 926]---> Adder-cost: 96 maxlim: 151552 bits: 19/18 125.17/125.28 c ---[ 924]---> Adder-cost: 210 maxlim: 119808 bits: 18/17 125.17/125.29 c ---[ 922]---> Adder-cost: 80 maxlim: 119808 bits: 18/17 125.27/125.31 c ---[ 920]---> Adder-cost: 184 maxlim: 117760 bits: 18/17 125.27/125.32 c ---[ 918]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 125.27/125.33 c ---[ 916]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 125.27/125.34 c ---[ 914]---> Adder-cost: 208 maxlim: 118784 bits: 18/17 125.27/125.35 c ---[ 912]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 125.27/125.37 c ---[ 910]---> Adder-cost: 190 maxlim: 112640 bits: 18/17 125.27/125.38 c ---[ 908]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 125.27/125.39 c ---[ 906]---> Adder-cost: 172 maxlim: 114688 bits: 18/17 125.37/125.41 c ---[ 904]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 125.37/125.42 c ---[ 902]---> Adder-cost: 174 maxlim: 96256 bits: 18/17 125.37/125.43 c ---[ 900]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 125.37/125.45 c ---[ 898]---> Adder-cost: 154 maxlim: 84992 bits: 18/17 125.37/125.46 c ---[ 896]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 125.37/125.47 c ---[ 894]---> Sorter-cost: 406 Base: 2 2 2 2 2 2 2 2 2 2 7 125.37/125.47 c ---[ 892]---> Adder-cost: 128 maxlim: 68608 bits: 18/17 125.37/125.48 c ---[ 890]---> Adder-cost: 138 maxlim: 72704 bits: 18/17 125.37/125.49 c ---[ 888]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 125.37/125.50 c ---[ 886]---> Adder-cost: 116 maxlim: 61440 bits: 17/16 125.47/125.51 c ---[ 884]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 125.47/125.51 c ---[ 882]---> Adder-cost: 142 maxlim: 80896 bits: 18/17 125.47/125.52 c ---[ 880]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 125.47/125.53 c ---[ 878]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 125.47/125.54 c ---[ 876]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 125.47/125.55 c ---[ 874]---> Sorter-cost: 400 Base: 2 2 2 2 2 2 2 2 2 2 7 125.47/125.55 c ---[ 872]---> Adder-cost: 110 maxlim: 60416 bits: 17/16 125.47/125.56 c ---[ 870]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 125.47/125.57 c ---[ 868]---> Adder-cost: 138 maxlim: 88064 bits: 18/17 125.47/125.58 c ---[ 866]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 125.47/125.59 c ---[ 864]---> Adder-cost: 124 maxlim: 91136 bits: 18/17 125.57/125.60 c ---[ 862]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 125.57/125.61 c ---[ 860]---> Adder-cost: 204 maxlim: 121856 bits: 18/17 125.57/125.63 c ---[ 858]---> Adder-cost: 80 maxlim: 121856 bits: 18/17 125.57/125.64 c ---[ 856]---> Adder-cost: 80 maxlim: 121856 bits: 18/17 125.57/125.66 c ---[ 854]---> Adder-cost: 80 maxlim: 121856 bits: 18/17 125.57/125.67 c ---[ 852]---> Adder-cost: 160 maxlim: 118784 bits: 18/17 125.57/125.69 c ---[ 848]---> Adder-cost: 140 maxlim: 71680 bits: 18/17 125.57/125.70 c ---[ 846]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 125.67/125.70 c ---[ 844]---> Adder-cost: 128 maxlim: 66560 bits: 18/17 125.67/125.71 c ---[ 842]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 125.67/125.72 c ---[ 840]---> Adder-cost: 110 maxlim: 66560 bits: 18/17 125.67/125.73 c ---[ 838]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 125.67/125.74 c ---[ 836]---> Adder-cost: 156 maxlim: 76800 bits: 18/17 125.67/125.75 c ---[ 834]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 125.67/125.75 c ---[ 832]---> Adder-cost: 94 maxlim: 74752 bits: 18/17 125.67/125.76 c ---[ 830]---> Sorter-cost: 884 Base: 2 2 2 2 2 2 2 2 2 2 7 125.67/125.77 c ---[ 828]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 125.67/125.77 c ---[ 826]---> Sorter-cost: 854 Base: 2 2 2 2 2 2 2 2 2 2 7 125.67/125.78 c ---[ 824]---> Sorter-cost: 689 Base: 2 2 2 2 2 2 2 2 2 2 7 125.67/125.78 c ---[ 822]---> Adder-cost: 154 maxlim: 77824 bits: 18/17 125.67/125.79 c ---[ 820]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 125.77/125.80 c ---[ 818]---> Adder-cost: 130 maxlim: 68608 bits: 18/17 125.77/125.81 c ---[ 816]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 125.77/125.82 c ---[ 814]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 125.77/125.82 c ---[ 812]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 125.77/125.83 c ---[ 810]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 125.77/125.84 c ---[ 808]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 125.77/125.84 c ---[ 806]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 125.77/125.85 c ---[ 804]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 125.77/125.85 c ---[ 802]---> Sorter-cost: 888 Base: 2 2 2 2 2 2 2 2 2 2 7 125.77/125.85 c ---[ 800]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 125.77/125.86 c ---[ 798]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 125.77/125.86 c ---[ 796]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 125.77/125.87 c ---[ 794]---> Adder-cost: 168 maxlim: 89088 bits: 18/17 125.77/125.88 c ---[ 792]---> Adder-cost: 192 maxlim: 101376 bits: 18/17 125.77/125.89 c ---[ 790]---> Adder-cost: 116 maxlim: 62464 bits: 17/16 125.87/125.90 c ---[ 788]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 125.87/125.90 c ---[ 786]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 125.87/125.91 c ---[ 784]---> Adder-cost: 140 maxlim: 72704 bits: 18/17 125.87/125.92 c ---[ 782]---> Adder-cost: 112 maxlim: 75776 bits: 18/17 125.87/125.93 c ---[ 780]---> Adder-cost: 212 maxlim: 110592 bits: 18/17 125.87/125.95 c ---[ 778]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 125.87/125.96 c ---[ 776]---> Adder-cost: 212 maxlim: 125952 bits: 18/17 125.87/125.97 c ---[ 774]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 125.87/125.99 c ---[ 772]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 125.87/125.99 c ---[ 770]---> Adder-cost: 132 maxlim: 70656 bits: 18/17 125.97/126.00 c ---[ 768]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 125.97/126.01 c ---[ 766]---> Adder-cost: 174 maxlim: 88064 bits: 18/17 125.97/126.02 c ---[ 764]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 125.97/126.04 c ---[ 762]---> Adder-cost: 186 maxlim: 100352 bits: 18/17 125.97/126.05 c ---[ 760]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 125.97/126.06 c ---[ 758]---> Adder-cost: 150 maxlim: 92160 bits: 18/17 125.97/126.07 c ---[ 756]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 125.97/126.08 c ---[ 754]---> Adder-cost: 110 maxlim: 96256 bits: 18/17 126.07/126.10 c ---[ 752]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 126.07/126.11 c ---[ 750]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 126.07/126.11 c ---[ 747]---> Adder-cost: 98 maxlim: 56320 bits: 17/16 126.07/126.12 c ---[ 745]---> Adder-cost: 102 maxlim: 62464 bits: 17/16 126.07/126.13 c ---[ 743]---> Adder-cost: 106 maxlim: 59392 bits: 17/16 126.07/126.13 c ---[ 741]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 126.07/126.14 c ---[ 739]---> Sorter-cost: 880 Base: 2 2 2 2 2 2 2 2 2 2 7 126.07/126.14 c ---[ 736]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 126.07/126.14 c ---[ 734]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 2 2 2 2 7 126.07/126.15 c ---[ 732]---> Sorter-cost: 1045 Base: 2 2 2 2 2 2 2 2 2 2 7 126.07/126.15 c ---[ 730]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 126.07/126.16 c ---[ 728]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 126.07/126.17 c ---[ 726]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 126.07/126.18 c ---[ 724]---> Adder-cost: 166 maxlim: 88064 bits: 18/17 126.07/126.19 c ---[ 721]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 126.17/126.20 c ---[ 719]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.21 c ---[ 717]---> Adder-cost: 100 maxlim: 52224 bits: 17/16 126.17/126.22 c ---[ 715]---> Adder-cost: 172 maxlim: 93184 bits: 18/17 126.17/126.23 c ---[ 712]---> Sorter-cost: 1283 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.23 c ---[ 710]---> Sorter-cost: 1249 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.24 c ---[ 708]---> Sorter-cost: 967 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.24 c ---[ 706]---> Adder-cost: 74 maxlim: 54272 bits: 17/16 126.17/126.25 c ---[ 704]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.25 c ---[ 702]---> Sorter-cost: 1047 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.26 c ---[ 700]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.26 c ---[ 698]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.27 c ---[ 696]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 126.17/126.27 c ---[ 694]---> Adder-cost: 202 maxlim: 102400 bits: 18/17 126.17/126.29 c ---[ 692]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 126.27/126.30 c ---[ 690]---> Adder-cost: 184 maxlim: 102400 bits: 18/17 126.27/126.31 c ---[ 688]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 126.27/126.32 c ---[ 686]---> Adder-cost: 142 maxlim: 89088 bits: 18/17 126.27/126.34 c ---[ 684]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 126.27/126.34 c ---[ 682]---> Adder-cost: 122 maxlim: 83968 bits: 18/17 126.27/126.35 c ---[ 680]---> Adder-cost: 242 maxlim: 124928 bits: 18/17 126.27/126.36 c ---[ 678]---> Adder-cost: 138 maxlim: 122880 bits: 18/17 126.27/126.38 c ---[ 676]---> Sorter-cost: 927 Base: 2 2 2 2 2 2 2 2 2 2 7 126.27/126.38 c ---[ 674]---> Sorter-cost: 915 Base: 2 2 2 2 2 2 2 2 2 2 7 126.27/126.39 c ---[ 672]---> Adder-cost: 100 maxlim: 52224 bits: 17/16 126.27/126.39 c ---[ 670]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 126.37/126.40 c ---[ 668]---> Sorter-cost: 1022 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.41 c ---[ 666]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.41 c ---[ 664]---> Sorter-cost: 1281 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.42 c ---[ 662]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 126.37/126.42 c ---[ 660]---> Adder-cost: 94 maxlim: 52224 bits: 17/16 126.37/126.42 c ---[ 658]---> Sorter-cost: 890 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.43 c ---[ 656]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.43 c ---[ 654]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.44 c ---[ 652]---> Sorter-cost: 743 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.44 c ---[ 649]---> Adder-cost: 144 maxlim: 80896 bits: 18/17 126.37/126.45 c ---[ 647]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.46 c ---[ 645]---> Sorter-cost: 545 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.46 c ---[ 643]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.47 c ---[ 641]---> Sorter-cost: 1243 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.47 c ---[ 639]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 126.37/126.48 c ---[ 637]---> Adder-cost: 104 maxlim: 57344 bits: 17/16 126.37/126.48 c ---[ 635]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 126.37/126.49 c ---[ 633]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 126.37/126.50 c ---[ 631]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 126.47/126.51 c ---[ 629]---> Adder-cost: 150 maxlim: 76800 bits: 18/17 126.47/126.52 c ---[ 627]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 126.47/126.53 c ---[ 625]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 126.47/126.54 c ---[ 623]---> Sorter-cost: 502 Base: 2 2 2 2 2 2 2 2 2 2 7 126.47/126.54 c ---[ 621]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 126.47/126.54 c ---[ 619]---> Sorter-cost: 1125 Base: 2 2 2 2 2 2 2 2 2 2 7 126.47/126.55 c ---[ 617]---> Sorter-cost: 1033 Base: 2 2 2 2 2 2 2 2 2 2 7 126.47/126.55 c ---[ 613]---> Adder-cost: 198 maxlim: 105472 bits: 18/17 126.47/126.57 c ---[ 611]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 126.47/126.58 c ---[ 609]---> Adder-cost: 152 maxlim: 103424 bits: 18/17 126.47/126.59 c ---[ 607]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 126.57/126.61 c ---[ 605]---> Adder-cost: 166 maxlim: 89088 bits: 18/17 126.57/126.62 c ---[ 603]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 126.57/126.62 c ---[ 600]---> Adder-cost: 184 maxlim: 99328 bits: 18/17 126.57/126.63 c ---[ 596]---> Sorter-cost: 1182 Base: 2 2 2 2 2 2 2 2 2 2 7 126.57/126.64 c ---[ 594]---> Sorter-cost: 1173 Base: 2 2 2 2 2 2 2 2 2 2 7 126.57/126.64 c ---[ 592]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 126.57/126.65 c ---[ 590]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 126.57/126.65 c ---[ 588]---> Adder-cost: 118 maxlim: 62464 bits: 17/16 126.57/126.66 c ---[ 586]---> Adder-cost: 100 maxlim: 57344 bits: 17/16 126.57/126.67 c ---[ 584]---> Sorter-cost: 648 Base: 2 2 2 2 2 2 2 2 2 2 7 126.57/126.67 c ---[ 582]---> Adder-cost: 100 maxlim: 51200 bits: 17/16 126.57/126.68 c ---[ 580]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 126.57/126.68 c ---[ 578]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 126.57/126.69 c ---[ 576]---> Sorter-cost: 845 Base: 2 2 2 2 2 2 2 2 2 2 7 126.57/126.69 c ---[ 574]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 126.67/126.70 c ---[ 572]---> Sorter-cost: 1277 Base: 2 2 2 2 2 2 2 2 2 2 7 126.67/126.70 c ---[ 570]---> Sorter-cost: 1164 Base: 2 2 2 2 2 2 2 2 2 2 7 126.67/126.71 c ---[ 568]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 126.67/126.72 c ---[ 566]---> Adder-cost: 174 maxlim: 89088 bits: 18/17 126.67/126.73 c ---[ 564]---> Adder-cost: 68 maxlim: 89088 bits: 18/17 126.67/126.74 c ---[ 562]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 126.67/126.74 c ---[ 560]---> Adder-cost: 160 maxlim: 92160 bits: 18/17 126.67/126.75 c ---[ 558]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 126.67/126.76 c ---[ 556]---> Adder-cost: 160 maxlim: 81920 bits: 18/17 126.67/126.77 c ---[ 553]---> Sorter-cost: 1211 Base: 2 2 2 2 2 2 2 2 2 2 7 126.67/126.78 c ---[ 551]---> Adder-cost: 102 maxlim: 53248 bits: 17/16 126.67/126.79 c ---[ 549]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 126.67/126.79 c ---[ 547]---> Sorter-cost: 1026 Base: 2 2 2 2 2 2 2 2 2 2 7 126.77/126.80 c ---[ 545]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 126.77/126.81 c ---[ 543]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 126.77/126.81 c ---[ 541]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 126.77/126.81 c ---[ 539]---> Sorter-cost: 1022 Base: 2 2 2 2 2 2 2 2 2 2 7 126.77/126.82 c ---[ 537]---> Adder-cost: 208 maxlim: 105472 bits: 18/17 126.77/126.83 c ---[ 535]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 126.77/126.84 c ---[ 533]---> Adder-cost: 202 maxlim: 107520 bits: 18/17 126.77/126.85 c ---[ 531]---> Adder-cost: 156 maxlim: 86016 bits: 18/17 126.77/126.86 c ---[ 529]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 126.77/126.87 c ---[ 527]---> Adder-cost: 224 maxlim: 114688 bits: 18/17 126.77/126.89 c ---[ 525]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 126.87/126.90 c ---[ 523]---> Adder-cost: 140 maxlim: 69632 bits: 18/17 126.87/126.91 c ---[ 521]---> Adder-cost: 214 maxlim: 111616 bits: 18/17 126.87/126.92 c ---[ 519]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 126.87/126.94 c ---[ 517]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 126.87/126.94 c ---[ 515]---> Adder-cost: 192 maxlim: 113664 bits: 18/17 126.87/126.95 c ---[ 513]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 126.87/126.97 c ---[ 511]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 126.87/126.98 c ---[ 508]---> Adder-cost: 130 maxlim: 67584 bits: 18/17 126.87/126.99 c ---[ 506]---> Adder-cost: 78 maxlim: 51200 bits: 17/16 126.97/127.00 c ---[ 504]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 126.97/127.00 c ---[ 502]---> Adder-cost: 160 maxlim: 82944 bits: 18/17 126.97/127.01 c ---[ 500]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 126.97/127.02 c ---[ 498]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 126.97/127.02 c ---[ 496]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 126.97/127.02 c ---[ 494]---> Sorter-cost: 981 Base: 2 2 2 2 2 2 2 2 2 2 7 126.97/127.03 c ---[ 492]---> Sorter-cost: 903 Base: 2 2 2 2 2 2 2 2 2 2 7 126.97/127.03 c ---[ 490]---> Adder-cost: 154 maxlim: 77824 bits: 18/17 126.97/127.04 c ---[ 488]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 126.97/127.05 c ---[ 486]---> Adder-cost: 116 maxlim: 74752 bits: 18/17 126.97/127.06 c ---[ 484]---> Adder-cost: 134 maxlim: 65536 bits: 18/17 126.97/127.07 c ---[ 482]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 126.97/127.07 c ---[ 480]---> Adder-cost: 108 maxlim: 60416 bits: 17/16 126.97/127.08 c ---[ 478]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 126.97/127.09 c ---[ 476]---> Adder-cost: 172 maxlim: 84992 bits: 18/17 127.07/127.10 c ---[ 474]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 127.07/127.11 c ---[ 472]---> Adder-cost: 262 maxlim: 133120 bits: 19/18 127.07/127.13 c ---[ 470]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 127.07/127.13 c ---[ 468]---> Adder-cost: 88 maxlim: 133120 bits: 19/18 127.07/127.15 c ---[ 466]---> Adder-cost: 200 maxlim: 119808 bits: 18/17 127.07/127.17 c ---[ 464]---> Adder-cost: 80 maxlim: 119808 bits: 18/17 127.07/127.18 c ---[ 460]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 127.07/127.19 c ---[ 458]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 127.07/127.19 c ---[ 456]---> Sorter-cost: 1053 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.20 c ---[ 454]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.20 c ---[ 452]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 127.17/127.21 c ---[ 450]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.21 c ---[ 448]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.21 c ---[ 446]---> Adder-cost: 124 maxlim: 63488 bits: 17/16 127.17/127.22 c ---[ 444]---> Adder-cost: 122 maxlim: 63488 bits: 17/16 127.17/127.23 c ---[ 442]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.23 c ---[ 440]---> Sorter-cost: 1069 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.24 c ---[ 438]---> Sorter-cost: 1105 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.24 c ---[ 436]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.25 c ---[ 434]---> Adder-cost: 66 maxlim: 62464 bits: 17/16 127.17/127.25 c ---[ 432]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.26 c ---[ 430]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.26 c ---[ 428]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.27 c ---[ 426]---> Sorter-cost: 462 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.27 c ---[ 424]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.27 c ---[ 422]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.27 c ---[ 420]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 127.17/127.28 c ---[ 418]---> Adder-cost: 208 maxlim: 105472 bits: 18/17 127.17/127.29 c ---[ 416]---> Adder-cost: 108 maxlim: 67584 bits: 18/17 127.27/127.30 c ---[ 414]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 127.27/127.31 c ---[ 412]---> Adder-cost: 216 maxlim: 106496 bits: 18/17 127.27/127.33 c ---[ 410]---> Adder-cost: 78 maxlim: 106496 bits: 18/17 127.27/127.34 c ---[ 407]---> Adder-cost: 134 maxlim: 67584 bits: 18/17 127.27/127.35 c ---[ 405]---> Adder-cost: 108 maxlim: 63488 bits: 17/16 127.27/127.36 c ---[ 403]---> Sorter-cost: 1026 Base: 2 2 2 2 2 2 2 2 2 2 7 127.27/127.36 c ---[ 401]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 127.27/127.37 c ---[ 399]---> Sorter-cost: 1058 Base: 2 2 2 2 2 2 2 2 2 2 7 127.27/127.38 c ---[ 397]---> Sorter-cost: 1031 Base: 2 2 2 2 2 2 2 2 2 2 7 127.27/127.38 c ---[ 395]---> Sorter-cost: 1144 Base: 2 2 2 2 2 2 2 2 2 2 7 127.27/127.39 c ---[ 393]---> Sorter-cost: 1208 Base: 2 2 2 2 2 2 2 2 2 2 7 127.27/127.39 c ---[ 391]---> Sorter-cost: 1265 Base: 2 2 2 2 2 2 2 2 2 2 7 127.37/127.40 c ---[ 389]---> Adder-cost: 170 maxlim: 89088 bits: 18/17 127.37/127.41 c ---[ 387]---> Adder-cost: 100 maxlim: 52224 bits: 17/16 127.37/127.41 c ---[ 385]---> Adder-cost: 92 maxlim: 51200 bits: 17/16 127.37/127.42 c ---[ 383]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 127.37/127.43 c ---[ 381]---> Adder-cost: 100 maxlim: 62464 bits: 17/16 127.37/127.43 c ---[ 379]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 127.37/127.44 c ---[ 377]---> Adder-cost: 68 maxlim: 89088 bits: 18/17 127.37/127.45 c ---[ 375]---> Adder-cost: 152 maxlim: 76800 bits: 18/17 127.37/127.46 c ---[ 373]---> Adder-cost: 154 maxlim: 81920 bits: 18/17 127.37/127.47 c ---[ 371]---> Adder-cost: 148 maxlim: 82944 bits: 18/17 127.37/127.48 c ---[ 369]---> Adder-cost: 216 maxlim: 120832 bits: 18/17 127.47/127.50 c ---[ 367]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 127.47/127.51 c ---[ 365]---> Adder-cost: 186 maxlim: 113664 bits: 18/17 127.47/127.53 c ---[ 363]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 127.47/127.54 c ---[ 361]---> Adder-cost: 152 maxlim: 92160 bits: 18/17 127.47/127.55 c ---[ 359]---> Adder-cost: 206 maxlim: 128000 bits: 18/17 127.47/127.57 c ---[ 357]---> Adder-cost: 78 maxlim: 128000 bits: 18/17 127.47/127.58 c ---[ 355]---> Adder-cost: 192 maxlim: 121856 bits: 18/17 127.47/127.60 c ---[ 353]---> Adder-cost: 80 maxlim: 121856 bits: 18/17 127.57/127.61 c ---[ 351]---> Adder-cost: 194 maxlim: 134144 bits: 19/18 127.57/127.63 c ---[ 349]---> Adder-cost: 84 maxlim: 134144 bits: 19/18 127.57/127.65 c ---[ 347]---> Adder-cost: 180 maxlim: 130048 bits: 18/17 127.57/127.66 c ---[ 345]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 127.57/127.68 c ---[ 343]---> Adder-cost: 128 maxlim: 76800 bits: 18/17 127.57/127.69 c ---[ 341]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 127.57/127.70 c ---[ 339]---> Adder-cost: 130 maxlim: 91136 bits: 18/17 127.67/127.71 c ---[ 337]---> Adder-cost: 106 maxlim: 79872 bits: 18/17 127.67/127.72 c ---[ 335]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 127.67/127.73 c ---[ 333]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 127.67/127.74 c ---[ 331]---> Adder-cost: 118 maxlim: 64512 bits: 17/16 127.67/127.75 c ---[ 329]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 127.67/127.76 c ---[ 327]---> Adder-cost: 176 maxlim: 94208 bits: 18/17 127.67/127.77 c ---[ 325]---> Sorter-cost: 1281 Base: 2 2 2 2 2 2 2 2 2 2 7 127.67/127.78 c ---[ 323]---> Adder-cost: 194 maxlim: 104448 bits: 18/17 127.67/127.79 c ---[ 321]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 127.77/127.80 c ---[ 319]---> Adder-cost: 166 maxlim: 86016 bits: 18/17 127.77/127.81 c ---[ 317]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 127.77/127.83 c ---[ 315]---> Adder-cost: 174 maxlim: 95232 bits: 18/17 127.77/127.84 c ---[ 313]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 127.77/127.85 c ---[ 311]---> Adder-cost: 190 maxlim: 111616 bits: 18/17 127.77/127.86 c ---[ 309]---> Adder-cost: 72 maxlim: 111616 bits: 18/17 127.77/127.88 c ---[ 307]---> Adder-cost: 200 maxlim: 129024 bits: 18/17 127.77/127.89 c ---[ 305]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 127.87/127.91 c ---[ 303]---> Sorter-cost: 1017 Base: 2 2 2 2 2 2 2 2 2 2 7 127.87/127.91 c ---[ 301]---> Adder-cost: 176 maxlim: 117760 bits: 18/17 127.87/127.93 c ---[ 299]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 127.87/127.94 c ---[ 297]---> Adder-cost: 214 maxlim: 128000 bits: 18/17 127.87/127.96 c ---[ 295]---> Adder-cost: 264 maxlim: 143360 bits: 19/18 127.87/127.98 c ---[ 293]---> Adder-cost: 478 maxlim: 265216 bits: 20/19 127.97/128.01 c ---[ 291]---> Adder-cost: 138 maxlim: 265216 bits: 20/19 127.97/128.04 c ---[ 289]---> Adder-cost: 446 maxlim: 269312 bits: 20/19 127.97/128.08 c ---[ 287]---> Adder-cost: 144 maxlim: 269312 bits: 20/19 128.07/128.11 c ---[ 285]---> Adder-cost: 148 maxlim: 78848 bits: 18/17 128.07/128.12 c ---[ 283]---> Adder-cost: 460 maxlim: 284672 bits: 20/19 128.07/128.16 c ---[ 281]---> Adder-cost: 140 maxlim: 284672 bits: 20/19 128.07/128.19 c ---[ 279]---> Adder-cost: 390 maxlim: 276480 bits: 20/19 128.17/128.23 c ---[ 277]---> Adder-cost: 138 maxlim: 276480 bits: 20/19 128.17/128.26 c ---[ 275]---> Adder-cost: 388 maxlim: 277504 bits: 20/19 128.27/128.30 c ---[ 273]---> Adder-cost: 136 maxlim: 277504 bits: 20/19 128.27/128.33 c ---[ 271]---> Adder-cost: 322 maxlim: 253952 bits: 19/18 128.27/128.36 c ---[ 269]---> Adder-cost: 132 maxlim: 253952 bits: 19/18 128.27/128.39 c ---[ 267]---> Adder-cost: 372 maxlim: 248832 bits: 19/18 128.37/128.42 c ---[ 265]---> Adder-cost: 128 maxlim: 248832 bits: 19/18 128.37/128.45 c ---[ 263]---> Adder-cost: 104 maxlim: 78848 bits: 18/17 128.37/128.46 c ---[ 261]---> Adder-cost: 324 maxlim: 252928 bits: 19/18 128.37/128.49 c ---[ 259]---> Adder-cost: 126 maxlim: 252928 bits: 19/18 128.47/128.52 c ---[ 257]---> Adder-cost: 258 maxlim: 249856 bits: 19/18 128.47/128.55 c ---[ 255]---> Adder-cost: 130 maxlim: 249856 bits: 19/18 128.47/128.58 c ---[ 253]---> Adder-cost: 130 maxlim: 249856 bits: 19/18 128.57/128.61 c ---[ 251]---> Adder-cost: 130 maxlim: 249856 bits: 19/18 128.57/128.64 c ---[ 249]---> Adder-cost: 164 maxlim: 239616 bits: 19/18 128.57/128.67 c ---[ 246]---> Adder-cost: 202 maxlim: 108544 bits: 18/17 128.57/128.68 c ---[ 244]---> Adder-cost: 116 maxlim: 65536 bits: 18/17 128.57/128.69 c ---[ 242]---> Adder-cost: 166 maxlim: 91136 bits: 18/17 128.67/128.70 c ---[ 240]---> Adder-cost: 78 maxlim: 108544 bits: 18/17 128.67/128.72 c ---[ 238]---> Adder-cost: 220 maxlim: 119808 bits: 18/17 128.67/128.73 c ---[ 236]---> Adder-cost: 146 maxlim: 118784 bits: 18/17 128.67/128.75 c ---[ 234]---> Adder-cost: 134 maxlim: 121856 bits: 18/17 128.67/128.76 c ---[ 232]---> Adder-cost: 116 maxlim: 120832 bits: 18/17 128.67/128.78 c ---[ 230]---> Adder-cost: 162 maxlim: 97280 bits: 18/17 128.67/128.79 c ---[ 228]---> Adder-cost: 228 maxlim: 125952 bits: 18/17 128.77/128.80 c ---[ 226]---> Adder-cost: 182 maxlim: 109568 bits: 18/17 128.77/128.82 c ---[ 224]---> Adder-cost: 142 maxlim: 90112 bits: 18/17 128.77/128.83 c ---[ 222]---> Adder-cost: 216 maxlim: 113664 bits: 18/17 128.77/128.84 c ---[ 220]---> Adder-cost: 278 maxlim: 160768 bits: 19/18 128.77/128.86 c ---[ 218]---> Adder-cost: 232 maxlim: 156672 bits: 19/18 128.77/128.88 c ---[ 216]---> Adder-cost: 218 maxlim: 122880 bits: 18/17 128.87/128.90 c ---[ 213]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 128.87/128.90 c ---[ 211]---> Adder-cost: 136 maxlim: 71680 bits: 18/17 128.87/128.91 c ---[ 209]---> Adder-cost: 194 maxlim: 107520 bits: 18/17 128.87/128.93 c ---[ 207]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 128.87/128.94 c ---[ 205]---> Adder-cost: 119 maxlim: 63488 bits: 17/16 128.87/128.94 c ---[ 203]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 128.87/128.95 c ---[ 199]---> Adder-cost: 248 maxlim: 134144 bits: 19/18 128.87/128.97 c ---[ 196]---> Adder-cost: 160 maxlim: 94208 bits: 18/17 128.87/128.98 c ---[ 192]---> Adder-cost: 178 maxlim: 108544 bits: 18/17 128.87/128.99 c ---[ 190]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 128.97/129.00 c ---[ 188]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 128.97/129.01 c ---[ 184]---> Adder-cost: 130 maxlim: 67584 bits: 18/17 128.97/129.02 c ---[ 182]---> Adder-cost: 156 maxlim: 99328 bits: 18/17 128.97/129.03 c ---[ 180]---> Adder-cost: 112 maxlim: 77824 bits: 18/17 128.97/129.04 c ---[ 178]---> Adder-cost: 176 maxlim: 98304 bits: 18/17 128.97/129.05 c ---[ 176]---> Adder-cost: 194 maxlim: 112640 bits: 18/17 128.97/129.06 c ---[ 174]---> Sorter-cost: 1217 Base: 2 2 2 2 2 2 2 2 2 2 7 128.97/129.07 c ---[ 172]---> Sorter-cost: 403 Base: 2 2 2 2 2 2 2 2 2 2 7 128.97/129.07 c ---[ 170]---> Sorter-cost: 437 Base: 2 2 2 2 2 2 2 2 2 2 7 128.97/129.08 c ---[ 168]---> Sorter-cost: 432 Base: 2 2 2 2 2 2 2 2 2 2 7 128.97/129.08 c ---[ 166]---> Adder-cost: 154 maxlim: 97280 bits: 18/17 128.97/129.09 c ---[ 164]---> Adder-cost: 144 maxlim: 76800 bits: 18/17 129.07/129.10 c ---[ 162]---> Adder-cost: 230 maxlim: 122880 bits: 18/17 129.07/129.12 c ---[ 160]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 129.07/129.13 c ---[ 158]---> Adder-cost: 168 maxlim: 118784 bits: 18/17 129.07/129.14 c ---[ 156]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 129.07/129.16 c ---[ 154]---> Adder-cost: 158 maxlim: 81920 bits: 18/17 129.07/129.17 c ---[ 152]---> Adder-cost: 128 maxlim: 66560 bits: 18/17 129.07/129.18 c ---[ 150]---> Adder-cost: 118 maxlim: 88064 bits: 18/17 129.07/129.19 c ---[ 148]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 129.17/129.20 c ---[ 146]---> Adder-cost: 182 maxlim: 91136 bits: 18/17 129.17/129.21 c ---[ 144]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 129.17/129.22 c ---[ 142]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 129.17/129.23 c ---[ 140]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 129.17/129.23 c ---[ 138]---> Adder-cost: 98 maxlim: 51200 bits: 17/16 129.17/129.24 c ---[ 136]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 129.17/129.25 c ---[ 134]---> Adder-cost: 118 maxlim: 60416 bits: 17/16 129.17/129.25 c ---[ 132]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 129.17/129.26 c ---[ 130]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 129.17/129.27 c ---[ 128]---> Adder-cost: 216 maxlim: 111616 bits: 18/17 129.17/129.29 c ---[ 124]---> Sorter-cost: 676 Base: 2 2 2 2 2 2 2 2 2 2 7 129.17/129.29 c ---[ 122]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 129.17/129.29 c ---[ 120]---> Sorter-cost: 367 Base: 2 2 2 2 2 2 2 2 2 2 7 129.17/129.29 c ---[ 118]---> Sorter-cost: 384 Base: 2 2 2 2 2 2 2 2 2 2 7 129.27/129.30 c ---[ 116]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 2 2 2 2 7 129.27/129.30 c ---[ 114]---> Adder-cost: 162 maxlim: 88064 bits: 18/17 129.27/129.31 c ---[ 112]---> Adder-cost: 164 maxlim: 87040 bits: 18/17 129.27/129.32 c ---[ 110]---> Adder-cost: 188 maxlim: 104448 bits: 18/17 129.27/129.33 c ---[ 108]---> Adder-cost: 174 maxlim: 95232 bits: 18/17 129.27/129.35 c ---[ 106]---> Adder-cost: 170 maxlim: 94208 bits: 18/17 129.27/129.36 c ---[ 104]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 129.27/129.36 c ---[ 102]---> Sorter-cost: 1083 Base: 2 2 2 2 2 2 2 2 2 2 7 129.27/129.36 c ---[ 100]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 129.27/129.37 c ---[ 98]---> Adder-cost: 104 maxlim: 55296 bits: 17/16 129.27/129.38 c ---[ 96]---> Adder-cost: 136 maxlim: 67584 bits: 18/17 129.27/129.39 c ---[ 94]---> Adder-cost: 116 maxlim: 64512 bits: 17/16 129.27/129.39 c ---[ 92]---> Adder-cost: 120 maxlim: 69632 bits: 18/17 129.37/129.40 c ---[ 90]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 129.37/129.41 c ---[ 88]---> Adder-cost: 166 maxlim: 89088 bits: 18/17 129.37/129.43 c ---[ 86]---> Adder-cost: 174 maxlim: 97280 bits: 18/17 129.37/129.44 c ---[ 84]---> Adder-cost: 146 maxlim: 77824 bits: 18/17 129.37/129.45 c ---[ 82]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 129.37/129.46 c ---[ 80]---> Adder-cost: 100 maxlim: 56320 bits: 17/16 129.37/129.46 c ---[ 78]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 129.37/129.47 c ---[ 76]---> Sorter-cost: 1182 Base: 2 2 2 2 2 2 2 2 2 2 7 129.37/129.47 c ---[ 74]---> Sorter-cost: 1243 Base: 2 2 2 2 2 2 2 2 2 2 7 129.37/129.48 c ---[ 72]---> Adder-cost: 100 maxlim: 53248 bits: 17/16 129.37/129.49 c ---[ 70]---> Adder-cost: 242 maxlim: 155648 bits: 19/18 129.47/129.51 c ---[ 69]---> 1800.01/1800.30 c *** TERMINATED *** 1800.01/1800.30 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114723-1467020152/watcher-4114723-1467020152 -o /tmp/evaluation-result-4114723-1467020152/solver-4114723-1467020152 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467019394-27178 --watchdog 1960 -S 80 minisatp HOME/instance-4114723-1467020152.opb pid=27348 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing Stack size limit: 81920 KiB Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 81920 KiB [startup+0 s] /proc/loadavg: 2.06 1.94 1.21 3/176 27351 /proc/meminfo: memFree=30057780/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=6884 CPUtime=0 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 1 0 35054703 7049216 270 33554432000 4194304 5646918 140735656575440 140733256194904 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 1721 270 84 355 0 1362 0 [startup+0.100174 s] /proc/loadavg: 2.06 1.94 1.21 3/176 27351 /proc/meminfo: memFree=30057780/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=17748 CPUtime=0.09 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 2985 0 0 0 9 0 0 0 20 0 1 0 35054703 18173952 2725 33554432000 4194304 5646918 140735656575440 140733256194904 4866967 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 4437 2725 84 355 0 4078 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17748 [startup+0.200384 s] /proc/loadavg: 2.06 1.94 1.21 3/176 27351 /proc/meminfo: memFree=30057780/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=31656 CPUtime=0.19 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 6552 0 0 0 19 0 0 0 20 0 1 0 35054703 32415744 5971 33554432000 4194304 5646918 140735656575440 140733256194904 4823867 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 7914 5971 84 355 0 7555 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 31656 [startup+0.300373 s] /proc/loadavg: 2.06 1.94 1.21 3/176 27351 /proc/meminfo: memFree=30057780/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=32924 CPUtime=0.28 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 6788 0 0 0 28 0 0 0 20 0 1 0 35054703 33714176 6207 33554432000 4194304 5646918 140735656575440 140733256194904 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 8231 6207 97 355 0 7872 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 32924 [startup+0.700244 s] /proc/loadavg: 2.06 1.94 1.21 3/176 27351 /proc/meminfo: memFree=30057780/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=41216 CPUtime=0.69 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 8402 0 0 0 68 1 0 0 20 0 1 0 35054703 42205184 7821 33554432000 4194304 5646918 140735656575440 140735656574808 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 10304 7821 97 355 0 9945 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41216 [startup+1.50025 s] /proc/loadavg: 2.06 1.94 1.21 3/177 27352 /proc/meminfo: memFree=30015884/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=65372 CPUtime=1.49 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 14271 0 0 0 147 2 0 0 20 0 1 0 35054703 66940928 13358 33554432000 4194304 5646918 140735656575440 140735656574808 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 16343 13358 97 355 0 15984 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 65372 [startup+3.1003 s] /proc/loadavg: 2.06 1.94 1.21 3/177 27352 /proc/meminfo: memFree=29992564/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=125884 CPUtime=3.08 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 32328 0 0 0 304 4 0 0 20 0 1 0 35054703 128905216 27234 33554432000 4194304 5646918 140735656575440 140735656574808 4560546 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 31471 27234 97 355 0 31112 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 125884 [startup+6.30024 s] /proc/loadavg: 2.06 1.94 1.22 3/177 27352 /proc/meminfo: memFree=29950616/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=121136 CPUtime=6.29 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 33725 0 0 0 624 5 0 0 20 0 1 0 35054703 124043264 26178 33554432000 4194304 5646918 140735656575440 140735656574104 4831277 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 30284 26178 154 355 0 29925 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 121136 [startup+12.7002 s] /proc/loadavg: 2.05 1.94 1.22 3/177 27352 /proc/meminfo: memFree=29928612/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=142764 CPUtime=12.69 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 38148 0 0 0 1262 7 0 0 20 0 1 0 35054703 146190336 31690 33554432000 4194304 5646918 140735656575440 140735656574104 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 35691 31690 154 355 0 35332 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 142764 [startup+25.5002 s] /proc/loadavg: 2.04 1.94 1.23 3/177 27352 /proc/meminfo: memFree=29814260/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=246352 CPUtime=25.48 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 53802 0 0 0 2538 10 0 0 20 0 1 0 35054703 252264448 56298 33554432000 4194304 5646918 140735656575440 140735654793464 4823257 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 61588 56298 154 355 0 61229 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 246352 [startup+51.1003 s] /proc/loadavg: 2.02 1.95 1.25 3/177 27352 /proc/meminfo: memFree=29783300/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=246352 CPUtime=51.08 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 53802 0 0 0 5098 10 0 0 20 0 1 0 35054703 252264448 56298 33554432000 4194304 5646918 140735656575440 140735654793464 4817409 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 61588 56298 154 355 0 61229 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 246352 [startup+102.3 s] /proc/loadavg: 2.07 1.97 1.29 3/177 27353 /proc/meminfo: memFree=29610364/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=246352 CPUtime=102.28 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 53802 0 0 0 10218 10 0 0 20 0 1 0 35054703 252264448 56298 33554432000 4194304 5646918 140735656575440 140735656574104 4823310 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 61588 56298 154 355 0 61229 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 246352 [startup+162.3 s] /proc/loadavg: 2.12 2.00 1.35 3/177 27354 /proc/meminfo: memFree=29323088/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=162.26 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 16210 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4823346 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 431548 [startup+222.307 s] /proc/loadavg: 2.09 2.01 1.39 3/177 27355 /proc/meminfo: memFree=29231656/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=222.26 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 22210 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4459984 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 431548 [startup+282.3 s] /proc/loadavg: 2.14 2.04 1.43 3/178 27359 /proc/meminfo: memFree=29156172/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=282.24 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 28208 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4823289 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 431548 [startup+342.3 s] /proc/loadavg: 2.11 2.04 1.47 3/177 27361 /proc/meminfo: memFree=29098248/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=342.23 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 34207 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4823342 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 431548 [startup+402.3 s] /proc/loadavg: 2.09 2.05 1.51 3/177 27362 /proc/meminfo: memFree=28968964/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=402.23 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 40207 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4824637 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 431548 [startup+462.3 s] /proc/loadavg: 2.20 2.08 1.55 3/177 27363 /proc/meminfo: memFree=28900748/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=462.22 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 46206 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4823297 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 431548 [startup+522.3 s] /proc/loadavg: 2.17 2.09 1.59 3/177 27364 /proc/meminfo: memFree=28670760/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=522.21 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 52205 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4309355 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 431548 [startup+582.3 s] /proc/loadavg: 2.11 2.09 1.62 3/177 27365 /proc/meminfo: memFree=28593172/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=582.2 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 58204 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4831331 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 431548 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.09 2.13 1.78 3/177 27376 /proc/meminfo: memFree=27653676/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=942.14 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 94198 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4817705 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 431548 [startup+1002.3 s] /proc/loadavg: 2.07 2.12 1.80 3/177 27377 /proc/meminfo: memFree=27452644/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1002.13 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 100197 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4817614 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 431548 [startup+1062.3 s] /proc/loadavg: 2.10 2.11 1.81 3/177 27434 /proc/meminfo: memFree=30457648/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1062.13 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 106197 16 0 0 20 0 1 0 35054703 441905152 100553 33554432000 4194304 5646918 140735656575440 140735639448152 4831244 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 100553 154 355 0 107528 0 Current children cumulated CPU time (s) 1062.13 Current children cumulated vsize (KiB) 431548 [startup+1122.3 s] /proc/loadavg: 2.15 2.12 1.83 3/177 27435 /proc/meminfo: memFree=29642800/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1122.12 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 112196 16 0 0 20 0 1 0 35054703 441905152 102077 33554432000 4194304 5646918 140735656575440 140735639448152 4831305 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102077 154 355 0 107528 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 431548 [startup+1182.3 s] /proc/loadavg: 2.17 2.13 1.85 4/177 27436 /proc/meminfo: memFree=29759140/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1182.11 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 118195 16 0 0 20 0 1 0 35054703 441905152 102077 33554432000 4194304 5646918 140735656575440 140735639448152 4831366 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102077 154 355 0 107528 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 431548 [startup+1242.3 s] /proc/loadavg: 2.07 2.10 1.85 3/177 27493 /proc/meminfo: memFree=29796828/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1242.1 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 124194 16 0 0 20 0 1 0 35054703 441905152 102077 33554432000 4194304 5646918 140735656575440 140735639448152 4312078 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102077 154 355 0 107528 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 431548 [startup+1302.3 s] /proc/loadavg: 2.12 2.11 1.87 3/177 27494 /proc/meminfo: memFree=29796072/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1302.09 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 130193 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4817485 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 431548 [startup+1362.3 s] /proc/loadavg: 2.04 2.09 1.88 4/177 27551 /proc/meminfo: memFree=30337456/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1362.08 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 136192 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4464039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 431548 [startup+1422.3 s] /proc/loadavg: 2.01 2.07 1.88 3/177 27552 /proc/meminfo: memFree=28824448/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1422.08 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 142192 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4310101 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 431548 [startup+1482.3 s] /proc/loadavg: 2.06 2.07 1.89 3/178 27556 /proc/meminfo: memFree=28822660/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1482.06 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 148190 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4817591 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 431548 [startup+1542.31 s] /proc/loadavg: 2.02 2.05 1.90 4/178 27580 /proc/meminfo: memFree=28822168/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1542.06 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 154190 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4832125 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 431548 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 1.91 3/177 27581 /proc/meminfo: memFree=29027132/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1602.04 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 160188 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4817591 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 431548 [startup+1662.3 s] /proc/loadavg: 2.12 2.08 1.92 3/177 27582 /proc/meminfo: memFree=28986300/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1662.03 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 166187 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4817371 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 431548 [startup+1722.3 s] /proc/loadavg: 2.24 2.11 1.94 4/177 27639 /proc/meminfo: memFree=30396056/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1722.02 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 172186 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4480488 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 431548 [startup+1782.3 s] /proc/loadavg: 2.12 2.10 1.94 3/177 27640 /proc/meminfo: memFree=29268448/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1782.02 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 178186 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4823259 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 431548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.08 2.09 1.94 3/177 27640 /proc/meminfo: memFree=29268208/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1800.01 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 179985 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4831266 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 431548 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27351 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.08 2.09 1.94 3/177 27640 /proc/meminfo: memFree=29268208/32872528 swapFree=681168/738400 [pid=27351] ppid=27348 vsize=431548 CPUtime=1800.01 cores=1,3,5,7 /proc/27351/stat : 27351 (minisatp) R 27348 27351 27161 0 -1 4202496 88859 0 0 0 179985 16 0 0 20 0 1 0 35054703 441905152 102225 33554432000 4194304 5646918 140735656575440 140735639448152 4831266 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/27351/statm: 107887 102225 154 355 0 107528 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 431548 Child status: 0 Real time (s): 1800.3 CPU time (s): 1800.03 CPU user time (s): 1799.86 CPU system time (s): 0.171973 CPU usage (%): 99.9848 Max. virtual memory (cumulated for all children) (KiB): 431548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.171973 maximum resident set size= 408900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88859 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1853 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.46032 second user time and 7.06992 second system time The end
Begin job on node112 at 2016-06-27 11:35:52 IDJOB=4114723 IDBENCH=2341 IDSOLVER=2555 FILE ID=node112/4114723-1467020152 RUNJOBID= node112-1467019394-27178 PBS_JOBID= 19976977 Free space on /tmp= 71708 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114723-1467020152/watcher-4114723-1467020152 -o /tmp/evaluation-result-4114723-1467020152/solver-4114723-1467020152 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467019394-27178 --watchdog 1960 -S 80 minisatp HOME/instance-4114723-1467020152.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6b1441ebcfc2678f5078c728b5f20e0c RANDOM SEED=2013250389 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30058712 kB Buffers: 89296 kB Cached: 240336 kB SwapCached: 1692 kB Active: 1093900 kB Inactive: 238820 kB Active(anon): 1002948 kB Inactive(anon): 2624 kB Active(file): 90952 kB Inactive(file): 236196 kB Unevictable: 738400 kB Mlocked: 681168 kB SwapTotal: 67108856 kB SwapFree: 67098760 kB Dirty: 10556 kB Writeback: 0 kB AnonPages: 1743156 kB Mapped: 7924 kB Shmem: 0 kB Slab: 608088 kB SReclaimable: 51548 kB SUnreclaim: 556540 kB KernelStack: 1440 kB PageTables: 7504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1869656 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 980992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114723-1467020152.opb Free space on /tmp at the end= 71696 MiB End job on node112 at 2016-06-27 12:05:52