| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.07 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb |
| MD5SUM | 542c2b53b45e753224c38b905fee77fb |
| Bench Category | OPT-SMALLINT (optimisation, small 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 | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 155427 |
| Total number of constraints | 2674 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2674 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 7267 |
| Number of terms in the objective function | 15205 |
| Biggest coefficient in the objective function | 24902 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 537080 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 537080 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 6.19/6.23 c Converting 4200 PB-constraints to clauses... 6.19/6.26 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 10.48/10.50 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################## 10.48/10.58 c -- Clauses(.)/Splits(s): ssssssssssssssssssssssssssssssssssssssssssssss 10.48/10.59 c ---[4245]---> BDD-cost: 24 10.48/10.59 c ---[4240]---> BDD-cost: 17 10.48/10.59 c ---[4239]---> BDD-cost: 17 10.48/10.59 c ---[4238]---> BDD-cost: 30 10.48/10.59 c ---[4237]---> BDD-cost: 18 10.48/10.59 c ---[4235]---> BDD-cost: 17 10.48/10.59 c ---[4234]---> BDD-cost: 19 10.48/10.59 c ---[4233]---> BDD-cost: 16 10.48/10.59 c ---[4232]---> BDD-cost: 16 10.48/10.59 c ---[4231]---> BDD-cost: 14 10.48/10.59 c ---[4230]---> BDD-cost: 16 10.48/10.59 c ---[4228]---> BDD-cost: 16 10.48/10.59 c ---[4227]---> BDD-cost: 17 10.48/10.59 c ---[4225]---> BDD-cost: 15 10.48/10.59 c ---[4224]---> BDD-cost: 11 10.48/10.59 c ---[4223]---> BDD-cost: 15 10.48/10.59 c ---[4222]---> BDD-cost: 15 10.48/10.59 c ---[4221]---> BDD-cost: 12 10.48/10.59 c ---[4219]---> BDD-cost: 16 10.48/10.59 c ---[4216]---> BDD-cost: 13 10.48/10.59 c ---[4215]---> BDD-cost: 17 10.48/10.59 c ---[4212]---> BDD-cost: 12 10.48/10.59 c ---[4211]---> BDD-cost: 21 10.48/10.59 c ---[4210]---> BDD-cost: 15 10.48/10.59 c ---[4209]---> BDD-cost: 17 10.48/10.59 c ---[4208]---> BDD-cost: 17 10.48/10.59 c ---[4207]---> BDD-cost: 15 10.48/10.59 c ---[4206]---> BDD-cost: 17 10.48/10.59 c ---[4205]---> BDD-cost: 15 10.48/10.59 c ---[4204]---> BDD-cost: 16 10.48/10.59 c ---[4203]---> BDD-cost: 11 10.48/10.60 c ---[4201]---> BDD-cost: 15 10.48/10.60 c ---[4200]---> BDD-cost: 14 10.48/10.60 c ---[4199]---> BDD-cost: 13 10.48/10.60 c ---[4198]---> BDD-cost: 15 10.48/10.60 c ---[4197]---> BDD-cost: 17 10.48/10.60 c ---[4194]---> BDD-cost: 35 10.59/10.60 c ---[4193]---> BDD-cost: 16 10.59/10.60 c ---[4192]---> BDD-cost: 21 10.59/10.60 c ---[4190]---> BDD-cost: 19 10.59/10.60 c ---[4188]---> BDD-cost: 23 10.59/10.60 c ---[4187]---> BDD-cost: 18 10.59/10.60 c ---[4186]---> BDD-cost: 18 10.59/10.60 c ---[4185]---> BDD-cost: 16 10.59/10.60 c ---[4184]---> BDD-cost: 24 10.59/10.60 c ---[4183]---> BDD-cost: 19 10.59/10.60 c ---[4182]---> BDD-cost: 21 10.59/10.60 c ---[4181]---> BDD-cost: 18 10.59/10.60 c ---[4180]---> BDD-cost: 17 10.59/10.60 c ---[4179]---> BDD-cost: 10 10.59/10.60 c ---[4178]---> BDD-cost: 14 10.59/10.60 c ---[4177]---> BDD-cost: 17 10.59/10.60 c ---[4176]---> BDD-cost: 10 10.59/10.60 c ---[4175]---> BDD-cost: 16 10.59/10.60 c ---[4174]---> BDD-cost: 15 10.59/10.60 c ---[4173]---> BDD-cost: 11 10.59/10.60 c ---[4172]---> BDD-cost: 14 10.59/10.60 c ---[4171]---> BDD-cost: 17 10.59/10.60 c ---[4168]---> BDD-cost: 24 10.59/10.60 c ---[4167]---> BDD-cost: 39 10.59/10.60 c ---[4166]---> BDD-cost: 17 10.59/10.60 c ---[4165]---> BDD-cost: 16 10.59/10.60 c ---[4164]---> BDD-cost: 24 10.59/10.60 c ---[4162]---> BDD-cost: 12 10.59/10.60 c ---[4161]---> BDD-cost: 22 10.59/10.60 c ---[4160]---> BDD-cost: 14 10.59/10.60 c ---[4159]---> BDD-cost: 27 10.59/10.60 c ---[4158]---> BDD-cost: 18 10.59/10.60 c ---[4157]---> BDD-cost: 19 10.59/10.60 c ---[4156]---> BDD-cost: 21 10.59/10.60 c ---[4155]---> BDD-cost: 21 10.59/10.60 c ---[4153]---> BDD-cost: 23 10.59/10.60 c ---[4152]---> BDD-cost: 20 10.59/10.60 c ---[4151]---> BDD-cost: 18 10.59/10.60 c ---[4150]---> BDD-cost: 10 10.59/10.60 c ---[4149]---> BDD-cost: 14 10.59/10.60 c ---[4147]---> BDD-cost: 10 10.59/10.60 c ---[4146]---> BDD-cost: 17 10.59/10.60 c ---[4145]---> BDD-cost: 16 10.59/10.60 c ---[4144]---> BDD-cost: 10 10.59/10.60 c ---[4143]---> BDD-cost: 15 10.59/10.60 c ---[4140]---> BDD-cost: 17 10.59/10.60 c ---[4139]---> BDD-cost: 18 10.59/10.60 c ---[4138]---> BDD-cost: 33 10.59/10.60 c ---[4137]---> BDD-cost: 21 10.59/10.60 c ---[4136]---> BDD-cost: 19 10.59/10.60 c ---[4134]---> BDD-cost: 27 10.59/10.60 c ---[4133]---> BDD-cost: 22 10.59/10.60 c ---[4132]---> BDD-cost: 14 10.59/10.60 c ---[4131]---> BDD-cost: 21 10.59/10.60 c ---[4130]---> BDD-cost: 21 10.59/10.60 c ---[4128]---> BDD-cost: 17 10.59/10.60 c ---[4126]---> BDD-cost: 17 10.59/10.60 c ---[4125]---> BDD-cost: 18 10.59/10.60 c ---[4124]---> BDD-cost: 19 10.59/10.60 c ---[4123]---> BDD-cost: 21 10.59/10.60 c ---[4122]---> BDD-cost: 15 10.59/10.60 c ---[4121]---> BDD-cost: 21 10.59/10.60 c ---[4120]---> BDD-cost: 27 10.59/10.60 c ---[4118]---> BDD-cost: 15 10.59/10.60 c ---[4117]---> BDD-cost: 14 10.59/10.60 c ---[4115]---> BDD-cost: 15 10.59/10.60 c ---[4114]---> BDD-cost: 14 10.59/10.60 c ---[4113]---> BDD-cost: 15 10.59/10.60 c ---[4112]---> BDD-cost: 14 10.59/10.60 c ---[4111]---> BDD-cost: 15 10.59/10.60 c ---[4110]---> BDD-cost: 15 10.59/10.60 c ---[4109]---> BDD-cost: 15 10.59/10.60 c ---[4108]---> BDD-cost: 16 10.59/10.61 c ---[4107]---> BDD-cost: 15 10.59/10.61 c ---[4106]---> BDD-cost: 17 10.59/10.61 c ---[4105]---> BDD-cost: 34 10.59/10.61 c ---[4102]---> BDD-cost: 18 10.59/10.61 c ---[4101]---> BDD-cost: 17 10.59/10.61 c ---[4098]---> BDD-cost: 19 10.59/10.61 c ---[4097]---> BDD-cost: 18 10.59/10.61 c ---[4096]---> BDD-cost: 19 10.59/10.61 c ---[4095]---> BDD-cost: 21 10.59/10.61 c ---[4094]---> BDD-cost: 23 10.59/10.61 c ---[4092]---> BDD-cost: 17 10.59/10.61 c ---[4091]---> BDD-cost: 16 10.59/10.61 c ---[4090]---> BDD-cost: 17 10.59/10.61 c ---[4089]---> BDD-cost: 15 10.59/10.61 c ---[4087]---> BDD-cost: 14 10.59/10.61 c ---[4085]---> BDD-cost: 15 10.59/10.61 c ---[4084]---> BDD-cost: 17 10.59/10.61 c ---[4083]---> BDD-cost: 16 10.59/10.61 c ---[4082]---> BDD-cost: 15 10.59/10.61 c ---[4081]---> BDD-cost: 18 10.59/10.61 c ---[4080]---> BDD-cost: 15 10.59/10.61 c ---[4078]---> BDD-cost: 14 10.59/10.61 c ---[4077]---> BDD-cost: 14 10.59/10.61 c ---[4075]---> BDD-cost: 13 10.59/10.61 c ---[4070]---> BDD-cost: 15 10.59/10.61 c ---[4069]---> BDD-cost: 21 10.59/10.61 c ---[4067]---> BDD-cost: 17 10.59/10.61 c ---[4065]---> BDD-cost: 16 10.59/10.61 c ---[4064]---> BDD-cost: 17 10.59/10.61 c ---[4062]---> BDD-cost: 19 10.59/10.61 c ---[4061]---> BDD-cost: 13 10.59/10.61 c ---[4059]---> BDD-cost: 22 10.59/10.61 c ---[4058]---> BDD-cost: 28 10.59/10.61 c ---[4057]---> BDD-cost: 19 10.59/10.61 c ---[4055]---> BDD-cost: 16 10.59/10.61 c ---[4054]---> BDD-cost: 28 10.59/10.61 c ---[4053]---> BDD-cost: 17 10.59/10.61 c ---[4052]---> BDD-cost: 15 10.59/10.61 c ---[4051]---> BDD-cost: 14 10.59/10.61 c ---[4050]---> BDD-cost: 16 10.59/10.61 c ---[4049]---> BDD-cost: 10 10.59/10.61 c ---[4048]---> BDD-cost: 17 10.59/10.61 c ---[4047]---> BDD-cost: 16 10.59/10.61 c ---[4046]---> BDD-cost: 12 10.59/10.61 c ---[4045]---> BDD-cost: 12 10.59/10.61 c ---[4044]---> BDD-cost: 16 10.59/10.61 c ---[4043]---> BDD-cost: 17 10.59/10.61 c ---[4042]---> BDD-cost: 22 10.59/10.61 c ---[4040]---> BDD-cost: 14 10.59/10.61 c ---[4039]---> BDD-cost: 15 10.59/10.61 c ---[4038]---> BDD-cost: 20 10.59/10.61 c ---[4037]---> BDD-cost: 32 10.59/10.61 c ---[4036]---> BDD-cost: 39 10.59/10.61 c ---[4034]---> BDD-cost: 18 10.59/10.61 c ---[4033]---> BDD-cost: 19 10.59/10.61 c ---[4032]---> BDD-cost: 27 10.59/10.61 c ---[4030]---> BDD-cost: 27 10.59/10.61 c ---[4029]---> BDD-cost: 16 10.59/10.61 c ---[4028]---> BDD-cost: 26 10.59/10.61 c ---[4025]---> BDD-cost: 19 10.59/10.61 c ---[4024]---> BDD-cost: 18 10.59/10.61 c ---[4023]---> BDD-cost: 30 10.59/10.61 c ---[4022]---> BDD-cost: 23 10.59/10.61 c ---[4020]---> BDD-cost: 15 10.59/10.61 c ---[4019]---> BDD-cost: 17 10.59/10.61 c ---[4018]---> BDD-cost: 10 10.59/10.61 c ---[4017]---> BDD-cost: 32 10.59/10.61 c ---[4016]---> BDD-cost: 16 10.59/10.61 c ---[4015]---> BDD-cost: 15 10.59/10.61 c ---[4014]---> BDD-cost: 14 10.59/10.61 c ---[4013]---> BDD-cost: 16 10.59/10.61 c ---[4012]---> BDD-cost: 33 10.59/10.61 c ---[4011]---> BDD-cost: 21 10.59/10.61 c ---[4008]---> BDD-cost: 21 10.59/10.61 c ---[4007]---> BDD-cost: 29 10.59/10.62 c ---[4006]---> BDD-cost: 17 10.59/10.62 c ---[4005]---> BDD-cost: 27 10.59/10.62 c ---[4004]---> BDD-cost: 20 10.59/10.62 c ---[4003]---> BDD-cost: 19 10.59/10.62 c ---[4001]---> BDD-cost: 21 10.59/10.62 c ---[4000]---> BDD-cost: 13 10.59/10.62 c ---[3999]---> BDD-cost: 17 10.59/10.62 c ---[3998]---> BDD-cost: 18 10.59/10.62 c ---[3996]---> BDD-cost: 15 10.59/10.62 c ---[3995]---> BDD-cost: 16 10.59/10.62 c ---[3994]---> BDD-cost: 24 10.59/10.62 c ---[3992]---> BDD-cost: 14 10.59/10.62 c ---[3991]---> BDD-cost: 14 10.59/10.62 c ---[3990]---> BDD-cost: 13 10.59/10.62 c ---[3989]---> BDD-cost: 10 10.59/10.62 c ---[3988]---> BDD-cost: 16 10.59/10.62 c ---[3987]---> BDD-cost: 14 10.59/10.62 c ---[3986]---> BDD-cost: 11 10.59/10.62 c ---[3985]---> BDD-cost: 12 10.59/10.62 c ---[3984]---> BDD-cost: 14 10.59/10.62 c ---[3978]---> BDD-cost: 34 10.59/10.62 c ---[3977]---> BDD-cost: 16 10.59/10.62 c ---[3976]---> BDD-cost: 17 10.59/10.62 c ---[3975]---> BDD-cost: 15 10.59/10.62 c ---[3973]---> BDD-cost: 17 10.59/10.62 c ---[3971]---> BDD-cost: 14 10.59/10.62 c ---[3970]---> BDD-cost: 10 10.59/10.62 c ---[3969]---> BDD-cost: 11 10.59/10.62 c ---[3968]---> BDD-cost: 16 10.59/10.62 c ---[3967]---> BDD-cost: 14 10.59/10.62 c ---[3966]---> BDD-cost: 17 10.59/10.62 c ---[3964]---> BDD-cost: 14 10.59/10.62 c ---[3963]---> BDD-cost: 13 10.59/10.62 c ---[3961]---> BDD-cost: 12 10.59/10.62 c ---[3959]---> BDD-cost: 16 10.59/10.62 c ---[3956]---> BDD-cost: 24 10.59/10.62 c ---[3954]---> Adder-cost: 271 maxlim: 12 bits: 5/4 10.59/10.62 c ---[3952]---> Adder-cost: 891 maxlim: 72 bits: 8/7 10.59/10.64 c ---[3950]---> Adder-cost: 2552 maxlim: 21898 bits: 16/15 10.79/10.86 c ---[3948]---> Adder-cost: 891 maxlim: 69 bits: 8/7 10.79/10.88 c ---[3946]---> Adder-cost: 456 maxlim: 26 bits: 6/5 10.79/10.88 c ---[3944]---> Adder-cost: 649 maxlim: 25 bits: 6/5 10.79/10.89 c ---[3942]---> Adder-cost: 490 maxlim: 130 bits: 9/8 10.89/10.90 c ---[3940]---> Adder-cost: 399 maxlim: 47 bits: 7/6 10.89/10.91 c ---[3938]---> Adder-cost: 422 maxlim: 20 bits: 6/5 10.89/10.92 c ---[3936]---> Adder-cost: 497 maxlim: 39 bits: 7/6 10.89/10.92 c ---[3934]---> Sorter-cost: 3204 Base: 3 7 2 2 2 2 2 2 2 10.89/10.94 c ---[3932]---> Adder-cost: 487 maxlim: 31 bits: 6/5 10.89/10.95 c ---[3930]---> Adder-cost: 155 maxlim: 100 bits: 8/7 10.89/10.95 c ---[3928]---> Sorter-cost: 606 Base: 2 2 2 2 10.89/10.95 c ---[3926]---> Adder-cost: 422 maxlim: 23 bits: 6/5 10.89/10.96 c ---[3924]---> Adder-cost: 891 maxlim: 105 bits: 8/7 10.89/10.98 c ---[3922]---> Adder-cost: 891 maxlim: 69 bits: 8/7 10.89/10.99 c ---[3920]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 10.89/11.00 c ---[3918]---> Adder-cost: 371 maxlim: 175 bits: 9/8 11.00/11.01 c ---[3916]---> Adder-cost: 773 maxlim: 58 bits: 7/6 11.00/11.02 c ---[3914]---> Adder-cost: 301 maxlim: 123 bits: 8/7 11.00/11.03 c ---[3912]---> Adder-cost: 891 maxlim: 74 bits: 8/7 11.00/11.05 c ---[3910]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 11.00/11.05 c ---[3908]---> Adder-cost: 396 maxlim: 43 bits: 7/6 11.00/11.05 c ---[3906]---> Adder-cost: 625 maxlim: 72 bits: 8/7 11.00/11.06 c ---[3904]---> Adder-cost: 381 maxlim: 11 bits: 5/4 11.00/11.07 c ---[3902]---> Adder-cost: 497 maxlim: 35 bits: 7/6 11.00/11.07 c ---[3900]---> Adder-cost: 117 maxlim: 5 bits: 4/3 11.00/11.08 c ---[3898]---> Adder-cost: 551 maxlim: 19 bits: 6/5 11.00/11.08 c ---[3896]---> Sorter-cost: 612 Base: 2 2 2 2 2 11.00/11.08 c ---[3894]---> Adder-cost: 548 maxlim: 47 bits: 7/6 11.00/11.09 c ---[3892]---> Adder-cost: 305 maxlim: 138 bits: 9/8 11.00/11.10 c ---[3890]---> Adder-cost: 290 maxlim: 44 bits: 7/6 11.10/11.11 c ---[3888]---> Adder-cost: 399 maxlim: 33 bits: 7/6 11.10/11.11 c ---[3886]---> Sorter-cost: 612 Base: 2 2 2 2 2 11.10/11.11 c ---[3884]---> Adder-cost: 395 maxlim: 139 bits: 9/8 11.10/11.12 c ---[3882]---> Adder-cost: 395 maxlim: 139 bits: 9/8 11.10/11.13 c ---[3880]---> Sorter-cost: 4354 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 11.19/11.21 c ---[3878]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 11.19/11.21 c ---[3876]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 11.19/11.22 c ---[3874]---> Adder-cost: 400 maxlim: 7 bits: 4/3 11.19/11.22 c ---[3872]---> Sorter-cost: 1105 Base: 3 7 2 2 2 11.19/11.23 c ---[3870]---> Sorter-cost: 1349 Base: 3 7 2 2 2 2 11.19/11.23 c ---[3860]---> Sorter-cost: 1093 Base: 3 7 2 2 2 11.19/11.24 c ---[3858]---> Adder-cost: 290 maxlim: 42999 bits: 17/16 11.29/11.36 c ---[3856]---> Sorter-cost: 2095 Base: 3 7 2 2 2 2 2 2 11.29/11.39 c ---[3854]---> Adder-cost: 88 maxlim: 148 bits: 9/8 11.29/11.39 c ---[3852]---> Adder-cost: 88 maxlim: 148 bits: 9/8 11.29/11.39 c ---[3850]---> Adder-cost: 110 maxlim: 172 bits: 9/8 11.29/11.39 c ---[3848]---> Adder-cost: 110 maxlim: 172 bits: 9/8 11.39/11.40 c ---[3838]---> Sorter-cost: 1459 Base: 3 7 2 2 2 2 2 11.39/11.40 c ---[3836]---> Adder-cost: 290 maxlim: 85980 bits: 17/17 11.49/11.55 c ---[3834]---> Sorter-cost: 1459 Base: 3 7 2 2 2 2 2 11.49/11.56 c ---[3826]---> Adder-cost: 168 maxlim: 2551 bits: 12/12 11.49/11.57 c ---[3824]---> Adder-cost: 398 maxlim: 81125 bits: 18/17 11.69/11.79 c ---[3822]---> Adder-cost: 404 maxlim: 81125 bits: 18/17 11.99/12.02 c ---[3820]---> Adder-cost: 402 maxlim: 81125 bits: 18/17 12.20/12.26 c ---[3818]---> Adder-cost: 336 maxlim: 20295 bits: 16/15 12.29/12.33 c ---[3814]---> Adder-cost: 266 maxlim: 20295 bits: 16/15 12.39/12.41 c ---[3806]---> Adder-cost: 124 maxlim: 330 bits: 10/9 12.39/12.41 c ---[3804]---> Adder-cost: 197 maxlim: 330 bits: 10/9 12.39/12.42 c ---[3802]---> Adder-cost: 197 maxlim: 330 bits: 10/9 12.39/12.42 c ---[3800]---> Adder-cost: 197 maxlim: 330 bits: 10/9 12.39/12.43 c ---[3798]---> Adder-cost: 197 maxlim: 330 bits: 10/9 12.39/12.44 c ---[3794]---> Adder-cost: 124 maxlim: 330 bits: 10/9 12.39/12.44 c ---[3786]---> Adder-cost: 146 maxlim: 645 bits: 11/10 12.39/12.45 c ---[3784]---> Adder-cost: 223 maxlim: 645 bits: 11/10 12.39/12.46 c ---[3782]---> Adder-cost: 223 maxlim: 645 bits: 11/10 12.39/12.47 c ---[3780]---> Adder-cost: 223 maxlim: 645 bits: 11/10 12.39/12.48 c ---[3778]---> Adder-cost: 223 maxlim: 645 bits: 11/10 12.39/12.49 c ---[3774]---> Adder-cost: 146 maxlim: 645 bits: 11/10 12.39/12.49 c ---[3766]---> Adder-cost: 120 maxlim: 332 bits: 10/9 12.49/12.50 c ---[3764]---> Adder-cost: 193 maxlim: 332 bits: 10/9 12.49/12.50 c ---[3762]---> Adder-cost: 193 maxlim: 332 bits: 10/9 12.49/12.51 c ---[3760]---> Adder-cost: 193 maxlim: 332 bits: 10/9 12.49/12.51 c ---[3758]---> Adder-cost: 193 maxlim: 332 bits: 10/9 12.49/12.52 c ---[3754]---> Adder-cost: 120 maxlim: 332 bits: 10/9 12.49/12.52 c ---[3746]---> Adder-cost: 146 maxlim: 646 bits: 11/10 12.49/12.53 c ---[3744]---> Adder-cost: 223 maxlim: 646 bits: 11/10 12.49/12.54 c ---[3742]---> Adder-cost: 223 maxlim: 646 bits: 11/10 12.49/12.55 c ---[3740]---> Adder-cost: 223 maxlim: 646 bits: 11/10 12.49/12.56 c ---[3738]---> Adder-cost: 223 maxlim: 646 bits: 11/10 12.49/12.57 c ---[3734]---> Adder-cost: 146 maxlim: 646 bits: 11/10 12.49/12.57 c ---[3724]---> Adder-cost: 171 maxlim: 30 bits: 6/5 12.49/12.58 c ---[3722]---> Adder-cost: 171 maxlim: 30 bits: 6/5 12.49/12.58 c ---[3718]---> Adder-cost: 120 maxlim: 332 bits: 10/9 12.49/12.58 c ---[3716]---> Adder-cost: 193 maxlim: 332 bits: 10/9 12.49/12.59 c ---[3714]---> Adder-cost: 193 maxlim: 332 bits: 10/9 12.49/12.59 c ---[3712]---> Adder-cost: 161 maxlim: 173 bits: 9/8 12.59/12.60 c ---[3710]---> Adder-cost: 161 maxlim: 173 bits: 9/8 12.59/12.60 c ---[3706]---> Adder-cost: 120 maxlim: 332 bits: 10/9 12.59/12.61 c ---[3698]---> Adder-cost: 168 maxlim: 2519 bits: 12/12 12.59/12.61 c ---[3696]---> Adder-cost: 412 maxlim: 80058 bits: 18/17 12.69/12.78 c ---[3694]---> Adder-cost: 412 maxlim: 80058 bits: 18/17 12.89/12.94 c ---[3692]---> Adder-cost: 418 maxlim: 80058 bits: 18/17 13.09/13.10 c ---[3690]---> Adder-cost: 338 maxlim: 20029 bits: 16/15 13.09/13.16 c ---[3686]---> Adder-cost: 266 maxlim: 20029 bits: 16/15 13.20/13.22 c ---[3678]---> Sorter-cost: 1409 Base: 5 3 5 13.20/13.22 c ---[3676]---> Adder-cost: 197 maxlim: 326 bits: 10/9 13.20/13.23 c ---[3674]---> Adder-cost: 197 maxlim: 326 bits: 10/9 13.20/13.23 c ---[3672]---> Adder-cost: 197 maxlim: 326 bits: 10/9 13.20/13.24 c ---[3670]---> Adder-cost: 197 maxlim: 326 bits: 10/9 13.20/13.24 c ---[3666]---> Sorter-cost: 1409 Base: 5 3 5 13.20/13.25 c ---[3658]---> Adder-cost: 148 maxlim: 622 bits: 11/10 13.20/13.25 c ---[3656]---> Adder-cost: 223 maxlim: 622 bits: 11/10 13.20/13.26 c ---[3654]---> Adder-cost: 223 maxlim: 622 bits: 11/10 13.20/13.27 c ---[3652]---> Adder-cost: 223 maxlim: 622 bits: 11/10 13.20/13.28 c ---[3650]---> Adder-cost: 223 maxlim: 622 bits: 11/10 13.20/13.29 c ---[3646]---> Adder-cost: 148 maxlim: 622 bits: 11/10 13.20/13.30 c ---[3638]---> Adder-cost: 126 maxlim: 329 bits: 10/9 13.20/13.30 c ---[3636]---> Adder-cost: 191 maxlim: 329 bits: 10/9 13.30/13.31 c ---[3634]---> Adder-cost: 191 maxlim: 329 bits: 10/9 13.30/13.31 c ---[3632]---> Adder-cost: 191 maxlim: 329 bits: 10/9 13.30/13.32 c ---[3630]---> Adder-cost: 191 maxlim: 329 bits: 10/9 13.30/13.33 c ---[3626]---> Adder-cost: 126 maxlim: 329 bits: 10/9 13.30/13.33 c ---[3618]---> Adder-cost: 148 maxlim: 637 bits: 11/10 13.30/13.34 c ---[3616]---> Adder-cost: 221 maxlim: 637 bits: 11/10 13.30/13.35 c ---[3614]---> Adder-cost: 221 maxlim: 637 bits: 11/10 13.30/13.36 c ---[3612]---> Adder-cost: 221 maxlim: 637 bits: 11/10 13.30/13.37 c ---[3610]---> Adder-cost: 221 maxlim: 637 bits: 11/10 13.30/13.38 c ---[3606]---> Adder-cost: 148 maxlim: 637 bits: 11/10 13.30/13.39 c ---[3598]---> Adder-cost: 185 maxlim: 264 bits: 10/9 13.30/13.39 c ---[3596]---> Adder-cost: 199 maxlim: 699 bits: 11/10 13.39/13.40 c ---[3592]---> Sorter-cost: 1409 Base: 5 3 5 13.39/13.40 c ---[3590]---> Adder-cost: 197 maxlim: 326 bits: 10/9 13.39/13.41 c ---[3588]---> Adder-cost: 197 maxlim: 326 bits: 10/9 13.39/13.42 c ---[3586]---> Adder-cost: 167 maxlim: 170 bits: 9/8 13.39/13.42 c ---[3584]---> Adder-cost: 167 maxlim: 170 bits: 9/8 13.39/13.42 c ---[3580]---> Sorter-cost: 1409 Base: 5 3 5 13.39/13.43 c ---[3572]---> Sorter-cost: 2827 Base: 2 5 17 2 2 2 2 2 2 13.39/13.45 c ---[3570]---> Adder-cost: 134 maxlim: 536 bits: 11/10 13.39/13.46 c ---[3568]---> Adder-cost: 212 maxlim: 8210 bits: 14/14 13.39/13.47 c ---[3566]---> Adder-cost: 246 maxlim: 16394 bits: 15/15 13.49/13.50 c ---[3564]---> Adder-cost: 212 maxlim: 5471 bits: 14/13 13.49/13.51 c ---[3562]---> Sorter-cost: 2038 Base: 3 7 2 2 2 2 2 2 2 13.49/13.53 c ---[3560]---> Sorter-cost: 1700 Base: 3 7 2 2 2 2 2 13.49/13.53 c ---[3558]---> Adder-cost: 264 maxlim: 2597 bits: 13/12 13.49/13.56 c ---[3556]---> Adder-cost: 442 maxlim: 109420 bits: 18/17 13.69/13.78 c ---[3554]---> Adder-cost: 286 maxlim: 5162 bits: 14/13 13.79/13.81 c ---[3552]---> Sorter-cost: 1005 Base: 3 7 2 13.79/13.81 c ---[3550]---> Sorter-cost: 1608 Base: 2 2 2 7 2 2 2 13.79/13.82 c ---[3548]---> Sorter-cost: 2031 Base: 2 7 2 2 2 2 2 2 13.79/13.83 c ---[3546]---> Sorter-cost: 1557 Base: 2 2 7 2 2 2 13.79/13.84 c ---[3544]---> Sorter-cost: 3036 Base: 3 7 2 2 2 2 2 2 2 2 2 13.79/13.89 c ---[3542]---> Adder-cost: 134 maxlim: 536 bits: 11/10 13.79/13.89 c ---[3540]---> Adder-cost: 226 maxlim: 8194 bits: 14/14 13.89/13.91 c ---[3538]---> Adder-cost: 270 maxlim: 16358 bits: 15/14 13.89/13.93 c ---[3536]---> Sorter-cost: 1851 Base: 3 7 2 2 2 2 2 2 13.89/13.94 c ---[3534]---> Sorter-cost: 2002 Base: 3 7 2 2 2 2 2 2 13.89/13.96 c ---[3532]---> Sorter-cost: 1700 Base: 3 7 2 2 2 2 2 13.89/13.97 c ---[3530]---> Adder-cost: 350 maxlim: 21414 bits: 15/15 13.99/14.02 c ---[3528]---> Adder-cost: 462 maxlim: 114076 bits: 18/17 14.19/14.20 c ---[3526]---> Adder-cost: 330 maxlim: 14286 bits: 15/14 14.19/14.23 c ---[3524]---> Sorter-cost: 1216 Base: 3 7 2 2 2 14.19/14.23 c ---[3522]---> Adder-cost: 219 maxlim: 916 bits: 11/10 14.19/14.24 c ---[3520]---> Sorter-cost: 1381 Base: 3 3 3 3 2 14.19/14.25 c ---[3518]---> Adder-cost: 169 maxlim: 1491 bits: 12/11 14.19/14.26 c ---[3516]---> Adder-cost: 169 maxlim: 1491 bits: 12/11 14.19/14.26 c ---[3514]---> Sorter-cost: 1381 Base: 3 3 3 3 2 14.19/14.27 c ---[3510]---> Sorter-cost: 1381 Base: 3 3 3 3 2 14.19/14.27 c ---[3508]---> Adder-cost: 254 maxlim: 19630 bits: 15/15 14.29/14.33 c ---[3506]---> Adder-cost: 308 maxlim: 78462 bits: 17/17 14.39/14.45 c ---[3504]---> Sorter-cost: 1575 Base: 3 3 2 2 2 2 2 14.39/14.46 c ---[3500]---> Adder-cost: 386 maxlim: 56383 bits: 17/16 14.49/14.54 c ---[3498]---> Sorter-cost: 1276 Base: 5 5 2 2 14.49/14.54 c ---[3496]---> Sorter-cost: 1926 Base: 2 3 2 2 2 2 2 2 2 2 14.49/14.56 c ---[3494]---> Sorter-cost: 2106 Base: 2 3 2 2 2 2 2 2 2 2 2 14.49/14.58 c ---[3492]---> Sorter-cost: 1926 Base: 2 3 2 2 2 2 2 2 2 2 14.49/14.59 c ---[3490]---> Sorter-cost: 2525 Base: 2 3 2 2 2 2 2 2 2 2 2 2 2 14.59/14.65 c ---[3488]---> Sorter-cost: 1605 Base: 2 2 3 2 2 2 2 2 2 14.59/14.66 c ---[3486]---> Sorter-cost: 2525 Base: 2 3 2 2 2 2 2 2 2 2 2 2 2 14.69/14.72 c ---[3484]---> Adder-cost: 286 maxlim: 27510 bits: 16/15 14.69/14.77 c ---[3482]---> Sorter-cost: 1161 Base: 3 2 2 2 2 2 14.69/14.78 c ---[3480]---> Adder-cost: 212 maxlim: 3454 bits: 13/12 14.69/14.79 c ---[3478]---> Adder-cost: 240 maxlim: 6891 bits: 14/13 14.79/14.81 c ---[3476]---> Adder-cost: 286 maxlim: 27510 bits: 16/15 14.79/14.87 c ---[3474]---> Sorter-cost: 1952 Base: 5 5 2 2 2 2 14.79/14.88 c ---[3472]---> Adder-cost: 286 maxlim: 27510 bits: 16/15 14.89/14.94 c ---[3470]---> Sorter-cost: 2688 Base: 3 3 3 3 2 2 2 2 2 2 2 14.89/14.98 c ---[3468]---> Adder-cost: 176 maxlim: 522 bits: 11/10 14.89/14.99 c ---[3466]---> Adder-cost: 290 maxlim: 7926 bits: 14/13 14.99/15.01 c ---[3464]---> Adder-cost: 324 maxlim: 15822 bits: 15/14 14.99/15.04 c ---[3462]---> Sorter-cost: 1991 Base: 3 3 3 3 2 2 2 2 14.99/15.05 c ---[3460]---> Sorter-cost: 2119 Base: 3 3 3 3 2 2 2 2 14.99/15.06 c ---[3458]---> Sorter-cost: 1688 Base: 5 2 2 2 2 2 2 2 14.99/15.07 c ---[3456]---> Adder-cost: 101 maxlim: 97 bits: 8/7 14.99/15.07 c ---[3448]---> Adder-cost: 268 maxlim: 41194 bits: 16/16 15.09/15.11 c ---[3446]---> Adder-cost: 178 maxlim: 520 bits: 11/10 15.09/15.12 c ---[3444]---> Adder-cost: 294 maxlim: 7868 bits: 14/13 15.09/15.14 c ---[3442]---> Adder-cost: 330 maxlim: 15702 bits: 15/14 15.09/15.17 c ---[3440]---> Sorter-cost: 1843 Base: 2 5 2 2 2 2 2 2 2 15.09/15.18 c ---[3438]---> Sorter-cost: 1933 Base: 2 5 2 2 2 2 2 2 2 15.09/15.19 c ---[3436]---> Sorter-cost: 1662 Base: 2 5 2 2 2 2 2 2 15.19/15.20 c ---[3434]---> Sorter-cost: 1235 Base: 5 2 2 2 2 15.19/15.20 c ---[3432]---> Adder-cost: 166 maxlim: 1586 bits: 12/11 15.19/15.21 c ---[3430]---> Sorter-cost: 1892 Base: 2 2 3 2 2 2 2 2 2 15.19/15.23 c ---[3428]---> Adder-cost: 146 maxlim: 804 bits: 11/10 15.19/15.23 c ---[3426]---> Adder-cost: 243 maxlim: 874 bits: 11/10 15.19/15.24 c ---[3424]---> Sorter-cost: 1354 Base: 3 7 2 2 15.19/15.25 c ---[3422]---> Sorter-cost: 1876 Base: 3 3 3 3 2 2 2 15.19/15.26 c ---[3420]---> Sorter-cost: 1876 Base: 3 3 3 3 2 2 2 15.19/15.27 c ---[3418]---> Sorter-cost: 1354 Base: 3 7 2 2 15.19/15.27 c ---[3414]---> Sorter-cost: 1354 Base: 3 7 2 2 15.19/15.28 c ---[3410]---> Adder-cost: 390 maxlim: 34747 bits: 16/16 15.29/15.35 c ---[3408]---> Adder-cost: 123 maxlim: 253 bits: 9/8 15.29/15.35 c ---[3406]---> Adder-cost: 190 maxlim: 3849 bits: 13/12 15.29/15.38 c ---[3404]---> Adder-cost: 218 maxlim: 7683 bits: 14/13 15.39/15.41 c ---[3402]---> Adder-cost: 190 maxlim: 3849 bits: 13/12 15.39/15.43 c ---[3400]---> Adder-cost: 272 maxlim: 30683 bits: 16/15 15.49/15.52 c ---[3398]---> Sorter-cost: 1696 Base: 5 3 2 2 3 2 15.49/15.54 c ---[3396]---> Adder-cost: 272 maxlim: 30683 bits: 16/15 15.59/15.63 c ---[3394]---> Adder-cost: 222 maxlim: 32899 bits: 16/16 15.69/15.72 c ---[3392]---> Sorter-cost: 1048 Base: 3 2 2 2 2 2 15.69/15.72 c ---[3390]---> Adder-cost: 146 maxlim: 4130 bits: 13/13 15.69/15.73 c ---[3388]---> Adder-cost: 170 maxlim: 8240 bits: 14/14 15.69/15.76 c ---[3386]---> Adder-cost: 222 maxlim: 32899 bits: 16/16 15.79/15.85 c ---[3384]---> Sorter-cost: 1237 Base: 2 2 2 2 2 2 2 2 2 15.79/15.85 c ---[3382]---> Adder-cost: 222 maxlim: 32899 bits: 16/16 15.89/15.95 c ---[3380]---> Adder-cost: 264 maxlim: 26288 bits: 16/15 15.99/16.00 c ---[3378]---> Adder-cost: 260 maxlim: 4728 bits: 13/13 15.99/16.02 c ---[3376]---> Adder-cost: 298 maxlim: 9418 bits: 14/14 15.99/16.04 c ---[3374]---> Adder-cost: 192 maxlim: 3300 bits: 13/12 15.99/16.05 c ---[3372]---> Adder-cost: 235 maxlim: 6584 bits: 14/13 15.99/16.08 c ---[3370]---> Adder-cost: 170 maxlim: 1658 bits: 12/11 15.99/16.09 c ---[3368]---> Adder-cost: 268 maxlim: 3424 bits: 13/12 16.09/16.11 c ---[3366]---> Adder-cost: 416 maxlim: 72346 bits: 17/17 16.19/16.22 c ---[3364]---> Adder-cost: 296 maxlim: 6814 bits: 14/13 16.19/16.24 c ---[3362]---> Adder-cost: 101 maxlim: 117 bits: 8/7 16.19/16.24 c ---[3354]---> Adder-cost: 272 maxlim: 26364 bits: 16/15 16.29/16.30 c ---[3352]---> Adder-cost: 266 maxlim: 4734 bits: 13/13 16.29/16.31 c ---[3350]---> Adder-cost: 304 maxlim: 9434 bits: 14/14 16.29/16.33 c ---[3348]---> Adder-cost: 194 maxlim: 3309 bits: 13/12 16.29/16.35 c ---[3346]---> Adder-cost: 233 maxlim: 6603 bits: 14/13 16.29/16.38 c ---[3344]---> Adder-cost: 168 maxlim: 1662 bits: 12/11 16.29/16.39 c ---[3342]---> Adder-cost: 318 maxlim: 18410 bits: 15/15 16.39/16.42 c ---[3340]---> Adder-cost: 388 maxlim: 73538 bits: 17/17 16.39/16.49 c ---[3338]---> Adder-cost: 282 maxlim: 9222 bits: 14/14 16.49/16.51 c ---[3336]---> Adder-cost: 137 maxlim: 426 bits: 10/9 16.49/16.52 c ---[3334]---> Adder-cost: 247 maxlim: 1078 bits: 12/11 16.49/16.53 c ---[3332]---> Adder-cost: 189 maxlim: 1700 bits: 12/11 16.49/16.55 c ---[3330]---> Adder-cost: 189 maxlim: 1700 bits: 12/11 16.49/16.56 c ---[3328]---> Adder-cost: 139 maxlim: 437 bits: 10/9 16.49/16.57 c ---[3326]---> Adder-cost: 92 maxlim: 67 bits: 8/7 16.49/16.57 c ---[3324]---> Adder-cost: 139 maxlim: 437 bits: 10/9 16.49/16.57 c ---[3322]---> Adder-cost: 226 maxlim: 13269 bits: 15/14 16.59/16.61 c ---[3320]---> Adder-cost: 276 maxlim: 53025 bits: 17/16 16.69/16.72 c ---[3318]---> Adder-cost: 177 maxlim: 1673 bits: 12/11 16.69/16.73 c ---[3314]---> Adder-cost: 346 maxlim: 31644 bits: 16/15 16.69/16.77 c ---[3312]---> Adder-cost: 434 maxlim: 126490 bits: 18/17 16.79/16.88 c ---[3310]---> Adder-cost: 318 maxlim: 15836 bits: 15/14 16.89/16.91 c ---[3308]---> Sorter-cost: 2303 Base: 2 2 2 3 2 2 2 2 2 2 16.89/16.94 c ---[3306]---> Adder-cost: 262 maxlim: 13307 bits: 15/14 16.99/17.00 c ---[3304]---> Adder-cost: 206 maxlim: 3341 bits: 13/12 16.99/17.02 c ---[3302]---> Adder-cost: 271 maxlim: 94 bits: 8/7 16.99/17.02 c ---[3300]---> Adder-cost: 271 maxlim: 94 bits: 8/7 16.99/17.02 c ---[3298]---> Sorter-cost: 2210 Base: 3 3 2 3 3 2 2 2 2 16.99/17.05 c ---[3296]---> Sorter-cost: 2625 Base: 3 3 2 2 2 3 3 2 2 2 2 17.09/17.10 c ---[3294]---> Sorter-cost: 1968 Base: 3 3 3 3 2 2 2 2 17.09/17.12 c ---[3292]---> Sorter-cost: 2222 Base: 3 3 3 3 2 2 2 2 17.09/17.14 c ---[3290]---> Adder-cost: 286 maxlim: 42026 bits: 17/16 17.19/17.23 c ---[3288]---> Sorter-cost: 1965 Base: 3 3 3 3 2 2 2 17.19/17.24 c ---[3286]---> Sorter-cost: 2035 Base: 3 5 2 2 2 2 2 2 17.19/17.26 c ---[3284]---> Sorter-cost: 2358 Base: 3 5 2 2 2 2 2 2 2 2 17.29/17.30 c ---[3282]---> Adder-cost: 171 maxlim: 2010 bits: 12/11 17.29/17.31 c ---[3280]---> Adder-cost: 362 maxlim: 40165 bits: 16/16 17.29/17.37 c ---[3278]---> Sorter-cost: 1407 Base: 3 5 2 2 2 2 2 17.29/17.37 c ---[3276]---> Sorter-cost: 1576 Base: 3 5 2 2 2 2 2 2 17.29/17.38 c ---[3274]---> Sorter-cost: 1694 Base: 3 5 2 2 2 2 2 2 2 17.29/17.39 c ---[3272]---> Sorter-cost: 1547 Base: 3 5 2 2 2 2 2 17.38/17.40 c ---[3270]---> Sorter-cost: 1662 Base: 3 5 2 2 2 2 2 2 17.38/17.41 c ---[3268]---> Sorter-cost: 1407 Base: 3 5 2 2 2 2 2 17.38/17.42 c ---[3266]---> Sorter-cost: 1287 Base: 3 5 2 2 2 17.38/17.42 c ---[3264]---> Adder-cost: 374 maxlim: 36111 bits: 16/16 17.48/17.51 c ---[3262]---> Sorter-cost: 1488 Base: 3 3 2 2 2 2 3 17.48/17.52 c ---[3260]---> Sorter-cost: 1653 Base: 3 3 2 2 2 2 2 3 17.48/17.53 c ---[3258]---> Sorter-cost: 1946 Base: 3 3 2 2 2 2 2 2 3 17.48/17.55 c ---[3256]---> Sorter-cost: 1653 Base: 3 3 2 2 2 2 2 3 17.48/17.56 c ---[3254]---> Sorter-cost: 2414 Base: 3 3 2 2 2 2 2 2 2 2 3 17.59/17.61 c ---[3252]---> Sorter-cost: 1488 Base: 3 3 2 2 2 2 3 17.59/17.62 c ---[3250]---> Sorter-cost: 1438 Base: 3 3 2 2 2 2 2 17.59/17.62 c ---[3248]---> Adder-cost: 332 maxlim: 40479 bits: 16/16 17.69/17.74 c ---[3246]---> Sorter-cost: 1456 Base: 3 5 2 2 2 2 2 17.69/17.75 c ---[3244]---> Sorter-cost: 1752 Base: 3 5 2 2 2 2 2 2 17.69/17.76 c ---[3242]---> Sorter-cost: 1960 Base: 3 5 2 2 2 2 2 2 2 17.69/17.77 c ---[3240]---> Sorter-cost: 1752 Base: 3 5 2 2 2 2 2 2 17.69/17.78 c ---[3238]---> Sorter-cost: 1940 Base: 2 2 3 5 2 2 2 2 2 17.78/17.80 c ---[3236]---> Sorter-cost: 1456 Base: 3 5 2 2 2 2 2 17.78/17.81 c ---[3234]---> Sorter-cost: 1385 Base: 3 5 2 2 2 2 17.78/17.81 c ---[3232]---> Adder-cost: 384 maxlim: 36455 bits: 16/16 17.88/17.90 c ---[3230]---> Sorter-cost: 1560 Base: 3 3 2 2 2 2 3 17.88/17.91 c ---[3228]---> Sorter-cost: 1674 Base: 3 3 2 2 2 2 2 3 17.88/17.92 c ---[3226]---> Sorter-cost: 1833 Base: 3 3 2 2 2 2 2 2 3 17.88/17.94 c ---[3224]---> Sorter-cost: 1674 Base: 3 3 2 2 2 2 2 3 17.88/17.95 c ---[3222]---> Sorter-cost: 2101 Base: 3 3 2 2 2 2 2 2 2 2 3 17.88/17.99 c ---[3220]---> Sorter-cost: 1560 Base: 3 3 2 2 2 2 3 17.98/18.00 c ---[3218]---> Sorter-cost: 1524 Base: 2 3 3 2 2 2 2 17.98/18.01 c ---[3216]---> Adder-cost: 372 maxlim: 39176 bits: 16/16 18.08/18.13 c ---[3214]---> Adder-cost: 164 maxlim: 1900 bits: 12/11 18.08/18.14 c ---[3212]---> Adder-cost: 184 maxlim: 3785 bits: 13/12 18.08/18.16 c ---[3210]---> Adder-cost: 206 maxlim: 7554 bits: 14/13 18.18/18.20 c ---[3208]---> Adder-cost: 183 maxlim: 1900 bits: 12/11 18.18/18.21 c ---[3206]---> Adder-cost: 205 maxlim: 3785 bits: 13/12 18.18/18.24 c ---[3204]---> Adder-cost: 164 maxlim: 1900 bits: 12/11 18.18/18.25 c ---[3202]---> Adder-cost: 135 maxlim: 485 bits: 10/9 18.18/18.26 c ---[3200]---> Adder-cost: 386 maxlim: 35035 bits: 16/16 18.28/18.35 c ---[3198]---> Sorter-cost: 1345 Base: 3 3 2 2 2 2 3 18.28/18.35 c ---[3196]---> Sorter-cost: 1451 Base: 3 3 2 2 2 2 2 3 18.28/18.36 c ---[3194]---> Sorter-cost: 1885 Base: 3 3 2 2 2 2 2 2 2 18.28/18.39 c ---[3192]---> Sorter-cost: 1451 Base: 3 3 2 2 2 2 2 3 18.28/18.40 c ---[3190]---> Adder-cost: 244 maxlim: 27650 bits: 16/15 18.38/18.48 c ---[3188]---> Sorter-cost: 1345 Base: 3 3 2 2 2 2 3 18.38/18.48 c ---[3186]---> Sorter-cost: 1338 Base: 3 3 2 2 2 2 2 18.38/18.49 c ---[3184]---> Adder-cost: 356 maxlim: 39497 bits: 16/16 18.48/18.55 c ---[3182]---> Adder-cost: 168 maxlim: 1913 bits: 12/11 18.48/18.56 c ---[3180]---> Adder-cost: 192 maxlim: 3810 bits: 13/12 18.48/18.58 c ---[3178]---> Adder-cost: 206 maxlim: 7603 bits: 14/13 18.58/18.60 c ---[3176]---> Adder-cost: 192 maxlim: 3810 bits: 13/12 18.58/18.62 c ---[3174]---> Adder-cost: 225 maxlim: 7603 bits: 14/13 18.58/18.67 c ---[3172]---> Adder-cost: 168 maxlim: 1913 bits: 12/11 18.58/18.68 c ---[3170]---> Adder-cost: 165 maxlim: 964 bits: 11/10 18.58/18.68 c ---[3168]---> Adder-cost: 390 maxlim: 35387 bits: 16/16 18.69/18.76 c ---[3166]---> Sorter-cost: 1559 Base: 2 3 3 2 2 2 3 18.69/18.76 c ---[3164]---> Sorter-cost: 1781 Base: 2 3 2 3 2 2 2 3 18.69/18.77 c ---[3162]---> Sorter-cost: 1913 Base: 2 3 2 2 3 2 2 2 3 18.69/18.79 c ---[3160]---> Sorter-cost: 1781 Base: 2 3 2 3 2 2 2 3 18.79/18.80 c ---[3158]---> Sorter-cost: 2432 Base: 2 3 2 2 2 2 3 2 2 2 3 18.79/18.84 c ---[3156]---> Sorter-cost: 1559 Base: 2 3 3 2 2 2 3 18.79/18.85 c ---[3154]---> Sorter-cost: 1520 Base: 2 3 3 2 2 2 2 18.79/18.86 c ---[3152]---> Sorter-cost: 2441 Base: 3 3 3 5 2 7 2 18.88/18.90 c ---[3150]---> Adder-cost: 272 maxlim: 61070 bits: 17/16 18.98/19.00 c ---[3148]---> Sorter-cost: 2242 Base: 3 3 3 5 7 2 18.98/19.03 c ---[3146]---> Sorter-cost: 2423 Base: 3 3 2 2 2 2 2 2 2 3 18.98/19.06 c ---[3144]---> Sorter-cost: 3084 Base: 3 3 2 2 2 2 2 2 2 2 2 3 19.08/19.17 c ---[3142]---> Sorter-cost: 2146 Base: 2 2 3 2 3 2 2 2 3 19.08/19.19 c ---[3140]---> Sorter-cost: 1900 Base: 3 5 2 2 2 2 2 2 2 2 19.18/19.21 c ---[3138]---> Sorter-cost: 2110 Base: 3 5 2 2 2 2 2 2 2 2 2 19.18/19.24 c ---[3136]---> Sorter-cost: 1694 Base: 3 5 2 2 2 2 2 2 2 19.18/19.25 c ---[3134]---> Sorter-cost: 1929 Base: 3 3 2 2 2 2 2 2 2 3 19.18/19.28 c ---[3132]---> Sorter-cost: 2100 Base: 3 3 2 2 2 2 2 2 2 2 2 2 19.28/19.32 c ---[3130]---> Sorter-cost: 1788 Base: 3 3 2 2 2 2 2 2 3 19.28/19.34 c ---[3128]---> Adder-cost: 352 maxlim: 38431 bits: 16/16 19.38/19.42 c ---[3126]---> Adder-cost: 172 maxlim: 3732 bits: 13/12 19.38/19.43 c ---[3124]---> Adder-cost: 188 maxlim: 7446 bits: 14/13 19.38/19.44 c ---[3122]---> Adder-cost: 169 maxlim: 1875 bits: 12/11 19.38/19.45 c ---[3120]---> Adder-cost: 216 maxlim: 14873 bits: 15/14 19.38/19.48 c ---[3118]---> Adder-cost: 272 maxlim: 59431 bits: 17/16 19.58/19.65 c ---[3116]---> Adder-cost: 188 maxlim: 7446 bits: 14/13 19.58/19.66 c ---[3114]---> Adder-cost: 382 maxlim: 38784 bits: 16/16 19.68/19.76 c ---[3112]---> Adder-cost: 184 maxlim: 3755 bits: 13/12 19.68/19.78 c ---[3110]---> Adder-cost: 210 maxlim: 7495 bits: 14/13 19.79/19.82 c ---[3108]---> Adder-cost: 184 maxlim: 3755 bits: 13/12 19.79/19.83 c ---[3106]---> Adder-cost: 242 maxlim: 13624 bits: 15/14 19.79/19.89 c ---[3104]---> Adder-cost: 304 maxlim: 54441 bits: 17/16 19.98/20.05 c ---[3102]---> Adder-cost: 214 maxlim: 6821 bits: 14/13 19.98/20.08 c ---[3100]---> Adder-cost: 368 maxlim: 34361 bits: 16/16 20.18/20.20 c ---[3098]---> Adder-cost: 192 maxlim: 3419 bits: 13/12 20.18/20.22 c ---[3096]---> Adder-cost: 214 maxlim: 6821 bits: 14/13 20.18/20.25 c ---[3094]---> Adder-cost: 192 maxlim: 3419 bits: 13/12 20.18/20.28 c ---[3092]---> Adder-cost: 236 maxlim: 14975 bits: 15/14 20.28/20.33 c ---[3090]---> Adder-cost: 285 maxlim: 29935 bits: 16/15 20.38/20.49 c ---[3088]---> Adder-cost: 210 maxlim: 7495 bits: 14/13 20.48/20.52 c ---[3086]---> Adder-cost: 368 maxlim: 34750 bits: 16/16 20.58/20.61 c ---[3084]---> Adder-cost: 192 maxlim: 3447 bits: 13/12 20.58/20.62 c ---[3082]---> Adder-cost: 218 maxlim: 6879 bits: 14/13 20.58/20.66 c ---[3080]---> Adder-cost: 192 maxlim: 3447 bits: 13/12 20.58/20.68 c ---[3078]---> Adder-cost: 236 maxlim: 13743 bits: 15/14 20.68/20.73 c ---[3076]---> Adder-cost: 283 maxlim: 27471 bits: 16/15 20.78/20.82 c ---[3074]---> Adder-cost: 218 maxlim: 6879 bits: 14/13 20.78/20.85 c ---[3072]---> Adder-cost: 414 maxlim: 17439 bits: 15/15 20.89/20.90 c ---[3070]---> Adder-cost: 522 maxlim: 94478 bits: 17/17 20.99/21.05 c ---[3068]---> Adder-cost: 382 maxlim: 11854 bits: 14/14 20.99/21.09 c ---[3066]---> Adder-cost: 573 maxlim: 830 bits: 11/10 21.08/21.11 c ---[3064]---> Adder-cost: 884 maxlim: 31212 bits: 16/15 21.18/21.25 c ---[3062]---> Adder-cost: 664 maxlim: 4366 bits: 13/13 21.18/21.29 c ---[3060]---> Adder-cost: 266 maxlim: 2447 bits: 13/12 21.28/21.30 c ---[3058]---> Adder-cost: 294 maxlim: 4478 bits: 14/13 21.28/21.33 c ---[3056]---> Adder-cost: 346 maxlim: 17786 bits: 15/15 21.28/21.39 c ---[3054]---> Adder-cost: 274 maxlim: 2260 bits: 13/12 21.38/21.41 c ---[3052]---> Adder-cost: 356 maxlim: 20004 bits: 16/15 21.38/21.48 c ---[3050]---> Adder-cost: 376 maxlim: 20004 bits: 16/15 21.48/21.55 c ---[3048]---> Adder-cost: 318 maxlim: 9468 bits: 15/14 21.58/21.60 c ---[3046]---> Adder-cost: 278 maxlim: 4592 bits: 13/13 21.58/21.62 c ---[3044]---> Adder-cost: 328 maxlim: 13703 bits: 15/14 21.58/21.66 c ---[3042]---> Adder-cost: 380 maxlim: 36476 bits: 16/16 21.68/21.74 c ---[3040]---> Adder-cost: 418 maxlim: 82021 bits: 17/17 21.78/21.88 c ---[3038]---> Adder-cost: 328 maxlim: 13703 bits: 15/14 21.88/21.92 c ---[3036]---> Sorter-cost: 1877 Base: 3 5 2 2 2 2 3 21.88/21.93 c ---[3034]---> Sorter-cost: 1993 Base: 3 5 2 2 2 2 2 2 21.88/21.95 c ---[3032]---> Sorter-cost: 2438 Base: 3 3 3 3 3 2 2 3 21.88/21.98 c ---[3030]---> Sorter-cost: 2026 Base: 5 3 2 2 2 2 2 21.88/21.99 c ---[3028]---> Sorter-cost: 2691 Base: 2 3 3 3 3 3 2 2 3 21.99/22.04 c ---[3026]---> Sorter-cost: 2968 Base: 3 3 3 3 3 2 2 2 2 2 21.99/22.10 c ---[3024]---> Sorter-cost: 2438 Base: 3 3 3 3 3 2 2 3 22.09/22.13 c ---[3022]---> Adder-cost: 426 maxlim: 116014 bits: 18/17 22.18/22.24 c ---[3020]---> Adder-cost: 444 maxlim: 116014 bits: 18/17 22.28/22.38 c ---[3018]---> Adder-cost: 410 maxlim: 116014 bits: 18/17 22.38/22.48 c ---[3016]---> Adder-cost: 221 maxlim: 5912 bits: 14/13 22.48/22.50 c ---[3014]---> Sorter-cost: 1632 Base: 3 3 3 3 2 2 22.48/22.51 c ---[3004]---> Adder-cost: 145 maxlim: 74 bits: 8/7 22.48/22.51 c ---[3002]---> Adder-cost: 331 maxlim: 7408 bits: 14/13 22.48/22.56 c ---[3000]---> Adder-cost: 269 maxlim: 1865 bits: 12/11 22.48/22.57 c ---[2998]---> Adder-cost: 148 maxlim: 59 bits: 7/6 22.48/22.58 c ---[2996]---> Adder-cost: 148 maxlim: 59 bits: 7/6 22.48/22.58 c ---[2986]---> Adder-cost: 126 maxlim: 51 bits: 7/6 22.48/22.58 c ---[2984]---> Adder-cost: 126 maxlim: 51 bits: 7/6 22.48/22.58 c ---[2974]---> Adder-cost: 402 maxlim: 76048 bits: 18/17 22.68/22.72 c ---[2972]---> Adder-cost: 432 maxlim: 76048 bits: 18/17 22.78/22.86 c ---[2970]---> Adder-cost: 424 maxlim: 76048 bits: 18/17 22.98/23.00 c ---[2968]---> Adder-cost: 275 maxlim: 105 bits: 8/7 22.98/23.04 c ---[2966]---> Adder-cost: 201 maxlim: 314 bits: 10/9 22.98/23.04 c ---[2964]---> Adder-cost: 201 maxlim: 314 bits: 10/9 22.98/23.05 c ---[2962]---> Adder-cost: 201 maxlim: 314 bits: 10/9 22.98/23.06 c ---[2960]---> Adder-cost: 227 maxlim: 611 bits: 11/10 22.98/23.07 c ---[2958]---> Adder-cost: 227 maxlim: 611 bits: 11/10 22.98/23.07 c ---[2956]---> Adder-cost: 227 maxlim: 611 bits: 11/10 22.98/23.08 c ---[2954]---> Adder-cost: 275 maxlim: 101 bits: 8/7 22.98/23.09 c ---[2952]---> Adder-cost: 227 maxlim: 611 bits: 11/10 22.98/23.10 c ---[2950]---> Adder-cost: 227 maxlim: 611 bits: 11/10 23.09/23.10 c ---[2948]---> Adder-cost: 227 maxlim: 611 bits: 11/10 23.09/23.11 c ---[2946]---> Adder-cost: 193 maxlim: 99 bits: 8/7 23.09/23.12 c ---[2944]---> Adder-cost: 213 maxlim: 90 bits: 8/7 23.09/23.12 c ---[2942]---> Adder-cost: 213 maxlim: 84 bits: 8/7 23.09/23.13 c ---[2940]---> Adder-cost: 193 maxlim: 99 bits: 8/7 23.09/23.13 c ---[2938]---> Adder-cost: 201 maxlim: 314 bits: 10/9 23.09/23.14 c ---[2936]---> Adder-cost: 201 maxlim: 314 bits: 10/9 23.09/23.14 c ---[2934]---> Sorter-cost: 1897 Base: 3 3 5 23.09/23.14 c ---[2932]---> Adder-cost: 177 maxlim: 132 bits: 9/8 23.09/23.15 c ---[2930]---> Adder-cost: 195 maxlim: 248 bits: 9/8 23.09/23.15 c ---[2906]---> Adder-cost: 285 maxlim: 332 bits: 10/9 23.09/23.16 c ---[2904]---> Adder-cost: 349 maxlim: 14798 bits: 15/14 23.19/23.23 c ---[2902]---> Adder-cost: 205 maxlim: 479 bits: 10/9 23.19/23.23 c ---[2892]---> Adder-cost: 203 maxlim: 64 bits: 8/7 23.19/23.24 c ---[2890]---> Adder-cost: 325 maxlim: 4404 bits: 14/13 23.19/23.27 c ---[2888]---> Adder-cost: 155 maxlim: 158 bits: 9/8 23.19/23.27 c ---[2886]---> Adder-cost: 210 maxlim: 90 bits: 8/7 23.19/23.28 c ---[2884]---> Adder-cost: 415 maxlim: 2958 bits: 13/12 23.28/23.30 c ---[2882]---> Adder-cost: 271 maxlim: 202 bits: 9/8 23.28/23.31 c ---[2880]---> Adder-cost: 83 maxlim: 58 bits: 7/6 23.28/23.31 c ---[2878]---> Adder-cost: 106 maxlim: 28 bits: 6/5 23.28/23.31 c ---[2876]---> Adder-cost: 112 maxlim: 58 bits: 7/6 23.28/23.31 c ---[2874]---> Adder-cost: 112 maxlim: 58 bits: 7/6 23.28/23.32 c ---[2872]---> Adder-cost: 106 maxlim: 28 bits: 6/5 23.28/23.32 c ---[2868]---> Adder-cost: 71 maxlim: 28 bits: 6/5 23.28/23.32 c ---[2864]---> Adder-cost: 297 maxlim: 547 bits: 11/10 23.28/23.33 c ---[2862]---> Adder-cost: 88 maxlim: 25 bits: 6/5 23.28/23.33 c ---[2860]---> Adder-cost: 124 maxlim: 119 bits: 8/7 23.28/23.33 c ---[2858]---> Adder-cost: 125 maxlim: 217 bits: 9/8 23.28/23.34 c ---[2856]---> Adder-cost: 99 maxlim: 119 bits: 8/7 23.28/23.34 c ---[2854]---> Adder-cost: 125 maxlim: 70 bits: 8/7 23.28/23.34 c ---[2852]---> Adder-cost: 142 maxlim: 19 bits: 6/5 23.28/23.34 c ---[2850]---> Adder-cost: 98 maxlim: 25 bits: 6/5 23.28/23.34 c ---[2848]---> Adder-cost: 132 maxlim: 119 bits: 8/7 23.28/23.35 c ---[2846]---> Adder-cost: 135 maxlim: 217 bits: 9/8 23.28/23.35 c ---[2844]---> Adder-cost: 132 maxlim: 119 bits: 8/7 23.28/23.35 c ---[2842]---> Adder-cost: 301 maxlim: 384 bits: 10/9 23.28/23.36 c ---[2840]---> Adder-cost: 94 maxlim: 24 bits: 6/5 23.28/23.36 c ---[2838]---> Adder-cost: 113 maxlim: 89 bits: 8/7 23.28/23.37 c ---[2836]---> Adder-cost: 121 maxlim: 157 bits: 9/8 23.28/23.37 c ---[2834]---> Adder-cost: 90 maxlim: 89 bits: 8/7 23.28/23.37 c ---[2832]---> Adder-cost: 118 maxlim: 55 bits: 7/6 23.28/23.37 c ---[2830]---> Adder-cost: 175 maxlim: 22 bits: 6/5 23.28/23.37 c ---[2828]---> Adder-cost: 102 maxlim: 24 bits: 6/5 23.28/23.38 c ---[2826]---> Adder-cost: 121 maxlim: 89 bits: 8/7 23.28/23.38 c ---[2824]---> Adder-cost: 131 maxlim: 157 bits: 9/8 23.28/23.38 c ---[2822]---> Adder-cost: 121 maxlim: 89 bits: 8/7 23.28/23.38 c ---[2820]---> Adder-cost: 78 maxlim: 33 bits: 7/6 23.28/23.38 c ---[2818]---> Adder-cost: 102 maxlim: 22 bits: 6/5 23.28/23.39 c ---[2816]---> Adder-cost: 109 maxlim: 33 bits: 7/6 23.28/23.39 c ---[2814]---> Adder-cost: 109 maxlim: 33 bits: 7/6 23.28/23.39 c ---[2812]---> Adder-cost: 102 maxlim: 22 bits: 6/5 23.28/23.39 c ---[2808]---> Adder-cost: 71 maxlim: 22 bits: 6/5 23.28/23.39 c ---[2804]---> Adder-cost: 321 maxlim: 994 bits: 11/10 23.38/23.41 c ---[2802]---> Adder-cost: 173 maxlim: 200 bits: 9/8 23.38/23.41 c ---[2800]---> Adder-cost: 211 maxlim: 382 bits: 10/9 23.38/23.42 c ---[2798]---> Sorter-cost: 1528 Base: 3 5 2 2 2 23.38/23.42 c ---[2796]---> Adder-cost: 144 maxlim: 109 bits: 8/7 23.38/23.43 c ---[2794]---> Adder-cost: 211 maxlim: 70 bits: 8/7 23.38/23.43 c ---[2792]---> Adder-cost: 313 maxlim: 2479 bits: 13/12 23.38/23.45 c ---[2790]---> Adder-cost: 169 maxlim: 173 bits: 9/8 23.38/23.46 c ---[2788]---> Adder-cost: 142 maxlim: 20 bits: 6/5 23.38/23.46 c ---[2786]---> Adder-cost: 173 maxlim: 200 bits: 9/8 23.38/23.46 c ---[2784]---> Adder-cost: 211 maxlim: 382 bits: 10/9 23.38/23.47 c ---[2782]---> Adder-cost: 161 maxlim: 200 bits: 9/8 23.38/23.48 c ---[2780]---> Adder-cost: 212 maxlim: 97 bits: 8/7 23.38/23.48 c ---[2778]---> Adder-cost: 373 maxlim: 1667 bits: 12/11 23.48/23.50 c ---[2776]---> Adder-cost: 272 maxlim: 225 bits: 9/8 23.48/23.51 c ---[2774]---> Adder-cost: 327 maxlim: 1032 bits: 12/11 23.48/23.52 c ---[2772]---> Adder-cost: 165 maxlim: 207 bits: 9/8 23.48/23.52 c ---[2770]---> Adder-cost: 207 maxlim: 396 bits: 10/9 23.48/23.53 c ---[2768]---> Sorter-cost: 1468 Base: 3 2 5 3 23.48/23.53 c ---[2766]---> Adder-cost: 138 maxlim: 112 bits: 8/7 23.48/23.54 c ---[2764]---> Adder-cost: 168 maxlim: 32 bits: 7/6 23.48/23.54 c ---[2762]---> Adder-cost: 165 maxlim: 207 bits: 9/8 23.48/23.54 c ---[2760]---> Adder-cost: 207 maxlim: 396 bits: 10/9 23.48/23.55 c ---[2758]---> Adder-cost: 157 maxlim: 207 bits: 9/8 23.48/23.55 c ---[2756]---> Adder-cost: 315 maxlim: 351 bits: 10/9 23.48/23.57 c ---[2754]---> Adder-cost: 353 maxlim: 1767 bits: 12/11 23.48/23.58 c ---[2752]---> Adder-cost: 199 maxlim: 73 bits: 8/7 23.48/23.59 c ---[2750]---> Adder-cost: 351 maxlim: 26234 bits: 16/15 23.58/23.62 c ---[2746]---> Adder-cost: 297 maxlim: 133 bits: 9/8 23.58/23.63 c ---[2744]---> Adder-cost: 281 maxlim: 99 bits: 8/7 23.58/23.64 c ---[2742]---> Adder-cost: 86 maxlim: 67 bits: 8/7 23.58/23.64 c ---[2740]---> Adder-cost: 145 maxlim: 67 bits: 8/7 23.58/23.64 c ---[2738]---> Adder-cost: 145 maxlim: 67 bits: 8/7 23.58/23.64 c ---[2736]---> Adder-cost: 141 maxlim: 67 bits: 8/7 23.58/23.65 c ---[2734]---> Adder-cost: 195 maxlim: 74 bits: 8/7 23.58/23.65 c ---[2732]---> Adder-cost: 195 maxlim: 74 bits: 8/7 23.58/23.65 c ---[2730]---> Adder-cost: 52 maxlim: 42 bits: 6/6 23.58/23.65 c ---[2728]---> Adder-cost: 58 maxlim: 42 bits: 7/6 23.58/23.65 c ---[2726]---> Adder-cost: 58 maxlim: 74 bits: 7/7 23.58/23.65 c ---[2724]---> Sorter-cost: 484 Base: 2 23.58/23.66 c ---[2722]---> Adder-cost: 58 maxlim: 42 bits: 7/6 23.58/23.66 c ---[2720]---> Sorter-cost: 484 Base: 2 23.58/23.66 c ---[2718]---> Adder-cost: 117 maxlim: 41 bits: 7/6 23.58/23.66 c ---[2716]---> Adder-cost: 115 maxlim: 41 bits: 7/6 23.58/23.66 c ---[2714]---> Adder-cost: 115 maxlim: 41 bits: 7/6 23.58/23.66 c ---[2712]---> Adder-cost: 155 maxlim: 34 bits: 7/6 23.58/23.67 c ---[2710]---> Adder-cost: 155 maxlim: 34 bits: 7/6 23.58/23.67 c ---[2708]---> Adder-cost: 395 maxlim: 202 bits: 9/8 23.58/23.68 c ---[2706]---> Adder-cost: 396 maxlim: 170 bits: 9/8 23.58/23.69 c ---[2704]---> Adder-cost: 408 maxlim: 167 bits: 9/8 23.68/23.70 c ---[2702]---> Adder-cost: 422 maxlim: 165 bits: 9/8 23.68/23.71 c ---[2700]---> Adder-cost: 357 maxlim: 196 bits: 9/8 23.68/23.72 c ---[2698]---> Sorter-cost: 2204 Base: 3 3 5 2 23.68/23.72 c ---[2696]---> Adder-cost: 319 maxlim: 243 bits: 9/8 23.68/23.73 c ---[2694]---> Adder-cost: 320 maxlim: 165 bits: 9/8 23.68/23.74 c ---[2692]---> Adder-cost: 285 maxlim: 187 bits: 9/8 23.68/23.75 c ---[2690]---> Adder-cost: 295 maxlim: 187 bits: 9/8 23.68/23.75 c ---[2688]---> Adder-cost: 58 maxlim: 74 bits: 7/7 23.68/23.76 c ---[2686]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 23.68/23.76 c ---[2684]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 23.68/23.76 c ---[2682]---> Adder-cost: 58 maxlim: 42 bits: 7/6 23.68/23.76 c ---[2680]---> Sorter-cost: 554 Base: 2 2 2 2 2 23.68/23.76 c ---[2678]---> Sorter-cost: 554 Base: 2 2 2 2 2 23.68/23.76 c ---[2676]---> Adder-cost: 58 maxlim: 42 bits: 7/6 23.68/23.76 c ---[2674]---> Adder-cost: 179 maxlim: 171 bits: 9/8 23.68/23.77 c ---[2672]---> Adder-cost: 179 maxlim: 171 bits: 9/8 23.68/23.77 c ---[2670]---> Adder-cost: 181 maxlim: 171 bits: 9/8 23.68/23.78 c ---[2668]---> Adder-cost: 181 maxlim: 171 bits: 9/8 23.68/23.78 c ---[2666]---> Adder-cost: 664 maxlim: 38881 bits: 17/16 23.88/23.92 c ---[2664]---> Adder-cost: 856 maxlim: 38881 bits: 17/16 24.08/24.12 c ---[2662]---> Adder-cost: 882 maxlim: 38881 bits: 17/16 24.29/24.32 c ---[2660]---> Adder-cost: 866 maxlim: 38881 bits: 17/16 24.48/24.52 c ---[2658]---> Adder-cost: 602 maxlim: 47714 bits: 17/16 24.58/24.65 c ---[2656]---> Adder-cost: 304 maxlim: 4876 bits: 14/13 24.58/24.68 c ---[2654]---> Adder-cost: 629 maxlim: 11943 bits: 15/14 24.78/24.81 c ---[2652]---> Adder-cost: 314 maxlim: 301 bits: 10/9 24.78/24.81 c ---[2650]---> Adder-cost: 515 maxlim: 43006 bits: 17/16 24.88/24.95 c ---[2648]---> Adder-cost: 505 maxlim: 43006 bits: 17/16 24.98/25.08 c ---[2646]---> Adder-cost: 399 maxlim: 191 bits: 9/8 24.98/25.09 c ---[2644]---> Adder-cost: 377 maxlim: 191 bits: 9/8 25.08/25.10 c ---[2642]---> Adder-cost: 389 maxlim: 191 bits: 9/8 25.08/25.11 c ---[2640]---> Adder-cost: 389 maxlim: 191 bits: 9/8 25.08/25.13 c ---[2638]---> Adder-cost: 329 maxlim: 231 bits: 9/8 25.08/25.13 c ---[2636]---> Adder-cost: 194 maxlim: 191 bits: 9/8 25.08/25.14 c ---[2634]---> Adder-cost: 351 maxlim: 231 bits: 9/8 25.08/25.15 c ---[2632]---> Adder-cost: 312 maxlim: 174 bits: 9/8 25.08/25.16 c ---[2630]---> Adder-cost: 266 maxlim: 202 bits: 9/8 25.08/25.16 c ---[2628]---> Adder-cost: 276 maxlim: 202 bits: 9/8 25.08/25.17 c ---[2626]---> Adder-cost: 84 maxlim: 22 bits: 6/5 25.08/25.17 c ---[2624]---> Adder-cost: 84 maxlim: 22 bits: 6/5 25.08/25.17 c ---[2622]---> Adder-cost: 86 maxlim: 22 bits: 6/5 25.08/25.18 c ---[2620]---> Adder-cost: 162 maxlim: 25 bits: 6/5 25.08/25.18 c ---[2618]---> Adder-cost: 162 maxlim: 25 bits: 6/5 25.08/25.18 c ---[2616]---> Sorter-cost: 1061 Base: 5 3 25.08/25.18 c ---[2614]---> Adder-cost: 145 maxlim: 92 bits: 8/7 25.08/25.18 c ---[2612]---> Adder-cost: 145 maxlim: 92 bits: 8/7 25.08/25.19 c ---[2610]---> Adder-cost: 147 maxlim: 92 bits: 8/7 25.08/25.19 c ---[2608]---> Adder-cost: 401 maxlim: 3209 bits: 13/12 25.18/25.23 c ---[2606]---> Adder-cost: 593 maxlim: 51073 bits: 17/16 25.29/25.37 c ---[2604]---> Sorter-cost: 897 Base: 7 2 25.29/25.37 c ---[2602]---> Adder-cost: 141 maxlim: 70 bits: 8/7 25.29/25.37 c ---[2600]---> Adder-cost: 145 maxlim: 70 bits: 8/7 25.29/25.37 c ---[2598]---> Adder-cost: 145 maxlim: 70 bits: 8/7 25.29/25.38 c ---[2596]---> Adder-cost: 180 maxlim: 61 bits: 7/6 25.29/25.38 c ---[2594]---> Adder-cost: 184 maxlim: 61 bits: 7/6 25.29/25.38 c ---[2592]---> Adder-cost: 195 maxlim: 69 bits: 8/7 25.29/25.39 c ---[2590]---> Adder-cost: 149 maxlim: 91 bits: 8/7 25.29/25.39 c ---[2588]---> Adder-cost: 157 maxlim: 91 bits: 8/7 25.29/25.39 c ---[2586]---> Adder-cost: 157 maxlim: 91 bits: 8/7 25.29/25.39 c ---[2584]---> Adder-cost: 147 maxlim: 91 bits: 8/7 25.29/25.40 c ---[2582]---> Adder-cost: 140 maxlim: 58 bits: 7/6 25.29/25.40 c ---[2580]---> Adder-cost: 157 maxlim: 91 bits: 8/7 25.29/25.40 c ---[2578]---> Adder-cost: 268 maxlim: 61 bits: 7/6 25.39/25.41 c ---[2576]---> Adder-cost: 183 maxlim: 74 bits: 8/7 25.39/25.41 c ---[2574]---> Adder-cost: 195 maxlim: 74 bits: 8/7 25.39/25.41 c ---[2572]---> Adder-cost: 82 maxlim: 40 bits: 7/6 25.39/25.41 c ---[2570]---> Adder-cost: 82 maxlim: 40 bits: 7/6 25.39/25.42 c ---[2544]---> Adder-cost: 837 maxlim: 12687 bits: 15/14 25.48/25.50 c ---[2542]---> Adder-cost: 849 maxlim: 13739 bits: 15/14 25.48/25.55 c ---[2540]---> Adder-cost: 997 maxlim: 10568 bits: 15/14 25.58/25.62 c ---[2538]---> Adder-cost: 1394 maxlim: 7921 bits: 14/13 25.68/25.79 c ---[2536]---> Adder-cost: 560 maxlim: 5199 bits: 14/13 25.78/25.82 c ---[2534]---> Adder-cost: 820 maxlim: 1360 bits: 12/11 25.78/25.87 c ---[2532]---> Adder-cost: 832 maxlim: 3280 bits: 13/12 25.88/25.91 c ---[2530]---> Adder-cost: 205 maxlim: 35 bits: 7/6 25.88/25.91 c ---[2528]---> Adder-cost: 176 maxlim: 2420 bits: 12/12 25.88/25.92 c ---[2526]---> Adder-cost: 491 maxlim: 26334 bits: 16/15 25.88/25.96 c ---[2524]---> Adder-cost: 504 maxlim: 18822 bits: 16/15 25.98/26.00 c ---[2522]---> Adder-cost: 539 maxlim: 18822 bits: 16/15 25.98/26.04 c ---[2520]---> Adder-cost: 473 maxlim: 4720 bits: 14/13 25.98/26.07 c ---[2516]---> Sorter-cost: 2573 Base: 2 5 17 2 2 2 2 2 25.98/26.09 c ---[2514]---> Adder-cost: 96 maxlim: 90 bits: 8/7 25.98/26.09 c ---[2512]---> Adder-cost: 924 maxlim: 9244 bits: 15/14 26.08/26.15 c ---[2510]---> Adder-cost: 969 maxlim: 11969 bits: 15/14 26.08/26.19 c ---[2508]---> Adder-cost: 1114 maxlim: 9048 bits: 15/14 26.18/26.26 c ---[2506]---> Adder-cost: 1599 maxlim: 7479 bits: 14/13 26.39/26.41 c ---[2504]---> Adder-cost: 616 maxlim: 4823 bits: 14/13 26.39/26.44 c ---[2502]---> Adder-cost: 893 maxlim: 1284 bits: 12/11 26.39/26.49 c ---[2500]---> Adder-cost: 841 maxlim: 2890 bits: 13/12 26.49/26.52 c ---[2498]---> Adder-cost: 357 maxlim: 104 bits: 8/7 26.49/26.53 c ---[2496]---> Sorter-cost: 1607 Base: 3 3 3 5 2 2 26.49/26.54 c ---[2494]---> Adder-cost: 489 maxlim: 26348 bits: 16/15 26.49/26.58 c ---[2492]---> Adder-cost: 498 maxlim: 18832 bits: 16/15 26.59/26.62 c ---[2490]---> Adder-cost: 529 maxlim: 18832 bits: 16/15 26.59/26.67 c ---[2488]---> Adder-cost: 463 maxlim: 4721 bits: 14/13 26.59/26.70 c ---[2484]---> Sorter-cost: 2454 Base: 2 5 17 2 2 2 2 2 26.69/26.72 c ---[2482]---> Sorter-cost: 1088 Base: 3 3 2 2 2 26.69/26.72 c ---[2480]---> Adder-cost: 607 maxlim: 389 bits: 10/9 26.69/26.73 c ---[2478]---> Adder-cost: 628 maxlim: 533 bits: 10/10 26.69/26.75 c ---[2476]---> Adder-cost: 689 maxlim: 486 bits: 10/9 26.69/26.77 c ---[2474]---> Adder-cost: 707 maxlim: 486 bits: 10/9 26.69/26.79 c ---[2472]---> Adder-cost: 311 maxlim: 237 bits: 9/8 26.69/26.80 c ---[2470]---> Adder-cost: 88 maxlim: 32 bits: 7/6 26.79/26.80 c ---[2468]---> Adder-cost: 299 maxlim: 237 bits: 9/8 26.79/26.80 c ---[2464]---> Adder-cost: 696 maxlim: 256 bits: 10/9 26.79/26.82 c ---[2462]---> Adder-cost: 1358 maxlim: 34175 bits: 17/16 27.09/27.12 c ---[2460]---> Adder-cost: 684 maxlim: 877 bits: 11/10 27.09/27.15 c ---[2458]---> Adder-cost: 407 maxlim: 758 bits: 11/10 27.09/27.16 c ---[2456]---> Adder-cost: 757 maxlim: 94939 bits: 18/17 27.29/27.39 c ---[2454]---> Adder-cost: 465 maxlim: 1500 bits: 12/11 27.39/27.42 c ---[2452]---> Adder-cost: 1578 maxlim: 959 bits: 11/10 27.39/27.46 c ---[2450]---> Adder-cost: 2070 maxlim: 30460 bits: 16/15 27.79/27.81 c ---[2448]---> Adder-cost: 1039 maxlim: 14021 bits: 15/14 27.79/27.89 c ---[2446]---> Adder-cost: 526 maxlim: 3642 bits: 13/12 27.89/27.92 c ---[2444]---> Adder-cost: 690 maxlim: 57998 bits: 17/16 27.99/28.02 c ---[2442]---> Adder-cost: 588 maxlim: 29009 bits: 16/15 27.99/28.08 c ---[2440]---> Adder-cost: 946 maxlim: 3492 bits: 13/12 28.09/28.12 c ---[2438]---> Adder-cost: 1128 maxlim: 58060 bits: 17/16 28.29/28.38 c ---[2436]---> Adder-cost: 477 maxlim: 544 bits: 11/10 28.29/28.39 c ---[2434]---> Adder-cost: 1876 maxlim: 94024 bits: 18/17 29.19/29.26 c ---[2432]---> Adder-cost: 1383 maxlim: 33426 bits: 17/16 29.59/29.67 c ---[2430]---> Adder-cost: 1977 maxlim: 36978 bits: 17/16 30.09/30.10 c ---[2428]---> Adder-cost: 2179 maxlim: 41492 bits: 17/16 30.49/30.51 c ---[2426]---> Adder-cost: 1427 maxlim: 39297 bits: 17/16 30.69/30.78 c ---[2424]---> Adder-cost: 1437 maxlim: 68537 bits: 18/17 31.19/31.22 c ---[2422]---> Adder-cost: 1407 maxlim: 45074 bits: 17/16 31.69/31.70 c ---[2420]---> Adder-cost: 2314 maxlim: 38212 bits: 17/16 32.09/32.10 c ---[2418]---> Adder-cost: 2975 maxlim: 100835 bits: 18/17 33.00/33.06 c ---[2416]---> Adder-cost: 2176 maxlim: 31827 bits: 16/15 33.39/33.44 c ---[2414]---> Adder-cost: 1371 maxlim: 67285 bits: 18/17 33.99/34.09 c ---[2412]---> Adder-cost: 1286 maxlim: 78092 bits: 18/17 34.29/34.39 c ---[2410]---> Adder-cost: 1316 maxlim: 72114 bits: 18/17 34.59/34.64 c ---[2408]---> Adder-cost: 1564 maxlim: 71914 bits: 18/17 34.99/35.04 c ---[2406]---> Adder-cost: 1690 maxlim: 72914 bits: 18/17 35.39/35.49 c ---[2404]---> Adder-cost: 883 maxlim: 103368 bits: 18/17 35.49/35.59 c ---[2402]---> Adder-cost: 1219 maxlim: 96421 bits: 18/17 35.79/35.80 c ---[2400]---> Adder-cost: 1180 maxlim: 94922 bits: 18/17 36.09/36.17 c ---[2398]---> Adder-cost: 1315 maxlim: 81047 bits: 18/17 36.40/36.47 c ---[2396]---> Adder-cost: 1615 maxlim: 115426 bits: 18/17 37.09/37.10 c ---[2394]---> Adder-cost: 1321 maxlim: 82214 bits: 18/17 37.29/37.39 c ---[2392]---> Adder-cost: 1149 maxlim: 94247 bits: 18/17 37.59/37.61 c ---[2390]---> Adder-cost: 1557 maxlim: 212677 bits: 19/18 38.09/38.11 c ---[2388]---> Adder-cost: 1431 maxlim: 148199 bits: 19/18 38.60/38.66 c ---[2386]---> Adder-cost: 1753 maxlim: 149408 bits: 19/18 39.19/39.28 c ---[2384]---> Adder-cost: 1907 maxlim: 145601 bits: 19/18 39.69/39.76 c ---[2382]---> Adder-cost: 1125 maxlim: 112499 bits: 18/17 39.99/40.04 c ---[2380]---> Adder-cost: 1189 maxlim: 192229 bits: 19/18 40.29/40.37 c ---[2378]---> Adder-cost: 1183 maxlim: 171938 bits: 18/18 40.79/40.87 c ---[2376]---> Adder-cost: 1171 maxlim: 191889 bits: 19/18 41.49/41.52 c ---[2374]---> Adder-cost: 1432 maxlim: 150970 bits: 19/18 41.99/42.05 c ---[2372]---> Adder-cost: 1348 maxlim: 104100 bits: 18/17 42.59/42.62 c ---[2370]---> Adder-cost: 1696 maxlim: 106850 bits: 18/17 43.09/43.15 c ---[2368]---> Adder-cost: 1742 maxlim: 109935 bits: 18/17 43.69/43.73 c ---[2366]---> Adder-cost: 926 maxlim: 160027 bits: 18/18 43.89/43.97 c ---[2364]---> Adder-cost: 1160 maxlim: 151338 bits: 18/18 44.29/44.37 c ---[2362]---> Adder-cost: 1010 maxlim: 123054 bits: 18/17 44.59/44.66 c ---[2360]---> Adder-cost: 1188 maxlim: 150642 bits: 18/18 45.09/45.15 c ---[2358]---> Adder-cost: 496 maxlim: 104878 bits: 18/17 45.09/45.20 c ---[2356]---> Adder-cost: 282 maxlim: 131101 bits: 19/18 45.19/45.21 c ---[2354]---> Adder-cost: 294 maxlim: 131101 bits: 19/18 45.19/45.22 c ---[2352]---> Adder-cost: 294 maxlim: 131101 bits: 19/18 45.19/45.23 c ---[2350]---> Adder-cost: 264 maxlim: 16410 bits: 15/15 45.19/45.24 c ---[2348]---> Adder-cost: 130 maxlim: 8217 bits: 14/14 45.19/45.25 c ---[2346]---> Adder-cost: 220 maxlim: 131101 bits: 19/18 45.19/45.26 c ---[2344]---> Adder-cost: 604 maxlim: 104878 bits: 18/17 45.29/45.32 c ---[2342]---> Adder-cost: 725 maxlim: 115160 bits: 18/17 45.39/45.45 c ---[2340]---> Adder-cost: 621 maxlim: 120361 bits: 18/17 45.49/45.56 c ---[2338]---> Adder-cost: 414 maxlim: 52449 bits: 17/16 45.49/45.60 c ---[2336]---> Adder-cost: 486 maxlim: 104878 bits: 18/17 45.59/45.65 c ---[2334]---> Adder-cost: 276 maxlim: 131101 bits: 19/18 45.59/45.66 c ---[2332]---> Adder-cost: 280 maxlim: 131101 bits: 19/18 45.59/45.67 c ---[2330]---> Adder-cost: 286 maxlim: 131101 bits: 19/18 45.59/45.68 c ---[2328]---> Adder-cost: 266 maxlim: 16410 bits: 15/15 45.59/45.69 c ---[2326]---> Adder-cost: 254 maxlim: 6572 bits: 14/13 45.69/45.71 c ---[2324]---> Adder-cost: 220 maxlim: 131101 bits: 19/18 45.69/45.72 c ---[2322]---> Adder-cost: 604 maxlim: 104878 bits: 18/17 45.69/45.78 c ---[2320]---> Adder-cost: 322 maxlim: 131101 bits: 19/18 45.69/45.79 c ---[2318]---> Adder-cost: 298 maxlim: 131101 bits: 19/18 45.79/45.81 c ---[2316]---> Adder-cost: 414 maxlim: 52449 bits: 17/16 45.79/45.84 c ---[2314]---> Adder-cost: 397 maxlim: 980 bits: 11/10 45.79/45.85 c ---[2312]---> Adder-cost: 634 maxlim: 36869 bits: 17/16 45.79/45.89 c ---[2310]---> Adder-cost: 406 maxlim: 5797 bits: 14/13 45.89/45.91 c ---[2308]---> Adder-cost: 103 maxlim: 97 bits: 8/7 45.89/45.91 c ---[2306]---> Sorter-cost: 1297 Base: 3 7 2 45.89/45.91 c ---[2304]---> Sorter-cost: 1025 Base: 3 7 2 2 45.89/45.92 c ---[2302]---> Adder-cost: 1518 maxlim: 39704 bits: 17/16 46.49/46.59 c ---[2300]---> Adder-cost: 1522 maxlim: 39221 bits: 17/16 46.79/46.83 c ---[2298]---> Adder-cost: 1736 maxlim: 39177 bits: 17/16 47.19/47.27 c ---[2296]---> Adder-cost: 1861 maxlim: 38978 bits: 17/16 47.59/47.69 c ---[2294]---> Adder-cost: 1287 maxlim: 40999 bits: 17/16 47.89/47.96 c ---[2292]---> Adder-cost: 1274 maxlim: 41070 bits: 17/16 48.19/48.26 c ---[2290]---> Adder-cost: 1314 maxlim: 41024 bits: 17/16 48.59/48.66 c ---[2288]---> Adder-cost: 1739 maxlim: 29425 bits: 16/15 49.09/49.11 c ---[2286]---> Adder-cost: 2185 maxlim: 104442 bits: 18/17 49.89/49.91 c ---[2284]---> Adder-cost: 1277 maxlim: 37358 bits: 17/16 50.29/50.34 c ---[2282]---> Adder-cost: 994 maxlim: 41586 bits: 17/16 50.49/50.56 c ---[2280]---> Adder-cost: 1831 maxlim: 90003 bits: 18/17 50.69/50.78 c ---[2278]---> Adder-cost: 1839 maxlim: 88329 bits: 18/17 51.09/51.16 c ---[2276]---> Adder-cost: 1930 maxlim: 88322 bits: 18/17 51.39/51.46 c ---[2274]---> Adder-cost: 2081 maxlim: 88390 bits: 18/17 51.79/51.83 c ---[2272]---> Adder-cost: 896 maxlim: 136760 bits: 18/18 51.99/52.01 c ---[2270]---> Adder-cost: 1018 maxlim: 90402 bits: 18/17 51.99/52.07 c ---[2268]---> Adder-cost: 1128 maxlim: 89963 bits: 18/17 52.19/52.27 c ---[2266]---> Adder-cost: 1569 maxlim: 104350 bits: 18/17 52.49/52.53 c ---[2264]---> Adder-cost: 1701 maxlim: 111504 bits: 18/17 52.89/52.91 c ---[2262]---> Adder-cost: 1225 maxlim: 110118 bits: 18/17 53.19/53.21 c ---[2260]---> Adder-cost: 1015 maxlim: 92078 bits: 18/17 53.49/53.54 c ---[2258]---> Adder-cost: 488 maxlim: 104878 bits: 18/17 53.49/53.59 c ---[2256]---> Adder-cost: 294 maxlim: 131101 bits: 19/18 53.59/53.60 c ---[2254]---> Adder-cost: 302 maxlim: 131101 bits: 19/18 53.59/53.61 c ---[2252]---> Adder-cost: 296 maxlim: 131101 bits: 19/18 53.59/53.62 c ---[2250]---> Adder-cost: 274 maxlim: 16410 bits: 15/15 53.59/53.63 c ---[2248]---> Adder-cost: 138 maxlim: 8217 bits: 14/14 53.59/53.64 c ---[2246]---> Adder-cost: 220 maxlim: 131101 bits: 19/18 53.59/53.65 c ---[2244]---> Adder-cost: 594 maxlim: 104878 bits: 18/17 53.69/53.72 c ---[2242]---> Adder-cost: 314 maxlim: 131101 bits: 19/18 53.69/53.73 c ---[2240]---> Adder-cost: 298 maxlim: 131101 bits: 19/18 53.69/53.74 c ---[2238]---> Adder-cost: 424 maxlim: 52449 bits: 17/16 53.69/53.78 c ---[2236]---> Adder-cost: 96 maxlim: 172 bits: 9/8 53.69/53.78 c ---[2234]---> Adder-cost: 484 maxlim: 104878 bits: 18/17 53.79/53.83 c ---[2232]---> Adder-cost: 278 maxlim: 131101 bits: 19/18 53.79/53.84 c ---[2230]---> Adder-cost: 282 maxlim: 131101 bits: 19/18 53.79/53.85 c ---[2228]---> Adder-cost: 286 maxlim: 131101 bits: 19/18 53.79/53.86 c ---[2226]---> Adder-cost: 264 maxlim: 16410 bits: 15/15 53.79/53.87 c ---[2224]---> Adder-cost: 130 maxlim: 8217 bits: 14/14 53.79/53.88 c ---[2222]---> Adder-cost: 220 maxlim: 131101 bits: 19/18 53.79/53.89 c ---[2220]---> Adder-cost: 664 maxlim: 87402 bits: 18/17 53.89/53.97 c ---[2218]---> Adder-cost: 744 maxlim: 104878 bits: 18/17 53.99/54.08 c ---[2216]---> Adder-cost: 663 maxlim: 104878 bits: 18/17 54.09/54.16 c ---[2214]---> Adder-cost: 412 maxlim: 52449 bits: 17/16 54.09/54.19 c ---[2212]---> Adder-cost: 94 maxlim: 129 bits: 9/8 54.09/54.19 c ---[2210]---> Adder-cost: 155 maxlim: 129 bits: 9/8 54.19/54.20 c ---[2208]---> Adder-cost: 155 maxlim: 129 bits: 9/8 54.19/54.20 c ---[2206]---> Adder-cost: 153 maxlim: 129 bits: 9/8 54.19/54.21 c ---[2204]---> Adder-cost: 185 maxlim: 99 bits: 8/7 54.19/54.21 c ---[2202]---> Adder-cost: 175 maxlim: 99 bits: 8/7 54.19/54.21 c ---[2200]---> Adder-cost: 238 maxlim: 184 bits: 9/8 54.19/54.22 c ---[2198]---> Adder-cost: 346 maxlim: 568 bits: 10/10 54.19/54.23 c ---[2196]---> Adder-cost: 292 maxlim: 350 bits: 9/9 54.19/54.24 c ---[2194]---> Sorter-cost: 484 Base: 2 54.19/54.24 c ---[2192]---> Adder-cost: 52 maxlim: 42 bits: 6/6 54.19/54.24 c ---[2190]---> Adder-cost: 58 maxlim: 42 bits: 7/6 54.19/54.24 c ---[2188]---> Adder-cost: 58 maxlim: 42 bits: 7/6 54.19/54.24 c ---[2186]---> Sorter-cost: 584 Base: 2 2 2 2 2 2 2 54.19/54.24 c ---[2184]---> Sorter-cost: 4117 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 54.29/54.32 c ---[2182]---> Adder-cost: 850 maxlim: 550 bits: 11/10 54.29/54.34 c ---[2180]---> Adder-cost: 774 maxlim: 540 bits: 11/10 54.29/54.36 c ---[2178]---> Adder-cost: 748 maxlim: 559 bits: 11/10 54.29/54.37 c ---[2176]---> Adder-cost: 788 maxlim: 559 bits: 11/10 54.29/54.39 c ---[2174]---> Adder-cost: 606 maxlim: 426 bits: 10/9 54.39/54.40 c ---[2172]---> Adder-cost: 358 maxlim: 286 bits: 10/9 54.39/54.40 c ---[2170]---> Adder-cost: 608 maxlim: 426 bits: 10/9 54.39/54.41 c ---[2168]---> Adder-cost: 604 maxlim: 335 bits: 10/9 54.39/54.42 c ---[2166]---> Adder-cost: 774 maxlim: 4747 bits: 14/13 54.39/54.47 c ---[2164]---> Adder-cost: 180 maxlim: 113 bits: 8/7 54.39/54.48 c ---[2162]---> Adder-cost: 190 maxlim: 88 bits: 8/7 54.39/54.48 c ---[2157]---> Adder-cost: 472 maxlim: 261481 bits: 19/18 54.59/54.60 c ---[2155]---> Adder-cost: 516 maxlim: 46789 bits: 16/16 54.59/54.68 c ---[2153]---> Adder-cost: 456 maxlim: 27708 bits: 16/15 54.69/54.72 c ---[2151]---> Adder-cost: 510 maxlim: 99536 bits: 17/17 54.69/54.78 c ---[2149]---> Adder-cost: 462 maxlim: 24460 bits: 15/15 54.79/54.83 c ---[2147]---> Adder-cost: 108 maxlim: 70 bits: 7/7 54.79/54.83 c ---[2145]---> Sorter-cost: 821 Base: 3 54.79/54.83 c ---[2143]---> Adder-cost: 464 maxlim: 101917 bits: 18/17 54.89/54.90 c ---[2141]---> Adder-cost: 112 maxlim: 152 bits: 8/8 54.89/54.91 c ---[2139]---> Adder-cost: 1216 maxlim: 294894 bits: 19/19 55.09/55.14 c ---[2137]---> Adder-cost: 822 maxlim: 91727 bits: 18/17 55.39/55.41 c ---[2135]---> Adder-cost: 446 maxlim: 163906 bits: 18/18 55.39/55.45 c ---[2133]---> Adder-cost: 486 maxlim: 174216 bits: 18/18 55.49/55.51 c ---[2131]---> Adder-cost: 1418 maxlim: 224928 bits: 19/18 55.69/55.71 c ---[2129]---> Adder-cost: 1172 maxlim: 144926 bits: 18/18 55.79/55.85 c ---[2127]---> Adder-cost: 1260 maxlim: 183157 bits: 18/18 55.99/56.01 c ---[2125]---> Adder-cost: 1376 maxlim: 295121 bits: 19/19 56.19/56.23 c ---[2123]---> Adder-cost: 1102 maxlim: 80751 bits: 17/17 56.29/56.35 c ---[2121]---> Adder-cost: 1436 maxlim: 187476 bits: 19/18 56.49/56.51 c ---[2119]---> Adder-cost: 522 maxlim: 717 bits: 10/10 56.49/56.53 c ---[2117]---> Adder-cost: 608 maxlim: 166558 bits: 19/18 56.49/56.57 c ---[2115]---> Adder-cost: 628 maxlim: 229794 bits: 19/18 56.59/56.60 c ---[2113]---> Adder-cost: 608 maxlim: 180511 bits: 19/18 56.59/56.63 c ---[2111]---> Adder-cost: 1272 maxlim: 168963 bits: 18/18 56.69/56.78 c ---[2105]---> Adder-cost: 392 maxlim: 105599 bits: 18/17 56.79/56.89 c ---[2103]---> Sorter-cost: 1239 Base: 11 56.79/56.89 c ---[2101]---> Adder-cost: 126 maxlim: 130 bits: 8/8 56.79/56.89 c ---[2099]---> Adder-cost: 124 maxlim: 108 bits: 8/7 56.89/56.90 c ---[2097]---> Adder-cost: 150 maxlim: 310 bits: 9/9 56.89/56.90 c ---[2095]---> Adder-cost: 339 maxlim: 7977 bits: 14/13 56.89/56.93 c ---[2093]---> Adder-cost: 220 maxlim: 2372 bits: 13/12 56.89/56.94 c ---[2091]---> Adder-cost: 974 maxlim: 50726 bits: 16/16 56.99/57.08 c ---[2089]---> Adder-cost: 700 maxlim: 155954 bits: 18/18 57.29/57.36 c ---[2087]---> Adder-cost: 492 maxlim: 45872 bits: 17/16 57.39/57.48 c ---[2085]---> Adder-cost: 146 maxlim: 311 bits: 10/9 57.39/57.48 c ---[2083]---> Adder-cost: 261 maxlim: 5166 bits: 14/13 57.39/57.49 c ---[2081]---> Adder-cost: 302 maxlim: 131634 bits: 19/18 57.49/57.51 c ---[2079]---> Adder-cost: 282 maxlim: 33071 bits: 17/16 57.49/57.52 c ---[2077]---> Adder-cost: 120 maxlim: 1046 bits: 11/11 57.49/57.52 c ---[2075]---> Adder-cost: 86 maxlim: 86 bits: 7/7 57.49/57.52 c ---[2073]---> Adder-cost: 74 maxlim: 54 bits: 7/6 57.49/57.52 c ---[2067]---> Sorter-cost: 821 Base: 3 57.49/57.52 c ---[2065]---> Sorter-cost: 554 Base: 2 2 2 2 2 57.49/57.53 c ---[2063]---> Adder-cost: 201 maxlim: 84 bits: 8/7 57.49/57.53 c ---[2061]---> Adder-cost: 203 maxlim: 84 bits: 8/7 57.49/57.53 c ---[2059]---> Adder-cost: 213 maxlim: 84 bits: 8/7 57.49/57.54 c ---[2057]---> Adder-cost: 115 maxlim: 44 bits: 7/6 57.49/57.54 c ---[2055]---> Adder-cost: 113 maxlim: 44 bits: 7/6 57.49/57.54 c ---[2053]---> Sorter-cost: 1039 Base: 3 3 57.49/57.54 c ---[2051]---> Sorter-cost: 1636 Base: 3 3 3 57.49/57.55 c ---[2049]---> Sorter-cost: 1636 Base: 3 3 3 57.49/57.55 c ---[2047]---> Sorter-cost: 1636 Base: 3 3 3 57.49/57.55 c ---[2045]---> Adder-cost: 174 maxlim: 50 bits: 7/6 57.49/57.55 c ---[2043]---> Adder-cost: 178 maxlim: 50 bits: 7/6 57.49/57.56 c ---[2041]---> Adder-cost: 205 maxlim: 137 bits: 9/8 57.49/57.56 c ---[2039]---> Adder-cost: 364 maxlim: 204 bits: 9/8 57.49/57.57 c ---[2033]---> Adder-cost: 156 maxlim: 65563 bits: 17/17 57.49/57.58 c ---[2031]---> Sorter-cost: 2030 Base: 2 3 5 2 2 2 2 2 2 2 2 2 57.58/57.61 c ---[2029]---> Sorter-cost: 2150 Base: 2 2 3 5 2 2 2 2 2 2 2 2 2 57.58/57.66 c ---[2017]---> Adder-cost: 344 maxlim: 2924 bits: 12/12 57.58/57.68 c ---[2011]---> Adder-cost: 1674 maxlim: 8500 bits: 14/14 57.78/57.82 c ---[2005]---> Adder-cost: 1439 maxlim: 7706 bits: 14/13 57.88/57.92 c ---[1989]---> Adder-cost: 512 maxlim: 11469 bits: 14/14 57.88/57.96 c ---[1987]---> Adder-cost: 558 maxlim: 69486 bits: 17/17 57.98/58.09 c ---[1985]---> Adder-cost: 460 maxlim: 23518 bits: 16/15 58.08/58.13 c ---[1979]---> Adder-cost: 2150 maxlim: 10215 bits: 14/14 58.48/58.50 c ---[1977]---> Adder-cost: 3114 maxlim: 69922 bits: 17/17 58.98/59.04 c ---[1975]---> Adder-cost: 1690 maxlim: 30620 bits: 16/15 59.08/59.20 c ---[1969]---> Adder-cost: 2372 maxlim: 9168 bits: 15/14 59.28/59.32 c ---[1967]---> Adder-cost: 3072 maxlim: 64842 bits: 17/16 59.98/60.02 c ---[1965]---> Adder-cost: 1524 maxlim: 27231 bits: 16/15 60.18/60.29 c ---[1961]---> Adder-cost: 346 maxlim: 1097 bits: 11/11 60.28/60.30 c ---[1957]---> Adder-cost: 356 maxlim: 41380 bits: 16/16 60.28/60.35 c ---[1955]---> Adder-cost: 2294 maxlim: 2499 bits: 12/12 60.59/60.62 c ---[1951]---> Adder-cost: 2818 maxlim: 51416 bits: 16/16 60.98/61.04 c ---[1949]---> Adder-cost: 1661 maxlim: 2352 bits: 13/12 61.08/61.10 c ---[1945]---> Adder-cost: 2678 maxlim: 44674 bits: 16/16 61.48/61.58 c ---[1943]---> Adder-cost: 1298 maxlim: 60126 bits: 17/16 61.78/61.82 c ---[1941]---> Adder-cost: 1272 maxlim: 30394 bits: 16/15 61.98/62.02 c ---[1939]---> Adder-cost: 1308 maxlim: 40514 bits: 16/16 62.18/62.25 c ---[1937]---> Adder-cost: 1630 maxlim: 73374 bits: 17/17 62.48/62.58 c ---[1935]---> Adder-cost: 1082 maxlim: 32151 bits: 16/15 62.69/62.73 c ---[1933]---> Adder-cost: 1116 maxlim: 53056 bits: 17/16 62.88/62.90 c ---[1931]---> Adder-cost: 1142 maxlim: 45171 bits: 16/16 62.98/63.06 c ---[1929]---> Adder-cost: 1466 maxlim: 36112 bits: 16/16 63.18/63.26 c ---[1927]---> Adder-cost: 2020 maxlim: 286922 bits: 19/19 63.98/64.03 c ---[1925]---> Adder-cost: 1636 maxlim: 71774 bits: 17/17 64.28/64.32 c ---[1923]---> Adder-cost: 896 maxlim: 15548 bits: 15/14 64.38/64.40 c ---[1921]---> Adder-cost: 122 maxlim: 132 bits: 8/8 64.38/64.40 c ---[1911]---> Adder-cost: 518 maxlim: 22916 bits: 15/15 64.38/64.45 c ---[1909]---> Adder-cost: 644 maxlim: 158896 bits: 18/18 64.68/64.78 c ---[1907]---> Sorter-cost: 5155 Base: 3 3 5 2 2 2 2 2 2 2 64.78/64.87 c ---[1905]---> Adder-cost: 106 maxlim: 72 bits: 7/7 64.78/64.87 c ---[1903]---> Adder-cost: 2924 maxlim: 2198 bits: 12/12 65.28/65.37 c ---[1901]---> Adder-cost: 3570 maxlim: 12320 bits: 14/14 66.08/66.11 c ---[1899]---> Adder-cost: 4868 maxlim: 59330 bits: 17/16 67.08/67.14 c ---[1897]---> Adder-cost: 2874 maxlim: 41685 bits: 16/16 67.48/67.54 c ---[1895]---> Adder-cost: 858 maxlim: 765 bits: 10/10 67.48/67.58 c ---[1893]---> Adder-cost: 2276 maxlim: 2142 bits: 13/12 67.58/67.65 c ---[1891]---> Adder-cost: 3240 maxlim: 10865 bits: 15/14 68.38/68.42 c ---[1889]---> Adder-cost: 4536 maxlim: 55174 bits: 16/16 69.48/69.56 c ---[1887]---> Adder-cost: 2034 maxlim: 36802 bits: 16/16 69.98/70.04 c ---[1885]---> Adder-cost: 863 maxlim: 718 bits: 11/10 69.98/70.07 c ---[1881]---> Adder-cost: 142 maxlim: 202 bits: 9/8 69.98/70.07 c ---[1879]---> Adder-cost: 134 maxlim: 182 bits: 8/8 69.98/70.07 c ---[1877]---> Adder-cost: 138 maxlim: 302 bits: 9/9 69.98/70.08 c ---[1871]---> Adder-cost: 2016 maxlim: 1658 bits: 12/11 70.08/70.12 c ---[1869]---> Adder-cost: 2005 maxlim: 1740 bits: 12/11 70.08/70.17 c ---[1867]---> Adder-cost: 2197 maxlim: 2347 bits: 13/12 70.18/70.23 c ---[1865]---> Adder-cost: 1452 maxlim: 1593 bits: 11/11 70.38/70.42 c ---[1863]---> Adder-cost: 1668 maxlim: 1622 bits: 11/11 70.58/70.64 c ---[1861]---> Adder-cost: 1560 maxlim: 2258 bits: 12/12 70.88/70.91 c ---[1859]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 70.88/70.91 c ---[1857]---> Sorter-cost: 1301 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 70.88/70.92 c ---[1855]---> Adder-cost: 478 maxlim: 75939 bits: 17/17 70.98/71.05 c ---[1853]---> Adder-cost: 558 maxlim: 76535 bits: 17/17 71.08/71.18 c ---[1851]---> Adder-cost: 574 maxlim: 150985 bits: 18/18 71.38/71.41 c ---[1849]---> Adder-cost: 3614 maxlim: 45513 bits: 16/16 72.07/72.16 c ---[1847]---> Adder-cost: 3990 maxlim: 47193 bits: 16/16 72.97/73.06 c ---[1845]---> Adder-cost: 4182 maxlim: 47217 bits: 16/16 73.88/73.99 c ---[1843]---> Adder-cost: 2590 maxlim: 40827 bits: 16/16 74.79/74.82 c ---[1841]---> Adder-cost: 3370 maxlim: 41919 bits: 16/16 75.68/75.72 c ---[1839]---> Adder-cost: 3714 maxlim: 42007 bits: 16/16 76.58/76.68 c ---[1837]---> Adder-cost: 144 maxlim: 200 bits: 9/8 76.58/76.68 c ---[1835]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 76.58/76.69 c ---[1833]---> Adder-cost: 110 maxlim: 280 bits: 9/9 76.58/76.69 c ---[1831]---> Adder-cost: 122 maxlim: 114 bits: 8/7 76.58/76.69 c ---[1829]---> Adder-cost: 1728 maxlim: 1722 bits: 11/11 76.78/76.84 c ---[1827]---> Adder-cost: 1984 maxlim: 1724 bits: 11/11 76.99/77.05 c ---[1825]---> Adder-cost: 784 maxlim: 816 bits: 10/10 76.99/77.08 c ---[1823]---> Adder-cost: 1630 maxlim: 1683 bits: 12/11 77.09/77.13 c ---[1821]---> Adder-cost: 1787 maxlim: 1639 bits: 12/11 77.09/77.17 c ---[1819]---> Adder-cost: 782 maxlim: 724 bits: 11/10 77.09/77.19 c ---[1817]---> Adder-cost: 60 maxlim: 43 bits: 7/6 77.09/77.19 c ---[1815]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 77.09/77.19 c ---[1813]---> Sorter-cost: 627 Base: 2 2 2 2 2 2 2 77.18/77.20 c ---[1809]---> Adder-cost: 224 maxlim: 32790 bits: 16/16 77.18/77.20 c ---[1807]---> Adder-cost: 146 maxlim: 172 bits: 8/8 77.18/77.21 c ---[1805]---> Adder-cost: 258 maxlim: 1106 bits: 11/11 77.18/77.22 c ---[1803]---> Adder-cost: 254 maxlim: 584 bits: 10/10 77.18/77.22 c ---[1801]---> Adder-cost: 282 maxlim: 702 bits: 10/10 77.18/77.23 c ---[1799]---> Adder-cost: 122 maxlim: 114 bits: 8/7 77.18/77.24 c ---[1797]---> Adder-cost: 60 maxlim: 75 bits: 7/7 77.18/77.24 c ---[1795]---> Adder-cost: 266 maxlim: 1035 bits: 11/11 77.18/77.25 c ---[1793]---> Adder-cost: 408 maxlim: 18830 bits: 15/15 77.18/77.28 c ---[1791]---> Adder-cost: 254 maxlim: 292 bits: 9/9 77.18/77.29 c ---[1789]---> Adder-cost: 270 maxlim: 569 bits: 10/10 77.18/77.29 c ---[1787]---> Adder-cost: 172 maxlim: 174 bits: 8/8 77.28/77.30 c ---[1785]---> Adder-cost: 376 maxlim: 6594 bits: 14/13 77.28/77.32 c ---[1783]---> Adder-cost: 2252 maxlim: 63254 bits: 17/16 77.58/77.60 c ---[1781]---> Adder-cost: 1962 maxlim: 1766 bits: 12/11 77.58/77.64 c ---[1779]---> Adder-cost: 2240 maxlim: 3782 bits: 13/12 77.68/77.70 c ---[1777]---> Adder-cost: 2303 maxlim: 2532 bits: 13/12 77.68/77.76 c ---[1775]---> Adder-cost: 1490 maxlim: 2173 bits: 12/12 77.78/77.88 c ---[1773]---> Adder-cost: 1388 maxlim: 4328 bits: 13/13 77.88/77.99 c ---[1771]---> Adder-cost: 2122 maxlim: 35740 bits: 16/16 78.19/78.22 c ---[1769]---> Adder-cost: 1968 maxlim: 1724 bits: 11/11 78.38/78.42 c ---[1767]---> Adder-cost: 2338 maxlim: 3504 bits: 12/12 78.58/78.69 c ---[1765]---> Adder-cost: 1724 maxlim: 1540 bits: 11/11 78.78/78.84 c ---[1763]---> Adder-cost: 1130 maxlim: 28488 bits: 15/15 78.88/78.92 c ---[1761]---> Adder-cost: 2224 maxlim: 53992 bits: 17/16 79.29/79.35 c ---[1759]---> Adder-cost: 1632 maxlim: 1712 bits: 11/11 79.48/79.53 c ---[1757]---> Adder-cost: 1798 maxlim: 3510 bits: 12/12 79.68/79.75 c ---[1755]---> Adder-cost: 1798 maxlim: 2375 bits: 12/12 79.98/80.00 c ---[1753]---> Adder-cost: 1470 maxlim: 2008 bits: 12/11 79.98/80.04 c ---[1751]---> Adder-cost: 1491 maxlim: 3912 bits: 13/12 80.08/80.11 c ---[1749]---> Adder-cost: 1958 maxlim: 30446 bits: 16/15 80.39/80.40 c ---[1747]---> Adder-cost: 1815 maxlim: 1639 bits: 12/11 80.39/80.45 c ---[1745]---> Adder-cost: 2271 maxlim: 3410 bits: 13/12 80.48/80.52 c ---[1743]---> Adder-cost: 1546 maxlim: 1500 bits: 12/11 80.48/80.56 c ---[1741]---> Adder-cost: 1120 maxlim: 23870 bits: 16/15 80.58/80.67 c ---[1739]---> Adder-cost: 304 maxlim: 2097 bits: 12/12 80.58/80.69 c ---[1737]---> Adder-cost: 718 maxlim: 2924 bits: 12/12 80.68/80.72 c ---[1729]---> Adder-cost: 110 maxlim: 278 bits: 9/9 80.68/80.72 c ---[1727]---> Adder-cost: 198 maxlim: 484 bits: 10/9 80.68/80.72 c ---[1725]---> Adder-cost: 222 maxlim: 663 bits: 10/10 80.68/80.73 c ---[1723]---> Adder-cost: 236 maxlim: 1290 bits: 11/11 80.68/80.74 c ---[1721]---> Adder-cost: 196 maxlim: 506 bits: 10/9 80.68/80.74 c ---[1719]---> Adder-cost: 90 maxlim: 86 bits: 7/7 80.68/80.75 c ---[1717]---> Adder-cost: 234 maxlim: 701 bits: 10/10 80.68/80.75 c ---[1715]---> Adder-cost: 96 maxlim: 86 bits: 7/7 80.68/80.75 c ---[1713]---> Adder-cost: 622 maxlim: 3165 bits: 12/12 80.68/80.78 c ---[1711]---> Adder-cost: 410 maxlim: 3447 bits: 13/12 80.78/80.80 c ---[1709]---> Adder-cost: 214 maxlim: 776 bits: 10/10 80.78/80.81 c ---[1707]---> Adder-cost: 204 maxlim: 370 bits: 9/9 80.78/80.81 c ---[1705]---> Adder-cost: 2312 maxlim: 24510 bits: 15/15 80.98/81.05 c ---[1703]---> Adder-cost: 1264 maxlim: 1744 bits: 11/11 81.08/81.12 c ---[1701]---> Adder-cost: 1760 maxlim: 3968 bits: 12/12 81.18/81.26 c ---[1699]---> Adder-cost: 2000 maxlim: 7076 bits: 13/13 81.39/81.44 c ---[1697]---> Adder-cost: 1516 maxlim: 3841 bits: 12/12 81.49/81.55 c ---[1695]---> Adder-cost: 2014 maxlim: 13148 bits: 14/14 81.68/81.72 c ---[1693]---> Adder-cost: 1278 maxlim: 1891 bits: 11/11 81.68/81.79 c ---[1691]---> Adder-cost: 2438 maxlim: 9738 bits: 14/14 81.98/82.03 c ---[1689]---> Adder-cost: 3150 maxlim: 38665 bits: 16/16 82.28/82.37 c ---[1687]---> Adder-cost: 2232 maxlim: 5363 bits: 13/13 82.49/82.59 c ---[1685]---> Adder-cost: 1362 maxlim: 6004 bits: 13/13 82.59/82.68 c ---[1681]---> Adder-cost: 204 maxlim: 4098 bits: 13/13 82.59/82.69 c ---[1675]---> Adder-cost: 214 maxlim: 3280 bits: 13/12 82.68/82.70 c ---[1671]---> Adder-cost: 238 maxlim: 3280 bits: 13/12 82.68/82.71 c ---[1669]---> Adder-cost: 1816 maxlim: 24460 bits: 15/15 82.78/82.85 c ---[1667]---> Adder-cost: 218 maxlim: 127 bits: 8/7 82.78/82.85 c ---[1665]---> Adder-cost: 160 maxlim: 165 bits: 9/8 82.78/82.86 c ---[1663]---> Adder-cost: 160 maxlim: 165 bits: 9/8 82.78/82.86 c ---[1661]---> Adder-cost: 156 maxlim: 165 bits: 9/8 82.78/82.87 c ---[1659]---> Adder-cost: 156 maxlim: 165 bits: 9/8 82.78/82.87 c ---[1657]---> Adder-cost: 102 maxlim: 165 bits: 9/8 82.78/82.87 c ---[1655]---> Adder-cost: 144 maxlim: 165 bits: 9/8 82.78/82.88 c ---[1653]---> Adder-cost: 307 maxlim: 180 bits: 9/8 82.78/82.89 c ---[1651]---> Adder-cost: 293 maxlim: 216 bits: 9/8 82.78/82.89 c ---[1649]---> Adder-cost: 283 maxlim: 216 bits: 9/8 82.88/82.90 c ---[1647]---> Adder-cost: 1516 maxlim: 126288 bits: 18/17 83.38/83.40 c ---[1645]---> Adder-cost: 1329 maxlim: 11944 bits: 15/14 83.48/83.60 c ---[1643]---> Adder-cost: 1581 maxlim: 119175 bits: 18/17 84.28/84.32 c ---[1641]---> Adder-cost: 1597 maxlim: 119175 bits: 18/17 84.98/85.05 c ---[1639]---> Adder-cost: 1240 maxlim: 118523 bits: 18/17 85.28/85.31 c ---[1637]---> Adder-cost: 997 maxlim: 129302 bits: 18/17 85.58/85.62 c ---[1635]---> Adder-cost: 1243 maxlim: 115331 bits: 18/17 85.98/86.03 c ---[1633]---> Adder-cost: 971 maxlim: 122438 bits: 18/17 86.38/86.46 c ---[1631]---> Adder-cost: 205 maxlim: 135 bits: 9/8 86.38/86.46 c ---[1629]---> Adder-cost: 181 maxlim: 191 bits: 9/8 86.38/86.46 c ---[1627]---> Adder-cost: 169 maxlim: 191 bits: 9/8 86.38/86.47 c ---[1625]---> Adder-cost: 173 maxlim: 191 bits: 9/8 86.38/86.47 c ---[1623]---> Adder-cost: 175 maxlim: 191 bits: 9/8 86.38/86.48 c ---[1621]---> Adder-cost: 112 maxlim: 191 bits: 9/8 86.38/86.48 c ---[1619]---> Adder-cost: 163 maxlim: 191 bits: 9/8 86.38/86.48 c ---[1617]---> Adder-cost: 277 maxlim: 202 bits: 9/8 86.38/86.49 c ---[1615]---> Adder-cost: 227 maxlim: 254 bits: 9/8 86.48/86.50 c ---[1613]---> Adder-cost: 237 maxlim: 254 bits: 9/8 86.48/86.51 c ---[1611]---> Adder-cost: 2266 maxlim: 57796 bits: 17/16 86.89/86.98 c ---[1609]---> Adder-cost: 2152 maxlim: 15237 bits: 15/14 87.18/87.20 c ---[1607]---> Adder-cost: 2424 maxlim: 61781 bits: 17/16 87.78/87.83 c ---[1605]---> Adder-cost: 2490 maxlim: 67935 bits: 18/17 88.28/88.37 c ---[1603]---> Adder-cost: 1593 maxlim: 83781 bits: 18/17 88.58/88.61 c ---[1601]---> Adder-cost: 894 maxlim: 84492 bits: 18/17 88.78/88.84 c ---[1599]---> Adder-cost: 1581 maxlim: 87045 bits: 18/17 89.19/89.22 c ---[1597]---> Adder-cost: 894 maxlim: 119849 bits: 18/17 89.78/89.83 c ---[1595]---> Adder-cost: 476 maxlim: 104878 bits: 18/17 89.78/89.88 c ---[1593]---> Adder-cost: 266 maxlim: 65564 bits: 18/17 89.78/89.89 c ---[1591]---> Adder-cost: 286 maxlim: 131101 bits: 19/18 89.88/89.90 c ---[1589]---> Adder-cost: 288 maxlim: 131101 bits: 19/18 89.88/89.91 c ---[1587]---> Adder-cost: 246 maxlim: 16410 bits: 15/15 89.88/89.93 c ---[1585]---> Adder-cost: 122 maxlim: 8217 bits: 14/14 89.88/89.93 c ---[1583]---> Adder-cost: 210 maxlim: 131101 bits: 19/18 89.88/89.94 c ---[1581]---> Adder-cost: 396 maxlim: 52449 bits: 17/16 89.88/89.97 c ---[1579]---> Adder-cost: 476 maxlim: 104878 bits: 18/17 89.98/90.02 c ---[1577]---> Adder-cost: 244 maxlim: 16410 bits: 16/15 89.98/90.04 c ---[1575]---> Adder-cost: 272 maxlim: 131101 bits: 19/18 89.98/90.05 c ---[1573]---> Adder-cost: 278 maxlim: 131101 bits: 19/18 89.98/90.06 c ---[1571]---> Adder-cost: 258 maxlim: 16410 bits: 15/15 89.98/90.07 c ---[1569]---> Adder-cost: 264 maxlim: 6572 bits: 14/13 89.98/90.08 c ---[1567]---> Adder-cost: 214 maxlim: 131101 bits: 19/18 89.98/90.09 c ---[1565]---> Adder-cost: 408 maxlim: 52449 bits: 17/16 90.08/90.13 c ---[1563]---> Adder-cost: 131 maxlim: 68 bits: 8/7 90.08/90.13 c ---[1561]---> Adder-cost: 141 maxlim: 68 bits: 8/7 90.08/90.14 c ---[1559]---> Adder-cost: 164 maxlim: 53 bits: 7/6 90.08/90.14 c ---[1557]---> Adder-cost: 212 maxlim: 51 bits: 7/6 90.08/90.14 c ---[1555]---> Adder-cost: 147 maxlim: 55 bits: 7/6 90.08/90.15 c ---[1553]---> Sorter-cost: 874 Base: 2 2 2 2 3 90.08/90.15 c ---[1551]---> Sorter-cost: 874 Base: 2 2 2 2 3 90.08/90.15 c ---[1549]---> Adder-cost: 241 maxlim: 69 bits: 8/7 90.08/90.15 c ---[1547]---> Adder-cost: 183 maxlim: 86 bits: 8/7 90.08/90.16 c ---[1545]---> Adder-cost: 159 maxlim: 55 bits: 7/6 90.08/90.16 c ---[1543]---> Adder-cost: 74 maxlim: 36 bits: 7/6 90.08/90.16 c ---[1541]---> Adder-cost: 125 maxlim: 36 bits: 7/6 90.08/90.16 c ---[1539]---> Adder-cost: 109 maxlim: 36 bits: 7/6 90.08/90.17 c ---[1537]---> Adder-cost: 107 maxlim: 36 bits: 7/6 90.08/90.17 c ---[1535]---> Adder-cost: 139 maxlim: 33 bits: 7/6 90.08/90.17 c ---[1533]---> Adder-cost: 149 maxlim: 33 bits: 7/6 90.08/90.17 c ---[1531]---> Adder-cost: 2019 maxlim: 7891 bits: 14/13 90.19/90.30 c ---[1529]---> Adder-cost: 2529 maxlim: 34559 bits: 17/16 90.58/90.62 c ---[1527]---> Adder-cost: 1725 maxlim: 5287 bits: 14/13 90.68/90.71 c ---[1525]---> Adder-cost: 442 maxlim: 284 bits: 10/9 90.68/90.72 c ---[1523]---> Adder-cost: 661 maxlim: 467 bits: 10/9 90.68/90.74 c ---[1521]---> Adder-cost: 665 maxlim: 467 bits: 10/9 90.68/90.76 c ---[1519]---> Adder-cost: 899 maxlim: 11618 bits: 15/14 90.78/90.84 c ---[1517]---> Adder-cost: 350 maxlim: 216 bits: 9/8 90.78/90.85 c ---[1515]---> Adder-cost: 375 maxlim: 1667 bits: 12/11 90.78/90.88 c ---[1513]---> Adder-cost: 338 maxlim: 216 bits: 9/8 90.78/90.88 c ---[1511]---> Adder-cost: 367 maxlim: 208 bits: 9/8 90.78/90.89 c ---[1509]---> Adder-cost: 623 maxlim: 2953 bits: 13/12 90.88/90.94 c ---[1507]---> Adder-cost: 179 maxlim: 69 bits: 8/7 90.88/90.94 c ---[1505]---> Adder-cost: 308 maxlim: 65564 bits: 18/17 90.88/90.96 c ---[1503]---> Adder-cost: 386 maxlim: 17281 bits: 16/15 90.98/91.02 c ---[1501]---> Adder-cost: 636 maxlim: 24191 bits: 16/15 91.08/91.11 c ---[1499]---> Adder-cost: 766 maxlim: 96712 bits: 18/17 91.28/91.34 c ---[1497]---> Adder-cost: 464 maxlim: 13393 bits: 15/14 91.28/91.38 c ---[1495]---> Sorter-cost: 3937 Base: 3 7 2 2 2 2 2 2 2 2 91.38/91.41 c ---[1493]---> Sorter-cost: 2688 Base: 3 7 2 2 2 2 91.38/91.42 c ---[1491]---> Adder-cost: 697 maxlim: 9098 bits: 15/14 91.48/91.53 c ---[1489]---> Adder-cost: 690 maxlim: 6076 bits: 14/13 91.58/91.63 c ---[1487]---> Adder-cost: 560 maxlim: 2298 bits: 13/12 91.58/91.68 c ---[1485]---> Sorter-cost: 2120 Base: 3 7 2 2 2 91.58/91.69 c ---[1483]---> Sorter-cost: 2564 Base: 3 3 3 3 2 2 2 2 2 2 2 91.68/91.73 c ---[1481]---> Sorter-cost: 3128 Base: 3 3 3 3 2 2 2 2 2 2 2 2 2 91.78/91.83 c ---[1479]---> Sorter-cost: 2195 Base: 3 3 3 3 2 2 2 2 2 2 91.78/91.87 c ---[1477]---> Adder-cost: 310 maxlim: 65564 bits: 18/17 91.78/91.88 c ---[1475]---> Adder-cost: 341 maxlim: 2562 bits: 13/12 91.88/91.91 c ---[1473]---> Adder-cost: 547 maxlim: 1758 bits: 12/11 91.88/91.93 c ---[1471]---> Adder-cost: 650 maxlim: 6980 bits: 14/13 91.88/91.98 c ---[1469]---> Adder-cost: 374 maxlim: 1029 bits: 12/11 91.88/91.99 c ---[1467]---> Sorter-cost: 3152 Base: 3 7 2 2 2 2 2 2 91.98/92.01 c ---[1465]---> Sorter-cost: 2688 Base: 3 7 2 2 2 2 91.98/92.02 c ---[1463]---> Adder-cost: 661 maxlim: 10479 bits: 15/14 91.98/92.08 c ---[1461]---> Adder-cost: 648 maxlim: 6998 bits: 14/13 92.08/92.14 c ---[1459]---> Adder-cost: 552 maxlim: 2645 bits: 13/12 92.08/92.17 c ---[1457]---> Sorter-cost: 2120 Base: 3 7 2 2 2 92.08/92.18 c ---[1455]---> Adder-cost: 333 maxlim: 181 bits: 9/8 92.08/92.19 c ---[1453]---> Adder-cost: 311 maxlim: 181 bits: 9/8 92.08/92.19 c ---[1451]---> Adder-cost: 323 maxlim: 181 bits: 9/8 92.18/92.20 c ---[1449]---> Adder-cost: 325 maxlim: 181 bits: 9/8 92.18/92.21 c ---[1447]---> Adder-cost: 263 maxlim: 219 bits: 9/8 92.18/92.22 c ---[1445]---> Adder-cost: 155 maxlim: 181 bits: 9/8 92.18/92.22 c ---[1443]---> Adder-cost: 263 maxlim: 219 bits: 9/8 92.18/92.23 c ---[1441]---> Adder-cost: 274 maxlim: 167 bits: 9/8 92.18/92.23 c ---[1439]---> Adder-cost: 232 maxlim: 195 bits: 9/8 92.18/92.24 c ---[1437]---> Adder-cost: 258 maxlim: 195 bits: 9/8 92.18/92.25 c ---[1435]---> Adder-cost: 232 maxlim: 22467 bits: 16/15 92.18/92.28 c ---[1433]---> Adder-cost: 300 maxlim: 89814 bits: 18/17 92.28/92.35 c ---[1431]---> Sorter-cost: 2244 Base: 3 7 2 2 2 2 2 2 2 92.28/92.38 c ---[1429]---> Adder-cost: 327 maxlim: 171 bits: 9/8 92.28/92.38 c ---[1427]---> Adder-cost: 279 maxlim: 203 bits: 9/8 92.28/92.39 c ---[1425]---> Adder-cost: 297 maxlim: 203 bits: 9/8 92.28/92.40 c ---[1423]---> Adder-cost: 297 maxlim: 203 bits: 9/8 92.38/92.41 c ---[1421]---> Adder-cost: 289 maxlim: 203 bits: 9/8 92.38/92.41 c ---[1419]---> Adder-cost: 165 maxlim: 171 bits: 9/8 92.38/92.42 c ---[1417]---> Adder-cost: 279 maxlim: 203 bits: 9/8 92.38/92.43 c ---[1415]---> Adder-cost: 274 maxlim: 159 bits: 9/8 92.38/92.43 c ---[1413]---> Adder-cost: 230 maxlim: 187 bits: 9/8 92.38/92.44 c ---[1411]---> Adder-cost: 222 maxlim: 187 bits: 9/8 92.38/92.44 c ---[1409]---> Adder-cost: 133 maxlim: 115 bits: 8/7 92.38/92.45 c ---[1407]---> Adder-cost: 82 maxlim: 115 bits: 8/7 92.38/92.45 c ---[1405]---> Adder-cost: 144 maxlim: 125 bits: 8/7 92.38/92.45 c ---[1403]---> Adder-cost: 1699 maxlim: 69885 bits: 18/17 92.68/92.70 c ---[1401]---> Adder-cost: 1400 maxlim: 748 bits: 11/10 92.68/92.75 c ---[1399]---> Adder-cost: 1676 maxlim: 748 bits: 11/10 92.78/92.81 c ---[1397]---> Adder-cost: 2057 maxlim: 2483 bits: 13/12 92.88/92.96 c ---[1395]---> Adder-cost: 1086 maxlim: 480 bits: 10/9 92.88/92.99 c ---[1393]---> Adder-cost: 962 maxlim: 1032 bits: 12/11 92.98/93.04 c ---[1391]---> Adder-cost: 959 maxlim: 528 bits: 11/10 92.98/93.08 c ---[1389]---> Adder-cost: 1667 maxlim: 40953 bits: 17/16 93.48/93.55 c ---[1387]---> Adder-cost: 2058 maxlim: 79501 bits: 18/17 94.48/94.57 c ---[1385]---> Adder-cost: 1333 maxlim: 42209 bits: 17/16 94.78/94.87 c ---[1383]---> Adder-cost: 467 maxlim: 126 bits: 8/7 94.78/94.88 c ---[1381]---> Adder-cost: 2435 maxlim: 55451 bits: 17/16 94.98/95.06 c ---[1379]---> Adder-cost: 2228 maxlim: 13670 bits: 15/14 95.47/95.54 c ---[1377]---> Adder-cost: 2400 maxlim: 11274 bits: 15/14 95.57/95.66 c ---[1375]---> Adder-cost: 2957 maxlim: 24267 bits: 16/15 95.87/95.95 c ---[1373]---> Adder-cost: 1734 maxlim: 9069 bits: 15/14 95.97/96.04 c ---[1371]---> Adder-cost: 1392 maxlim: 16679 bits: 16/15 96.07/96.17 c ---[1369]---> Adder-cost: 1688 maxlim: 5298 bits: 13/13 96.27/96.39 c ---[1367]---> Adder-cost: 1988 maxlim: 100865 bits: 18/17 96.78/96.81 c ---[1365]---> Adder-cost: 2553 maxlim: 145616 bits: 19/18 97.47/97.53 c ---[1363]---> Adder-cost: 1855 maxlim: 112836 bits: 18/17 97.98/98.04 c ---[1361]---> Adder-cost: 523 maxlim: 299 bits: 10/9 97.98/98.05 c ---[1359]---> Sorter-cost: 1823 Base: 2 5 2 2 2 2 2 2 2 97.98/98.06 c ---[1357]---> Sorter-cost: 3019 Base: 2 5 2 2 2 2 2 2 2 2 2 2 2 98.07/98.13 c ---[1355]---> Sorter-cost: 2021 Base: 2 5 2 2 2 2 2 2 2 2 98.07/98.15 c ---[1353]---> Sorter-cost: 927 Base: 3 3 2 2 98.07/98.15 c ---[1351]---> Sorter-cost: 927 Base: 3 3 2 2 98.07/98.15 c ---[1349]---> Sorter-cost: 927 Base: 3 3 2 2 98.07/98.15 c ---[1347]---> Sorter-cost: 927 Base: 3 3 2 2 98.07/98.16 c ---[1345]---> Sorter-cost: 927 Base: 3 3 2 2 98.07/98.16 c ---[1343]---> Adder-cost: 472 maxlim: 68785 bits: 18/17 98.27/98.36 c ---[1341]---> Adder-cost: 176 maxlim: 67 bits: 8/7 98.27/98.37 c ---[1339]---> Adder-cost: 264 maxlim: 61 bits: 7/6 98.27/98.37 c ---[1337]---> Adder-cost: 231 maxlim: 70 bits: 8/7 98.27/98.38 c ---[1335]---> Adder-cost: 172 maxlim: 67 bits: 8/7 98.27/98.38 c ---[1333]---> Adder-cost: 179 maxlim: 363 bits: 10/9 98.27/98.39 c ---[1331]---> Adder-cost: 181 maxlim: 363 bits: 10/9 98.27/98.39 c ---[1329]---> Adder-cost: 181 maxlim: 363 bits: 10/9 98.37/98.40 c ---[1327]---> Adder-cost: 191 maxlim: 363 bits: 10/9 98.37/98.40 c ---[1325]---> Adder-cost: 193 maxlim: 363 bits: 10/9 98.37/98.41 c ---[1323]---> Adder-cost: 1265 maxlim: 1839 bits: 12/11 98.37/98.46 c ---[1321]---> Adder-cost: 1755 maxlim: 86216 bits: 18/17 99.17/99.26 c ---[1319]---> Adder-cost: 1018 maxlim: 14128 bits: 15/14 99.27/99.35 c ---[1317]---> Adder-cost: 1958 maxlim: 17712 bits: 16/15 99.67/99.71 c ---[1315]---> Adder-cost: 1944 maxlim: 16742 bits: 16/15 99.87/99.91 c ---[1313]---> Adder-cost: 1993 maxlim: 16165 bits: 15/14 100.08/100.11 c ---[1311]---> Adder-cost: 2364 maxlim: 24373 bits: 16/15 100.37/100.47 c ---[1309]---> Adder-cost: 1395 maxlim: 13990 bits: 15/14 100.57/100.60 c ---[1307]---> Adder-cost: 1340 maxlim: 7216 bits: 14/13 100.67/100.74 c ---[1305]---> Adder-cost: 1302 maxlim: 6464 bits: 13/13 100.77/100.88 c ---[1303]---> Adder-cost: 453 maxlim: 188 bits: 9/8 100.77/100.89 c ---[1301]---> Adder-cost: 967 maxlim: 455 bits: 10/9 100.87/100.93 c ---[1299]---> Adder-cost: 890 maxlim: 381 bits: 10/9 100.87/100.96 c ---[1297]---> Adder-cost: 559 maxlim: 159 bits: 9/8 100.87/100.97 c ---[1295]---> Adder-cost: 434 maxlim: 164820 bits: 19/18 100.97/101.09 c ---[1293]---> Adder-cost: 308 maxlim: 23210 bits: 16/15 101.07/101.11 c ---[1291]---> Adder-cost: 338 maxlim: 43808 bits: 17/16 101.07/101.15 c ---[1289]---> Adder-cost: 428 maxlim: 175118 bits: 19/18 101.18/101.24 c ---[1287]---> Adder-cost: 304 maxlim: 21922 bits: 16/15 101.18/101.27 c ---[1285]---> Adder-cost: 318 maxlim: 23210 bits: 16/15 101.18/101.30 c ---[1283]---> Adder-cost: 184 maxlim: 1322 bits: 11/11 101.18/101.30 c ---[1281]---> Adder-cost: 176 maxlim: 678 bits: 11/10 101.28/101.31 c ---[1279]---> Adder-cost: 183 maxlim: 318 bits: 10/9 101.28/101.31 c ---[1277]---> Adder-cost: 177 maxlim: 318 bits: 10/9 101.28/101.32 c ---[1275]---> Adder-cost: 183 maxlim: 318 bits: 10/9 101.28/101.32 c ---[1273]---> Adder-cost: 149 maxlim: 135 bits: 9/8 101.28/101.33 c ---[1271]---> Adder-cost: 163 maxlim: 135 bits: 9/8 101.28/101.33 c ---[1269]---> Adder-cost: 153 maxlim: 135 bits: 9/8 101.28/101.34 c ---[1267]---> Adder-cost: 313 maxlim: 100 bits: 8/7 101.28/101.34 c ---[1265]---> Adder-cost: 284 maxlim: 85 bits: 8/7 101.28/101.35 c ---[1263]---> Adder-cost: 314 maxlim: 82 bits: 8/7 101.28/101.36 c ---[1261]---> Adder-cost: 287 maxlim: 79 bits: 8/7 101.28/101.36 c ---[1259]---> Adder-cost: 251 maxlim: 93 bits: 8/7 101.28/101.37 c ---[1257]---> Adder-cost: 156 maxlim: 125 bits: 8/7 101.28/101.37 c ---[1255]---> Adder-cost: 253 maxlim: 118 bits: 8/7 101.28/101.38 c ---[1253]---> Adder-cost: 293 maxlim: 84 bits: 8/7 101.28/101.38 c ---[1251]---> Adder-cost: 255 maxlim: 94 bits: 8/7 101.28/101.39 c ---[1249]---> Adder-cost: 234 maxlim: 94 bits: 8/7 101.28/101.39 c ---[1247]---> Adder-cost: 434 maxlim: 18629 bits: 16/15 101.37/101.47 c ---[1245]---> Adder-cost: 329 maxlim: 24538 bits: 16/15 101.47/101.52 c ---[1243]---> Adder-cost: 353 maxlim: 24538 bits: 16/15 101.47/101.59 c ---[1241]---> Adder-cost: 343 maxlim: 24538 bits: 16/15 101.57/101.65 c ---[1239]---> Adder-cost: 262 maxlim: 6148 bits: 14/13 101.57/101.68 c ---[1237]---> Sorter-cost: 1744 Base: 3 2 3 3 3 2 2 101.57/101.69 c ---[1235]---> Adder-cost: 306 maxlim: 6148 bits: 14/13 101.67/101.72 c ---[1233]---> Adder-cost: 287 maxlim: 142 bits: 9/8 101.67/101.73 c ---[1231]---> Adder-cost: 561 maxlim: 19980 bits: 16/15 101.77/101.86 c ---[1229]---> Adder-cost: 535 maxlim: 19980 bits: 16/15 101.87/101.98 c ---[1227]---> Adder-cost: 78 maxlim: 53 bits: 7/6 101.87/101.98 c ---[1225]---> Adder-cost: 111 maxlim: 53 bits: 7/6 101.87/101.99 c ---[1223]---> Adder-cost: 105 maxlim: 53 bits: 7/6 101.87/101.99 c ---[1221]---> Adder-cost: 97 maxlim: 53 bits: 7/6 101.87/101.99 c ---[1219]---> Adder-cost: 167 maxlim: 44 bits: 7/6 101.87/101.99 c ---[1217]---> Adder-cost: 167 maxlim: 44 bits: 7/6 101.97/102.00 c ---[1215]---> Adder-cost: 127 maxlim: 83 bits: 8/7 101.97/102.00 c ---[1213]---> Adder-cost: 129 maxlim: 83 bits: 8/7 101.97/102.00 c ---[1211]---> Adder-cost: 123 maxlim: 83 bits: 8/7 101.97/102.00 c ---[1207]---> Adder-cost: 52 maxlim: 42 bits: 6/6 101.97/102.00 c ---[1205]---> Adder-cost: 58 maxlim: 74 bits: 7/7 101.97/102.01 c ---[1203]---> Sorter-cost: 4125 Base: 2 2 3 5 2 17 2 2 2 2 2 102.07/102.13 c ---[1201]---> Adder-cost: 414 maxlim: 262131 bits: 19/18 102.17/102.23 c ---[1199]---> Sorter-cost: 4308 Base: 2 2 2 2 3 5 17 2 2 2 2 102.17/102.30 c ---[1197]---> Adder-cost: 560 maxlim: 137569 bits: 19/18 102.57/102.67 c ---[1195]---> Sorter-cost: 485 Base: 2 102.57/102.67 c ---[1193]---> Sorter-cost: 294 Base: 7 102.57/102.67 c ---[1191]---> Sorter-cost: 3210 Base: 3 7 5 13 2 2 2 2 2 102.67/102.76 c ---[1189]---> Adder-cost: 238 maxlim: 262145 bits: 20/19 102.77/102.82 c ---[1187]---> Adder-cost: 206 maxlim: 103 bits: 8/7 102.77/102.82 c ---[1185]---> Adder-cost: 139 maxlim: 141 bits: 9/8 102.77/102.83 c ---[1183]---> Adder-cost: 143 maxlim: 141 bits: 9/8 102.77/102.83 c ---[1181]---> Adder-cost: 139 maxlim: 141 bits: 9/8 102.77/102.83 c ---[1179]---> Adder-cost: 147 maxlim: 141 bits: 9/8 102.77/102.84 c ---[1177]---> Sorter-cost: 1142 Base: 3 5 2 2 102.77/102.84 c ---[1175]---> Adder-cost: 141 maxlim: 141 bits: 9/8 102.77/102.84 c ---[1173]---> Adder-cost: 269 maxlim: 157 bits: 9/8 102.77/102.85 c ---[1171]---> Adder-cost: 197 maxlim: 107 bits: 8/7 102.77/102.86 c ---[1169]---> Adder-cost: 195 maxlim: 107 bits: 8/7 102.77/102.86 c ---[1167]---> Adder-cost: 153 maxlim: 39 bits: 7/6 102.77/102.86 c ---[1165]---> Adder-cost: 234 maxlim: 61 bits: 7/6 102.77/102.87 c ---[1163]---> Adder-cost: 167 maxlim: 73 bits: 8/7 102.77/102.87 c ---[1161]---> Adder-cost: 135 maxlim: 39 bits: 7/6 102.77/102.87 c ---[1159]---> Adder-cost: 1132 maxlim: 7865 bits: 14/13 102.87/102.99 c ---[1157]---> Adder-cost: 1461 maxlim: 32849 bits: 16/16 103.17/103.26 c ---[1155]---> Adder-cost: 1461 maxlim: 32915 bits: 16/16 103.48/103.56 c ---[1153]---> Adder-cost: 2006 maxlim: 115800 bits: 18/17 104.07/104.11 c ---[1151]---> Adder-cost: 1204 maxlim: 21159 bits: 15/15 104.17/104.27 c ---[1149]---> Adder-cost: 988 maxlim: 32052 bits: 16/15 104.37/104.45 c ---[1147]---> Adder-cost: 938 maxlim: 3178 bits: 13/12 104.37/104.50 c ---[1145]---> Adder-cost: 1814 maxlim: 189188 bits: 19/18 104.97/105.00 c ---[1143]---> Adder-cost: 2254 maxlim: 254997 bits: 19/18 105.87/105.90 c ---[1141]---> Adder-cost: 1600 maxlim: 119525 bits: 18/17 106.17/106.20 c ---[1139]---> Adder-cost: 303 maxlim: 144 bits: 9/8 106.17/106.21 c ---[1137]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 106.17/106.21 c ---[1135]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 106.17/106.21 c ---[1133]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 106.17/106.21 c ---[1131]---> Adder-cost: 58 maxlim: 74 bits: 7/7 106.17/106.21 c ---[1129]---> Sorter-cost: 1182 Base: 2 3 2 2 2 2 106.17/106.22 c ---[1127]---> Adder-cost: 173 maxlim: 214 bits: 9/8 106.17/106.22 c ---[1125]---> Adder-cost: 155 maxlim: 214 bits: 9/8 106.17/106.23 c ---[1123]---> Adder-cost: 157 maxlim: 214 bits: 9/8 106.17/106.23 c ---[1121]---> Adder-cost: 712 maxlim: 1291 bits: 12/11 106.17/106.26 c ---[1119]---> Adder-cost: 938 maxlim: 20172 bits: 16/15 106.27/106.35 c ---[1117]---> Sorter-cost: 1138 Base: 7 2 2 2 106.27/106.35 c ---[1115]---> Adder-cost: 141 maxlim: 148 bits: 9/8 106.27/106.36 c ---[1113]---> Adder-cost: 145 maxlim: 148 bits: 9/8 106.27/106.36 c ---[1111]---> Adder-cost: 131 maxlim: 148 bits: 9/8 106.27/106.36 c ---[1109]---> Adder-cost: 191 maxlim: 115 bits: 8/7 106.27/106.37 c ---[1107]---> Adder-cost: 185 maxlim: 115 bits: 8/7 106.27/106.37 c ---[1105]---> Adder-cost: 121 maxlim: 68 bits: 8/7 106.27/106.38 c ---[1103]---> Adder-cost: 121 maxlim: 68 bits: 8/7 106.27/106.38 c ---[1101]---> Adder-cost: 156 maxlim: 53 bits: 7/6 106.27/106.38 c ---[1099]---> Adder-cost: 160 maxlim: 58 bits: 7/6 106.27/106.39 c ---[1097]---> Adder-cost: 191 maxlim: 135 bits: 9/8 106.27/106.39 c ---[1095]---> Adder-cost: 165 maxlim: 191 bits: 9/8 106.27/106.39 c ---[1093]---> Adder-cost: 155 maxlim: 191 bits: 9/8 106.37/106.40 c ---[1091]---> Adder-cost: 163 maxlim: 191 bits: 9/8 106.37/106.40 c ---[1089]---> Adder-cost: 167 maxlim: 191 bits: 9/8 106.37/106.41 c ---[1087]---> Adder-cost: 106 maxlim: 191 bits: 9/8 106.37/106.41 c ---[1085]---> Adder-cost: 163 maxlim: 191 bits: 9/8 106.37/106.41 c ---[1083]---> Adder-cost: 283 maxlim: 191 bits: 9/8 106.37/106.42 c ---[1081]---> Adder-cost: 217 maxlim: 244 bits: 9/8 106.37/106.43 c ---[1079]---> Adder-cost: 229 maxlim: 244 bits: 9/8 106.37/106.43 c ---[1077]---> Adder-cost: 86 maxlim: 87 bits: 8/7 106.37/106.43 c ---[1075]---> Adder-cost: 133 maxlim: 87 bits: 8/7 106.37/106.44 c ---[1073]---> Adder-cost: 121 maxlim: 87 bits: 8/7 106.37/106.44 c ---[1071]---> Adder-cost: 115 maxlim: 87 bits: 8/7 106.37/106.44 c ---[1069]---> Adder-cost: 171 maxlim: 73 bits: 8/7 106.37/106.45 c ---[1067]---> Adder-cost: 134 maxlim: 29 bits: 6/5 106.37/106.45 c ---[1065]---> Adder-cost: 161 maxlim: 29 bits: 6/5 106.37/106.45 c ---[1063]---> Adder-cost: 148 maxlim: 22 bits: 6/5 106.37/106.45 c ---[1061]---> Adder-cost: 177 maxlim: 253 bits: 9/8 106.37/106.46 c ---[1059]---> Adder-cost: 113 maxlim: 253 bits: 9/8 106.37/106.46 c ---[1057]---> Adder-cost: 217 maxlim: 186 bits: 9/8 106.37/106.47 c ---[1055]---> Adder-cost: 133 maxlim: 102 bits: 8/7 106.37/106.47 c ---[1053]---> Adder-cost: 135 maxlim: 102 bits: 8/7 106.37/106.47 c ---[1051]---> Adder-cost: 147 maxlim: 102 bits: 8/7 106.37/106.48 c ---[1049]---> Adder-cost: 145 maxlim: 102 bits: 8/7 106.37/106.48 c ---[1047]---> Adder-cost: 153 maxlim: 102 bits: 8/7 106.37/106.48 c ---[1045]---> Adder-cost: 116 maxlim: 52 bits: 7/6 106.37/106.49 c ---[1043]---> Adder-cost: 110 maxlim: 52 bits: 7/6 106.37/106.49 c ---[1041]---> Adder-cost: 104 maxlim: 52 bits: 7/6 106.37/106.49 c ---[1039]---> Adder-cost: 120 maxlim: 52 bits: 7/6 106.37/106.49 c ---[1037]---> Adder-cost: 106 maxlim: 52 bits: 7/6 106.37/106.49 c ---[1035]---> Adder-cost: 544 maxlim: 652 bits: 11/10 106.47/106.50 c ---[1033]---> Adder-cost: 822 maxlim: 20646 bits: 16/15 106.47/106.57 c ---[1031]---> Adder-cost: 463 maxlim: 490 bits: 10/9 106.47/106.58 c ---[1029]---> Adder-cost: 166 maxlim: 39 bits: 7/6 106.47/106.59 c ---[1027]---> Sorter-cost: 910 Base: 2 3 2 2 2 106.47/106.59 c ---[1025]---> Sorter-cost: 910 Base: 2 3 2 2 2 106.47/106.59 c ---[1023]---> Adder-cost: 262 maxlim: 62 bits: 7/6 106.57/106.60 c ---[1021]---> Adder-cost: 195 maxlim: 77 bits: 8/7 106.57/106.60 c ---[1019]---> Adder-cost: 154 maxlim: 39 bits: 7/6 106.57/106.60 c ---[1017]---> Adder-cost: 223 maxlim: 215 bits: 9/8 106.57/106.61 c ---[1015]---> Adder-cost: 169 maxlim: 299 bits: 10/9 106.57/106.62 c ---[1013]---> Adder-cost: 169 maxlim: 299 bits: 10/9 106.57/106.62 c ---[1011]---> Adder-cost: 179 maxlim: 299 bits: 10/9 106.57/106.63 c ---[1009]---> Adder-cost: 187 maxlim: 299 bits: 10/9 106.57/106.64 c ---[1007]---> Adder-cost: 173 maxlim: 169 bits: 9/8 106.57/106.64 c ---[1005]---> Adder-cost: 179 maxlim: 299 bits: 10/9 106.57/106.65 c ---[1003]---> Adder-cost: 291 maxlim: 187 bits: 9/8 106.57/106.65 c ---[1001]---> Adder-cost: 229 maxlim: 237 bits: 9/8 106.57/106.66 c ---[ 999]---> Adder-cost: 221 maxlim: 237 bits: 9/8 106.57/106.67 c ---[ 997]---> Adder-cost: 288 maxlim: 13594 bits: 15/14 106.68/106.71 c ---[ 995]---> Sorter-cost: 1567 Base: 5 5 2 2 3 106.68/106.72 c ---[ 993]---> Sorter-cost: 1767 Base: 5 5 2 2 2 3 106.68/106.73 c ---[ 991]---> Sorter-cost: 2022 Base: 3 5 5 2 2 2 2 106.68/106.76 c ---[ 989]---> Sorter-cost: 1767 Base: 5 5 2 2 2 3 106.68/106.77 c ---[ 987]---> Sorter-cost: 2141 Base: 3 5 5 2 2 2 2 2 106.78/106.81 c ---[ 985]---> Adder-cost: 124 maxlim: 314 bits: 10/9 106.78/106.81 c ---[ 983]---> Adder-cost: 736 maxlim: 167461 bits: 19/18 107.17/107.28 c ---[ 981]---> Adder-cost: 770 maxlim: 167461 bits: 19/18 107.67/107.75 c ---[ 979]---> Adder-cost: 564 maxlim: 168708 bits: 19/18 108.07/108.10 c ---[ 977]---> Sorter-cost: 2141 Base: 3 5 5 2 2 2 2 2 108.07/108.14 c ---[ 975]---> Adder-cost: 54 maxlim: 75 bits: 7/7 108.07/108.14 c ---[ 973]---> Adder-cost: 66 maxlim: 76 bits: 7/7 108.07/108.14 c ---[ 971]---> Sorter-cost: 657 Base: 2 2 2 2 2 108.07/108.14 c ---[ 965]---> Adder-cost: 58 maxlim: 39 bits: 6/6 108.07/108.14 c ---[ 963]---> Sorter-cost: 501 Base: 2 108.07/108.14 c ---[ 961]---> Sorter-cost: 516 Base: 2 108.07/108.14 c ---[ 959]---> Sorter-cost: 1467 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 108.07/108.15 c ---[ 957]---> Adder-cost: 290 maxlim: 74918 bits: 18/17 108.17/108.20 c ---[ 955]---> Sorter-cost: 3715 Base: 3 7 5 13 2 2 2 2 2 108.17/108.29 c ---[ 953]---> Adder-cost: 56 maxlim: 40 bits: 6/6 108.17/108.29 c ---[ 951]---> Adder-cost: 84 maxlim: 75 bits: 8/7 108.17/108.29 c ---[ 949]---> Sorter-cost: 454 Base: 2 108.17/108.29 c ---[ 947]---> Adder-cost: 58 maxlim: 42 bits: 7/6 108.17/108.29 c ---[ 945]---> Adder-cost: 50 maxlim: 42 bits: 7/6 108.17/108.29 c ---[ 943]---> Adder-cost: 48 maxlim: 74 bits: 7/7 108.17/108.29 c ---[ 941]---> Sorter-cost: 554 Base: 2 2 2 2 2 108.27/108.30 c ---[ 939]---> Adder-cost: 134 maxlim: 8216 bits: 15/14 108.27/108.30 c ---[ 937]---> Adder-cost: 90 maxlim: 86 bits: 7/7 108.27/108.30 c ---[ 935]---> Adder-cost: 48 maxlim: 74 bits: 7/7 108.27/108.30 c ---[ 933]---> Adder-cost: 58 maxlim: 42 bits: 7/6 108.27/108.31 c ---[ 927]---> Adder-cost: 302 maxlim: 796 bits: 11/10 108.27/108.32 c ---[ 925]---> Adder-cost: 452 maxlim: 11140 bits: 15/14 108.27/108.35 c ---[ 923]---> Adder-cost: 410 maxlim: 4231 bits: 13/13 108.27/108.38 c ---[ 921]---> Adder-cost: 707 maxlim: 17544 bits: 15/15 108.37/108.48 c ---[ 919]---> Adder-cost: 418 maxlim: 4148 bits: 13/13 108.47/108.50 c ---[ 917]---> Adder-cost: 339 maxlim: 2479 bits: 12/12 108.47/108.52 c ---[ 915]---> Adder-cost: 366 maxlim: 2117 bits: 13/12 108.47/108.53 c ---[ 913]---> Adder-cost: 676 maxlim: 93017 bits: 18/17 108.57/108.63 c ---[ 911]---> Adder-cost: 912 maxlim: 102805 bits: 18/17 108.77/108.82 c ---[ 909]---> Adder-cost: 985 maxlim: 189951 bits: 18/18 108.88/108.98 c ---[ 907]---> Adder-cost: 158 maxlim: 101 bits: 8/7 108.88/108.99 c ---[ 901]---> Adder-cost: 66 maxlim: 44 bits: 7/6 108.88/108.99 c ---[ 899]---> Sorter-cost: 472 Base: 3 108.88/108.99 c ---[ 897]---> Sorter-cost: 501 Base: 2 108.88/108.99 c ---[ 895]---> Sorter-cost: 996 Base: 3 7 2 108.88/108.99 c ---[ 893]---> BDD-cost: 39 108.88/108.99 c ---[ 891]---> Sorter-cost: 583 Base: 3 108.88/108.99 c ---[ 889]---> Adder-cost: 472 maxlim: 78733 bits: 18/17 109.27/109.30 c ---[ 887]---> Adder-cost: 514 maxlim: 92638 bits: 18/17 109.37/109.45 c ---[ 885]---> Adder-cost: 671 maxlim: 92638 bits: 18/17 109.57/109.62 c ---[ 883]---> Adder-cost: 80 maxlim: 74 bits: 8/7 109.57/109.62 c ---[ 881]---> Adder-cost: 102 maxlim: 104 bits: 8/7 109.57/109.62 c ---[ 879]---> Adder-cost: 106 maxlim: 150 bits: 8/8 109.57/109.62 c ---[ 877]---> Adder-cost: 134 maxlim: 262 bits: 9/9 109.57/109.63 c ---[ 875]---> Adder-cost: 120 maxlim: 152 bits: 8/8 109.57/109.63 c ---[ 873]---> Sorter-cost: 485 Base: 2 109.57/109.63 c ---[ 871]---> Adder-cost: 258 maxlim: 394 bits: 9/9 109.57/109.64 c ---[ 869]---> Adder-cost: 308 maxlim: 843 bits: 10/10 109.57/109.65 c ---[ 867]---> Adder-cost: 204 maxlim: 369 bits: 9/9 109.57/109.65 c ---[ 865]---> Adder-cost: 44 maxlim: 42 bits: 6/6 109.57/109.65 c ---[ 863]---> Adder-cost: 58 maxlim: 42 bits: 7/6 109.57/109.65 c ---[ 861]---> Adder-cost: 58 maxlim: 83 bits: 7/7 109.57/109.65 c ---[ 859]---> Sorter-cost: 550 Base: 2 2 2 2 2 109.57/109.66 c ---[ 857]---> Adder-cost: 58 maxlim: 74 bits: 7/7 109.57/109.66 c ---[ 855]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 109.57/109.66 c ---[ 853]---> Adder-cost: 52 maxlim: 42 bits: 6/6 109.57/109.66 c ---[ 851]---> Sorter-cost: 554 Base: 2 2 2 2 2 109.57/109.66 c ---[ 849]---> Sorter-cost: 564 Base: 2 2 2 2 2 2 109.57/109.66 c ---[ 847]---> Adder-cost: 82 maxlim: 91 bits: 7/7 109.57/109.66 c ---[ 845]---> Sorter-cost: 484 Base: 2 109.57/109.66 c ---[ 843]---> Adder-cost: 117 maxlim: 17 bits: 6/5 109.57/109.67 c ---[ 841]---> Adder-cost: 120 maxlim: 19 bits: 6/5 109.57/109.67 c ---[ 839]---> Adder-cost: 128 maxlim: 19 bits: 6/5 109.57/109.67 c ---[ 837]---> Adder-cost: 126 maxlim: 19 bits: 6/5 109.57/109.67 c ---[ 835]---> Adder-cost: 307 maxlim: 136 bits: 9/8 109.57/109.68 c ---[ 833]---> Adder-cost: 343 maxlim: 314 bits: 10/9 109.57/109.69 c ---[ 831]---> Adder-cost: 267 maxlim: 93 bits: 8/7 109.57/109.69 c ---[ 829]---> Adder-cost: 596 maxlim: 8344 bits: 15/14 109.67/109.75 c ---[ 827]---> Adder-cost: 528 maxlim: 4192 bits: 14/13 109.67/109.78 c ---[ 825]---> Adder-cost: 248 maxlim: 39 bits: 7/6 109.67/109.79 c ---[ 823]---> Adder-cost: 196 maxlim: 45 bits: 7/6 109.67/109.79 c ---[ 821]---> Adder-cost: 295 maxlim: 89 bits: 8/7 109.77/109.80 c ---[ 819]---> Adder-cost: 295 maxlim: 121 bits: 8/7 109.77/109.80 c ---[ 817]---> Adder-cost: 283 maxlim: 106 bits: 8/7 109.77/109.81 c ---[ 815]---> Adder-cost: 256 maxlim: 39 bits: 7/6 109.77/109.81 c ---[ 813]---> Adder-cost: 188 maxlim: 45 bits: 7/6 109.77/109.82 c ---[ 811]---> Adder-cost: 467 maxlim: 463 bits: 10/9 109.77/109.84 c ---[ 809]---> Adder-cost: 712 maxlim: 33154 bits: 17/16 109.87/109.98 c ---[ 807]---> Adder-cost: 362 maxlim: 573 bits: 11/10 109.87/109.99 c ---[ 799]---> Adder-cost: 107 maxlim: 45 bits: 7/6 109.87/110.00 c ---[ 797]---> Adder-cost: 93 maxlim: 45 bits: 7/6 109.87/110.00 c ---[ 795]---> Adder-cost: 93 maxlim: 45 bits: 7/6 109.87/110.00 c ---[ 793]---> Adder-cost: 99 maxlim: 45 bits: 7/6 109.87/110.00 c ---[ 791]---> Adder-cost: 91 maxlim: 45 bits: 7/6 109.98/110.00 c ---[ 789]---> Adder-cost: 194 maxlim: 35 bits: 7/6 109.98/110.01 c ---[ 787]---> Adder-cost: 62 maxlim: 76 bits: 8/7 109.98/110.01 c ---[ 785]---> Adder-cost: 70 maxlim: 76 bits: 8/7 109.98/110.01 c ---[ 783]---> Adder-cost: 303 maxlim: 65 bits: 8/7 109.98/110.02 c ---[ 781]---> Adder-cost: 255 maxlim: 77 bits: 8/7 109.98/110.02 c ---[ 779]---> Adder-cost: 257 maxlim: 77 bits: 8/7 109.98/110.03 c ---[ 777]---> Adder-cost: 148 maxlim: 35 bits: 7/6 109.98/110.03 c ---[ 775]---> Adder-cost: 146 maxlim: 35 bits: 7/6 109.98/110.03 c ---[ 773]---> Adder-cost: 2872 maxlim: 49401 bits: 16/16 110.47/110.59 c ---[ 771]---> Adder-cost: 2015 maxlim: 2621 bits: 13/12 110.57/110.65 c ---[ 769]---> Adder-cost: 3076 maxlim: 41404 bits: 17/16 110.78/110.87 c ---[ 767]---> Adder-cost: 3524 maxlim: 50663 bits: 17/16 111.58/111.62 c ---[ 765]---> Adder-cost: 2430 maxlim: 44031 bits: 17/16 111.78/111.80 c ---[ 763]---> Adder-cost: 1820 maxlim: 25775 bits: 16/15 111.98/112.04 c ---[ 761]---> Adder-cost: 1806 maxlim: 2855 bits: 13/12 111.98/112.09 c ---[ 759]---> Adder-cost: 3176 maxlim: 53349 bits: 17/16 112.68/112.75 c ---[ 757]---> Adder-cost: 4458 maxlim: 127164 bits: 18/17 113.78/113.84 c ---[ 755]---> Adder-cost: 3180 maxlim: 52542 bits: 17/16 114.08/114.19 c ---[ 753]---> Adder-cost: 1476 maxlim: 48199 bits: 17/16 114.38/114.40 c ---[ 751]---> Sorter-cost: 979 Base: 7 2 114.38/114.40 c ---[ 749]---> Sorter-cost: 979 Base: 7 2 114.38/114.41 c ---[ 747]---> Sorter-cost: 979 Base: 7 2 114.38/114.41 c ---[ 745]---> Sorter-cost: 979 Base: 7 2 114.38/114.41 c ---[ 743]---> Sorter-cost: 979 Base: 7 2 114.38/114.41 c ---[ 741]---> Adder-cost: 131 maxlim: 107 bits: 8/7 114.38/114.41 c ---[ 739]---> Sorter-cost: 1130 Base: 3 5 114.38/114.42 c ---[ 737]---> Adder-cost: 183 maxlim: 85 bits: 8/7 114.38/114.42 c ---[ 735]---> Adder-cost: 132 maxlim: 28 bits: 6/5 114.38/114.42 c ---[ 733]---> Adder-cost: 150 maxlim: 28 bits: 6/5 114.38/114.42 c ---[ 731]---> Adder-cost: 158 maxlim: 28 bits: 6/5 114.38/114.43 c ---[ 729]---> Adder-cost: 149 maxlim: 45 bits: 7/6 114.38/114.43 c ---[ 727]---> Adder-cost: 145 maxlim: 45 bits: 7/6 114.38/114.43 c ---[ 723]---> Adder-cost: 196 maxlim: 276 bits: 10/9 114.38/114.44 c ---[ 721]---> Adder-cost: 222 maxlim: 533 bits: 11/10 114.38/114.45 c ---[ 719]---> Adder-cost: 184 maxlim: 147 bits: 9/8 114.38/114.45 c ---[ 717]---> Adder-cost: 286 maxlim: 16410 bits: 16/15 114.38/114.46 c ---[ 715]---> Adder-cost: 276 maxlim: 8217 bits: 15/14 114.38/114.47 c ---[ 713]---> Adder-cost: 167 maxlim: 82 bits: 8/7 114.38/114.48 c ---[ 711]---> Adder-cost: 173 maxlim: 82 bits: 8/7 114.38/114.48 c ---[ 709]---> Adder-cost: 53 maxlim: 30 bits: 6/5 114.38/114.48 c ---[ 707]---> Adder-cost: 78 maxlim: 30 bits: 6/5 114.38/114.48 c ---[ 705]---> Adder-cost: 72 maxlim: 30 bits: 6/5 114.38/114.48 c ---[ 703]---> Adder-cost: 70 maxlim: 30 bits: 6/5 114.38/114.49 c ---[ 701]---> Adder-cost: 156 maxlim: 37 bits: 7/6 114.38/114.49 c ---[ 699]---> Adder-cost: 162 maxlim: 37 bits: 7/6 114.38/114.49 c ---[ 697]---> Adder-cost: 115 maxlim: 147 bits: 9/8 114.38/114.49 c ---[ 695]---> Adder-cost: 139 maxlim: 276 bits: 10/9 114.38/114.50 c ---[ 693]---> Adder-cost: 127 maxlim: 147 bits: 9/8 114.48/114.50 c ---[ 691]---> Adder-cost: 163 maxlim: 82 bits: 8/7 114.48/114.51 c ---[ 689]---> Adder-cost: 169 maxlim: 82 bits: 8/7 114.48/114.51 c ---[ 687]---> Adder-cost: 228 maxlim: 1046 bits: 12/11 114.48/114.52 c ---[ 685]---> Adder-cost: 318 maxlim: 65564 bits: 18/17 114.48/114.53 c ---[ 683]---> Adder-cost: 230 maxlim: 1046 bits: 12/11 114.48/114.54 c ---[ 675]---> Adder-cost: 111 maxlim: 147 bits: 9/8 114.48/114.54 c ---[ 673]---> Adder-cost: 129 maxlim: 147 bits: 9/8 114.48/114.55 c ---[ 671]---> Adder-cost: 125 maxlim: 147 bits: 9/8 114.48/114.55 c ---[ 669]---> Adder-cost: 473 maxlim: 11495 bits: 15/14 114.58/114.62 c ---[ 667]---> Adder-cost: 472 maxlim: 25035 bits: 16/15 114.68/114.77 c ---[ 665]---> Adder-cost: 199 maxlim: 58 bits: 7/6 114.68/114.77 c ---[ 663]---> Adder-cost: 284 maxlim: 58 bits: 7/6 114.68/114.78 c ---[ 661]---> Adder-cost: 283 maxlim: 69 bits: 8/7 114.68/114.78 c ---[ 659]---> Adder-cost: 170 maxlim: 66 bits: 8/7 114.68/114.79 c ---[ 657]---> Adder-cost: 80 maxlim: 22 bits: 6/5 114.68/114.79 c ---[ 655]---> Adder-cost: 64 maxlim: 22 bits: 6/5 114.68/114.79 c ---[ 653]---> Adder-cost: 78 maxlim: 22 bits: 6/5 114.68/114.79 c ---[ 651]---> Adder-cost: 88 maxlim: 22 bits: 6/5 114.68/114.79 c ---[ 649]---> Adder-cost: 78 maxlim: 22 bits: 6/5 114.68/114.79 c ---[ 647]---> Sorter-cost: 986 Base: 3 3 114.68/114.79 c ---[ 645]---> Adder-cost: 74 maxlim: 36 bits: 7/6 114.78/114.80 c ---[ 643]---> Adder-cost: 76 maxlim: 36 bits: 7/6 114.78/114.80 c ---[ 641]---> Adder-cost: 154 maxlim: 34 bits: 7/6 114.78/114.80 c ---[ 639]---> Adder-cost: 1105 maxlim: 5145 bits: 14/13 114.78/114.86 c ---[ 637]---> Adder-cost: 1540 maxlim: 26484 bits: 16/15 114.98/115.08 c ---[ 635]---> Adder-cost: 994 maxlim: 3002 bits: 13/12 115.08/115.12 c ---[ 633]---> Adder-cost: 787 maxlim: 2408 bits: 13/12 115.08/115.17 c ---[ 631]---> Adder-cost: 1133 maxlim: 18824 bits: 16/15 115.28/115.34 c ---[ 629]---> Adder-cost: 695 maxlim: 1478 bits: 12/11 115.28/115.37 c ---[ 627]---> Adder-cost: 167 maxlim: 166 bits: 9/8 115.28/115.37 c ---[ 625]---> Adder-cost: 175 maxlim: 166 bits: 9/8 115.28/115.37 c ---[ 623]---> Adder-cost: 245 maxlim: 99 bits: 8/7 115.28/115.38 c ---[ 621]---> Adder-cost: 231 maxlim: 107 bits: 8/7 115.28/115.39 c ---[ 619]---> Adder-cost: 162 maxlim: 62 bits: 7/6 115.28/115.39 c ---[ 617]---> Adder-cost: 133 maxlim: 75 bits: 8/7 115.28/115.39 c ---[ 615]---> Adder-cost: 147 maxlim: 75 bits: 8/7 115.28/115.39 c ---[ 613]---> Adder-cost: 133 maxlim: 75 bits: 8/7 115.38/115.40 c ---[ 611]---> Adder-cost: 139 maxlim: 75 bits: 8/7 115.38/115.40 c ---[ 609]---> Sorter-cost: 1030 Base: 5 3 115.38/115.40 c ---[ 607]---> Adder-cost: 133 maxlim: 75 bits: 8/7 115.38/115.40 c ---[ 605]---> Adder-cost: 253 maxlim: 91 bits: 8/7 115.38/115.41 c ---[ 603]---> Adder-cost: 253 maxlim: 106 bits: 8/7 115.38/115.41 c ---[ 601]---> Adder-cost: 251 maxlim: 106 bits: 8/7 115.38/115.42 c ---[ 599]---> Adder-cost: 151 maxlim: 170 bits: 9/8 115.38/115.42 c ---[ 597]---> Adder-cost: 163 maxlim: 170 bits: 9/8 115.38/115.43 c ---[ 595]---> Adder-cost: 235 maxlim: 100 bits: 8/7 115.38/115.43 c ---[ 593]---> Adder-cost: 183 maxlim: 137 bits: 9/8 115.38/115.44 c ---[ 591]---> Adder-cost: 220 maxlim: 63 bits: 7/6 115.38/115.44 c ---[ 589]---> Adder-cost: 183 maxlim: 77 bits: 8/7 115.38/115.45 c ---[ 587]---> Adder-cost: 183 maxlim: 77 bits: 8/7 115.38/115.45 c ---[ 585]---> Adder-cost: 226 maxlim: 74 bits: 8/7 115.38/115.45 c ---[ 583]---> Adder-cost: 265 maxlim: 74 bits: 8/7 115.38/115.46 c ---[ 581]---> Adder-cost: 221 maxlim: 93 bits: 8/7 115.38/115.46 c ---[ 579]---> Adder-cost: 176 maxlim: 87 bits: 8/7 115.38/115.47 c ---[ 569]---> Adder-cost: 347 maxlim: 421 bits: 10/9 115.38/115.48 c ---[ 567]---> Adder-cost: 472 maxlim: 66515 bits: 18/17 115.68/115.70 c ---[ 565]---> Adder-cost: 157 maxlim: 29 bits: 6/5 115.68/115.70 c ---[ 563]---> Adder-cost: 155 maxlim: 29 bits: 6/5 115.68/115.71 c ---[ 561]---> Adder-cost: 296 maxlim: 126 bits: 8/7 115.68/115.71 c ---[ 559]---> Adder-cost: 476 maxlim: 22633 bits: 16/15 115.78/115.89 c ---[ 557]---> Adder-cost: 186 maxlim: 43 bits: 7/6 115.78/115.89 c ---[ 555]---> Adder-cost: 148 maxlim: 35 bits: 7/6 115.88/115.90 c ---[ 553]---> Adder-cost: 162 maxlim: 35 bits: 7/6 115.88/115.90 c ---[ 551]---> Adder-cost: 543 maxlim: 35538 bits: 17/16 115.98/116.08 c ---[ 549]---> Adder-cost: 140 maxlim: 22 bits: 6/5 115.98/116.09 c ---[ 547]---> Adder-cost: 138 maxlim: 22 bits: 6/5 115.98/116.09 c ---[ 545]---> Adder-cost: 541 maxlim: 54321 bits: 17/16 116.28/116.35 c ---[ 543]---> Sorter-cost: 872 Base: 7 116.28/116.35 c ---[ 541]---> Adder-cost: 109 maxlim: 33 bits: 7/6 116.28/116.36 c ---[ 539]---> Adder-cost: 99 maxlim: 33 bits: 7/6 116.28/116.36 c ---[ 537]---> Adder-cost: 105 maxlim: 33 bits: 7/6 116.28/116.36 c ---[ 535]---> Adder-cost: 132 maxlim: 28 bits: 6/5 116.28/116.36 c ---[ 533]---> Adder-cost: 134 maxlim: 28 bits: 6/5 116.28/116.36 c ---[ 531]---> Sorter-cost: 905 Base: 3 7 116.28/116.37 c ---[ 529]---> Sorter-cost: 905 Base: 3 7 116.28/116.37 c ---[ 527]---> Adder-cost: 99 maxlim: 139 bits: 9/8 116.28/116.37 c ---[ 525]---> Adder-cost: 552 maxlim: 87425 bits: 18/17 116.38/116.42 c ---[ 523]---> Adder-cost: 548 maxlim: 87425 bits: 18/17 116.38/116.48 c ---[ 521]---> Adder-cost: 554 maxlim: 64787 bits: 17/16 116.48/116.53 c ---[ 519]---> Adder-cost: 705 maxlim: 49523 bits: 17/16 116.78/116.84 c ---[ 517]---> Adder-cost: 634 maxlim: 49484 bits: 17/16 116.98/117.05 c ---[ 515]---> Adder-cost: 657 maxlim: 49484 bits: 17/16 117.28/117.32 c ---[ 513]---> Adder-cost: 663 maxlim: 49484 bits: 17/16 117.58/117.60 c ---[ 511]---> Adder-cost: 669 maxlim: 49484 bits: 17/16 117.78/117.87 c ---[ 509]---> Adder-cost: 695 maxlim: 49505 bits: 17/16 118.08/118.17 c ---[ 507]---> Adder-cost: 659 maxlim: 49484 bits: 17/16 118.38/118.44 c ---[ 505]---> Adder-cost: 547 maxlim: 84585 bits: 18/17 118.98/119.07 c ---[ 503]---> Adder-cost: 643 maxlim: 77224 bits: 18/17 119.38/119.45 c ---[ 501]---> Adder-cost: 531 maxlim: 79969 bits: 18/17 119.88/119.96 c ---[ 499]---> Adder-cost: 711 maxlim: 49505 bits: 17/16 120.18/120.26 c ---[ 497]---> Adder-cost: 352 maxlim: 2829 bits: 13/12 120.18/120.28 c ---[ 495]---> Adder-cost: 420 maxlim: 76526 bits: 17/17 120.38/120.43 c ---[ 493]---> Adder-cost: 416 maxlim: 76536 bits: 17/17 120.48/120.58 c ---[ 491]---> Adder-cost: 432 maxlim: 76545 bits: 17/17 120.68/120.74 c ---[ 489]---> Adder-cost: 348 maxlim: 19233 bits: 15/15 120.68/120.79 c ---[ 485]---> Adder-cost: 336 maxlim: 19159 bits: 15/15 120.78/120.85 c ---[ 483]---> Adder-cost: 558 maxlim: 6418 bits: 14/13 120.78/120.89 c ---[ 481]---> Adder-cost: 885 maxlim: 42028 bits: 17/16 120.98/121.09 c ---[ 479]---> Adder-cost: 742 maxlim: 50904 bits: 17/16 121.08/121.18 c ---[ 477]---> Adder-cost: 186 maxlim: 447 bits: 10/9 121.08/121.19 c ---[ 475]---> Adder-cost: 704 maxlim: 117836 bits: 18/17 121.48/121.51 c ---[ 473]---> Adder-cost: 490 maxlim: 29538 bits: 16/15 121.58/121.60 c ---[ 471]---> Adder-cost: 596 maxlim: 42411 bits: 17/16 121.58/121.67 c ---[ 469]---> Adder-cost: 914 maxlim: 84388 bits: 18/17 121.88/121.93 c ---[ 467]---> Adder-cost: 584 maxlim: 41542 bits: 16/16 121.98/122.00 c ---[ 465]---> Adder-cost: 332 maxlim: 236555 bits: 19/18 122.08/122.13 c ---[ 463]---> Adder-cost: 324 maxlim: 236555 bits: 19/18 122.18/122.27 c ---[ 461]---> Adder-cost: 332 maxlim: 236555 bits: 19/18 122.38/122.40 c ---[ 459]---> Adder-cost: 170 maxlim: 27 bits: 6/5 122.38/122.41 c ---[ 457]---> Adder-cost: 333 maxlim: 101 bits: 8/7 122.38/122.41 c ---[ 455]---> Adder-cost: 245 maxlim: 58 bits: 7/6 122.38/122.42 c ---[ 453]---> Adder-cost: 1531 maxlim: 35739 bits: 17/16 122.78/122.88 c ---[ 451]---> Adder-cost: 656 maxlim: 7483 bits: 14/13 122.88/122.92 c ---[ 449]---> Adder-cost: 986 maxlim: 8995 bits: 15/14 122.98/123.00 c ---[ 447]---> Adder-cost: 1108 maxlim: 17953 bits: 16/15 123.08/123.12 c ---[ 445]---> Adder-cost: 924 maxlim: 8995 bits: 14/14 123.08/123.20 c ---[ 443]---> Adder-cost: 948 maxlim: 59448 bits: 17/16 123.28/123.33 c ---[ 441]---> Adder-cost: 646 maxlim: 7454 bits: 14/13 123.28/123.37 c ---[ 439]---> Adder-cost: 1244 maxlim: 42630 bits: 17/16 123.58/123.62 c ---[ 437]---> Adder-cost: 1565 maxlim: 41973 bits: 17/16 124.08/124.15 c ---[ 435]---> Adder-cost: 1252 maxlim: 41879 bits: 17/16 124.28/124.34 c ---[ 433]---> Adder-cost: 572 maxlim: 1888 bits: 12/11 124.28/124.36 c ---[ 431]---> Adder-cost: 372 maxlim: 1990 bits: 12/11 124.28/124.38 c ---[ 429]---> Adder-cost: 610 maxlim: 56395 bits: 17/16 124.38/124.43 c ---[ 427]---> Adder-cost: 396 maxlim: 18536 bits: 15/15 124.38/124.45 c ---[ 425]---> Adder-cost: 682 maxlim: 4608 bits: 13/13 124.48/124.50 c ---[ 423]---> Adder-cost: 892 maxlim: 36731 bits: 17/16 124.58/124.61 c ---[ 421]---> Adder-cost: 888 maxlim: 36731 bits: 17/16 124.68/124.73 c ---[ 419]---> Adder-cost: 874 maxlim: 36744 bits: 17/16 124.78/124.85 c ---[ 417]---> Adder-cost: 820 maxlim: 18409 bits: 15/15 124.88/124.93 c ---[ 413]---> Adder-cost: 800 maxlim: 18375 bits: 15/15 124.98/125.01 c ---[ 411]---> Adder-cost: 1370 maxlim: 16368 bits: 15/14 125.17/125.27 c ---[ 409]---> Adder-cost: 622 maxlim: 38 bits: 7/6 125.17/125.28 c ---[ 407]---> Adder-cost: 1272 maxlim: 1535 bits: 12/11 125.27/125.34 c ---[ 405]---> Adder-cost: 1438 maxlim: 3046 bits: 13/12 125.38/125.43 c ---[ 403]---> Adder-cost: 906 maxlim: 10684 bits: 15/14 125.48/125.53 c ---[ 401]---> Adder-cost: 1089 maxlim: 24296 bits: 16/15 125.57/125.68 c ---[ 399]---> Adder-cost: 954 maxlim: 12160 bits: 15/14 125.67/125.76 c ---[ 397]---> Adder-cost: 1574 maxlim: 20077 bits: 16/15 125.87/125.95 c ---[ 395]---> Adder-cost: 2087 maxlim: 19853 bits: 16/15 126.37/126.45 c ---[ 393]---> Adder-cost: 1470 maxlim: 20872 bits: 16/15 126.58/126.63 c ---[ 391]---> Adder-cost: 874 maxlim: 19965 bits: 16/15 126.67/126.74 c ---[ 389]---> Adder-cost: 352 maxlim: 16472 bits: 15/15 126.67/126.77 c ---[ 387]---> Adder-cost: 590 maxlim: 65409 bits: 17/16 126.87/126.93 c ---[ 385]---> Adder-cost: 322 maxlim: 8258 bits: 14/14 126.87/126.96 c ---[ 383]---> Adder-cost: 1054 maxlim: 30316 bits: 16/15 126.97/127.09 c ---[ 381]---> Adder-cost: 1242 maxlim: 28658 bits: 16/15 127.17/127.26 c ---[ 379]---> Adder-cost: 1334 maxlim: 26909 bits: 16/15 127.37/127.46 c ---[ 377]---> Adder-cost: 1280 maxlim: 26957 bits: 16/15 127.58/127.65 c ---[ 375]---> Adder-cost: 870 maxlim: 10763 bits: 15/14 127.68/127.72 c ---[ 373]---> Adder-cost: 628 maxlim: 10836 bits: 15/14 127.68/127.76 c ---[ 371]---> Adder-cost: 824 maxlim: 12883 bits: 15/14 127.77/127.83 c ---[ 369]---> Adder-cost: 1272 maxlim: 2544 bits: 13/12 127.87/127.95 c ---[ 367]---> Adder-cost: 1740 maxlim: 18583 bits: 16/15 128.07/128.14 c ---[ 365]---> Adder-cost: 809 maxlim: 16534 bits: 15/15 128.17/128.25 c ---[ 363]---> Adder-cost: 224 maxlim: 538 bits: 10/10 128.17/128.26 c ---[ 357]---> Adder-cost: 1639 maxlim: 11484 bits: 15/14 128.27/128.36 c ---[ 355]---> Adder-cost: 2004 maxlim: 10142 bits: 15/14 128.37/128.46 c ---[ 353]---> Adder-cost: 2008 maxlim: 9479 bits: 15/14 128.47/128.56 c ---[ 351]---> Adder-cost: 1984 maxlim: 9549 bits: 15/14 128.57/128.66 c ---[ 349]---> Adder-cost: 1000 maxlim: 16541 bits: 16/15 128.68/128.71 c ---[ 347]---> Adder-cost: 884 maxlim: 15674 bits: 15/14 128.68/128.79 c ---[ 345]---> Adder-cost: 1270 maxlim: 17535 bits: 15/15 128.87/128.93 c ---[ 343]---> Adder-cost: 1047 maxlim: 76 bits: 8/7 128.87/128.95 c ---[ 341]---> Adder-cost: 1192 maxlim: 16666 bits: 16/15 128.97/129.04 c ---[ 339]---> Adder-cost: 752 maxlim: 35116 bits: 17/16 129.07/129.10 c ---[ 337]---> Adder-cost: 230 maxlim: 666 bits: 11/10 129.07/129.11 c ---[ 336]---> Sorter-cost: 4195 Base: 3 7 2 2 2 2 2 2 2 2 2 129.07/129.17 c ---[ 335]---> Sorter-cost: 4845 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 129.17/129.27 c ---[ 334]---> Sorter-cost: 3900 Base: 3 7 2 2 2 2 2 2 2 2 129.27/129.30 c ---[ 333]---> Sorter-cost: 4205 Base: 3 7 2 2 2 2 2 2 2 2 2 129.27/129.36 c ---[ 332]---> Sorter-cost: 4849 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 129.37/129.46 c ---[ 331]---> Sorter-cost: 3912 Base: 3 7 2 2 2 2 2 2 2 2 129.47/129.50 c ---[ 330]---> Adder-cost: 804 maxlim: 8464 bits: 14/14 129.47/129.57 c ---[ 329]---> Adder-cost: 1029 maxlim: 31740 bits: 16/15 129.67/129.77 c ---[ 328]---> Adder-cost: 729 maxlim: 4251 bits: 13/13 129.78/129.83 c ---[ 327]---> Adder-cost: 466 maxlim: 32795 bits: 16/16 129.78/129.85 c ---[ 326]---> Adder-cost: 552 maxlim: 65564 bits: 18/17 129.78/129.88 c ---[ 325]---> Adder-cost: 458 maxlim: 16410 bits: 15/15 129.78/129.90 c ---[ 324]---> Adder-cost: 624 maxlim: 29146 bits: 16/15 129.88/129.94 c ---[ 323]---> Adder-cost: 887 maxlim: 58274 bits: 17/16 129.97/130.01 c ---[ 322]---> Adder-cost: 604 maxlim: 14582 bits: 15/14 129.97/130.05 c ---[ 320]---> Adder-cost: 557 maxlim: 15647 bits: 15/14 129.97/130.08 c ---[ 318]---> Adder-cost: 234 maxlim: 33067 bits: 17/16 129.97/130.09 c ---[ 314]---> Adder-cost: 1677 maxlim: 17421 bits: 16/15 130.17/130.20 c ---[ 312]---> Adder-cost: 2238 maxlim: 111372 bits: 18/17 130.57/130.68 c ---[ 310]---> Adder-cost: 1581 maxlim: 11380 bits: 15/14 130.77/130.81 c ---[ 308]---> Adder-cost: 530 maxlim: 1636 bits: 12/11 130.77/130.82 c ---[ 306]---> Adder-cost: 1128 maxlim: 87489 bits: 18/17 130.87/130.92 c ---[ 304]---> Adder-cost: 802 maxlim: 38956 bits: 17/16 130.87/130.99 c ---[ 302]---> Adder-cost: 314 maxlim: 1564 bits: 12/11 130.87/131.00 c ---[ 300]---> Adder-cost: 454 maxlim: 164832 bits: 19/18 130.97/131.05 c ---[ 296]---> Sorter-cost: 2150 Base: 3 7 2 2 2 130.97/131.06 c ---[ 294]---> Adder-cost: 244 maxlim: 930 bits: 11/10 130.97/131.07 c ---[ 292]---> Adder-cost: 1178 maxlim: 150431 bits: 19/18 131.57/131.67 c ---[ 290]---> Adder-cost: 1432 maxlim: 158798 bits: 19/18 132.46/132.53 c ---[ 288]---> Adder-cost: 520 maxlim: 42655 bits: 17/16 132.56/132.67 c ---[ 286]---> Adder-cost: 464 maxlim: 39034 bits: 17/16 132.66/132.71 c ---[ 284]---> Adder-cost: 510 maxlim: 149635 bits: 18/18 132.66/132.76 c ---[ 282]---> Adder-cost: 491 maxlim: 26270 bits: 16/15 132.76/132.87 c ---[ 280]---> Adder-cost: 506 maxlim: 225414 bits: 19/18 132.86/132.93 c ---[ 278]---> Adder-cost: 526 maxlim: 286855 bits: 19/19 132.86/132.98 c ---[ 276]---> Adder-cost: 472 maxlim: 103551 bits: 18/17 132.96/133.03 c ---[ 274]---> Adder-cost: 1889 maxlim: 32744 bits: 16/15 133.07/133.13 c ---[ 272]---> Adder-cost: 514 maxlim: 6622 bits: 14/13 133.07/133.18 c ---[ 270]---> Adder-cost: 578 maxlim: 12482 bits: 15/14 133.17/133.24 c ---[ 268]---> Adder-cost: 275 maxlim: 498 bits: 10/9 133.17/133.25 c ---[ 266]---> Adder-cost: 2632 maxlim: 24985 bits: 16/15 133.36/133.48 c ---[ 264]---> Adder-cost: 170 maxlim: 2066 bits: 13/12 133.36/133.49 c ---[ 263]---> Adder-cost: 1034 maxlim: 23573 bits: 16/15 133.67/133.76 c ---[ 262]---> Adder-cost: 1300 maxlim: 160926 bits: 19/18 134.18/134.23 c ---[ 261]---> Adder-cost: 1022 maxlim: 16666 bits: 16/15 134.37/134.47 c ---[ 260]---> Adder-cost: 2212 maxlim: 641 bits: 11/10 134.57/134.60 c ---[ 259]---> Adder-cost: 999 maxlim: 185 bits: 9/8 134.57/134.62 c ---[ 258]---> Adder-cost: 1676 maxlim: 271 bits: 10/9 134.57/134.65 c ---[ 257]---> Adder-cost: 1886 maxlim: 486 bits: 10/9 134.67/134.70 c ---[ 256]---> Adder-cost: 1396 maxlim: 303 bits: 10/9 134.67/134.73 c ---[ 255]---> Adder-cost: 1722 maxlim: 581 bits: 11/10 134.77/134.80 c ---[ 254]---> Adder-cost: 1025 maxlim: 35 bits: 7/6 134.77/134.82 c ---[ 253]---> Adder-cost: 2146 maxlim: 745 bits: 11/10 134.77/134.88 c ---[ 252]---> Adder-cost: 2782 maxlim: 1872 bits: 12/11 134.97/135.02 c ---[ 251]---> Adder-cost: 1850 maxlim: 392 bits: 10/9 134.97/135.06 c ---[ 250]---> Adder-cost: 1246 maxlim: 695 bits: 11/10 135.07/135.10 c ---[ 249]---> Adder-cost: 1740 maxlim: 917 bits: 11/10 135.17/135.21 c ---[ 248]---> Adder-cost: 386 maxlim: 16181 bits: 15/14 135.17/135.24 c ---[ 247]---> Adder-cost: 566 maxlim: 258385 bits: 19/18 135.47/135.53 c ---[ 246]---> Adder-cost: 480 maxlim: 61245 bits: 17/16 135.57/135.67 c ---[ 245]---> Adder-cost: 1941 maxlim: 564 bits: 11/10 135.67/135.78 c ---[ 244]---> Adder-cost: 739 maxlim: 71 bits: 8/7 135.77/135.80 c ---[ 243]---> Adder-cost: 1526 maxlim: 87 bits: 8/7 135.77/135.84 c ---[ 242]---> Adder-cost: 1637 maxlim: 143 bits: 9/8 135.77/135.89 c ---[ 241]---> Adder-cost: 1387 maxlim: 93 bits: 8/7 135.87/135.92 c ---[ 240]---> Adder-cost: 1282 maxlim: 573 bits: 11/10 135.87/135.99 c ---[ 239]---> Adder-cost: 1041 maxlim: 35 bits: 7/6 135.97/136.01 c ---[ 238]---> Adder-cost: 2061 maxlim: 212 bits: 9/8 135.97/136.07 c ---[ 236]---> Adder-cost: 1949 maxlim: 121 bits: 8/7 136.07/136.11 c ---[ 235]---> Adder-cost: 1209 maxlim: 660 bits: 11/10 136.07/136.15 c ---[ 234]---> Adder-cost: 1507 maxlim: 743 bits: 11/10 136.17/136.25 c ---[ 233]---> Adder-cost: 1197 maxlim: 321 bits: 10/9 136.17/136.30 c ---[ 229]---> Adder-cost: 1739 maxlim: 733 bits: 11/10 136.27/136.36 c ---[ 228]---> Adder-cost: 2596 maxlim: 5381 bits: 14/13 136.57/136.69 c ---[ 227]---> Adder-cost: 1127 maxlim: 2213 bits: 13/12 136.67/136.79 c ---[ 225]---> Adder-cost: 1799 maxlim: 75 bits: 8/7 136.77/136.83 c ---[ 223]---> Adder-cost: 2210 maxlim: 2649 bits: 13/12 136.97/137.01 c ---[ 222]---> Adder-cost: 1998 maxlim: 37 bits: 7/6 136.97/137.05 c ---[ 221]---> Adder-cost: 2346 maxlim: 895 bits: 11/10 137.07/137.14 c ---[ 220]---> Adder-cost: 3784 maxlim: 6679 bits: 14/13 137.37/137.48 c ---[ 219]---> Adder-cost: 2487 maxlim: 2573 bits: 13/12 137.58/137.65 c ---[ 218]---> Adder-cost: 524 maxlim: 37 bits: 7/6 137.58/137.66 c ---[ 217]---> Adder-cost: 1450 maxlim: 3949 bits: 13/12 137.77/137.88 c ---[ 216]---> Adder-cost: 1754 maxlim: 3773 bits: 13/12 138.07/138.12 c ---[ 215]---> Adder-cost: 2014 maxlim: 6945 bits: 14/13 138.37/138.43 c ---[ 214]---> Adder-cost: 2511 maxlim: 8735 bits: 15/14 138.57/138.66 c ---[ 213]---> Adder-cost: 3009 maxlim: 8375 bits: 15/14 138.87/138.91 c ---[ 212]---> Adder-cost: 3482 maxlim: 8157 bits: 14/13 139.07/139.18 c ---[ 211]---> Adder-cost: 1440 maxlim: 43 bits: 7/6 139.17/139.21 c ---[ 210]---> Adder-cost: 1565 maxlim: 47 bits: 7/6 139.17/139.24 c ---[ 209]---> Adder-cost: 582 maxlim: 41 bits: 7/6 139.17/139.24 c ---[ 208]---> Adder-cost: 1968 maxlim: 4257 bits: 14/13 139.37/139.44 c ---[ 207]---> Adder-cost: 1356 maxlim: 4599 bits: 13/13 139.57/139.63 c ---[ 206]---> Adder-cost: 1654 maxlim: 8481 bits: 14/14 139.77/139.88 c ---[ 205]---> Adder-cost: 1936 maxlim: 7937 bits: 14/13 140.07/140.16 c ---[ 204]---> Adder-cost: 1290 maxlim: 119 bits: 8/7 140.07/140.18 c ---[ 203]---> Adder-cost: 1235 maxlim: 255 bits: 9/8 140.17/140.21 c ---[ 202]---> Adder-cost: 1509 maxlim: 2571 bits: 13/12 140.27/140.30 c ---[ 201]---> Adder-cost: 1511 maxlim: 47 bits: 7/6 140.27/140.33 c ---[ 199]---> Adder-cost: 1153 maxlim: 43 bits: 7/6 140.27/140.35 c ---[ 198]---> Adder-cost: 962 maxlim: 2305 bits: 13/12 140.37/140.42 c ---[ 196]---> Adder-cost: 2008 maxlim: 24741 bits: 15/15 140.57/140.64 c ---[ 194]---> Adder-cost: 1144 maxlim: 1510 bits: 12/11 140.67/140.72 c ---[ 192]---> Adder-cost: 1616 maxlim: 4002 bits: 13/12 140.77/140.85 c ---[ 190]---> Adder-cost: 1808 maxlim: 7059 bits: 14/13 140.97/141.01 c ---[ 188]---> Adder-cost: 1328 maxlim: 3441 bits: 13/12 141.07/141.12 c ---[ 186]---> Adder-cost: 1554 maxlim: 15995 bits: 15/14 141.17/141.27 c ---[ 184]---> Adder-cost: 1154 maxlim: 1850 bits: 12/11 141.27/141.35 c ---[ 182]---> Adder-cost: 1750 maxlim: 4476 bits: 13/13 141.47/141.52 c ---[ 180]---> Adder-cost: 2378 maxlim: 15447 bits: 15/14 141.77/141.80 c ---[ 178]---> Adder-cost: 1474 maxlim: 2331 bits: 12/12 141.87/141.95 c ---[ 176]---> Adder-cost: 1096 maxlim: 10212 bits: 14/14 141.97/142.06 c ---[ 174]---> Adder-cost: 1398 maxlim: 19553 bits: 15/15 142.17/142.20 c ---[ 172]---> Adder-cost: 2108 maxlim: 24190 bits: 15/15 142.37/142.45 c ---[ 170]---> Adder-cost: 1096 maxlim: 1857 bits: 12/11 142.47/142.53 c ---[ 168]---> Adder-cost: 1642 maxlim: 4469 bits: 13/13 142.57/142.69 c ---[ 166]---> Adder-cost: 1838 maxlim: 7982 bits: 14/13 142.77/142.86 c ---[ 164]---> Adder-cost: 1416 maxlim: 4011 bits: 13/12 142.87/142.98 c ---[ 162]---> Adder-cost: 1706 maxlim: 16494 bits: 15/15 143.07/143.16 c ---[ 160]---> Adder-cost: 1144 maxlim: 1803 bits: 11/11 143.17/143.25 c ---[ 158]---> Adder-cost: 1966 maxlim: 6287 bits: 13/13 143.37/143.45 c ---[ 156]---> Adder-cost: 2594 maxlim: 23185 bits: 15/15 143.67/143.79 c ---[ 154]---> Adder-cost: 1802 maxlim: 3484 bits: 12/12 143.87/143.98 c ---[ 152]---> Adder-cost: 1158 maxlim: 10862 bits: 14/14 144.07/144.12 c ---[ 150]---> Adder-cost: 1668 maxlim: 21061 bits: 15/15 144.27/144.30 c ---[ 149]---> Adder-cost: 1538 maxlim: 150561 bits: 18/18 144.77/144.88 c ---[ 148]---> Adder-cost: 1234 maxlim: 92810 bits: 17/17 145.07/145.16 c ---[ 147]---> Adder-cost: 1252 maxlim: 106808 bits: 17/17 145.37/145.48 c ---[ 146]---> Adder-cost: 1464 maxlim: 213703 bits: 19/18 146.07/146.12 c ---[ 145]---> Adder-cost: 1156 maxlim: 47457 bits: 16/16 146.27/146.31 c ---[ 144]---> Adder-cost: 1442 maxlim: 195733 bits: 18/18 146.87/146.93 c ---[ 143]---> Adder-cost: 472 maxlim: 517 bits: 10/10 146.87/146.94 c ---[ 142]---> Adder-cost: 1406 maxlim: 146590 bits: 18/18 147.47/147.52 c ---[ 141]---> Adder-cost: 1502 maxlim: 132987 bits: 18/18 147.97/148.01 c ---[ 140]---> Adder-cost: 1164 maxlim: 49212 bits: 16/16 148.17/148.22 c ---[ 139]---> Adder-cost: 1198 maxlim: 53487 bits: 16/16 148.37/148.44 c ---[ 138]---> Adder-cost: 1418 maxlim: 165476 bits: 18/18 148.87/148.95 c ---[ 137]---> Adder-cost: 1056 maxlim: 25700 bits: 15/15 148.97/149.09 c ---[ 136]---> Adder-cost: 1364 maxlim: 121781 bits: 18/17 149.37/149.42 c ---[ 135]---> Adder-cost: 442 maxlim: 489 bits: 10/9 149.37/149.43 c ---[ 134]---> Adder-cost: 968 maxlim: 131649 bits: 18/18 149.67/149.72 c ---[ 133]---> Adder-cost: 1016 maxlim: 142976 bits: 18/18 149.97/150.01 c ---[ 132]---> Adder-cost: 1022 maxlim: 134149 bits: 18/18 150.27/150.31 c ---[ 131]---> Adder-cost: 1370 maxlim: 124477 bits: 18/17 150.67/150.75 c ---[ 130]---> Adder-cost: 1658 maxlim: 9646 bits: 15/14 150.87/150.95 c ---[ 126]---> Adder-cost: 1812 maxlim: 10822 bits: 15/14 151.17/151.26 c ---[ 125]---> Adder-cost: 2446 maxlim: 56636 bits: 16/16 151.66/151.78 c ---[ 124]---> Adder-cost: 1514 maxlim: 32061 bits: 16/15 151.96/152.05 c ---[ 122]---> Adder-cost: 1996 maxlim: 1858 bits: 12/11 151.96/152.09 c ---[ 120]---> Adder-cost: 2466 maxlim: 17568 bits: 15/15 152.46/152.52 c ---[ 119]---> Adder-cost: 2492 maxlim: 2078 bits: 13/12 152.56/152.61 c ---[ 118]---> Adder-cost: 2718 maxlim: 6301 bits: 14/13 153.26/153.34 c ---[ 117]---> Adder-cost: 3980 maxlim: 38472 bits: 16/16 154.36/154.43 c ---[ 116]---> Adder-cost: 2398 maxlim: 23476 bits: 15/15 154.76/154.88 c ---[ 115]---> Adder-cost: 684 maxlim: 533 bits: 11/10 154.76/154.89 c ---[ 114]---> Adder-cost: 1474 maxlim: 1570 bits: 11/11 154.96/155.08 c ---[ 113]---> Adder-cost: 1574 maxlim: 1645 bits: 11/11 155.17/155.29 c ---[ 112]---> Adder-cost: 1764 maxlim: 2062 bits: 12/12 155.46/155.54 c ---[ 111]---> Adder-cost: 3288 maxlim: 23197 bits: 15/15 156.17/156.29 c ---[ 110]---> Adder-cost: 3468 maxlim: 24274 bits: 15/15 157.06/157.12 c ---[ 109]---> Adder-cost: 3418 maxlim: 24088 bits: 15/15 157.86/157.98 c ---[ 108]---> Adder-cost: 1411 maxlim: 1500 bits: 12/11 157.96/158.03 c ---[ 107]---> Adder-cost: 1669 maxlim: 1512 bits: 12/11 157.96/158.07 c ---[ 106]---> Adder-cost: 711 maxlim: 488 bits: 10/9 157.96/158.09 c ---[ 105]---> Adder-cost: 1902 maxlim: 20024 bits: 16/15 158.37/158.43 c ---[ 104]---> Adder-cost: 1408 maxlim: 1403 bits: 11/11 158.56/158.62 c ---[ 103]---> Adder-cost: 1616 maxlim: 2387 bits: 12/12 158.76/158.85 c ---[ 102]---> Adder-cost: 1754 maxlim: 1878 bits: 11/11 159.06/159.10 c ---[ 101]---> Adder-cost: 1192 maxlim: 1322 bits: 12/11 159.06/159.14 c ---[ 100]---> Adder-cost: 1166 maxlim: 2125 bits: 13/12 159.16/159.20 c ---[ 99]---> Adder-cost: 1578 maxlim: 8963 bits: 15/14 159.26/159.32 c ---[ 98]---> Adder-cost: 1596 maxlim: 1497 bits: 12/11 159.26/159.37 c ---[ 97]---> Adder-cost: 2226 maxlim: 2831 bits: 13/12 159.36/159.45 c ---[ 96]---> Adder-cost: 1480 maxlim: 1446 bits: 12/11 159.36/159.49 c ---[ 95]---> Adder-cost: 1082 maxlim: 7237 bits: 14/13 159.47/159.58 c ---[ 94]---> Adder-cost: 1024 maxlim: 7041 bits: 13/13 159.66/159.72 c ---[ 90]---> Adder-cost: 1424 maxlim: 7841 bits: 14/13 159.96/160.00 c ---[ 89]---> Adder-cost: 1978 maxlim: 59633 bits: 17/16 160.57/160.63 c ---[ 88]---> Adder-cost: 1044 maxlim: 23480 bits: 15/15 160.76/160.80 c ---[ 86]---> Adder-cost: 1268 maxlim: 2277 bits: 12/12 160.96/161.07 c ---[ 84]---> Adder-cost: 1876 maxlim: 36057 bits: 16/16 161.46/161.50 c ---[ 83]---> Adder-cost: 1618 maxlim: 2080 bits: 12/12 161.86/161.98 c ---[ 82]---> Adder-cost: 2304 maxlim: 9215 bits: 14/14 162.66/162.71 c ---[ 81]---> Adder-cost: 3750 maxlim: 52206 bits: 16/16 163.87/163.91 c ---[ 80]---> Adder-cost: 1784 maxlim: 32504 bits: 16/15 164.26/164.37 c ---[ 79]---> Adder-cost: 576 maxlim: 679 bits: 10/10 164.36/164.41 c ---[ 78]---> Adder-cost: 1249 maxlim: 1522 bits: 12/11 164.36/164.46 c ---[ 77]---> Adder-cost: 1373 maxlim: 1586 bits: 12/11 164.46/164.51 c ---[ 76]---> Adder-cost: 1883 maxlim: 2143 bits: 13/12 164.46/164.57 c ---[ 75]---> Adder-cost: 3096 maxlim: 34977 bits: 16/16 165.36/165.45 c ---[ 74]---> Adder-cost: 2718 maxlim: 35923 bits: 16/16 166.36/166.41 c ---[ 73]---> Adder-cost: 2690 maxlim: 36140 bits: 16/16 167.36/167.44 c ---[ 72]---> Adder-cost: 45 maxlim: 1586 bits: 11/11 167.56/167.60 c ---[ 71]---> Adder-cost: 1496 maxlim: 1623 bits: 11/11 167.76/167.81 c ---[ 70]---> Adder-cost: 23 maxlim: 676 bits: 10/10 167.76/167.84 c ---[ 69]---> Adder-cost: 1584 maxlim: 43602 bits: 16/16 168.16/168.20 c ---[ 68]---> Adder-cost: 1092 maxlim: 1617 bits: 12/11 168.16/168.25 c ---[ 67]---> Adder-cost: 1643 maxlim: 3219 bits: 13/12 168.27/168.31 c ---[ 66]---> Adder-cost: 1579 maxlim: 2260 bits: 13/12 168.27/168.38 c ---[ 65]---> Adder-cost: 193 maxlim: 1861 bits: 11/11 168.37/168.48 c ---[ 64]---> Adder-cost: 1008 maxlim: 3443 bits: 12/12 168.46/168.58 c ---[ 63]---> Adder-cost: 1328 maxlim: 24276 bits: 15/15 168.76/168.82 c ---[ 62]---> Adder-cost: 1550 maxlim: 1623 bits: 11/11 168.96/169.03 c ---[ 61]---> Adder-cost: 1694 maxlim: 3270 bits: 12/12 169.16/169.29 c ---[ 60]---> Adder-cost: 766 maxlim: 1506 bits: 11/11 169.37/169.43 c ---[ 59]---> Adder-cost: 878 maxlim: 19308 bits: 15/15 169.47/169.55 c ---[ 58]---> Adder-cost: 656 maxlim: 2564 bits: 12/12 169.47/169.59 c ---[ 57]---> Adder-cost: 664 maxlim: 17231 bits: 15/15 169.56/169.67 c ---[ 56]---> Adder-cost: 450 maxlim: 3331 bits: 12/12 169.56/169.69 c ---[ 55]---> Adder-cost: 434 maxlim: 3299 bits: 12/12 169.66/169.71 c ---[ 54]---> Adder-cost: 514 maxlim: 6515 bits: 13/13 169.66/169.75 c ---[ 53]---> Adder-cost: 510 maxlim: 6575 bits: 13/13 169.66/169.78 c ---[ 52]---> Adder-cost: 664 maxlim: 7265 bits: 14/13 169.76/169.82 c ---[ 51]---> Adder-cost: 286 maxlim: 357 bits: 9/9 169.76/169.83 c ---[ 50]---> Adder-cost: 688 maxlim: 17231 bits: 15/15 169.86/169.91 c ---[ 49]---> Adder-cost: 624 maxlim: 32021 bits: 16/15 169.86/169.99 c ---[ 48]---> Adder-cost: 594 maxlim: 11451 bits: 14/14 169.96/170.04 c ---[ 47]---> Adder-cost: 716 maxlim: 35127 bits: 16/16 170.06/170.13 c ---[ 46]---> Adder-cost: 554 maxlim: 7505 bits: 14/13 170.06/170.17 c ---[ 45]---> BDD-cost: 14 170.06/170.17 c ---[ 44]---> BDD-cost: 12 170.06/170.17 c ---[ 43]---> BDD-cost: 11 170.06/170.17 c ---[ 42]---> BDD-cost: 15 170.06/170.17 c ---[ 41]---> BDD-cost: 25 170.06/170.17 c ---[ 40]---> BDD-cost: 15 170.06/170.17 c ---[ 39]---> BDD-cost: 13 170.06/170.17 c ---[ 38]---> BDD-cost: 14 170.06/170.17 c ---[ 37]---> BDD-cost: 13 170.06/170.17 c ---[ 36]---> BDD-cost: 11 170.06/170.17 c ---[ 35]---> BDD-cost: 14 170.06/170.17 c ---[ 34]---> BDD-cost: 16 170.06/170.17 c ---[ 33]---> BDD-cost: 16 170.06/170.17 c ---[ 32]---> BDD-cost: 15 170.06/170.17 c ---[ 31]---> BDD-cost: 13 170.06/170.17 c ---[ 30]---> BDD-cost: 11 170.06/170.17 c ---[ 29]---> BDD-cost: 19 170.06/170.17 c ---[ 28]---> BDD-cost: 17 170.06/170.17 c ---[ 27]---> BDD-cost: 14 170.06/170.17 c ---[ 26]---> BDD-cost: 10 170.06/170.17 c ---[ 25]---> BDD-cost: 13 170.06/170.17 c ---[ 24]---> BDD-cost: 25 170.06/170.17 c ---[ 23]---> BDD-cost: 19 170.06/170.17 c ---[ 22]---> BDD-cost: 11 170.06/170.17 c ---[ 21]---> BDD-cost: 9 170.06/170.17 c ---[ 20]---> BDD-cost: 9 170.06/170.17 c ---[ 19]---> BDD-cost: 25 170.06/170.17 c ---[ 18]---> BDD-cost: 12 170.06/170.17 c ---[ 17]---> BDD-cost: 25 170.06/170.17 c ---[ 16]---> BDD-cost: 15 170.06/170.17 c ---[ 15]---> BDD-cost: 13 170.06/170.17 c ---[ 14]---> BDD-cost: 17 170.06/170.17 c ---[ 13]---> BDD-cost: 18 170.06/170.17 c ---[ 12]---> BDD-cost: 14 170.06/170.17 c ---[ 11]---> BDD-cost: 14 170.06/170.17 c ---[ 10]---> BDD-cost: 11 170.06/170.17 c ---[ 9]---> BDD-cost: 17 170.06/170.17 c ---[ 8]---> BDD-cost: 13 170.06/170.17 c ---[ 7]---> BDD-cost: 18 170.06/170.17 c ---[ 6]---> BDD-cost: 12 170.06/170.17 c ---[ 5]---> BDD-cost: 13 170.06/170.17 c ---[ 4]---> BDD-cost: 14 170.06/170.17 c ---[ 3]---> BDD-cost: 10 170.06/170.17 c ---[ 2]---> BDD-cost: 11 170.06/170.17 c ---[ 1]---> Adder-cost: 2651 maxlim: 719 bits: 11/10 170.26/170.32 c ---[ 0]---> Adder-cost: 1524 maxlim: 63 bits: 7/6 1800.05/1800.40 | Eliminated clauses: 6.19 Mb | 1800.05/1800.40 ============================[ Search Statistics ]============================== 1800.05/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.05/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.05/1800.40 =============================================================================== 1800.05/1800.40 | 100 | 1375064 8426518 29069666 | 3089723 100 3 | 7.251 % | 1800.05/1800.40 | 250 | 1374987 8426518 29069666 | 3398695 241 3 | 7.256 % | 1800.05/1800.40 | 475 | 1374987 8426518 29069666 | 3738565 466 4 | 7.256 % | 1800.05/1800.40 | 812 | 1374987 8426518 29069666 | 4112421 803 6 | 7.256 % | 1800.05/1800.40 | 1318 | 1374986 8426518 29069666 | 4523663 1308 8 | 7.256 % | 1800.05/1800.40 | 2077 | 1374986 8426518 29069666 | 4976030 2067 10 | 7.256 % | 1800.05/1800.40 | 3216 | 1374944 8426518 29069666 | 5473633 3187 10 | 7.258 % | 1800.05/1800.40 | 4924 | 1374944 8426518 29069666 | 6020996 4895 10 | 7.258 % | 1800.05/1800.40 | 7486 | 1374941 8426518 29069666 | 6623096 7454 11 | 7.258 % | 1800.05/1800.40 | 11330 | 1374936 8426518 29069666 | 7285405 11293 13 | 7.259 % | 1800.05/1800.40 | 17096 | 1374863 8426518 29069666 | 8013946 17035 13 | 7.263 % | 1800.05/1800.40 | 25745 | 1374831 8426518 29069666 | 8815341 25674 15 | 7.265 % | 1800.05/1800.40 | 38719 | 1374798 8426518 29069666 | 9696875 38640 16 | 7.267 % | 1800.05/1800.40 | 58180 | 1374760 8426518 29069666 | 10666562 58079 17 | 7.270 % | 1800.05/1800.40 | 87372 | 1374654 8426518 29069666 | 11733218 87266 19 | 7.276 % | 1800.05/1800.40 | 131161 | 1374568 8426518 29069666 | 12906540 129061 23 | 7.281 % | 1800.05/1800.40 | 196845 | 1374462 8426518 29069666 | 14197194 194707 24 | 7.288 % | 1800.05/1800.40 | 295371 | 1374392 8426518 29069666 | 15616914 290548 27 | 7.292 % | 1800.05/1800.40 | 443160 | 1374349 8426518 29069666 | 17178605 438330 29 | 7.295 % | 1800.05/1800.40 | 664843 | 1373719 8426518 29069666 | 18896466 659842 34 | 7.334 % | 1800.05/1800.40 | 997368 | 1373656 8426518 29069666 | 20786113 991283 38 | 7.338 % | 1800.05/1800.40 | 1496156 | 1373505 8426518 29069666 | 22864724 1467868 42 | 7.347 % | 1800.05/1800.40 | 2244338 | 1373221 8426518 29069666 | 25151196 2214450 44 | 7.365 % | 1800.05/1800.40 | 3366612 | 1372805 8426518 29069666 | 27666316 3332020 50 | 7.390 % | 1800.05/1800.40 c 1800.05/1800.40 c *** TERMINATED *** 1800.05/1800.40 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-4115347-1466522814/watcher-4115347-1466522814 -o /tmp/evaluation-result-4115347-1466522814/solver-4115347-1466522814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29311 --watchdog 1960 minisatp HOME/instance-4115347-1466522814.opb pid=30920 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 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: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.06 2.00 3/176 30923 /proc/meminfo: memFree=30144076/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=8152 CPUtime=0 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 713 0 0 0 0 0 0 0 20 0 1 0 54328219 8347648 590 33554432000 4194304 5646918 140734862239648 140736495482456 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 2038 591 84 355 0 1679 0 [startup+0.100169 s] /proc/loadavg: 2.07 2.06 2.00 3/176 30923 /proc/meminfo: memFree=30144076/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=14540 CPUtime=0.09 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 2369 0 0 0 9 0 0 0 20 0 1 0 54328219 14888960 2121 33554432000 4194304 5646918 140734862239648 140736495482456 4823346 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 3635 2121 97 355 0 3276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14540 [startup+0.200331 s] /proc/loadavg: 2.07 2.06 2.00 3/176 30923 /proc/meminfo: memFree=30144076/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=19280 CPUtime=0.19 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 3469 0 0 0 19 0 0 0 20 0 1 0 54328219 19742720 3221 33554432000 4194304 5646918 140734862239648 140736495482456 4388221 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 4820 3221 97 355 0 4461 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19280 [startup+0.30031 s] /proc/loadavg: 2.07 2.06 2.00 3/176 30923 /proc/meminfo: memFree=30144076/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=25892 CPUtime=0.29 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 5092 0 0 0 28 1 0 0 20 0 1 0 54328219 26513408 4668 33554432000 4194304 5646918 140734862239648 140736495482456 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 6473 4668 97 355 0 6114 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25892 [startup+0.700257 s] /proc/loadavg: 2.07 2.06 2.00 3/176 30923 /proc/meminfo: memFree=30144076/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=45644 CPUtime=0.69 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 9550 0 0 0 67 2 0 0 20 0 1 0 54328219 46739456 9083 33554432000 4194304 5646918 140734862239648 140734862239016 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 11411 9083 97 355 0 11052 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45644 [startup+1.50024 s] /proc/loadavg: 2.07 2.06 2.00 3/177 30924 /proc/meminfo: memFree=30093428/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=74780 CPUtime=1.49 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 16515 0 0 0 147 2 0 0 20 0 1 0 54328219 76574720 16229 33554432000 4194304 5646918 140734862239648 140734862237848 4832048 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 18695 16229 97 355 0 18336 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 74780 [startup+3.10027 s] /proc/loadavg: 2.06 2.06 2.00 3/177 30924 /proc/meminfo: memFree=30054616/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=128496 CPUtime=3.09 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 29411 0 0 0 305 4 0 0 20 0 1 0 54328219 131579904 29086 33554432000 4194304 5646918 140734862239648 140734862237848 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 32124 29086 97 355 0 31765 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 128496 [startup+6.30026 s] /proc/loadavg: 2.06 2.06 2.00 3/177 30924 /proc/meminfo: memFree=29961872/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=226960 CPUtime=6.28 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 53580 0 0 0 620 8 0 0 20 0 1 0 54328219 232407040 53766 33554432000 4194304 5646918 140734862239648 140734862239016 4953168 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 56740 53766 105 355 0 56381 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 226960 [startup+12.7002 s] /proc/loadavg: 2.05 2.05 2.00 3/177 30924 /proc/meminfo: memFree=29931672/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=222732 CPUtime=12.69 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 53771 0 0 0 1260 9 0 0 20 0 1 0 54328219 228077568 52742 33554432000 4194304 5646918 140734862239648 140734862238312 4832091 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 55683 52742 154 355 0 55324 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 222732 [startup+25.5003 s] /proc/loadavg: 2.04 2.05 2.00 3/177 30924 /proc/meminfo: memFree=29907656/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=242800 CPUtime=25.48 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 56426 0 0 0 2539 9 0 0 20 0 1 0 54328219 248627200 57656 33554432000 4194304 5646918 140734862239648 140734862238312 4817372 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 60700 57656 154 355 0 60341 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 242800 [startup+51.1003 s] /proc/loadavg: 2.03 2.05 2.00 3/177 30924 /proc/meminfo: memFree=29900568/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=246136 CPUtime=51.09 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 56993 0 0 0 5099 10 0 0 20 0 1 0 54328219 252043264 58223 33554432000 4194304 5646918 140734862239648 140734862238312 4832091 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 61534 58223 154 355 0 61175 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 246136 [startup+102.3 s] /proc/loadavg: 2.01 2.04 2.00 3/177 30925 /proc/meminfo: memFree=29861004/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=279792 CPUtime=102.28 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 61355 0 0 0 10217 11 0 0 20 0 1 0 54328219 286507008 65570 33554432000 4194304 5646918 140734862239648 140734862238312 4823330 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 69948 65570 154 355 0 69589 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 279792 [startup+162.3 s] /proc/loadavg: 2.04 2.04 2.00 3/177 30927 /proc/meminfo: memFree=29804228/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=325096 CPUtime=162.26 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 66464 0 0 0 16213 13 0 0 20 0 1 0 54328219 332898304 76648 33554432000 4194304 5646918 140734862239648 140734862238312 4832129 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 81274 76648 154 355 0 80915 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 325096 [startup+222.307 s] /proc/loadavg: 2.05 2.05 2.00 3/178 30931 /proc/meminfo: memFree=28958896/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1290132 CPUtime=222.27 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 142678 0 0 0 22190 37 0 0 20 0 1 0 54328219 1321095168 284632 33554432000 4194304 5646918 140734862239648 140734862237752 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 322533 284632 183 355 0 322174 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 1290132 [startup+282.3 s] /proc/loadavg: 2.11 2.07 2.01 3/177 30932 /proc/meminfo: memFree=28883372/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1305556 CPUtime=282.24 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 145682 0 0 0 28186 38 0 0 20 0 1 0 54328219 1336889344 300411 33554432000 4194304 5646918 140734862239648 140734862237784 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 326389 300411 183 355 0 326030 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 1305556 [startup+342.3 s] /proc/loadavg: 2.08 2.06 2.01 3/177 30933 /proc/meminfo: memFree=28825280/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1315892 CPUtime=342.24 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 148395 0 0 0 34184 40 0 0 20 0 1 0 54328219 1347473408 311811 33554432000 4194304 5646918 140734862239648 140734862237784 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 328973 311811 183 355 0 328614 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1315892 [startup+402.3 s] /proc/loadavg: 2.18 2.10 2.02 3/177 30934 /proc/meminfo: memFree=28774564/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1541040 CPUtime=402.23 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 150609 0 0 0 40182 41 0 0 20 0 1 0 54328219 1578024960 321671 33554432000 4194304 5646918 140734862239648 140734862237784 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 385260 321671 183 355 0 384901 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1541040 [startup+462.3 s] /proc/loadavg: 2.11 2.09 2.02 3/177 30936 /proc/meminfo: memFree=28718580/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1552988 CPUtime=462.22 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 152424 0 0 0 46180 42 0 0 20 0 1 0 54328219 1590259712 331662 33554432000 4194304 5646918 140734862239648 140734862237752 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 388247 331662 183 355 0 387888 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1552988 [startup+522.3 s] /proc/loadavg: 2.11 2.09 2.02 3/177 30937 /proc/meminfo: memFree=28664076/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1558744 CPUtime=522.21 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 154053 0 0 0 52178 43 0 0 20 0 1 0 54328219 1596153856 341978 33554432000 4194304 5646918 140734862239648 140734862237784 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 389686 341978 183 355 0 389327 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 1558744 [startup+582.3 s] /proc/loadavg: 2.04 2.07 2.01 3/177 30938 /proc/meminfo: memFree=28621740/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1570696 CPUtime=582.21 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 155514 0 0 0 58176 45 0 0 20 0 1 0 54328219 1608392704 349060 33554432000 4194304 5646918 140734862239648 140734862237896 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 392674 349060 183 355 0 392315 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 1570696 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.07 2.05 2.00 3/177 31003 /proc/meminfo: memFree=29837120/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1601844 CPUtime=882.15 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 161817 0 0 0 88166 49 0 0 20 0 1 0 54328219 1640288256 378961 33554432000 4194304 5646918 140734862239648 140734862237752 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 400461 378961 183 355 0 400102 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 1601844 [startup+942.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 31004 /proc/meminfo: memFree=29776396/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1601844 CPUtime=942.13 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 161962 0 0 0 94164 49 0 0 20 0 1 0 54328219 1640288256 383190 33554432000 4194304 5646918 140734862239648 140734862237752 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 400461 383190 183 355 0 400102 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 1601844 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 31005 /proc/meminfo: memFree=29680272/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1965072 CPUtime=1002.12 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 163528 0 0 0 100161 51 0 0 20 0 1 0 54328219 2012233728 393506 33554432000 4194304 5646918 140734862239648 140734862237896 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 491268 393506 183 355 0 490909 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 1965072 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 31007 /proc/meminfo: memFree=29610884/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1965072 CPUtime=1062.11 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 163638 0 0 0 106160 51 0 0 20 0 1 0 54328219 2012233728 399464 33554432000 4194304 5646918 140734862239648 140734862237896 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 491268 399464 183 355 0 490909 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 1965072 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31008 /proc/meminfo: memFree=29529644/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1965280 CPUtime=1122.07 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 163765 0 0 0 112156 51 0 0 20 0 1 0 54328219 2012446720 409205 33554432000 4194304 5646918 140734862239648 140734862237784 4403164 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 491320 409205 183 355 0 490961 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 1965280 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31009 /proc/meminfo: memFree=29439772/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1969952 CPUtime=1182.05 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 164830 0 0 0 118153 52 0 0 20 0 1 0 54328219 2017230848 423314 33554432000 4194304 5646918 140734862239648 140734862237784 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 492488 423314 183 355 0 492129 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 1969952 [startup+1242.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 31010 /proc/meminfo: memFree=29385284/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1985024 CPUtime=1242.05 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 168030 0 0 0 124151 54 0 0 20 0 1 0 54328219 2032664576 429069 33554432000 4194304 5646918 140734862239648 140734862237752 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 496256 429069 183 355 0 495897 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 1985024 [startup+1302.3 s] /proc/loadavg: 2.06 2.03 2.00 4/177 31011 /proc/meminfo: memFree=29342548/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1986432 CPUtime=1302.04 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 168483 0 0 0 130150 54 0 0 20 0 1 0 54328219 2034106368 433610 33554432000 4194304 5646918 140734862239648 140734862237784 4403136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 496608 433610 183 355 0 496249 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 1986432 [startup+1362.3 s] /proc/loadavg: 2.10 2.04 2.01 3/177 31013 /proc/meminfo: memFree=29236536/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1995480 CPUtime=1362.02 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 169999 0 0 0 136147 55 0 0 20 0 1 0 54328219 2043371520 446220 33554432000 4194304 5646918 140734862239648 140734862237784 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 498870 446220 183 355 0 498511 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 1995480 [startup+1422.3 s] /proc/loadavg: 2.03 2.03 2.00 3/178 31017 /proc/meminfo: memFree=29189820/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=1998720 CPUtime=1422.02 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 170648 0 0 0 142146 56 0 0 20 0 1 0 54328219 2046689280 450446 33554432000 4194304 5646918 140734862239648 140734862237784 4403167 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 499680 450446 183 355 0 499321 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 1998720 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 31018 /proc/meminfo: memFree=29156440/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=2002464 CPUtime=1482 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 171401 0 0 0 148143 57 0 0 20 0 1 0 54328219 2050523136 453754 33554432000 4194304 5646918 140734862239648 140734862237784 4402815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 500616 453754 183 355 0 500257 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 2002464 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.00 3/177 31019 /proc/meminfo: memFree=29061180/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=2010864 CPUtime=1542 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 173211 0 0 0 154142 58 0 0 20 0 1 0 54328219 2059124736 467828 33554432000 4194304 5646918 140734862239648 140734862237784 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 502716 467828 183 355 0 502357 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 2010864 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31020 /proc/meminfo: memFree=29027876/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=2014288 CPUtime=1601.98 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 173961 0 0 0 160140 58 0 0 20 0 1 0 54328219 2062630912 470622 33554432000 4194304 5646918 140734862239648 140734862237784 4403478 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 503572 470622 183 355 0 503213 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 2014288 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31022 /proc/meminfo: memFree=28985864/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=2018288 CPUtime=1661.97 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 174841 0 0 0 166138 59 0 0 20 0 1 0 54328219 2066726912 475590 33554432000 4194304 5646918 140734862239648 140734862237784 4402844 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 504572 475590 183 355 0 504213 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 2018288 [startup+1722.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 31023 /proc/meminfo: memFree=28874212/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=2039264 CPUtime=1721.96 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 175770 0 0 0 172136 60 0 0 20 0 1 0 54328219 2088206336 483672 33554432000 4194304 5646918 140734862239648 140734862237896 4404088 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 509816 483672 183 355 0 509457 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 2039264 [startup+1782.3 s] /proc/loadavg: 2.10 2.04 2.01 3/177 31024 /proc/meminfo: memFree=28709700/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=2041636 CPUtime=1781.96 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 176367 0 0 0 178135 61 0 0 20 0 1 0 54328219 2090635264 492956 33554432000 4194304 5646918 140734862239648 140734862237784 4389229 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 510409 492956 183 355 0 510050 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 2041636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.08 2.04 2.01 3/177 31024 /proc/meminfo: memFree=28673012/32872528 swapFree=338416/354768 [pid=30923] ppid=30920 vsize=2610856 CPUtime=1800.05 cores=1,3,5,7 /proc/30923/stat : 30923 (minisatp) R 30920 30923 29294 0 -1 4202496 177276 0 0 0 179944 61 0 0 20 0 1 0 54328219 2673516544 495900 33554432000 4194304 5646918 140734862239648 140734862238344 4402815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/30923/statm: 652714 495900 183 355 0 652355 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2610856 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 30923 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.07 CPU user time (s): 1799.44 CPU system time (s): 0.629904 CPU usage (%): 99.9813 Max. virtual memory (cumulated for all children) (KiB): 2610856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.44 system time used= 0.629904 maximum resident set size= 1983600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 177276 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= 101 involuntary context switches= 1844 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.65129 second user time and 7.2429 second system time The end
Begin job on node126 at 2016-06-21 17:26:55 IDJOB=4115347 IDBENCH=1643 IDSOLVER=2555 FILE ID=node126/4115347-1466522814 RUNJOBID= node126-1466515257-29311 PBS_JOBID= 19942885 Free space on /tmp= 71668 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115347-1466522814/watcher-4115347-1466522814 -o /tmp/evaluation-result-4115347-1466522814/solver-4115347-1466522814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29311 --watchdog 1960 minisatp HOME/instance-4115347-1466522814.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 542c2b53b45e753224c38b905fee77fb RANDOM SEED=883089611 node126.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.121 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 : 5332.24 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.121 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.121 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.121 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.55 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.121 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.121 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.55 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.121 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.121 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: 30144776 kB Buffers: 8972 kB Cached: 126488 kB SwapCached: 1724 kB Active: 1620436 kB Inactive: 43788 kB Active(anon): 1530252 kB Inactive(anon): 948 kB Active(file): 90184 kB Inactive(file): 42840 kB Unevictable: 354768 kB Mlocked: 338416 kB SwapTotal: 67108856 kB SwapFree: 67099092 kB Dirty: 12952 kB Writeback: 0 kB AnonPages: 1885332 kB Mapped: 7732 kB Shmem: 0 kB Slab: 573536 kB SReclaimable: 17652 kB SUnreclaim: 555884 kB KernelStack: 1448 kB PageTables: 7976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2028040 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 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-4115347-1466522814.opb Free space on /tmp at the end= 71724 MiB End job on node126 at 2016-06-21 17:56:55