Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.45 | 1801.31 |
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 c Parsing PB file... 12.99 c Converting 4200 PB-constraints to clauses... 13.07 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 43.74 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################## 43.87 c -- Clauses(.)/Splits(s): ssssssssssssssssssssssssssssssssssssssssssssss 43.91 c ---[4245]---> BDD-cost: 24 43.91 c ---[4240]---> BDD-cost: 17 43.91 c ---[4239]---> BDD-cost: 17 43.91 c ---[4238]---> BDD-cost: 30 43.91 c ---[4237]---> BDD-cost: 18 43.91 c ---[4235]---> BDD-cost: 17 43.91 c ---[4234]---> BDD-cost: 19 43.91 c ---[4233]---> BDD-cost: 16 43.91 c ---[4232]---> BDD-cost: 16 43.91 c ---[4231]---> BDD-cost: 14 43.91 c ---[4230]---> BDD-cost: 16 43.91 c ---[4228]---> BDD-cost: 16 43.91 c ---[4227]---> BDD-cost: 17 43.91 c ---[4225]---> BDD-cost: 15 43.91 c ---[4224]---> BDD-cost: 11 43.91 c ---[4223]---> BDD-cost: 15 43.91 c ---[4222]---> BDD-cost: 15 43.91 c ---[4221]---> BDD-cost: 12 43.91 c ---[4219]---> BDD-cost: 16 43.91 c ---[4216]---> BDD-cost: 13 43.91 c ---[4215]---> BDD-cost: 17 43.91 c ---[4212]---> BDD-cost: 12 43.91 c ---[4211]---> BDD-cost: 21 43.91 c ---[4210]---> BDD-cost: 15 43.91 c ---[4209]---> BDD-cost: 17 43.91 c ---[4208]---> BDD-cost: 17 43.92 c ---[4207]---> BDD-cost: 15 43.92 c ---[4206]---> BDD-cost: 17 43.92 c ---[4205]---> BDD-cost: 15 43.92 c ---[4204]---> BDD-cost: 16 43.92 c ---[4203]---> BDD-cost: 11 43.92 c ---[4201]---> BDD-cost: 15 43.92 c ---[4200]---> BDD-cost: 14 43.92 c ---[4199]---> BDD-cost: 13 43.92 c ---[4198]---> BDD-cost: 15 43.92 c ---[4197]---> BDD-cost: 17 43.92 c ---[4194]---> BDD-cost: 35 43.92 c ---[4193]---> BDD-cost: 16 43.92 c ---[4192]---> BDD-cost: 21 43.92 c ---[4190]---> BDD-cost: 19 43.92 c ---[4188]---> BDD-cost: 23 43.92 c ---[4187]---> BDD-cost: 18 43.92 c ---[4186]---> BDD-cost: 18 43.92 c ---[4185]---> BDD-cost: 16 43.92 c ---[4184]---> BDD-cost: 24 43.92 c ---[4183]---> BDD-cost: 19 43.92 c ---[4182]---> BDD-cost: 21 43.92 c ---[4181]---> BDD-cost: 18 43.92 c ---[4180]---> BDD-cost: 17 43.92 c ---[4179]---> BDD-cost: 10 43.92 c ---[4178]---> BDD-cost: 14 43.92 c ---[4177]---> BDD-cost: 17 43.92 c ---[4176]---> BDD-cost: 10 43.92 c ---[4175]---> BDD-cost: 16 43.92 c ---[4174]---> BDD-cost: 15 43.92 c ---[4173]---> BDD-cost: 11 43.92 c ---[4172]---> BDD-cost: 14 43.92 c ---[4171]---> BDD-cost: 17 43.92 c ---[4168]---> BDD-cost: 24 43.92 c ---[4167]---> BDD-cost: 39 43.92 c ---[4166]---> BDD-cost: 17 43.92 c ---[4165]---> BDD-cost: 16 43.92 c ---[4164]---> BDD-cost: 24 43.92 c ---[4162]---> BDD-cost: 12 43.92 c ---[4161]---> BDD-cost: 22 43.92 c ---[4160]---> BDD-cost: 14 43.92 c ---[4159]---> BDD-cost: 27 43.92 c ---[4158]---> BDD-cost: 18 43.92 c ---[4157]---> BDD-cost: 19 43.92 c ---[4156]---> BDD-cost: 21 43.93 c ---[4155]---> BDD-cost: 21 43.93 c ---[4153]---> BDD-cost: 23 43.93 c ---[4152]---> BDD-cost: 20 43.93 c ---[4151]---> BDD-cost: 18 43.93 c ---[4150]---> BDD-cost: 10 43.93 c ---[4149]---> BDD-cost: 14 43.93 c ---[4147]---> BDD-cost: 10 43.93 c ---[4146]---> BDD-cost: 17 43.93 c ---[4145]---> BDD-cost: 16 43.93 c ---[4144]---> BDD-cost: 10 43.93 c ---[4143]---> BDD-cost: 15 43.93 c ---[4140]---> BDD-cost: 17 43.93 c ---[4139]---> BDD-cost: 18 43.93 c ---[4138]---> BDD-cost: 33 43.93 c ---[4137]---> BDD-cost: 21 43.93 c ---[4136]---> BDD-cost: 19 43.93 c ---[4134]---> BDD-cost: 27 43.93 c ---[4133]---> BDD-cost: 22 43.93 c ---[4132]---> BDD-cost: 14 43.93 c ---[4131]---> BDD-cost: 21 43.93 c ---[4130]---> BDD-cost: 21 43.93 c ---[4128]---> BDD-cost: 17 43.93 c ---[4126]---> BDD-cost: 17 43.93 c ---[4125]---> BDD-cost: 18 43.93 c ---[4124]---> BDD-cost: 19 43.93 c ---[4123]---> BDD-cost: 21 43.93 c ---[4122]---> BDD-cost: 15 43.93 c ---[4121]---> BDD-cost: 21 43.93 c ---[4120]---> BDD-cost: 27 43.93 c ---[4118]---> BDD-cost: 15 43.93 c ---[4117]---> BDD-cost: 14 43.93 c ---[4115]---> BDD-cost: 15 43.93 c ---[4114]---> BDD-cost: 14 43.93 c ---[4113]---> BDD-cost: 15 43.93 c ---[4112]---> BDD-cost: 14 43.93 c ---[4111]---> BDD-cost: 15 43.93 c ---[4110]---> BDD-cost: 15 43.93 c ---[4109]---> BDD-cost: 15 43.93 c ---[4108]---> BDD-cost: 16 43.93 c ---[4107]---> BDD-cost: 15 43.93 c ---[4106]---> BDD-cost: 17 43.93 c ---[4105]---> BDD-cost: 34 43.93 c ---[4102]---> BDD-cost: 18 43.93 c ---[4101]---> BDD-cost: 17 43.93 c ---[4098]---> BDD-cost: 19 43.94 c ---[4097]---> BDD-cost: 18 43.94 c ---[4096]---> BDD-cost: 19 43.94 c ---[4095]---> BDD-cost: 21 43.94 c ---[4094]---> BDD-cost: 23 43.94 c ---[4092]---> BDD-cost: 17 43.94 c ---[4091]---> BDD-cost: 16 43.94 c ---[4090]---> BDD-cost: 17 43.94 c ---[4089]---> BDD-cost: 15 43.94 c ---[4087]---> BDD-cost: 14 43.94 c ---[4085]---> BDD-cost: 15 43.94 c ---[4084]---> BDD-cost: 17 43.94 c ---[4083]---> BDD-cost: 16 43.94 c ---[4082]---> BDD-cost: 15 43.94 c ---[4081]---> BDD-cost: 18 43.94 c ---[4080]---> BDD-cost: 15 43.94 c ---[4078]---> BDD-cost: 14 43.94 c ---[4077]---> BDD-cost: 14 43.94 c ---[4075]---> BDD-cost: 13 43.94 c ---[4070]---> BDD-cost: 15 43.94 c ---[4069]---> BDD-cost: 21 43.94 c ---[4067]---> BDD-cost: 17 43.94 c ---[4065]---> BDD-cost: 16 43.94 c ---[4064]---> BDD-cost: 17 43.94 c ---[4062]---> BDD-cost: 19 43.94 c ---[4061]---> BDD-cost: 13 43.94 c ---[4059]---> BDD-cost: 22 43.94 c ---[4058]---> BDD-cost: 28 43.94 c ---[4057]---> BDD-cost: 19 43.94 c ---[4055]---> BDD-cost: 16 43.94 c ---[4054]---> BDD-cost: 28 43.94 c ---[4053]---> BDD-cost: 17 43.94 c ---[4052]---> BDD-cost: 15 43.94 c ---[4051]---> BDD-cost: 14 43.94 c ---[4050]---> BDD-cost: 16 43.94 c ---[4049]---> BDD-cost: 10 43.94 c ---[4048]---> BDD-cost: 17 43.94 c ---[4047]---> BDD-cost: 16 43.94 c ---[4046]---> BDD-cost: 12 43.94 c ---[4045]---> BDD-cost: 12 43.94 c ---[4044]---> BDD-cost: 16 43.94 c ---[4043]---> BDD-cost: 17 43.94 c ---[4042]---> BDD-cost: 22 43.94 c ---[4040]---> BDD-cost: 14 43.94 c ---[4039]---> BDD-cost: 15 43.94 c ---[4038]---> BDD-cost: 20 43.95 c ---[4037]---> BDD-cost: 32 43.95 c ---[4036]---> BDD-cost: 39 43.95 c ---[4034]---> BDD-cost: 18 43.95 c ---[4033]---> BDD-cost: 19 43.95 c ---[4032]---> BDD-cost: 27 43.95 c ---[4030]---> BDD-cost: 27 43.95 c ---[4029]---> BDD-cost: 16 43.95 c ---[4028]---> BDD-cost: 26 43.95 c ---[4025]---> BDD-cost: 19 43.95 c ---[4024]---> BDD-cost: 18 43.95 c ---[4023]---> BDD-cost: 30 43.95 c ---[4022]---> BDD-cost: 23 43.95 c ---[4020]---> BDD-cost: 15 43.95 c ---[4019]---> BDD-cost: 17 43.95 c ---[4018]---> BDD-cost: 10 43.95 c ---[4017]---> BDD-cost: 32 43.95 c ---[4016]---> BDD-cost: 16 43.95 c ---[4015]---> BDD-cost: 15 43.95 c ---[4014]---> BDD-cost: 14 43.95 c ---[4013]---> BDD-cost: 16 43.95 c ---[4012]---> BDD-cost: 33 43.95 c ---[4011]---> BDD-cost: 21 43.95 c ---[4008]---> BDD-cost: 21 43.95 c ---[4007]---> BDD-cost: 29 43.95 c ---[4006]---> BDD-cost: 17 43.95 c ---[4005]---> BDD-cost: 27 43.95 c ---[4004]---> BDD-cost: 20 43.95 c ---[4003]---> BDD-cost: 19 43.95 c ---[4001]---> BDD-cost: 21 43.95 c ---[4000]---> BDD-cost: 13 43.95 c ---[3999]---> BDD-cost: 17 43.95 c ---[3998]---> BDD-cost: 18 43.95 c ---[3996]---> BDD-cost: 15 43.95 c ---[3995]---> BDD-cost: 16 43.95 c ---[3994]---> BDD-cost: 24 43.95 c ---[3992]---> BDD-cost: 14 43.95 c ---[3991]---> BDD-cost: 14 43.95 c ---[3990]---> BDD-cost: 13 43.95 c ---[3989]---> BDD-cost: 10 43.95 c ---[3988]---> BDD-cost: 16 43.95 c ---[3987]---> BDD-cost: 14 43.96 c ---[3986]---> BDD-cost: 11 43.96 c ---[3985]---> BDD-cost: 12 43.96 c ---[3984]---> BDD-cost: 14 43.96 c ---[3978]---> BDD-cost: 34 43.96 c ---[3977]---> BDD-cost: 16 43.96 c ---[3976]---> BDD-cost: 17 43.96 c ---[3975]---> BDD-cost: 15 43.96 c ---[3973]---> BDD-cost: 17 43.96 c ---[3971]---> BDD-cost: 14 43.96 c ---[3970]---> BDD-cost: 10 43.96 c ---[3969]---> BDD-cost: 11 43.96 c ---[3968]---> BDD-cost: 16 43.96 c ---[3967]---> BDD-cost: 14 43.96 c ---[3966]---> BDD-cost: 17 43.96 c ---[3964]---> BDD-cost: 14 43.96 c ---[3963]---> BDD-cost: 13 43.96 c ---[3961]---> BDD-cost: 12 43.96 c ---[3959]---> BDD-cost: 16 43.96 c ---[3956]---> BDD-cost: 24 43.96 c ---[3954]---> Adder-cost: 271 maxlim: 12 bits: 5/4 43.97 c ---[3952]---> Adder-cost: 891 maxlim: 72 bits: 8/7 44.00 c ---[3950]---> Adder-cost: 2552 maxlim: 21898 bits: 16/15 44.41 c ---[3948]---> Adder-cost: 891 maxlim: 69 bits: 8/7 44.44 c ---[3946]---> Adder-cost: 456 maxlim: 26 bits: 6/5 44.46 c ---[3944]---> Adder-cost: 649 maxlim: 25 bits: 6/5 44.48 c ---[3942]---> Adder-cost: 490 maxlim: 130 bits: 9/8 44.50 c ---[3940]---> Adder-cost: 399 maxlim: 47 bits: 7/6 44.51 c ---[3938]---> Adder-cost: 422 maxlim: 20 bits: 6/5 44.52 c ---[3936]---> Adder-cost: 497 maxlim: 39 bits: 7/6 44.54 c ---[3934]---> Sorter-cost: 3204 Base: 3 7 2 2 2 2 2 2 2 44.57 c ---[3932]---> Adder-cost: 487 maxlim: 31 bits: 6/5 44.59 c ---[3930]---> Adder-cost: 155 maxlim: 100 bits: 8/7 44.60 c ---[3928]---> Sorter-cost: 606 Base: 2 2 2 2 44.60 c ---[3926]---> Adder-cost: 422 maxlim: 23 bits: 6/5 44.61 c ---[3924]---> Adder-cost: 891 maxlim: 105 bits: 8/7 44.64 c ---[3922]---> Adder-cost: 891 maxlim: 69 bits: 8/7 44.68 c ---[3920]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 44.69 c ---[3918]---> Adder-cost: 371 maxlim: 175 bits: 9/8 44.71 c ---[3916]---> Adder-cost: 773 maxlim: 58 bits: 7/6 44.74 c ---[3914]---> Adder-cost: 301 maxlim: 123 bits: 8/7 44.75 c ---[3912]---> Adder-cost: 891 maxlim: 74 bits: 8/7 44.78 c ---[3910]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 44.79 c ---[3908]---> Adder-cost: 396 maxlim: 43 bits: 7/6 44.80 c ---[3906]---> Adder-cost: 625 maxlim: 72 bits: 8/7 44.82 c ---[3904]---> Adder-cost: 381 maxlim: 11 bits: 5/4 44.83 c ---[3902]---> Adder-cost: 497 maxlim: 35 bits: 7/6 44.84 c ---[3900]---> Adder-cost: 117 maxlim: 5 bits: 4/3 44.84 c ---[3898]---> Adder-cost: 551 maxlim: 19 bits: 6/5 44.86 c ---[3896]---> Sorter-cost: 612 Base: 2 2 2 2 2 44.86 c ---[3894]---> Adder-cost: 548 maxlim: 47 bits: 7/6 44.88 c ---[3892]---> Adder-cost: 305 maxlim: 138 bits: 9/8 44.89 c ---[3890]---> Adder-cost: 290 maxlim: 44 bits: 7/6 44.90 c ---[3888]---> Adder-cost: 399 maxlim: 33 bits: 7/6 44.91 c ---[3886]---> Sorter-cost: 612 Base: 2 2 2 2 2 44.92 c ---[3884]---> Adder-cost: 395 maxlim: 139 bits: 9/8 44.93 c ---[3882]---> Adder-cost: 395 maxlim: 139 bits: 9/8 44.94 c ---[3880]---> Sorter-cost: 4354 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 45.09 c ---[3878]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 45.10 c ---[3876]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 45.12 c ---[3874]---> Adder-cost: 400 maxlim: 7 bits: 4/3 45.13 c ---[3872]---> Sorter-cost: 1105 Base: 3 7 2 2 2 45.14 c ---[3870]---> Sorter-cost: 1349 Base: 3 7 2 2 2 2 45.15 c ---[3860]---> Sorter-cost: 1093 Base: 3 7 2 2 2 45.15 c ---[3858]---> Adder-cost: 290 maxlim: 42999 bits: 17/16 45.38 c ---[3856]---> Sorter-cost: 2095 Base: 3 7 2 2 2 2 2 2 45.43 c ---[3854]---> Adder-cost: 88 maxlim: 148 bits: 9/8 45.43 c ---[3852]---> Adder-cost: 88 maxlim: 148 bits: 9/8 45.43 c ---[3850]---> Adder-cost: 110 maxlim: 172 bits: 9/8 45.44 c ---[3848]---> Adder-cost: 110 maxlim: 172 bits: 9/8 45.44 c ---[3838]---> Sorter-cost: 1459 Base: 3 7 2 2 2 2 2 45.46 c ---[3836]---> Adder-cost: 290 maxlim: 85980 bits: 17/17 45.73 c ---[3834]---> Sorter-cost: 1459 Base: 3 7 2 2 2 2 2 45.74 c ---[3826]---> Adder-cost: 168 maxlim: 2551 bits: 12/12 45.76 c ---[3824]---> Adder-cost: 398 maxlim: 81125 bits: 18/17 46.17 c ---[3822]---> Adder-cost: 404 maxlim: 81125 bits: 18/17 46.60 c ---[3820]---> Adder-cost: 402 maxlim: 81125 bits: 18/17 47.03 c ---[3818]---> Adder-cost: 336 maxlim: 20295 bits: 16/15 47.17 c ---[3814]---> Adder-cost: 266 maxlim: 20295 bits: 16/15 47.30 c ---[3806]---> Adder-cost: 124 maxlim: 330 bits: 10/9 47.31 c ---[3804]---> Adder-cost: 197 maxlim: 330 bits: 10/9 47.32 c ---[3802]---> Adder-cost: 197 maxlim: 330 bits: 10/9 47.34 c ---[3800]---> Adder-cost: 197 maxlim: 330 bits: 10/9 47.35 c ---[3798]---> Adder-cost: 197 maxlim: 330 bits: 10/9 47.36 c ---[3794]---> Adder-cost: 124 maxlim: 330 bits: 10/9 47.37 c ---[3786]---> Adder-cost: 146 maxlim: 645 bits: 11/10 47.38 c ---[3784]---> Adder-cost: 223 maxlim: 645 bits: 11/10 47.40 c ---[3782]---> Adder-cost: 223 maxlim: 645 bits: 11/10 47.42 c ---[3780]---> Adder-cost: 223 maxlim: 645 bits: 11/10 47.43 c ---[3778]---> Adder-cost: 223 maxlim: 645 bits: 11/10 47.45 c ---[3774]---> Adder-cost: 146 maxlim: 645 bits: 11/10 47.47 c ---[3766]---> Adder-cost: 120 maxlim: 332 bits: 10/9 47.47 c ---[3764]---> Adder-cost: 193 maxlim: 332 bits: 10/9 47.48 c ---[3762]---> Adder-cost: 193 maxlim: 332 bits: 10/9 47.50 c ---[3760]---> Adder-cost: 193 maxlim: 332 bits: 10/9 47.51 c ---[3758]---> Adder-cost: 193 maxlim: 332 bits: 10/9 47.52 c ---[3754]---> Adder-cost: 120 maxlim: 332 bits: 10/9 47.53 c ---[3746]---> Adder-cost: 146 maxlim: 646 bits: 11/10 47.54 c ---[3744]---> Adder-cost: 223 maxlim: 646 bits: 11/10 47.56 c ---[3742]---> Adder-cost: 223 maxlim: 646 bits: 11/10 47.58 c ---[3740]---> Adder-cost: 223 maxlim: 646 bits: 11/10 47.59 c ---[3738]---> Adder-cost: 223 maxlim: 646 bits: 11/10 47.61 c ---[3734]---> Adder-cost: 146 maxlim: 646 bits: 11/10 47.62 c ---[3724]---> Adder-cost: 171 maxlim: 30 bits: 6/5 47.63 c ---[3722]---> Adder-cost: 171 maxlim: 30 bits: 6/5 47.63 c ---[3718]---> Adder-cost: 120 maxlim: 332 bits: 10/9 47.64 c ---[3716]---> Adder-cost: 193 maxlim: 332 bits: 10/9 47.65 c ---[3714]---> Adder-cost: 193 maxlim: 332 bits: 10/9 47.66 c ---[3712]---> Adder-cost: 161 maxlim: 173 bits: 9/8 47.67 c ---[3710]---> Adder-cost: 161 maxlim: 173 bits: 9/8 47.68 c ---[3706]---> Adder-cost: 120 maxlim: 332 bits: 10/9 47.68 c ---[3698]---> Adder-cost: 168 maxlim: 2519 bits: 12/12 47.70 c ---[3696]---> Adder-cost: 412 maxlim: 80058 bits: 18/17 48.00 c ---[3694]---> Adder-cost: 412 maxlim: 80058 bits: 18/17 48.30 c ---[3692]---> Adder-cost: 418 maxlim: 80058 bits: 18/17 48.61 c ---[3690]---> Adder-cost: 338 maxlim: 20029 bits: 16/15 48.71 c ---[3686]---> Adder-cost: 266 maxlim: 20029 bits: 16/15 48.82 c ---[3678]---> Sorter-cost: 1409 Base: 5 3 5 48.82 c ---[3676]---> Adder-cost: 197 maxlim: 326 bits: 10/9 48.84 c ---[3674]---> Adder-cost: 197 maxlim: 326 bits: 10/9 48.85 c ---[3672]---> Adder-cost: 197 maxlim: 326 bits: 10/9 48.86 c ---[3670]---> Adder-cost: 197 maxlim: 326 bits: 10/9 48.87 c ---[3666]---> Sorter-cost: 1409 Base: 5 3 5 48.88 c ---[3658]---> Adder-cost: 148 maxlim: 622 bits: 11/10 48.89 c ---[3656]---> Adder-cost: 223 maxlim: 622 bits: 11/10 48.91 c ---[3654]---> Adder-cost: 223 maxlim: 622 bits: 11/10 48.93 c ---[3652]---> Adder-cost: 223 maxlim: 622 bits: 11/10 48.95 c ---[3650]---> Adder-cost: 223 maxlim: 622 bits: 11/10 48.96 c ---[3646]---> Adder-cost: 148 maxlim: 622 bits: 11/10 48.97 c ---[3638]---> Adder-cost: 126 maxlim: 329 bits: 10/9 48.98 c ---[3636]---> Adder-cost: 191 maxlim: 329 bits: 10/9 49.00 c ---[3634]---> Adder-cost: 191 maxlim: 329 bits: 10/9 49.01 c ---[3632]---> Adder-cost: 191 maxlim: 329 bits: 10/9 49.02 c ---[3630]---> Adder-cost: 191 maxlim: 329 bits: 10/9 49.03 c ---[3626]---> Adder-cost: 126 maxlim: 329 bits: 10/9 49.04 c ---[3618]---> Adder-cost: 148 maxlim: 637 bits: 11/10 49.05 c ---[3616]---> Adder-cost: 221 maxlim: 637 bits: 11/10 49.07 c ---[3614]---> Adder-cost: 221 maxlim: 637 bits: 11/10 49.09 c ---[3612]---> Adder-cost: 221 maxlim: 637 bits: 11/10 49.12 c ---[3610]---> Adder-cost: 221 maxlim: 637 bits: 11/10 49.14 c ---[3606]---> Adder-cost: 148 maxlim: 637 bits: 11/10 49.15 c ---[3598]---> Adder-cost: 185 maxlim: 264 bits: 10/9 49.16 c ---[3596]---> Adder-cost: 199 maxlim: 699 bits: 11/10 49.17 c ---[3592]---> Sorter-cost: 1409 Base: 5 3 5 49.18 c ---[3590]---> Adder-cost: 197 maxlim: 326 bits: 10/9 49.19 c ---[3588]---> Adder-cost: 197 maxlim: 326 bits: 10/9 49.20 c ---[3586]---> Adder-cost: 167 maxlim: 170 bits: 9/8 49.21 c ---[3584]---> Adder-cost: 167 maxlim: 170 bits: 9/8 49.22 c ---[3580]---> Sorter-cost: 1409 Base: 5 3 5 49.22 c ---[3572]---> Sorter-cost: 2827 Base: 2 5 17 2 2 2 2 2 2 49.28 c ---[3570]---> Adder-cost: 134 maxlim: 536 bits: 11/10 49.28 c ---[3568]---> Adder-cost: 212 maxlim: 8210 bits: 14/14 49.31 c ---[3566]---> Adder-cost: 246 maxlim: 16394 bits: 15/15 49.36 c ---[3564]---> Adder-cost: 212 maxlim: 5471 bits: 14/13 49.38 c ---[3562]---> Sorter-cost: 2038 Base: 3 7 2 2 2 2 2 2 2 49.41 c ---[3560]---> Sorter-cost: 1700 Base: 3 7 2 2 2 2 2 49.43 c ---[3558]---> Adder-cost: 264 maxlim: 2597 bits: 13/12 49.47 c ---[3556]---> Adder-cost: 442 maxlim: 109420 bits: 18/17 49.88 c ---[3554]---> Adder-cost: 286 maxlim: 5162 bits: 14/13 49.95 c ---[3552]---> Sorter-cost: 1005 Base: 3 7 2 49.95 c ---[3550]---> Sorter-cost: 1608 Base: 2 2 2 7 2 2 2 49.96 c ---[3548]---> Sorter-cost: 2031 Base: 2 7 2 2 2 2 2 2 49.99 c ---[3546]---> Sorter-cost: 1557 Base: 2 2 7 2 2 2 50.01 c ---[3544]---> Sorter-cost: 3036 Base: 3 7 2 2 2 2 2 2 2 2 2 50.10 c ---[3542]---> Adder-cost: 134 maxlim: 536 bits: 11/10 50.11 c ---[3540]---> Adder-cost: 226 maxlim: 8194 bits: 14/14 50.14 c ---[3538]---> Adder-cost: 270 maxlim: 16358 bits: 15/14 50.19 c ---[3536]---> Sorter-cost: 1851 Base: 3 7 2 2 2 2 2 2 50.21 c ---[3534]---> Sorter-cost: 2002 Base: 3 7 2 2 2 2 2 2 50.24 c ---[3532]---> Sorter-cost: 1700 Base: 3 7 2 2 2 2 2 50.25 c ---[3530]---> Adder-cost: 350 maxlim: 21414 bits: 15/15 50.35 c ---[3528]---> Adder-cost: 462 maxlim: 114076 bits: 18/17 50.68 c ---[3526]---> Adder-cost: 330 maxlim: 14286 bits: 15/14 50.74 c ---[3524]---> Sorter-cost: 1216 Base: 3 7 2 2 2 50.75 c ---[3522]---> Adder-cost: 219 maxlim: 916 bits: 11/10 50.77 c ---[3520]---> Sorter-cost: 1381 Base: 3 3 3 3 2 50.77 c ---[3518]---> Adder-cost: 169 maxlim: 1491 bits: 12/11 50.79 c ---[3516]---> Adder-cost: 169 maxlim: 1491 bits: 12/11 50.81 c ---[3514]---> Sorter-cost: 1381 Base: 3 3 3 3 2 50.81 c ---[3510]---> Sorter-cost: 1381 Base: 3 3 3 3 2 50.82 c ---[3508]---> Adder-cost: 254 maxlim: 19630 bits: 15/15 50.93 c ---[3506]---> Adder-cost: 308 maxlim: 78462 bits: 17/17 51.15 c ---[3504]---> Sorter-cost: 1575 Base: 3 3 2 2 2 2 2 51.17 c ---[3500]---> Adder-cost: 386 maxlim: 56383 bits: 17/16 51.32 c ---[3498]---> Sorter-cost: 1276 Base: 5 5 2 2 51.32 c ---[3496]---> Sorter-cost: 1926 Base: 2 3 2 2 2 2 2 2 2 2 51.35 c ---[3494]---> Sorter-cost: 2106 Base: 2 3 2 2 2 2 2 2 2 2 2 51.39 c ---[3492]---> Sorter-cost: 1926 Base: 2 3 2 2 2 2 2 2 2 2 51.42 c ---[3490]---> Sorter-cost: 2525 Base: 2 3 2 2 2 2 2 2 2 2 2 2 2 51.52 c ---[3488]---> Sorter-cost: 1605 Base: 2 2 3 2 2 2 2 2 2 51.54 c ---[3486]---> Sorter-cost: 2525 Base: 2 3 2 2 2 2 2 2 2 2 2 2 2 51.64 c ---[3484]---> Adder-cost: 286 maxlim: 27510 bits: 16/15 51.75 c ---[3482]---> Sorter-cost: 1161 Base: 3 2 2 2 2 2 51.76 c ---[3480]---> Adder-cost: 212 maxlim: 3454 bits: 13/12 51.78 c ---[3478]---> Adder-cost: 240 maxlim: 6891 bits: 14/13 51.82 c ---[3476]---> Adder-cost: 286 maxlim: 27510 bits: 16/15 51.93 c ---[3474]---> Sorter-cost: 1952 Base: 5 5 2 2 2 2 51.95 c ---[3472]---> Adder-cost: 286 maxlim: 27510 bits: 16/15 52.06 c ---[3470]---> Sorter-cost: 2688 Base: 3 3 3 3 2 2 2 2 2 2 2 52.15 c ---[3468]---> Adder-cost: 176 maxlim: 522 bits: 11/10 52.16 c ---[3466]---> Adder-cost: 290 maxlim: 7926 bits: 14/13 52.19 c ---[3464]---> Adder-cost: 324 maxlim: 15822 bits: 15/14 52.24 c ---[3462]---> Sorter-cost: 1991 Base: 3 3 3 3 2 2 2 2 52.27 c ---[3460]---> Sorter-cost: 2119 Base: 3 3 3 3 2 2 2 2 52.30 c ---[3458]---> Sorter-cost: 1688 Base: 5 2 2 2 2 2 2 2 52.31 c ---[3456]---> Adder-cost: 101 maxlim: 97 bits: 8/7 52.32 c ---[3448]---> Adder-cost: 268 maxlim: 41194 bits: 16/16 52.39 c ---[3446]---> Adder-cost: 178 maxlim: 520 bits: 11/10 52.40 c ---[3444]---> Adder-cost: 294 maxlim: 7868 bits: 14/13 52.44 c ---[3442]---> Adder-cost: 330 maxlim: 15702 bits: 15/14 52.50 c ---[3440]---> Sorter-cost: 1843 Base: 2 5 2 2 2 2 2 2 2 52.51 c ---[3438]---> Sorter-cost: 1933 Base: 2 5 2 2 2 2 2 2 2 52.54 c ---[3436]---> Sorter-cost: 1662 Base: 2 5 2 2 2 2 2 2 52.55 c ---[3434]---> Sorter-cost: 1235 Base: 5 2 2 2 2 52.56 c ---[3432]---> Adder-cost: 166 maxlim: 1586 bits: 12/11 52.58 c ---[3430]---> Sorter-cost: 1892 Base: 2 2 3 2 2 2 2 2 2 52.60 c ---[3428]---> Adder-cost: 146 maxlim: 804 bits: 11/10 52.62 c ---[3426]---> Adder-cost: 243 maxlim: 874 bits: 11/10 52.64 c ---[3424]---> Sorter-cost: 1354 Base: 3 7 2 2 52.65 c ---[3422]---> Sorter-cost: 1876 Base: 3 3 3 3 2 2 2 52.67 c ---[3420]---> Sorter-cost: 1876 Base: 3 3 3 3 2 2 2 52.69 c ---[3418]---> Sorter-cost: 1354 Base: 3 7 2 2 52.70 c ---[3414]---> Sorter-cost: 1354 Base: 3 7 2 2 52.70 c ---[3410]---> Adder-cost: 390 maxlim: 34747 bits: 16/16 52.84 c ---[3408]---> Adder-cost: 123 maxlim: 253 bits: 9/8 52.84 c ---[3406]---> Adder-cost: 190 maxlim: 3849 bits: 13/12 52.89 c ---[3404]---> Adder-cost: 218 maxlim: 7683 bits: 14/13 52.95 c ---[3402]---> Adder-cost: 190 maxlim: 3849 bits: 13/12 53.00 c ---[3400]---> Adder-cost: 272 maxlim: 30683 bits: 16/15 53.16 c ---[3398]---> Sorter-cost: 1696 Base: 5 3 2 2 3 2 53.18 c ---[3396]---> Adder-cost: 272 maxlim: 30683 bits: 16/15 53.35 c ---[3394]---> Adder-cost: 222 maxlim: 32899 bits: 16/16 53.52 c ---[3392]---> Sorter-cost: 1048 Base: 3 2 2 2 2 2 53.52 c ---[3390]---> Adder-cost: 146 maxlim: 4130 bits: 13/13 53.54 c ---[3388]---> Adder-cost: 170 maxlim: 8240 bits: 14/14 53.59 c ---[3386]---> Adder-cost: 222 maxlim: 32899 bits: 16/16 53.76 c ---[3384]---> Sorter-cost: 1237 Base: 2 2 2 2 2 2 2 2 2 53.77 c ---[3382]---> Adder-cost: 222 maxlim: 32899 bits: 16/16 53.94 c ---[3380]---> Adder-cost: 264 maxlim: 26288 bits: 16/15 54.05 c ---[3378]---> Adder-cost: 260 maxlim: 4728 bits: 13/13 54.08 c ---[3376]---> Adder-cost: 298 maxlim: 9418 bits: 14/14 54.11 c ---[3374]---> Adder-cost: 192 maxlim: 3300 bits: 13/12 54.14 c ---[3372]---> Adder-cost: 235 maxlim: 6584 bits: 14/13 54.20 c ---[3370]---> Adder-cost: 170 maxlim: 1658 bits: 12/11 54.22 c ---[3368]---> Adder-cost: 268 maxlim: 3424 bits: 13/12 54.25 c ---[3366]---> Adder-cost: 416 maxlim: 72346 bits: 17/17 54.45 c ---[3364]---> Adder-cost: 296 maxlim: 6814 bits: 14/13 54.50 c ---[3362]---> Adder-cost: 101 maxlim: 117 bits: 8/7 54.50 c ---[3354]---> Adder-cost: 272 maxlim: 26364 bits: 16/15 54.60 c ---[3352]---> Adder-cost: 266 maxlim: 4734 bits: 13/13 54.63 c ---[3350]---> Adder-cost: 304 maxlim: 9434 bits: 14/14 54.66 c ---[3348]---> Adder-cost: 194 maxlim: 3309 bits: 13/12 54.69 c ---[3346]---> Adder-cost: 233 maxlim: 6603 bits: 14/13 54.75 c ---[3344]---> Adder-cost: 168 maxlim: 1662 bits: 12/11 54.76 c ---[3342]---> Adder-cost: 318 maxlim: 18410 bits: 15/15 54.83 c ---[3340]---> Adder-cost: 388 maxlim: 73538 bits: 17/17 54.98 c ---[3338]---> Adder-cost: 282 maxlim: 9222 bits: 14/14 55.03 c ---[3336]---> Adder-cost: 137 maxlim: 426 bits: 10/9 55.04 c ---[3334]---> Adder-cost: 247 maxlim: 1078 bits: 12/11 55.07 c ---[3332]---> Adder-cost: 189 maxlim: 1700 bits: 12/11 55.09 c ---[3330]---> Adder-cost: 189 maxlim: 1700 bits: 12/11 55.12 c ---[3328]---> Adder-cost: 139 maxlim: 437 bits: 10/9 55.13 c ---[3326]---> Adder-cost: 92 maxlim: 67 bits: 8/7 55.13 c ---[3324]---> Adder-cost: 139 maxlim: 437 bits: 10/9 55.14 c ---[3322]---> Adder-cost: 226 maxlim: 13269 bits: 15/14 55.22 c ---[3320]---> Adder-cost: 276 maxlim: 53025 bits: 17/16 55.41 c ---[3318]---> Adder-cost: 177 maxlim: 1673 bits: 12/11 55.43 c ---[3314]---> Adder-cost: 346 maxlim: 31644 bits: 16/15 55.51 c ---[3312]---> Adder-cost: 434 maxlim: 126490 bits: 18/17 55.72 c ---[3310]---> Adder-cost: 318 maxlim: 15836 bits: 15/14 55.77 c ---[3308]---> Sorter-cost: 2303 Base: 2 2 2 3 2 2 2 2 2 2 55.83 c ---[3306]---> Adder-cost: 262 maxlim: 13307 bits: 15/14 55.93 c ---[3304]---> Adder-cost: 206 maxlim: 3341 bits: 13/12 55.97 c ---[3302]---> Adder-cost: 271 maxlim: 94 bits: 8/7 55.98 c ---[3300]---> Adder-cost: 271 maxlim: 94 bits: 8/7 55.99 c ---[3298]---> Sorter-cost: 2210 Base: 3 3 2 3 3 2 2 2 2 56.03 c ---[3296]---> Sorter-cost: 2625 Base: 3 3 2 2 2 3 3 2 2 2 2 56.13 c ---[3294]---> Sorter-cost: 1968 Base: 3 3 3 3 2 2 2 2 56.16 c ---[3292]---> Sorter-cost: 2222 Base: 3 3 3 3 2 2 2 2 56.20 c ---[3290]---> Adder-cost: 286 maxlim: 42026 bits: 17/16 56.37 c ---[3288]---> Sorter-cost: 1965 Base: 3 3 3 3 2 2 2 56.39 c ---[3286]---> Sorter-cost: 2035 Base: 3 5 2 2 2 2 2 2 56.42 c ---[3284]---> Sorter-cost: 2358 Base: 3 5 2 2 2 2 2 2 2 2 56.50 c ---[3282]---> Adder-cost: 171 maxlim: 2010 bits: 12/11 56.52 c ---[3280]---> Adder-cost: 362 maxlim: 40165 bits: 16/16 56.63 c ---[3278]---> Sorter-cost: 1407 Base: 3 5 2 2 2 2 2 56.64 c ---[3276]---> Sorter-cost: 1576 Base: 3 5 2 2 2 2 2 2 56.65 c ---[3274]---> Sorter-cost: 1694 Base: 3 5 2 2 2 2 2 2 2 56.68 c ---[3272]---> Sorter-cost: 1547 Base: 3 5 2 2 2 2 2 56.69 c ---[3270]---> Sorter-cost: 1662 Base: 3 5 2 2 2 2 2 2 56.71 c ---[3268]---> Sorter-cost: 1407 Base: 3 5 2 2 2 2 2 56.72 c ---[3266]---> Sorter-cost: 1287 Base: 3 5 2 2 2 56.73 c ---[3264]---> Adder-cost: 374 maxlim: 36111 bits: 16/16 56.90 c ---[3262]---> Sorter-cost: 1488 Base: 3 3 2 2 2 2 3 56.92 c ---[3260]---> Sorter-cost: 1653 Base: 3 3 2 2 2 2 2 3 56.94 c ---[3258]---> Sorter-cost: 1946 Base: 3 3 2 2 2 2 2 2 3 56.97 c ---[3256]---> Sorter-cost: 1653 Base: 3 3 2 2 2 2 2 3 56.99 c ---[3254]---> Sorter-cost: 2414 Base: 3 3 2 2 2 2 2 2 2 2 3 57.08 c ---[3252]---> Sorter-cost: 1488 Base: 3 3 2 2 2 2 3 57.09 c ---[3250]---> Sorter-cost: 1438 Base: 3 3 2 2 2 2 2 57.10 c ---[3248]---> Adder-cost: 332 maxlim: 40479 bits: 16/16 57.33 c ---[3246]---> Sorter-cost: 1456 Base: 3 5 2 2 2 2 2 57.34 c ---[3244]---> Sorter-cost: 1752 Base: 3 5 2 2 2 2 2 2 57.36 c ---[3242]---> Sorter-cost: 1960 Base: 3 5 2 2 2 2 2 2 2 57.39 c ---[3240]---> Sorter-cost: 1752 Base: 3 5 2 2 2 2 2 2 57.40 c ---[3238]---> Sorter-cost: 1940 Base: 2 2 3 5 2 2 2 2 2 57.44 c ---[3236]---> Sorter-cost: 1456 Base: 3 5 2 2 2 2 2 57.45 c ---[3234]---> Sorter-cost: 1385 Base: 3 5 2 2 2 2 57.46 c ---[3232]---> Adder-cost: 384 maxlim: 36455 bits: 16/16 57.63 c ---[3230]---> Sorter-cost: 1560 Base: 3 3 2 2 2 2 3 57.64 c ---[3228]---> Sorter-cost: 1674 Base: 3 3 2 2 2 2 2 3 57.66 c ---[3226]---> Sorter-cost: 1833 Base: 3 3 2 2 2 2 2 2 3 57.70 c ---[3224]---> Sorter-cost: 1674 Base: 3 3 2 2 2 2 2 3 57.72 c ---[3222]---> Sorter-cost: 2101 Base: 3 3 2 2 2 2 2 2 2 2 3 57.80 c ---[3220]---> Sorter-cost: 1560 Base: 3 3 2 2 2 2 3 57.82 c ---[3218]---> Sorter-cost: 1524 Base: 2 3 3 2 2 2 2 57.83 c ---[3216]---> Adder-cost: 372 maxlim: 39176 bits: 16/16 58.06 c ---[3214]---> Adder-cost: 164 maxlim: 1900 bits: 12/11 58.08 c ---[3212]---> Adder-cost: 184 maxlim: 3785 bits: 13/12 58.11 c ---[3210]---> Adder-cost: 206 maxlim: 7554 bits: 14/13 58.18 c ---[3208]---> Adder-cost: 183 maxlim: 1900 bits: 12/11 58.21 c ---[3206]---> Adder-cost: 205 maxlim: 3785 bits: 13/12 58.27 c ---[3204]---> Adder-cost: 164 maxlim: 1900 bits: 12/11 58.29 c ---[3202]---> Adder-cost: 135 maxlim: 485 bits: 10/9 58.30 c ---[3200]---> Adder-cost: 386 maxlim: 35035 bits: 16/16 58.46 c ---[3198]---> Sorter-cost: 1345 Base: 3 3 2 2 2 2 3 58.48 c ---[3196]---> Sorter-cost: 1451 Base: 3 3 2 2 2 2 2 3 58.50 c ---[3194]---> Sorter-cost: 1885 Base: 3 3 2 2 2 2 2 2 2 58.54 c ---[3192]---> Sorter-cost: 1451 Base: 3 3 2 2 2 2 2 3 58.56 c ---[3190]---> Adder-cost: 244 maxlim: 27650 bits: 16/15 58.71 c ---[3188]---> Sorter-cost: 1345 Base: 3 3 2 2 2 2 3 58.72 c ---[3186]---> Sorter-cost: 1338 Base: 3 3 2 2 2 2 2 58.74 c ---[3184]---> Adder-cost: 356 maxlim: 39497 bits: 16/16 58.84 c ---[3182]---> Adder-cost: 168 maxlim: 1913 bits: 12/11 58.86 c ---[3180]---> Adder-cost: 192 maxlim: 3810 bits: 13/12 58.90 c ---[3178]---> Adder-cost: 206 maxlim: 7603 bits: 14/13 58.95 c ---[3176]---> Adder-cost: 192 maxlim: 3810 bits: 13/12 58.99 c ---[3174]---> Adder-cost: 225 maxlim: 7603 bits: 14/13 59.07 c ---[3172]---> Adder-cost: 168 maxlim: 1913 bits: 12/11 59.09 c ---[3170]---> Adder-cost: 165 maxlim: 964 bits: 11/10 59.10 c ---[3168]---> Adder-cost: 390 maxlim: 35387 bits: 16/16 59.24 c ---[3166]---> Sorter-cost: 1559 Base: 2 3 3 2 2 2 3 59.25 c ---[3164]---> Sorter-cost: 1781 Base: 2 3 2 3 2 2 2 3 59.27 c ---[3162]---> Sorter-cost: 1913 Base: 2 3 2 2 3 2 2 2 3 59.31 c ---[3160]---> Sorter-cost: 1781 Base: 2 3 2 3 2 2 2 3 59.33 c ---[3158]---> Sorter-cost: 2432 Base: 2 3 2 2 2 2 3 2 2 2 3 59.41 c ---[3156]---> Sorter-cost: 1559 Base: 2 3 3 2 2 2 3 59.42 c ---[3154]---> Sorter-cost: 1520 Base: 2 3 3 2 2 2 2 59.43 c ---[3152]---> Sorter-cost: 2441 Base: 3 3 3 5 2 7 2 59.51 c ---[3150]---> Adder-cost: 272 maxlim: 61070 bits: 17/16 59.70 c ---[3148]---> Sorter-cost: 2242 Base: 3 3 3 5 7 2 59.76 c ---[3146]---> Sorter-cost: 2423 Base: 3 3 2 2 2 2 2 2 2 3 59.82 c ---[3144]---> Sorter-cost: 3084 Base: 3 3 2 2 2 2 2 2 2 2 2 3 60.02 c ---[3142]---> Sorter-cost: 2146 Base: 2 2 3 2 3 2 2 2 3 60.06 c ---[3140]---> Sorter-cost: 1900 Base: 3 5 2 2 2 2 2 2 2 2 60.09 c ---[3138]---> Sorter-cost: 2110 Base: 3 5 2 2 2 2 2 2 2 2 2 60.15 c ---[3136]---> Sorter-cost: 1694 Base: 3 5 2 2 2 2 2 2 2 60.17 c ---[3134]---> Sorter-cost: 1929 Base: 3 3 2 2 2 2 2 2 2 3 60.22 c ---[3132]---> Sorter-cost: 2100 Base: 3 3 2 2 2 2 2 2 2 2 2 2 60.30 c ---[3130]---> Sorter-cost: 1788 Base: 3 3 2 2 2 2 2 2 3 60.34 c ---[3128]---> Adder-cost: 352 maxlim: 38431 bits: 16/16 60.49 c ---[3126]---> Adder-cost: 172 maxlim: 3732 bits: 13/12 60.51 c ---[3124]---> Adder-cost: 188 maxlim: 7446 bits: 14/13 60.53 c ---[3122]---> Adder-cost: 169 maxlim: 1875 bits: 12/11 60.55 c ---[3120]---> Adder-cost: 216 maxlim: 14873 bits: 15/14 60.61 c ---[3118]---> Adder-cost: 272 maxlim: 59431 bits: 17/16 60.92 c ---[3116]---> Adder-cost: 188 maxlim: 7446 bits: 14/13 60.94 c ---[3114]---> Adder-cost: 382 maxlim: 38784 bits: 16/16 61.13 c ---[3112]---> Adder-cost: 184 maxlim: 3755 bits: 13/12 61.17 c ---[3110]---> Adder-cost: 210 maxlim: 7495 bits: 14/13 61.23 c ---[3108]---> Adder-cost: 184 maxlim: 3755 bits: 13/12 61.27 c ---[3106]---> Adder-cost: 242 maxlim: 13624 bits: 15/14 61.37 c ---[3104]---> Adder-cost: 304 maxlim: 54441 bits: 17/16 61.66 c ---[3102]---> Adder-cost: 214 maxlim: 6821 bits: 14/13 61.73 c ---[3100]---> Adder-cost: 368 maxlim: 34361 bits: 16/16 61.94 c ---[3098]---> Adder-cost: 192 maxlim: 3419 bits: 13/12 61.98 c ---[3096]---> Adder-cost: 214 maxlim: 6821 bits: 14/13 62.05 c ---[3094]---> Adder-cost: 192 maxlim: 3419 bits: 13/12 62.09 c ---[3092]---> Adder-cost: 236 maxlim: 14975 bits: 15/14 62.20 c ---[3090]---> Adder-cost: 285 maxlim: 29935 bits: 16/15 62.48 c ---[3088]---> Adder-cost: 210 maxlim: 7495 bits: 14/13 62.55 c ---[3086]---> Adder-cost: 368 maxlim: 34750 bits: 16/16 62.70 c ---[3084]---> Adder-cost: 192 maxlim: 3447 bits: 13/12 62.74 c ---[3082]---> Adder-cost: 218 maxlim: 6879 bits: 14/13 62.80 c ---[3080]---> Adder-cost: 192 maxlim: 3447 bits: 13/12 62.84 c ---[3078]---> Adder-cost: 236 maxlim: 13743 bits: 15/14 62.94 c ---[3076]---> Adder-cost: 283 maxlim: 27471 bits: 16/15 63.10 c ---[3074]---> Adder-cost: 218 maxlim: 6879 bits: 14/13 63.17 c ---[3072]---> Adder-cost: 414 maxlim: 17439 bits: 15/15 63.26 c ---[3070]---> Adder-cost: 522 maxlim: 94478 bits: 17/17 63.54 c ---[3068]---> Adder-cost: 382 maxlim: 11854 bits: 14/14 63.61 c ---[3066]---> Adder-cost: 573 maxlim: 830 bits: 11/10 63.64 c ---[3064]---> Adder-cost: 884 maxlim: 31212 bits: 16/15 63.91 c ---[3062]---> Adder-cost: 664 maxlim: 4366 bits: 13/13 63.99 c ---[3060]---> Adder-cost: 266 maxlim: 2447 bits: 13/12 64.02 c ---[3058]---> Adder-cost: 294 maxlim: 4478 bits: 14/13 64.07 c ---[3056]---> Adder-cost: 346 maxlim: 17786 bits: 15/15 64.18 c ---[3054]---> Adder-cost: 274 maxlim: 2260 bits: 13/12 64.22 c ---[3052]---> Adder-cost: 356 maxlim: 20004 bits: 16/15 64.34 c ---[3050]---> Adder-cost: 376 maxlim: 20004 bits: 16/15 64.49 c ---[3048]---> Adder-cost: 318 maxlim: 9468 bits: 15/14 64.57 c ---[3046]---> Adder-cost: 278 maxlim: 4592 bits: 13/13 64.61 c ---[3044]---> Adder-cost: 328 maxlim: 13703 bits: 15/14 64.69 c ---[3042]---> Adder-cost: 380 maxlim: 36476 bits: 16/16 64.83 c ---[3040]---> Adder-cost: 418 maxlim: 82021 bits: 17/17 65.09 c ---[3038]---> Adder-cost: 328 maxlim: 13703 bits: 15/14 65.17 c ---[3036]---> Sorter-cost: 1877 Base: 3 5 2 2 2 2 3 65.20 c ---[3034]---> Sorter-cost: 1993 Base: 3 5 2 2 2 2 2 2 65.23 c ---[3032]---> Sorter-cost: 2438 Base: 3 3 3 3 3 2 2 3 65.29 c ---[3030]---> Sorter-cost: 2026 Base: 5 3 2 2 2 2 2 65.31 c ---[3028]---> Sorter-cost: 2691 Base: 2 3 3 3 3 3 2 2 3 65.40 c ---[3026]---> Sorter-cost: 2968 Base: 3 3 3 3 3 2 2 2 2 2 65.51 c ---[3024]---> Sorter-cost: 2438 Base: 3 3 3 3 3 2 2 3 65.57 c ---[3022]---> Adder-cost: 426 maxlim: 116014 bits: 18/17 65.78 c ---[3020]---> Adder-cost: 444 maxlim: 116014 bits: 18/17 66.03 c ---[3018]---> Adder-cost: 410 maxlim: 116014 bits: 18/17 66.22 c ---[3016]---> Adder-cost: 221 maxlim: 5912 bits: 14/13 66.26 c ---[3014]---> Sorter-cost: 1632 Base: 3 3 3 3 2 2 66.28 c ---[3004]---> Adder-cost: 145 maxlim: 74 bits: 8/7 66.28 c ---[3002]---> Adder-cost: 331 maxlim: 7408 bits: 14/13 66.36 c ---[3000]---> Adder-cost: 269 maxlim: 1865 bits: 12/11 66.40 c ---[2998]---> Adder-cost: 148 maxlim: 59 bits: 7/6 66.40 c ---[2996]---> Adder-cost: 148 maxlim: 59 bits: 7/6 66.41 c ---[2986]---> Adder-cost: 126 maxlim: 51 bits: 7/6 66.41 c ---[2984]---> Adder-cost: 126 maxlim: 51 bits: 7/6 66.42 c ---[2974]---> Adder-cost: 402 maxlim: 76048 bits: 18/17 66.67 c ---[2972]---> Adder-cost: 432 maxlim: 76048 bits: 18/17 66.94 c ---[2970]---> Adder-cost: 424 maxlim: 76048 bits: 18/17 67.19 c ---[2968]---> Adder-cost: 275 maxlim: 105 bits: 8/7 67.31 c ---[2966]---> Adder-cost: 201 maxlim: 314 bits: 10/9 67.32 c ---[2964]---> Adder-cost: 201 maxlim: 314 bits: 10/9 67.33 c ---[2962]---> Adder-cost: 201 maxlim: 314 bits: 10/9 67.34 c ---[2960]---> Adder-cost: 227 maxlim: 611 bits: 11/10 67.36 c ---[2958]---> Adder-cost: 227 maxlim: 611 bits: 11/10 67.38 c ---[2956]---> Adder-cost: 227 maxlim: 611 bits: 11/10 67.39 c ---[2954]---> Adder-cost: 275 maxlim: 101 bits: 8/7 67.40 c ---[2952]---> Adder-cost: 227 maxlim: 611 bits: 11/10 67.42 c ---[2950]---> Adder-cost: 227 maxlim: 611 bits: 11/10 67.44 c ---[2948]---> Adder-cost: 227 maxlim: 611 bits: 11/10 67.45 c ---[2946]---> Adder-cost: 193 maxlim: 99 bits: 8/7 67.46 c ---[2944]---> Adder-cost: 213 maxlim: 90 bits: 8/7 67.47 c ---[2942]---> Adder-cost: 213 maxlim: 84 bits: 8/7 67.48 c ---[2940]---> Adder-cost: 193 maxlim: 99 bits: 8/7 67.49 c ---[2938]---> Adder-cost: 201 maxlim: 314 bits: 10/9 67.50 c ---[2936]---> Adder-cost: 201 maxlim: 314 bits: 10/9 67.51 c ---[2934]---> Sorter-cost: 1897 Base: 3 3 5 67.52 c ---[2932]---> Adder-cost: 177 maxlim: 132 bits: 9/8 67.53 c ---[2930]---> Adder-cost: 195 maxlim: 248 bits: 9/8 67.54 c ---[2906]---> Adder-cost: 285 maxlim: 332 bits: 10/9 67.56 c ---[2904]---> Adder-cost: 349 maxlim: 14798 bits: 15/14 67.67 c ---[2902]---> Adder-cost: 205 maxlim: 479 bits: 10/9 67.68 c ---[2892]---> Adder-cost: 203 maxlim: 64 bits: 8/7 67.69 c ---[2890]---> Adder-cost: 325 maxlim: 4404 bits: 14/13 67.75 c ---[2888]---> Adder-cost: 155 maxlim: 158 bits: 9/8 67.76 c ---[2886]---> Adder-cost: 210 maxlim: 90 bits: 8/7 67.77 c ---[2884]---> Adder-cost: 415 maxlim: 2958 bits: 13/12 67.82 c ---[2882]---> Adder-cost: 271 maxlim: 202 bits: 9/8 67.83 c ---[2880]---> Adder-cost: 83 maxlim: 58 bits: 7/6 67.83 c ---[2878]---> Adder-cost: 106 maxlim: 28 bits: 6/5 67.84 c ---[2876]---> Adder-cost: 112 maxlim: 58 bits: 7/6 67.84 c ---[2874]---> Adder-cost: 112 maxlim: 58 bits: 7/6 67.85 c ---[2872]---> Adder-cost: 106 maxlim: 28 bits: 6/5 67.85 c ---[2868]---> Adder-cost: 71 maxlim: 28 bits: 6/5 67.85 c ---[2864]---> Adder-cost: 297 maxlim: 547 bits: 11/10 67.87 c ---[2862]---> Adder-cost: 88 maxlim: 25 bits: 6/5 67.87 c ---[2860]---> Adder-cost: 124 maxlim: 119 bits: 8/7 67.88 c ---[2858]---> Adder-cost: 125 maxlim: 217 bits: 9/8 67.89 c ---[2856]---> Adder-cost: 99 maxlim: 119 bits: 8/7 67.89 c ---[2854]---> Adder-cost: 125 maxlim: 70 bits: 8/7 67.90 c ---[2852]---> Adder-cost: 142 maxlim: 19 bits: 6/5 67.90 c ---[2850]---> Adder-cost: 98 maxlim: 25 bits: 6/5 67.90 c ---[2848]---> Adder-cost: 132 maxlim: 119 bits: 8/7 67.91 c ---[2846]---> Adder-cost: 135 maxlim: 217 bits: 9/8 67.92 c ---[2844]---> Adder-cost: 132 maxlim: 119 bits: 8/7 67.92 c ---[2842]---> Adder-cost: 301 maxlim: 384 bits: 10/9 67.94 c ---[2840]---> Adder-cost: 94 maxlim: 24 bits: 6/5 67.94 c ---[2838]---> Adder-cost: 113 maxlim: 89 bits: 8/7 67.95 c ---[2836]---> Adder-cost: 121 maxlim: 157 bits: 9/8 67.95 c ---[2834]---> Adder-cost: 90 maxlim: 89 bits: 8/7 67.96 c ---[2832]---> Adder-cost: 118 maxlim: 55 bits: 7/6 67.96 c ---[2830]---> Adder-cost: 175 maxlim: 22 bits: 6/5 67.97 c ---[2828]---> Adder-cost: 102 maxlim: 24 bits: 6/5 67.97 c ---[2826]---> Adder-cost: 121 maxlim: 89 bits: 8/7 67.97 c ---[2824]---> Adder-cost: 131 maxlim: 157 bits: 9/8 67.98 c ---[2822]---> Adder-cost: 121 maxlim: 89 bits: 8/7 67.99 c ---[2820]---> Adder-cost: 78 maxlim: 33 bits: 7/6 67.99 c ---[2818]---> Adder-cost: 102 maxlim: 22 bits: 6/5 67.99 c ---[2816]---> Adder-cost: 109 maxlim: 33 bits: 7/6 67.99 c ---[2814]---> Adder-cost: 109 maxlim: 33 bits: 7/6 68.00 c ---[2812]---> Adder-cost: 102 maxlim: 22 bits: 6/5 68.00 c ---[2808]---> Adder-cost: 71 maxlim: 22 bits: 6/5 68.00 c ---[2804]---> Adder-cost: 321 maxlim: 994 bits: 11/10 68.03 c ---[2802]---> Adder-cost: 173 maxlim: 200 bits: 9/8 68.04 c ---[2800]---> Adder-cost: 211 maxlim: 382 bits: 10/9 68.06 c ---[2798]---> Sorter-cost: 1528 Base: 3 5 2 2 2 68.07 c ---[2796]---> Adder-cost: 144 maxlim: 109 bits: 8/7 68.07 c ---[2794]---> Adder-cost: 211 maxlim: 70 bits: 8/7 68.08 c ---[2792]---> Adder-cost: 313 maxlim: 2479 bits: 13/12 68.12 c ---[2790]---> Adder-cost: 169 maxlim: 173 bits: 9/8 68.13 c ---[2788]---> Adder-cost: 142 maxlim: 20 bits: 6/5 68.14 c ---[2786]---> Adder-cost: 173 maxlim: 200 bits: 9/8 68.15 c ---[2784]---> Adder-cost: 211 maxlim: 382 bits: 10/9 68.16 c ---[2782]---> Adder-cost: 161 maxlim: 200 bits: 9/8 68.17 c ---[2780]---> Adder-cost: 212 maxlim: 97 bits: 8/7 68.18 c ---[2778]---> Adder-cost: 373 maxlim: 1667 bits: 12/11 68.21 c ---[2776]---> Adder-cost: 272 maxlim: 225 bits: 9/8 68.23 c ---[2774]---> Adder-cost: 327 maxlim: 1032 bits: 12/11 68.25 c ---[2772]---> Adder-cost: 165 maxlim: 207 bits: 9/8 68.26 c ---[2770]---> Adder-cost: 207 maxlim: 396 bits: 10/9 68.27 c ---[2768]---> Sorter-cost: 1468 Base: 3 2 5 3 68.28 c ---[2766]---> Adder-cost: 138 maxlim: 112 bits: 8/7 68.29 c ---[2764]---> Adder-cost: 168 maxlim: 32 bits: 7/6 68.29 c ---[2762]---> Adder-cost: 165 maxlim: 207 bits: 9/8 68.30 c ---[2760]---> Adder-cost: 207 maxlim: 396 bits: 10/9 68.32 c ---[2758]---> Adder-cost: 157 maxlim: 207 bits: 9/8 68.32 c ---[2756]---> Adder-cost: 315 maxlim: 351 bits: 10/9 68.35 c ---[2754]---> Adder-cost: 353 maxlim: 1767 bits: 12/11 68.38 c ---[2752]---> Adder-cost: 199 maxlim: 73 bits: 8/7 68.39 c ---[2750]---> Adder-cost: 351 maxlim: 26234 bits: 16/15 68.46 c ---[2746]---> Adder-cost: 297 maxlim: 133 bits: 9/8 68.47 c ---[2744]---> Adder-cost: 281 maxlim: 99 bits: 8/7 68.48 c ---[2742]---> Adder-cost: 86 maxlim: 67 bits: 8/7 68.49 c ---[2740]---> Adder-cost: 145 maxlim: 67 bits: 8/7 68.49 c ---[2738]---> Adder-cost: 145 maxlim: 67 bits: 8/7 68.50 c ---[2736]---> Adder-cost: 141 maxlim: 67 bits: 8/7 68.50 c ---[2734]---> Adder-cost: 195 maxlim: 74 bits: 8/7 68.51 c ---[2732]---> Adder-cost: 195 maxlim: 74 bits: 8/7 68.52 c ---[2730]---> Adder-cost: 52 maxlim: 42 bits: 6/6 68.52 c ---[2728]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.52 c ---[2726]---> Adder-cost: 58 maxlim: 74 bits: 7/7 68.52 c ---[2724]---> Sorter-cost: 484 Base: 2 68.52 c ---[2722]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.53 c ---[2720]---> Sorter-cost: 484 Base: 2 68.53 c ---[2718]---> Adder-cost: 117 maxlim: 41 bits: 7/6 68.53 c ---[2716]---> Adder-cost: 115 maxlim: 41 bits: 7/6 68.54 c ---[2714]---> Adder-cost: 115 maxlim: 41 bits: 7/6 68.54 c ---[2712]---> Adder-cost: 155 maxlim: 34 bits: 7/6 68.54 c ---[2710]---> Adder-cost: 155 maxlim: 34 bits: 7/6 68.55 c ---[2708]---> Adder-cost: 395 maxlim: 202 bits: 9/8 68.57 c ---[2706]---> Adder-cost: 396 maxlim: 170 bits: 9/8 68.59 c ---[2704]---> Adder-cost: 408 maxlim: 167 bits: 9/8 68.61 c ---[2702]---> Adder-cost: 422 maxlim: 165 bits: 9/8 68.64 c ---[2700]---> Adder-cost: 357 maxlim: 196 bits: 9/8 68.65 c ---[2698]---> Sorter-cost: 2204 Base: 3 3 5 2 68.66 c ---[2696]---> Adder-cost: 319 maxlim: 243 bits: 9/8 68.68 c ---[2694]---> Adder-cost: 320 maxlim: 165 bits: 9/8 68.70 c ---[2692]---> Adder-cost: 285 maxlim: 187 bits: 9/8 68.71 c ---[2690]---> Adder-cost: 295 maxlim: 187 bits: 9/8 68.73 c ---[2688]---> Adder-cost: 58 maxlim: 74 bits: 7/7 68.73 c ---[2686]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 68.73 c ---[2684]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 68.73 c ---[2682]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.74 c ---[2680]---> Sorter-cost: 554 Base: 2 2 2 2 2 68.74 c ---[2678]---> Sorter-cost: 554 Base: 2 2 2 2 2 68.74 c ---[2676]---> Adder-cost: 58 maxlim: 42 bits: 7/6 68.74 c ---[2674]---> Adder-cost: 179 maxlim: 171 bits: 9/8 68.75 c ---[2672]---> Adder-cost: 179 maxlim: 171 bits: 9/8 68.76 c ---[2670]---> Adder-cost: 181 maxlim: 171 bits: 9/8 68.77 c ---[2668]---> Adder-cost: 181 maxlim: 171 bits: 9/8 68.78 c ---[2666]---> Adder-cost: 664 maxlim: 38881 bits: 17/16 69.05 c ---[2664]---> Adder-cost: 856 maxlim: 38881 bits: 17/16 69.41 c ---[2662]---> Adder-cost: 882 maxlim: 38881 bits: 17/16 69.78 c ---[2660]---> Adder-cost: 866 maxlim: 38881 bits: 17/16 70.15 c ---[2658]---> Adder-cost: 602 maxlim: 47714 bits: 17/16 70.41 c ---[2656]---> Adder-cost: 304 maxlim: 4876 bits: 14/13 70.46 c ---[2654]---> Adder-cost: 629 maxlim: 11943 bits: 15/14 70.69 c ---[2652]---> Adder-cost: 314 maxlim: 301 bits: 10/9 70.71 c ---[2650]---> Adder-cost: 515 maxlim: 43006 bits: 17/16 70.95 c ---[2648]---> Adder-cost: 505 maxlim: 43006 bits: 17/16 71.20 c ---[2646]---> Adder-cost: 399 maxlim: 191 bits: 9/8 71.22 c ---[2644]---> Adder-cost: 377 maxlim: 191 bits: 9/8 71.25 c ---[2642]---> Adder-cost: 389 maxlim: 191 bits: 9/8 71.27 c ---[2640]---> Adder-cost: 389 maxlim: 191 bits: 9/8 71.29 c ---[2638]---> Adder-cost: 329 maxlim: 231 bits: 9/8 71.31 c ---[2636]---> Adder-cost: 194 maxlim: 191 bits: 9/8 71.32 c ---[2634]---> Adder-cost: 351 maxlim: 231 bits: 9/8 71.34 c ---[2632]---> Adder-cost: 312 maxlim: 174 bits: 9/8 71.36 c ---[2630]---> Adder-cost: 266 maxlim: 202 bits: 9/8 71.37 c ---[2628]---> Adder-cost: 276 maxlim: 202 bits: 9/8 71.38 c ---[2626]---> Adder-cost: 84 maxlim: 22 bits: 6/5 71.39 c ---[2624]---> Adder-cost: 84 maxlim: 22 bits: 6/5 71.39 c ---[2622]---> Adder-cost: 86 maxlim: 22 bits: 6/5 71.39 c ---[2620]---> Adder-cost: 162 maxlim: 25 bits: 6/5 71.40 c ---[2618]---> Adder-cost: 162 maxlim: 25 bits: 6/5 71.40 c ---[2616]---> Sorter-cost: 1061 Base: 5 3 71.41 c ---[2614]---> Adder-cost: 145 maxlim: 92 bits: 8/7 71.41 c ---[2612]---> Adder-cost: 145 maxlim: 92 bits: 8/7 71.42 c ---[2610]---> Adder-cost: 147 maxlim: 92 bits: 8/7 71.42 c ---[2608]---> Adder-cost: 401 maxlim: 3209 bits: 13/12 71.50 c ---[2606]---> Adder-cost: 593 maxlim: 51073 bits: 17/16 71.75 c ---[2604]---> Sorter-cost: 897 Base: 7 2 71.76 c ---[2602]---> Adder-cost: 141 maxlim: 70 bits: 8/7 71.76 c ---[2600]---> Adder-cost: 145 maxlim: 70 bits: 8/7 71.77 c ---[2598]---> Adder-cost: 145 maxlim: 70 bits: 8/7 71.77 c ---[2596]---> Adder-cost: 180 maxlim: 61 bits: 7/6 71.78 c ---[2594]---> Adder-cost: 184 maxlim: 61 bits: 7/6 71.79 c ---[2592]---> Adder-cost: 195 maxlim: 69 bits: 8/7 71.79 c ---[2590]---> Adder-cost: 149 maxlim: 91 bits: 8/7 71.80 c ---[2588]---> Adder-cost: 157 maxlim: 91 bits: 8/7 71.80 c ---[2586]---> Adder-cost: 157 maxlim: 91 bits: 8/7 71.81 c ---[2584]---> Adder-cost: 147 maxlim: 91 bits: 8/7 71.82 c ---[2582]---> Adder-cost: 140 maxlim: 58 bits: 7/6 71.82 c ---[2580]---> Adder-cost: 157 maxlim: 91 bits: 8/7 71.83 c ---[2578]---> Adder-cost: 268 maxlim: 61 bits: 7/6 71.84 c ---[2576]---> Adder-cost: 183 maxlim: 74 bits: 8/7 71.84 c ---[2574]---> Adder-cost: 195 maxlim: 74 bits: 8/7 71.85 c ---[2572]---> Adder-cost: 82 maxlim: 40 bits: 7/6 71.85 c ---[2570]---> Adder-cost: 82 maxlim: 40 bits: 7/6 71.86 c ---[2544]---> Adder-cost: 837 maxlim: 12687 bits: 15/14 72.02 c ---[2542]---> Adder-cost: 849 maxlim: 13739 bits: 15/14 72.12 c ---[2540]---> Adder-cost: 997 maxlim: 10568 bits: 15/14 72.24 c ---[2538]---> Adder-cost: 1394 maxlim: 7921 bits: 14/13 72.58 c ---[2536]---> Adder-cost: 560 maxlim: 5199 bits: 14/13 72.64 c ---[2534]---> Adder-cost: 820 maxlim: 1360 bits: 12/11 72.73 c ---[2532]---> Adder-cost: 832 maxlim: 3280 bits: 13/12 72.80 c ---[2530]---> Adder-cost: 205 maxlim: 35 bits: 7/6 72.80 c ---[2528]---> Adder-cost: 176 maxlim: 2420 bits: 12/12 72.82 c ---[2526]---> Adder-cost: 491 maxlim: 26334 bits: 16/15 72.89 c ---[2524]---> Adder-cost: 504 maxlim: 18822 bits: 16/15 72.97 c ---[2522]---> Adder-cost: 539 maxlim: 18822 bits: 16/15 73.06 c ---[2520]---> Adder-cost: 473 maxlim: 4720 bits: 14/13 73.10 c ---[2516]---> Sorter-cost: 2573 Base: 2 5 17 2 2 2 2 2 73.15 c ---[2514]---> Adder-cost: 96 maxlim: 90 bits: 8/7 73.15 c ---[2512]---> Adder-cost: 924 maxlim: 9244 bits: 15/14 73.25 c ---[2510]---> Adder-cost: 969 maxlim: 11969 bits: 15/14 73.34 c ---[2508]---> Adder-cost: 1114 maxlim: 9048 bits: 15/14 73.48 c ---[2506]---> Adder-cost: 1599 maxlim: 7479 bits: 14/13 73.77 c ---[2504]---> Adder-cost: 616 maxlim: 4823 bits: 14/13 73.83 c ---[2502]---> Adder-cost: 893 maxlim: 1284 bits: 12/11 73.92 c ---[2500]---> Adder-cost: 841 maxlim: 2890 bits: 13/12 73.99 c ---[2498]---> Adder-cost: 357 maxlim: 104 bits: 8/7 74.01 c ---[2496]---> Sorter-cost: 1607 Base: 3 3 3 5 2 2 74.02 c ---[2494]---> Adder-cost: 489 maxlim: 26348 bits: 16/15 74.09 c ---[2492]---> Adder-cost: 498 maxlim: 18832 bits: 16/15 74.18 c ---[2490]---> Adder-cost: 529 maxlim: 18832 bits: 16/15 74.27 c ---[2488]---> Adder-cost: 463 maxlim: 4721 bits: 14/13 74.32 c ---[2484]---> Sorter-cost: 2454 Base: 2 5 17 2 2 2 2 2 74.35 c ---[2482]---> Sorter-cost: 1088 Base: 3 3 2 2 2 74.36 c ---[2480]---> Adder-cost: 607 maxlim: 389 bits: 10/9 74.39 c ---[2478]---> Adder-cost: 628 maxlim: 533 bits: 10/10 74.44 c ---[2476]---> Adder-cost: 689 maxlim: 486 bits: 10/9 74.47 c ---[2474]---> Adder-cost: 707 maxlim: 486 bits: 10/9 74.51 c ---[2472]---> Adder-cost: 311 maxlim: 237 bits: 9/8 74.53 c ---[2470]---> Adder-cost: 88 maxlim: 32 bits: 7/6 74.53 c ---[2468]---> Adder-cost: 299 maxlim: 237 bits: 9/8 74.54 c ---[2464]---> Adder-cost: 696 maxlim: 256 bits: 10/9 74.58 c ---[2462]---> Adder-cost: 1358 maxlim: 34175 bits: 17/16 75.13 c ---[2460]---> Adder-cost: 684 maxlim: 877 bits: 11/10 75.18 c ---[2458]---> Adder-cost: 407 maxlim: 758 bits: 11/10 75.22 c ---[2456]---> Adder-cost: 757 maxlim: 94939 bits: 18/17 75.63 c ---[2454]---> Adder-cost: 465 maxlim: 1500 bits: 12/11 75.68 c ---[2452]---> Adder-cost: 1578 maxlim: 959 bits: 11/10 75.78 c ---[2450]---> Adder-cost: 2070 maxlim: 30460 bits: 16/15 76.44 c ---[2448]---> Adder-cost: 1039 maxlim: 14021 bits: 15/14 76.59 c ---[2446]---> Adder-cost: 526 maxlim: 3642 bits: 13/12 76.64 c ---[2444]---> Adder-cost: 690 maxlim: 57998 bits: 17/16 76.84 c ---[2442]---> Adder-cost: 588 maxlim: 29009 bits: 16/15 76.94 c ---[2440]---> Adder-cost: 946 maxlim: 3492 bits: 13/12 77.02 c ---[2438]---> Adder-cost: 1128 maxlim: 58060 bits: 17/16 77.51 c ---[2436]---> Adder-cost: 477 maxlim: 544 bits: 11/10 77.53 c ---[2434]---> Adder-cost: 1876 maxlim: 94024 bits: 18/17 79.14 c ---[2432]---> Adder-cost: 1383 maxlim: 33426 bits: 17/16 79.92 c ---[2430]---> Adder-cost: 1977 maxlim: 36978 bits: 17/16 80.73 c ---[2428]---> Adder-cost: 2179 maxlim: 41492 bits: 17/16 81.49 c ---[2426]---> Adder-cost: 1427 maxlim: 39297 bits: 17/16 81.99 c ---[2424]---> Adder-cost: 1437 maxlim: 68537 bits: 18/17 82.81 c ---[2422]---> Adder-cost: 1407 maxlim: 45074 bits: 17/16 83.71 c ---[2420]---> Adder-cost: 2314 maxlim: 38212 bits: 17/16 84.46 c ---[2418]---> Adder-cost: 2975 maxlim: 100835 bits: 18/17 86.26 c ---[2416]---> Adder-cost: 2176 maxlim: 31827 bits: 16/15 86.96 c ---[2414]---> Adder-cost: 1371 maxlim: 67285 bits: 18/17 88.16 c ---[2412]---> Adder-cost: 1286 maxlim: 78092 bits: 18/17 88.72 c ---[2410]---> Adder-cost: 1316 maxlim: 72114 bits: 18/17 89.19 c ---[2408]---> Adder-cost: 1564 maxlim: 71914 bits: 18/17 89.94 c ---[2406]---> Adder-cost: 1690 maxlim: 72914 bits: 18/17 90.76 c ---[2404]---> Adder-cost: 883 maxlim: 103368 bits: 18/17 90.96 c ---[2402]---> Adder-cost: 1219 maxlim: 96421 bits: 18/17 91.35 c ---[2400]---> Adder-cost: 1180 maxlim: 94922 bits: 18/17 92.02 c ---[2398]---> Adder-cost: 1315 maxlim: 81047 bits: 18/17 92.59 c ---[2396]---> Adder-cost: 1615 maxlim: 115426 bits: 18/17 93.75 c ---[2394]---> Adder-cost: 1321 maxlim: 82214 bits: 18/17 94.29 c ---[2392]---> Adder-cost: 1149 maxlim: 94247 bits: 18/17 94.71 c ---[2390]---> Adder-cost: 1557 maxlim: 212677 bits: 19/18 95.63 c ---[2388]---> Adder-cost: 1431 maxlim: 148199 bits: 19/18 96.65 c ---[2386]---> Adder-cost: 1753 maxlim: 149408 bits: 19/18 97.79 c ---[2384]---> Adder-cost: 1907 maxlim: 145601 bits: 19/18 98.71 c ---[2382]---> Adder-cost: 1125 maxlim: 112499 bits: 18/17 99.23 c ---[2380]---> Adder-cost: 1189 maxlim: 192229 bits: 19/18 99.86 c ---[2378]---> Adder-cost: 1183 maxlim: 171938 bits: 18/18 100.78 c ---[2376]---> Adder-cost: 1171 maxlim: 191889 bits: 19/18 102.00 c ---[2374]---> Adder-cost: 1432 maxlim: 150970 bits: 19/18 102.98 c ---[2372]---> Adder-cost: 1348 maxlim: 104100 bits: 18/17 104.06 c ---[2370]---> Adder-cost: 1696 maxlim: 106850 bits: 18/17 105.07 c ---[2368]---> Adder-cost: 1742 maxlim: 109935 bits: 18/17 106.17 c ---[2366]---> Adder-cost: 926 maxlim: 160027 bits: 18/18 106.62 c ---[2364]---> Adder-cost: 1160 maxlim: 151338 bits: 18/18 107.37 c ---[2362]---> Adder-cost: 1010 maxlim: 123054 bits: 18/17 107.93 c ---[2360]---> Adder-cost: 1188 maxlim: 150642 bits: 18/18 108.82 c ---[2358]---> Adder-cost: 496 maxlim: 104878 bits: 18/17 108.92 c ---[2356]---> Adder-cost: 282 maxlim: 131101 bits: 19/18 108.94 c ---[2354]---> Adder-cost: 294 maxlim: 131101 bits: 19/18 108.96 c ---[2352]---> Adder-cost: 294 maxlim: 131101 bits: 19/18 108.99 c ---[2350]---> Adder-cost: 264 maxlim: 16410 bits: 15/15 109.01 c ---[2348]---> Adder-cost: 130 maxlim: 8217 bits: 14/14 109.02 c ---[2346]---> Adder-cost: 220 maxlim: 131101 bits: 19/18 109.04 c ---[2344]---> Adder-cost: 604 maxlim: 104878 bits: 18/17 109.16 c ---[2342]---> Adder-cost: 725 maxlim: 115160 bits: 18/17 109.39 c ---[2340]---> Adder-cost: 621 maxlim: 120361 bits: 18/17 109.60 c ---[2338]---> Adder-cost: 414 maxlim: 52449 bits: 17/16 109.67 c ---[2336]---> Adder-cost: 486 maxlim: 104878 bits: 18/17 109.76 c ---[2334]---> Adder-cost: 276 maxlim: 131101 bits: 19/18 109.78 c ---[2332]---> Adder-cost: 280 maxlim: 131101 bits: 19/18 109.80 c ---[2330]---> Adder-cost: 286 maxlim: 131101 bits: 19/18 109.83 c ---[2328]---> Adder-cost: 266 maxlim: 16410 bits: 15/15 109.85 c ---[2326]---> Adder-cost: 254 maxlim: 6572 bits: 14/13 109.88 c ---[2324]---> Adder-cost: 220 maxlim: 131101 bits: 19/18 109.90 c ---[2322]---> Adder-cost: 604 maxlim: 104878 bits: 18/17 110.02 c ---[2320]---> Adder-cost: 322 maxlim: 131101 bits: 19/18 110.05 c ---[2318]---> Adder-cost: 298 maxlim: 131101 bits: 19/18 110.07 c ---[2316]---> Adder-cost: 414 maxlim: 52449 bits: 17/16 110.14 c ---[2314]---> Adder-cost: 397 maxlim: 980 bits: 11/10 110.16 c ---[2312]---> Adder-cost: 634 maxlim: 36869 bits: 17/16 110.23 c ---[2310]---> Adder-cost: 406 maxlim: 5797 bits: 14/13 110.27 c ---[2308]---> Adder-cost: 103 maxlim: 97 bits: 8/7 110.27 c ---[2306]---> Sorter-cost: 1297 Base: 3 7 2 110.28 c ---[2304]---> Sorter-cost: 1025 Base: 3 7 2 2 110.28 c ---[2302]---> Adder-cost: 1518 maxlim: 39704 bits: 17/16 111.54 c ---[2300]---> Adder-cost: 1522 maxlim: 39221 bits: 17/16 111.98 c ---[2298]---> Adder-cost: 1736 maxlim: 39177 bits: 17/16 112.80 c ---[2296]---> Adder-cost: 1861 maxlim: 38978 bits: 17/16 113.59 c ---[2294]---> Adder-cost: 1287 maxlim: 40999 bits: 17/16 114.09 c ---[2292]---> Adder-cost: 1274 maxlim: 41070 bits: 17/16 114.65 c ---[2290]---> Adder-cost: 1314 maxlim: 41024 bits: 17/16 115.39 c ---[2288]---> Adder-cost: 1739 maxlim: 29425 bits: 16/15 116.23 c ---[2286]---> Adder-cost: 2185 maxlim: 104442 bits: 18/17 117.71 c ---[2284]---> Adder-cost: 1277 maxlim: 37358 bits: 17/16 118.51 c ---[2282]---> Adder-cost: 994 maxlim: 41586 bits: 17/16 118.93 c ---[2280]---> Adder-cost: 1831 maxlim: 90003 bits: 18/17 119.34 c ---[2278]---> Adder-cost: 1839 maxlim: 88329 bits: 18/17 120.05 c ---[2276]---> Adder-cost: 1930 maxlim: 88322 bits: 18/17 120.64 c ---[2274]---> Adder-cost: 2081 maxlim: 88390 bits: 18/17 121.33 c ---[2272]---> Adder-cost: 896 maxlim: 136760 bits: 18/18 121.68 c ---[2270]---> Adder-cost: 1018 maxlim: 90402 bits: 18/17 121.80 c ---[2268]---> Adder-cost: 1128 maxlim: 89963 bits: 18/17 122.17 c ---[2266]---> Adder-cost: 1569 maxlim: 104350 bits: 18/17 122.67 c ---[2264]---> Adder-cost: 1701 maxlim: 111504 bits: 18/17 123.38 c ---[2262]---> Adder-cost: 1225 maxlim: 110118 bits: 18/17 123.93 c ---[2260]---> Adder-cost: 1015 maxlim: 92078 bits: 18/17 124.55 c ---[2258]---> Adder-cost: 488 maxlim: 104878 bits: 18/17 124.65 c ---[2256]---> Adder-cost: 294 maxlim: 131101 bits: 19/18 124.67 c ---[2254]---> Adder-cost: 302 maxlim: 131101 bits: 19/18 124.69 c ---[2252]---> Adder-cost: 296 maxlim: 131101 bits: 19/18 124.72 c ---[2250]---> Adder-cost: 274 maxlim: 16410 bits: 15/15 124.74 c ---[2248]---> Adder-cost: 138 maxlim: 8217 bits: 14/14 124.75 c ---[2246]---> Adder-cost: 220 maxlim: 131101 bits: 19/18 124.77 c ---[2244]---> Adder-cost: 594 maxlim: 104878 bits: 18/17 124.90 c ---[2242]---> Adder-cost: 314 maxlim: 131101 bits: 19/18 124.92 c ---[2240]---> Adder-cost: 298 maxlim: 131101 bits: 19/18 124.95 c ---[2238]---> Adder-cost: 424 maxlim: 52449 bits: 17/16 125.01 c ---[2236]---> Adder-cost: 96 maxlim: 172 bits: 9/8 125.02 c ---[2234]---> Adder-cost: 484 maxlim: 104878 bits: 18/17 125.11 c ---[2232]---> Adder-cost: 278 maxlim: 131101 bits: 19/18 125.14 c ---[2230]---> Adder-cost: 282 maxlim: 131101 bits: 19/18 125.16 c ---[2228]---> Adder-cost: 286 maxlim: 131101 bits: 19/18 125.18 c ---[2226]---> Adder-cost: 264 maxlim: 16410 bits: 15/15 125.21 c ---[2224]---> Adder-cost: 130 maxlim: 8217 bits: 14/14 125.22 c ---[2222]---> Adder-cost: 220 maxlim: 131101 bits: 19/18 125.24 c ---[2220]---> Adder-cost: 664 maxlim: 87402 bits: 18/17 125.38 c ---[2218]---> Adder-cost: 744 maxlim: 104878 bits: 18/17 125.59 c ---[2216]---> Adder-cost: 663 maxlim: 104878 bits: 18/17 125.74 c ---[2214]---> Adder-cost: 412 maxlim: 52449 bits: 17/16 125.81 c ---[2212]---> Adder-cost: 94 maxlim: 129 bits: 9/8 125.82 c ---[2210]---> Adder-cost: 155 maxlim: 129 bits: 9/8 125.82 c ---[2208]---> Adder-cost: 155 maxlim: 129 bits: 9/8 125.83 c ---[2206]---> Adder-cost: 153 maxlim: 129 bits: 9/8 125.84 c ---[2204]---> Adder-cost: 185 maxlim: 99 bits: 8/7 125.85 c ---[2202]---> Adder-cost: 175 maxlim: 99 bits: 8/7 125.86 c ---[2200]---> Adder-cost: 238 maxlim: 184 bits: 9/8 125.86 c ---[2198]---> Adder-cost: 346 maxlim: 568 bits: 10/10 125.89 c ---[2196]---> Adder-cost: 292 maxlim: 350 bits: 9/9 125.91 c ---[2194]---> Sorter-cost: 484 Base: 2 125.91 c ---[2192]---> Adder-cost: 52 maxlim: 42 bits: 6/6 125.91 c ---[2190]---> Adder-cost: 58 maxlim: 42 bits: 7/6 125.91 c ---[2188]---> Adder-cost: 58 maxlim: 42 bits: 7/6 125.92 c ---[2186]---> Sorter-cost: 584 Base: 2 2 2 2 2 2 2 125.92 c ---[2184]---> Sorter-cost: 4117 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 126.07 c ---[2182]---> Adder-cost: 850 maxlim: 550 bits: 11/10 126.11 c ---[2180]---> Adder-cost: 774 maxlim: 540 bits: 11/10 126.15 c ---[2178]---> Adder-cost: 748 maxlim: 559 bits: 11/10 126.19 c ---[2176]---> Adder-cost: 788 maxlim: 559 bits: 11/10 126.23 c ---[2174]---> Adder-cost: 606 maxlim: 426 bits: 10/9 126.25 c ---[2172]---> Adder-cost: 358 maxlim: 286 bits: 10/9 126.27 c ---[2170]---> Adder-cost: 608 maxlim: 426 bits: 10/9 126.29 c ---[2168]---> Adder-cost: 604 maxlim: 335 bits: 10/9 126.31 c ---[2166]---> Adder-cost: 774 maxlim: 4747 bits: 14/13 126.41 c ---[2164]---> Adder-cost: 180 maxlim: 113 bits: 8/7 126.42 c ---[2162]---> Adder-cost: 190 maxlim: 88 bits: 8/7 126.43 c ---[2157]---> Adder-cost: 472 maxlim: 261481 bits: 19/18 126.65 c ---[2155]---> Adder-cost: 516 maxlim: 46789 bits: 16/16 126.80 c ---[2153]---> Adder-cost: 456 maxlim: 27708 bits: 16/15 126.88 c ---[2151]---> Adder-cost: 510 maxlim: 99536 bits: 17/17 127.00 c ---[2149]---> Adder-cost: 462 maxlim: 24460 bits: 15/15 127.09 c ---[2147]---> Adder-cost: 108 maxlim: 70 bits: 7/7 127.10 c ---[2145]---> Sorter-cost: 821 Base: 3 127.10 c ---[2143]---> Adder-cost: 464 maxlim: 101917 bits: 18/17 127.23 c ---[2141]---> Adder-cost: 112 maxlim: 152 bits: 8/8 127.24 c ---[2139]---> Adder-cost: 1216 maxlim: 294894 bits: 19/19 127.67 c ---[2137]---> Adder-cost: 822 maxlim: 91727 bits: 18/17 128.17 c ---[2135]---> Adder-cost: 446 maxlim: 163906 bits: 18/18 128.26 c ---[2133]---> Adder-cost: 486 maxlim: 174216 bits: 18/18 128.37 c ---[2131]---> Adder-cost: 1418 maxlim: 224928 bits: 19/18 128.74 c ---[2129]---> Adder-cost: 1172 maxlim: 144926 bits: 18/18 129.02 c ---[2127]---> Adder-cost: 1260 maxlim: 183157 bits: 18/18 129.32 c ---[2125]---> Adder-cost: 1376 maxlim: 295121 bits: 19/19 129.74 c ---[2123]---> Adder-cost: 1102 maxlim: 80751 bits: 17/17 129.96 c ---[2121]---> Adder-cost: 1436 maxlim: 187476 bits: 19/18 130.28 c ---[2119]---> Adder-cost: 522 maxlim: 717 bits: 10/10 130.33 c ---[2117]---> Adder-cost: 608 maxlim: 166558 bits: 19/18 130.39 c ---[2115]---> Adder-cost: 628 maxlim: 229794 bits: 19/18 130.45 c ---[2113]---> Adder-cost: 608 maxlim: 180511 bits: 19/18 130.51 c ---[2111]---> Adder-cost: 1272 maxlim: 168963 bits: 18/18 130.80 c ---[2105]---> Adder-cost: 392 maxlim: 105599 bits: 18/17 131.00 c ---[2103]---> Sorter-cost: 1239 Base: 11 131.00 c ---[2101]---> Adder-cost: 126 maxlim: 130 bits: 8/8 131.01 c ---[2099]---> Adder-cost: 124 maxlim: 108 bits: 8/7 131.01 c ---[2097]---> Adder-cost: 150 maxlim: 310 bits: 9/9 131.02 c ---[2095]---> Adder-cost: 339 maxlim: 7977 bits: 14/13 131.08 c ---[2093]---> Adder-cost: 220 maxlim: 2372 bits: 13/12 131.10 c ---[2091]---> Adder-cost: 974 maxlim: 50726 bits: 16/16 131.37 c ---[2089]---> Adder-cost: 700 maxlim: 155954 bits: 18/18 131.88 c ---[2087]---> Adder-cost: 492 maxlim: 45872 bits: 17/16 132.10 c ---[2085]---> Adder-cost: 146 maxlim: 311 bits: 10/9 132.11 c ---[2083]---> Adder-cost: 261 maxlim: 5166 bits: 14/13 132.13 c ---[2081]---> Adder-cost: 302 maxlim: 131634 bits: 19/18 132.15 c ---[2079]---> Adder-cost: 282 maxlim: 33071 bits: 17/16 132.17 c ---[2077]---> Adder-cost: 120 maxlim: 1046 bits: 11/11 132.18 c ---[2075]---> Adder-cost: 86 maxlim: 86 bits: 7/7 132.18 c ---[2073]---> Adder-cost: 74 maxlim: 54 bits: 7/6 132.19 c ---[2067]---> Sorter-cost: 821 Base: 3 132.19 c ---[2065]---> Sorter-cost: 554 Base: 2 2 2 2 2 132.19 c ---[2063]---> Adder-cost: 201 maxlim: 84 bits: 8/7 132.20 c ---[2061]---> Adder-cost: 203 maxlim: 84 bits: 8/7 132.21 c ---[2059]---> Adder-cost: 213 maxlim: 84 bits: 8/7 132.22 c ---[2057]---> Adder-cost: 115 maxlim: 44 bits: 7/6 132.22 c ---[2055]---> Adder-cost: 113 maxlim: 44 bits: 7/6 132.23 c ---[2053]---> Sorter-cost: 1039 Base: 3 3 132.23 c ---[2051]---> Sorter-cost: 1636 Base: 3 3 3 132.23 c ---[2049]---> Sorter-cost: 1636 Base: 3 3 3 132.24 c ---[2047]---> Sorter-cost: 1636 Base: 3 3 3 132.24 c ---[2045]---> Adder-cost: 174 maxlim: 50 bits: 7/6 132.25 c ---[2043]---> Adder-cost: 178 maxlim: 50 bits: 7/6 132.26 c ---[2041]---> Adder-cost: 205 maxlim: 137 bits: 9/8 132.27 c ---[2039]---> Adder-cost: 364 maxlim: 204 bits: 9/8 132.29 c ---[2033]---> Adder-cost: 156 maxlim: 65563 bits: 17/17 132.30 c ---[2031]---> Sorter-cost: 2030 Base: 2 3 5 2 2 2 2 2 2 2 2 2 132.36 c ---[2029]---> Sorter-cost: 2150 Base: 2 2 3 5 2 2 2 2 2 2 2 2 2 132.45 c ---[2017]---> Adder-cost: 344 maxlim: 2924 bits: 12/12 132.49 c ---[2011]---> Adder-cost: 1674 maxlim: 8500 bits: 14/14 132.78 c ---[2005]---> Adder-cost: 1439 maxlim: 7706 bits: 14/13 132.98 c ---[1989]---> Adder-cost: 512 maxlim: 11469 bits: 14/14 133.04 c ---[1987]---> Adder-cost: 558 maxlim: 69486 bits: 17/17 133.28 c ---[1985]---> Adder-cost: 460 maxlim: 23518 bits: 16/15 133.37 c ---[1979]---> Adder-cost: 2150 maxlim: 10215 bits: 14/14 134.18 c ---[1977]---> Adder-cost: 3114 maxlim: 69922 bits: 17/17 135.24 c ---[1975]---> Adder-cost: 1690 maxlim: 30620 bits: 16/15 135.56 c ---[1969]---> Adder-cost: 2372 maxlim: 9168 bits: 15/14 135.81 c ---[1967]---> Adder-cost: 3072 maxlim: 64842 bits: 17/16 137.19 c ---[1965]---> Adder-cost: 1524 maxlim: 27231 bits: 16/15 137.70 c ---[1961]---> Adder-cost: 346 maxlim: 1097 bits: 11/11 137.72 c ---[1957]---> Adder-cost: 356 maxlim: 41380 bits: 16/16 137.81 c ---[1955]---> Adder-cost: 2294 maxlim: 2499 bits: 12/12 138.39 c ---[1951]---> Adder-cost: 2818 maxlim: 51416 bits: 16/16 139.23 c ---[1949]---> Adder-cost: 1661 maxlim: 2352 bits: 13/12 139.38 c ---[1945]---> Adder-cost: 2678 maxlim: 44674 bits: 16/16 140.34 c ---[1943]---> Adder-cost: 1298 maxlim: 60126 bits: 17/16 140.80 c ---[1941]---> Adder-cost: 1272 maxlim: 30394 bits: 16/15 141.19 c ---[1939]---> Adder-cost: 1308 maxlim: 40514 bits: 16/16 141.63 c ---[1937]---> Adder-cost: 1630 maxlim: 73374 bits: 17/17 142.26 c ---[1935]---> Adder-cost: 1082 maxlim: 32151 bits: 16/15 142.56 c ---[1933]---> Adder-cost: 1116 maxlim: 53056 bits: 17/16 142.87 c ---[1931]---> Adder-cost: 1142 maxlim: 45171 bits: 16/16 143.18 c ---[1929]---> Adder-cost: 1466 maxlim: 36112 bits: 16/16 143.57 c ---[1927]---> Adder-cost: 2020 maxlim: 286922 bits: 19/19 145.01 c ---[1925]---> Adder-cost: 1636 maxlim: 71774 bits: 17/17 145.57 c ---[1923]---> Adder-cost: 896 maxlim: 15548 bits: 15/14 145.73 c ---[1921]---> Adder-cost: 122 maxlim: 132 bits: 8/8 145.74 c ---[1911]---> Adder-cost: 518 maxlim: 22916 bits: 15/15 145.82 c ---[1909]---> Adder-cost: 644 maxlim: 158896 bits: 18/18 146.44 c ---[1907]---> Sorter-cost: 5155 Base: 3 3 5 2 2 2 2 2 2 2 146.61 c ---[1905]---> Adder-cost: 106 maxlim: 72 bits: 7/7 146.61 c ---[1903]---> Adder-cost: 2924 maxlim: 2198 bits: 12/12 147.64 c ---[1901]---> Adder-cost: 3570 maxlim: 12320 bits: 14/14 149.10 c ---[1899]---> Adder-cost: 4868 maxlim: 59330 bits: 17/16 151.18 c ---[1897]---> Adder-cost: 2874 maxlim: 41685 bits: 16/16 151.98 c ---[1895]---> Adder-cost: 858 maxlim: 765 bits: 10/10 152.07 c ---[1893]---> Adder-cost: 2276 maxlim: 2142 bits: 13/12 152.22 c ---[1891]---> Adder-cost: 3240 maxlim: 10865 bits: 15/14 153.76 c ---[1889]---> Adder-cost: 4536 maxlim: 55174 bits: 16/16 156.03 c ---[1887]---> Adder-cost: 2034 maxlim: 36802 bits: 16/16 156.99 c ---[1885]---> Adder-cost: 863 maxlim: 718 bits: 11/10 157.03 c ---[1881]---> Adder-cost: 142 maxlim: 202 bits: 9/8 157.04 c ---[1879]---> Adder-cost: 134 maxlim: 182 bits: 8/8 157.05 c ---[1877]---> Adder-cost: 138 maxlim: 302 bits: 9/9 157.05 c ---[1871]---> Adder-cost: 2016 maxlim: 1658 bits: 12/11 157.17 c ---[1869]---> Adder-cost: 2005 maxlim: 1740 bits: 12/11 157.29 c ---[1867]---> Adder-cost: 2197 maxlim: 2347 bits: 13/12 157.42 c ---[1865]---> Adder-cost: 1452 maxlim: 1593 bits: 11/11 157.82 c ---[1863]---> Adder-cost: 1668 maxlim: 1622 bits: 11/11 158.27 c ---[1861]---> Adder-cost: 1560 maxlim: 2258 bits: 12/12 158.84 c ---[1859]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 158.84 c ---[1857]---> Sorter-cost: 1301 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 158.85 c ---[1855]---> Adder-cost: 478 maxlim: 75939 bits: 17/17 159.09 c ---[1853]---> Adder-cost: 558 maxlim: 76535 bits: 17/17 159.35 c ---[1851]---> Adder-cost: 574 maxlim: 150985 bits: 18/18 159.76 c ---[1849]---> Adder-cost: 3614 maxlim: 45513 bits: 16/16 161.29 c ---[1847]---> Adder-cost: 3990 maxlim: 47193 bits: 16/16 163.11 c ---[1845]---> Adder-cost: 4182 maxlim: 47217 bits: 16/16 164.99 c ---[1843]---> Adder-cost: 2590 maxlim: 40827 bits: 16/16 166.66 c ---[1841]---> Adder-cost: 3370 maxlim: 41919 bits: 16/16 168.45 c ---[1839]---> Adder-cost: 3714 maxlim: 42007 bits: 16/16 170.38 c ---[1837]---> Adder-cost: 144 maxlim: 200 bits: 9/8 170.39 c ---[1835]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 170.39 c ---[1833]---> Adder-cost: 110 maxlim: 280 bits: 9/9 170.40 c ---[1831]---> Adder-cost: 122 maxlim: 114 bits: 8/7 170.40 c ---[1829]---> Adder-cost: 1728 maxlim: 1722 bits: 11/11 170.71 c ---[1827]---> Adder-cost: 1984 maxlim: 1724 bits: 11/11 171.14 c ---[1825]---> Adder-cost: 784 maxlim: 816 bits: 10/10 171.21 c ---[1823]---> Adder-cost: 1630 maxlim: 1683 bits: 12/11 171.31 c ---[1821]---> Adder-cost: 1787 maxlim: 1639 bits: 12/11 171.42 c ---[1819]---> Adder-cost: 782 maxlim: 724 bits: 11/10 171.46 c ---[1817]---> Adder-cost: 60 maxlim: 43 bits: 7/6 171.47 c ---[1815]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 171.47 c ---[1813]---> Sorter-cost: 627 Base: 2 2 2 2 2 2 2 171.47 c ---[1809]---> Adder-cost: 224 maxlim: 32790 bits: 16/16 171.49 c ---[1807]---> Adder-cost: 146 maxlim: 172 bits: 8/8 171.50 c ---[1805]---> Adder-cost: 258 maxlim: 1106 bits: 11/11 171.52 c ---[1803]---> Adder-cost: 254 maxlim: 584 bits: 10/10 171.53 c ---[1801]---> Adder-cost: 282 maxlim: 702 bits: 10/10 171.55 c ---[1799]---> Adder-cost: 122 maxlim: 114 bits: 8/7 171.55 c ---[1797]---> Adder-cost: 60 maxlim: 75 bits: 7/7 171.56 c ---[1795]---> Adder-cost: 266 maxlim: 1035 bits: 11/11 171.57 c ---[1793]---> Adder-cost: 408 maxlim: 18830 bits: 15/15 171.64 c ---[1791]---> Adder-cost: 254 maxlim: 292 bits: 9/9 171.65 c ---[1789]---> Adder-cost: 270 maxlim: 569 bits: 10/10 171.67 c ---[1787]---> Adder-cost: 172 maxlim: 174 bits: 8/8 171.68 c ---[1785]---> Adder-cost: 376 maxlim: 6594 bits: 14/13 171.71 c ---[1783]---> Adder-cost: 2252 maxlim: 63254 bits: 17/16 172.27 c ---[1781]---> Adder-cost: 1962 maxlim: 1766 bits: 12/11 172.37 c ---[1779]---> Adder-cost: 2240 maxlim: 3782 bits: 13/12 172.49 c ---[1777]---> Adder-cost: 2303 maxlim: 2532 bits: 13/12 172.64 c ---[1775]---> Adder-cost: 1490 maxlim: 2173 bits: 12/12 172.88 c ---[1773]---> Adder-cost: 1388 maxlim: 4328 bits: 13/13 173.10 c ---[1771]---> Adder-cost: 2122 maxlim: 35740 bits: 16/16 173.57 c ---[1769]---> Adder-cost: 1968 maxlim: 1724 bits: 11/11 173.99 c ---[1767]---> Adder-cost: 2338 maxlim: 3504 bits: 12/12 174.55 c ---[1765]---> Adder-cost: 1724 maxlim: 1540 bits: 11/11 174.85 c ---[1763]---> Adder-cost: 1130 maxlim: 28488 bits: 15/15 175.01 c ---[1761]---> Adder-cost: 2224 maxlim: 53992 bits: 17/16 175.86 c ---[1759]---> Adder-cost: 1632 maxlim: 1712 bits: 11/11 176.22 c ---[1757]---> Adder-cost: 1798 maxlim: 3510 bits: 12/12 176.68 c ---[1755]---> Adder-cost: 1798 maxlim: 2375 bits: 12/12 177.21 c ---[1753]---> Adder-cost: 1470 maxlim: 2008 bits: 12/11 177.30 c ---[1751]---> Adder-cost: 1491 maxlim: 3912 bits: 13/12 177.43 c ---[1749]---> Adder-cost: 1958 maxlim: 30446 bits: 16/15 178.02 c ---[1747]---> Adder-cost: 1815 maxlim: 1639 bits: 12/11 178.13 c ---[1745]---> Adder-cost: 2271 maxlim: 3410 bits: 13/12 178.29 c ---[1743]---> Adder-cost: 1546 maxlim: 1500 bits: 12/11 178.38 c ---[1741]---> Adder-cost: 1120 maxlim: 23870 bits: 16/15 178.60 c ---[1739]---> Adder-cost: 304 maxlim: 2097 bits: 12/12 178.62 c ---[1737]---> Adder-cost: 718 maxlim: 2924 bits: 12/12 178.68 c ---[1729]---> Adder-cost: 110 maxlim: 278 bits: 9/9 178.69 c ---[1727]---> Adder-cost: 198 maxlim: 484 bits: 10/9 178.70 c ---[1725]---> Adder-cost: 222 maxlim: 663 bits: 10/10 178.71 c ---[1723]---> Adder-cost: 236 maxlim: 1290 bits: 11/11 178.73 c ---[1721]---> Adder-cost: 196 maxlim: 506 bits: 10/9 178.74 c ---[1719]---> Adder-cost: 90 maxlim: 86 bits: 7/7 178.74 c ---[1717]---> Adder-cost: 234 maxlim: 701 bits: 10/10 178.76 c ---[1715]---> Adder-cost: 96 maxlim: 86 bits: 7/7 178.76 c ---[1713]---> Adder-cost: 622 maxlim: 3165 bits: 12/12 178.81 c ---[1711]---> Adder-cost: 410 maxlim: 3447 bits: 13/12 178.85 c ---[1709]---> Adder-cost: 214 maxlim: 776 bits: 10/10 178.87 c ---[1707]---> Adder-cost: 204 maxlim: 370 bits: 9/9 178.88 c ---[1705]---> Adder-cost: 2312 maxlim: 24510 bits: 15/15 179.35 c ---[1703]---> Adder-cost: 1264 maxlim: 1744 bits: 11/11 179.51 c ---[1701]---> Adder-cost: 1760 maxlim: 3968 bits: 12/12 179.81 c ---[1699]---> Adder-cost: 2000 maxlim: 7076 bits: 13/13 180.18 c ---[1697]---> Adder-cost: 1516 maxlim: 3841 bits: 12/12 180.41 c ---[1695]---> Adder-cost: 2014 maxlim: 13148 bits: 14/14 180.76 c ---[1693]---> Adder-cost: 1278 maxlim: 1891 bits: 11/11 180.91 c ---[1691]---> Adder-cost: 2438 maxlim: 9738 bits: 14/14 181.40 c ---[1689]---> Adder-cost: 3150 maxlim: 38665 bits: 16/16 182.10 c ---[1687]---> Adder-cost: 2232 maxlim: 5363 bits: 13/13 182.54 c ---[1685]---> Adder-cost: 1362 maxlim: 6004 bits: 13/13 182.73 c ---[1681]---> Adder-cost: 204 maxlim: 4098 bits: 13/13 182.75 c ---[1675]---> Adder-cost: 214 maxlim: 3280 bits: 13/12 182.77 c ---[1671]---> Adder-cost: 238 maxlim: 3280 bits: 13/12 182.79 c ---[1669]---> Adder-cost: 1816 maxlim: 24460 bits: 15/15 183.08 c ---[1667]---> Adder-cost: 218 maxlim: 127 bits: 8/7 183.09 c ---[1665]---> Adder-cost: 160 maxlim: 165 bits: 9/8 183.10 c ---[1663]---> Adder-cost: 160 maxlim: 165 bits: 9/8 183.11 c ---[1661]---> Adder-cost: 156 maxlim: 165 bits: 9/8 183.12 c ---[1659]---> Adder-cost: 156 maxlim: 165 bits: 9/8 183.13 c ---[1657]---> Adder-cost: 102 maxlim: 165 bits: 9/8 183.13 c ---[1655]---> Adder-cost: 144 maxlim: 165 bits: 9/8 183.14 c ---[1653]---> Adder-cost: 307 maxlim: 180 bits: 9/8 183.16 c ---[1651]---> Adder-cost: 293 maxlim: 216 bits: 9/8 183.17 c ---[1649]---> Adder-cost: 283 maxlim: 216 bits: 9/8 183.18 c ---[1647]---> Adder-cost: 1516 maxlim: 126288 bits: 18/17 184.11 c ---[1645]---> Adder-cost: 1329 maxlim: 11944 bits: 15/14 184.50 c ---[1643]---> Adder-cost: 1581 maxlim: 119175 bits: 18/17 185.84 c ---[1641]---> Adder-cost: 1597 maxlim: 119175 bits: 18/17 187.20 c ---[1639]---> Adder-cost: 1240 maxlim: 118523 bits: 18/17 187.69 c ---[1637]---> Adder-cost: 997 maxlim: 129302 bits: 18/17 188.25 c ---[1635]---> Adder-cost: 1243 maxlim: 115331 bits: 18/17 189.02 c ---[1633]---> Adder-cost: 971 maxlim: 122438 bits: 18/17 189.81 c ---[1631]---> Adder-cost: 205 maxlim: 135 bits: 9/8 189.82 c ---[1629]---> Adder-cost: 181 maxlim: 191 bits: 9/8 189.83 c ---[1627]---> Adder-cost: 169 maxlim: 191 bits: 9/8 189.84 c ---[1625]---> Adder-cost: 173 maxlim: 191 bits: 9/8 189.85 c ---[1623]---> Adder-cost: 175 maxlim: 191 bits: 9/8 189.85 c ---[1621]---> Adder-cost: 112 maxlim: 191 bits: 9/8 189.86 c ---[1619]---> Adder-cost: 163 maxlim: 191 bits: 9/8 189.87 c ---[1617]---> Adder-cost: 277 maxlim: 202 bits: 9/8 189.88 c ---[1615]---> Adder-cost: 227 maxlim: 254 bits: 9/8 189.90 c ---[1613]---> Adder-cost: 237 maxlim: 254 bits: 9/8 189.91 c ---[1611]---> Adder-cost: 2266 maxlim: 57796 bits: 17/16 190.81 c ---[1609]---> Adder-cost: 2152 maxlim: 15237 bits: 15/14 191.22 c ---[1607]---> Adder-cost: 2424 maxlim: 61781 bits: 17/16 192.42 c ---[1605]---> Adder-cost: 2490 maxlim: 67935 bits: 18/17 193.42 c ---[1603]---> Adder-cost: 1593 maxlim: 83781 bits: 18/17 193.88 c ---[1601]---> Adder-cost: 894 maxlim: 84492 bits: 18/17 194.30 c ---[1599]---> Adder-cost: 1581 maxlim: 87045 bits: 18/17 195.03 c ---[1597]---> Adder-cost: 894 maxlim: 119849 bits: 18/17 196.14 c ---[1595]---> Adder-cost: 476 maxlim: 104878 bits: 18/17 196.24 c ---[1593]---> Adder-cost: 266 maxlim: 65564 bits: 18/17 196.26 c ---[1591]---> Adder-cost: 286 maxlim: 131101 bits: 19/18 196.28 c ---[1589]---> Adder-cost: 288 maxlim: 131101 bits: 19/18 196.31 c ---[1587]---> Adder-cost: 246 maxlim: 16410 bits: 15/15 196.33 c ---[1585]---> Adder-cost: 122 maxlim: 8217 bits: 14/14 196.34 c ---[1583]---> Adder-cost: 210 maxlim: 131101 bits: 19/18 196.36 c ---[1581]---> Adder-cost: 396 maxlim: 52449 bits: 17/16 196.43 c ---[1579]---> Adder-cost: 476 maxlim: 104878 bits: 18/17 196.52 c ---[1577]---> Adder-cost: 244 maxlim: 16410 bits: 16/15 196.54 c ---[1575]---> Adder-cost: 272 maxlim: 131101 bits: 19/18 196.57 c ---[1573]---> Adder-cost: 278 maxlim: 131101 bits: 19/18 196.59 c ---[1571]---> Adder-cost: 258 maxlim: 16410 bits: 15/15 196.61 c ---[1569]---> Adder-cost: 264 maxlim: 6572 bits: 14/13 196.64 c ---[1567]---> Adder-cost: 214 maxlim: 131101 bits: 19/18 196.66 c ---[1565]---> Adder-cost: 408 maxlim: 52449 bits: 17/16 196.73 c ---[1563]---> Adder-cost: 131 maxlim: 68 bits: 8/7 196.73 c ---[1561]---> Adder-cost: 141 maxlim: 68 bits: 8/7 196.74 c ---[1559]---> Adder-cost: 164 maxlim: 53 bits: 7/6 196.75 c ---[1557]---> Adder-cost: 212 maxlim: 51 bits: 7/6 196.75 c ---[1555]---> Adder-cost: 147 maxlim: 55 bits: 7/6 196.76 c ---[1553]---> Sorter-cost: 874 Base: 2 2 2 2 3 196.76 c ---[1551]---> Sorter-cost: 874 Base: 2 2 2 2 3 196.77 c ---[1549]---> Adder-cost: 241 maxlim: 69 bits: 8/7 196.78 c ---[1547]---> Adder-cost: 183 maxlim: 86 bits: 8/7 196.79 c ---[1545]---> Adder-cost: 159 maxlim: 55 bits: 7/6 196.79 c ---[1543]---> Adder-cost: 74 maxlim: 36 bits: 7/6 196.79 c ---[1541]---> Adder-cost: 125 maxlim: 36 bits: 7/6 196.80 c ---[1539]---> Adder-cost: 109 maxlim: 36 bits: 7/6 196.80 c ---[1537]---> Adder-cost: 107 maxlim: 36 bits: 7/6 196.81 c ---[1535]---> Adder-cost: 139 maxlim: 33 bits: 7/6 196.81 c ---[1533]---> Adder-cost: 149 maxlim: 33 bits: 7/6 196.82 c ---[1531]---> Adder-cost: 2019 maxlim: 7891 bits: 14/13 197.07 c ---[1529]---> Adder-cost: 2529 maxlim: 34559 bits: 17/16 197.70 c ---[1527]---> Adder-cost: 1725 maxlim: 5287 bits: 14/13 197.88 c ---[1525]---> Adder-cost: 442 maxlim: 284 bits: 10/9 197.91 c ---[1523]---> Adder-cost: 661 maxlim: 467 bits: 10/9 197.95 c ---[1521]---> Adder-cost: 665 maxlim: 467 bits: 10/9 197.99 c ---[1519]---> Adder-cost: 899 maxlim: 11618 bits: 15/14 198.16 c ---[1517]---> Adder-cost: 350 maxlim: 216 bits: 9/8 198.18 c ---[1515]---> Adder-cost: 375 maxlim: 1667 bits: 12/11 198.23 c ---[1513]---> Adder-cost: 338 maxlim: 216 bits: 9/8 198.24 c ---[1511]---> Adder-cost: 367 maxlim: 208 bits: 9/8 198.26 c ---[1509]---> Adder-cost: 623 maxlim: 2953 bits: 13/12 198.36 c ---[1507]---> Adder-cost: 179 maxlim: 69 bits: 8/7 198.37 c ---[1505]---> Adder-cost: 308 maxlim: 65564 bits: 18/17 198.39 c ---[1503]---> Adder-cost: 386 maxlim: 17281 bits: 16/15 198.51 c ---[1501]---> Adder-cost: 636 maxlim: 24191 bits: 16/15 198.68 c ---[1499]---> Adder-cost: 766 maxlim: 96712 bits: 18/17 199.10 c ---[1497]---> Adder-cost: 464 maxlim: 13393 bits: 15/14 199.18 c ---[1495]---> Sorter-cost: 3937 Base: 3 7 2 2 2 2 2 2 2 2 199.26 c ---[1493]---> Sorter-cost: 2688 Base: 3 7 2 2 2 2 199.27 c ---[1491]---> Adder-cost: 697 maxlim: 9098 bits: 15/14 199.47 c ---[1489]---> Adder-cost: 690 maxlim: 6076 bits: 14/13 199.67 c ---[1487]---> Adder-cost: 560 maxlim: 2298 bits: 13/12 199.76 c ---[1485]---> Sorter-cost: 2120 Base: 3 7 2 2 2 199.77 c ---[1483]---> Sorter-cost: 2564 Base: 3 3 3 3 2 2 2 2 2 2 2 199.86 c ---[1481]---> Sorter-cost: 3128 Base: 3 3 3 3 2 2 2 2 2 2 2 2 2 200.05 c ---[1479]---> Sorter-cost: 2195 Base: 3 3 3 3 2 2 2 2 2 2 200.11 c ---[1477]---> Adder-cost: 310 maxlim: 65564 bits: 18/17 200.13 c ---[1475]---> Adder-cost: 341 maxlim: 2562 bits: 13/12 200.18 c ---[1473]---> Adder-cost: 547 maxlim: 1758 bits: 12/11 200.23 c ---[1471]---> Adder-cost: 650 maxlim: 6980 bits: 14/13 200.32 c ---[1469]---> Adder-cost: 374 maxlim: 1029 bits: 12/11 200.36 c ---[1467]---> Sorter-cost: 3152 Base: 3 7 2 2 2 2 2 2 200.39 c ---[1465]---> Sorter-cost: 2688 Base: 3 7 2 2 2 2 200.41 c ---[1463]---> Adder-cost: 661 maxlim: 10479 bits: 15/14 200.53 c ---[1461]---> Adder-cost: 648 maxlim: 6998 bits: 14/13 200.64 c ---[1459]---> Adder-cost: 552 maxlim: 2645 bits: 13/12 200.70 c ---[1457]---> Sorter-cost: 2120 Base: 3 7 2 2 2 200.71 c ---[1455]---> Adder-cost: 333 maxlim: 181 bits: 9/8 200.73 c ---[1453]---> Adder-cost: 311 maxlim: 181 bits: 9/8 200.74 c ---[1451]---> Adder-cost: 323 maxlim: 181 bits: 9/8 200.76 c ---[1449]---> Adder-cost: 325 maxlim: 181 bits: 9/8 200.78 c ---[1447]---> Adder-cost: 263 maxlim: 219 bits: 9/8 200.79 c ---[1445]---> Adder-cost: 155 maxlim: 181 bits: 9/8 200.80 c ---[1443]---> Adder-cost: 263 maxlim: 219 bits: 9/8 200.81 c ---[1441]---> Adder-cost: 274 maxlim: 167 bits: 9/8 200.83 c ---[1439]---> Adder-cost: 232 maxlim: 195 bits: 9/8 200.84 c ---[1437]---> Adder-cost: 258 maxlim: 195 bits: 9/8 200.86 c ---[1435]---> Adder-cost: 232 maxlim: 22467 bits: 16/15 200.92 c ---[1433]---> Adder-cost: 300 maxlim: 89814 bits: 18/17 201.06 c ---[1431]---> Sorter-cost: 2244 Base: 3 7 2 2 2 2 2 2 2 201.10 c ---[1429]---> Adder-cost: 327 maxlim: 171 bits: 9/8 201.11 c ---[1427]---> Adder-cost: 279 maxlim: 203 bits: 9/8 201.13 c ---[1425]---> Adder-cost: 297 maxlim: 203 bits: 9/8 201.14 c ---[1423]---> Adder-cost: 297 maxlim: 203 bits: 9/8 201.16 c ---[1421]---> Adder-cost: 289 maxlim: 203 bits: 9/8 201.18 c ---[1419]---> Adder-cost: 165 maxlim: 171 bits: 9/8 201.18 c ---[1417]---> Adder-cost: 279 maxlim: 203 bits: 9/8 201.20 c ---[1415]---> Adder-cost: 274 maxlim: 159 bits: 9/8 201.22 c ---[1413]---> Adder-cost: 230 maxlim: 187 bits: 9/8 201.23 c ---[1411]---> Adder-cost: 222 maxlim: 187 bits: 9/8 201.24 c ---[1409]---> Adder-cost: 133 maxlim: 115 bits: 8/7 201.24 c ---[1407]---> Adder-cost: 82 maxlim: 115 bits: 8/7 201.25 c ---[1405]---> Adder-cost: 144 maxlim: 125 bits: 8/7 201.26 c ---[1403]---> Adder-cost: 1699 maxlim: 69885 bits: 18/17 201.73 c ---[1401]---> Adder-cost: 1400 maxlim: 748 bits: 11/10 201.85 c ---[1399]---> Adder-cost: 1676 maxlim: 748 bits: 11/10 201.99 c ---[1397]---> Adder-cost: 2057 maxlim: 2483 bits: 13/12 202.28 c ---[1395]---> Adder-cost: 1086 maxlim: 480 bits: 10/9 202.35 c ---[1393]---> Adder-cost: 962 maxlim: 1032 bits: 12/11 202.46 c ---[1391]---> Adder-cost: 959 maxlim: 528 bits: 11/10 202.53 c ---[1389]---> Adder-cost: 1667 maxlim: 40953 bits: 17/16 203.42 c ---[1387]---> Adder-cost: 2058 maxlim: 79501 bits: 18/17 205.32 c ---[1385]---> Adder-cost: 1333 maxlim: 42209 bits: 17/16 205.88 c ---[1383]---> Adder-cost: 467 maxlim: 126 bits: 8/7 205.91 c ---[1381]---> Adder-cost: 2435 maxlim: 55451 bits: 17/16 206.26 c ---[1379]---> Adder-cost: 2228 maxlim: 13670 bits: 15/14 207.25 c ---[1377]---> Adder-cost: 2400 maxlim: 11274 bits: 15/14 207.50 c ---[1375]---> Adder-cost: 2957 maxlim: 24267 bits: 16/15 208.05 c ---[1373]---> Adder-cost: 1734 maxlim: 9069 bits: 15/14 208.24 c ---[1371]---> Adder-cost: 1392 maxlim: 16679 bits: 16/15 208.51 c ---[1369]---> Adder-cost: 1688 maxlim: 5298 bits: 13/13 208.95 c ---[1367]---> Adder-cost: 1988 maxlim: 100865 bits: 18/17 209.74 c ---[1365]---> Adder-cost: 2553 maxlim: 145616 bits: 19/18 211.08 c ---[1363]---> Adder-cost: 1855 maxlim: 112836 bits: 18/17 212.04 c ---[1361]---> Adder-cost: 523 maxlim: 299 bits: 10/9 212.06 c ---[1359]---> Sorter-cost: 1823 Base: 2 5 2 2 2 2 2 2 2 212.08 c ---[1357]---> Sorter-cost: 3019 Base: 2 5 2 2 2 2 2 2 2 2 2 2 2 212.22 c ---[1355]---> Sorter-cost: 2021 Base: 2 5 2 2 2 2 2 2 2 2 212.25 c ---[1353]---> Sorter-cost: 927 Base: 3 3 2 2 212.25 c ---[1351]---> Sorter-cost: 927 Base: 3 3 2 2 212.26 c ---[1349]---> Sorter-cost: 927 Base: 3 3 2 2 212.26 c ---[1347]---> Sorter-cost: 927 Base: 3 3 2 2 212.26 c ---[1345]---> Sorter-cost: 927 Base: 3 3 2 2 212.27 c ---[1343]---> Adder-cost: 472 maxlim: 68785 bits: 18/17 212.64 c ---[1341]---> Adder-cost: 176 maxlim: 67 bits: 8/7 212.65 c ---[1339]---> Adder-cost: 264 maxlim: 61 bits: 7/6 212.66 c ---[1337]---> Adder-cost: 231 maxlim: 70 bits: 8/7 212.67 c ---[1335]---> Adder-cost: 172 maxlim: 67 bits: 8/7 212.68 c ---[1333]---> Adder-cost: 179 maxlim: 363 bits: 10/9 212.69 c ---[1331]---> Adder-cost: 181 maxlim: 363 bits: 10/9 212.71 c ---[1329]---> Adder-cost: 181 maxlim: 363 bits: 10/9 212.72 c ---[1327]---> Adder-cost: 191 maxlim: 363 bits: 10/9 212.73 c ---[1325]---> Adder-cost: 193 maxlim: 363 bits: 10/9 212.74 c ---[1323]---> Adder-cost: 1265 maxlim: 1839 bits: 12/11 212.84 c ---[1321]---> Adder-cost: 1755 maxlim: 86216 bits: 18/17 214.33 c ---[1319]---> Adder-cost: 1018 maxlim: 14128 bits: 15/14 214.50 c ---[1317]---> Adder-cost: 1958 maxlim: 17712 bits: 16/15 215.19 c ---[1315]---> Adder-cost: 1944 maxlim: 16742 bits: 16/15 215.57 c ---[1313]---> Adder-cost: 1993 maxlim: 16165 bits: 15/14 215.99 c ---[1311]---> Adder-cost: 2364 maxlim: 24373 bits: 16/15 216.67 c ---[1309]---> Adder-cost: 1395 maxlim: 13990 bits: 15/14 216.92 c ---[1307]---> Adder-cost: 1340 maxlim: 7216 bits: 14/13 217.19 c ---[1305]---> Adder-cost: 1302 maxlim: 6464 bits: 13/13 217.49 c ---[1303]---> Adder-cost: 453 maxlim: 188 bits: 9/8 217.51 c ---[1301]---> Adder-cost: 967 maxlim: 455 bits: 10/9 217.59 c ---[1299]---> Adder-cost: 890 maxlim: 381 bits: 10/9 217.65 c ---[1297]---> Adder-cost: 559 maxlim: 159 bits: 9/8 217.68 c ---[1295]---> Adder-cost: 434 maxlim: 164820 bits: 19/18 217.90 c ---[1293]---> Adder-cost: 308 maxlim: 23210 bits: 16/15 217.95 c ---[1291]---> Adder-cost: 338 maxlim: 43808 bits: 17/16 218.02 c ---[1289]---> Adder-cost: 428 maxlim: 175118 bits: 19/18 218.19 c ---[1287]---> Adder-cost: 304 maxlim: 21922 bits: 16/15 218.24 c ---[1285]---> Adder-cost: 318 maxlim: 23210 bits: 16/15 218.29 c ---[1283]---> Adder-cost: 184 maxlim: 1322 bits: 11/11 218.30 c ---[1281]---> Adder-cost: 176 maxlim: 678 bits: 11/10 218.32 c ---[1279]---> Adder-cost: 183 maxlim: 318 bits: 10/9 218.33 c ---[1277]---> Adder-cost: 177 maxlim: 318 bits: 10/9 218.34 c ---[1275]---> Adder-cost: 183 maxlim: 318 bits: 10/9 218.35 c ---[1273]---> Adder-cost: 149 maxlim: 135 bits: 9/8 218.36 c ---[1271]---> Adder-cost: 163 maxlim: 135 bits: 9/8 218.37 c ---[1269]---> Adder-cost: 153 maxlim: 135 bits: 9/8 218.37 c ---[1267]---> Adder-cost: 313 maxlim: 100 bits: 8/7 218.39 c ---[1265]---> Adder-cost: 284 maxlim: 85 bits: 8/7 218.40 c ---[1263]---> Adder-cost: 314 maxlim: 82 bits: 8/7 218.42 c ---[1261]---> Adder-cost: 287 maxlim: 79 bits: 8/7 218.43 c ---[1259]---> Adder-cost: 251 maxlim: 93 bits: 8/7 218.44 c ---[1257]---> Adder-cost: 156 maxlim: 125 bits: 8/7 218.45 c ---[1255]---> Adder-cost: 253 maxlim: 118 bits: 8/7 218.46 c ---[1253]---> Adder-cost: 293 maxlim: 84 bits: 8/7 218.47 c ---[1251]---> Adder-cost: 255 maxlim: 94 bits: 8/7 218.49 c ---[1249]---> Adder-cost: 234 maxlim: 94 bits: 8/7 218.50 c ---[1247]---> Adder-cost: 434 maxlim: 18629 bits: 16/15 218.64 c ---[1245]---> Adder-cost: 329 maxlim: 24538 bits: 16/15 218.75 c ---[1243]---> Adder-cost: 353 maxlim: 24538 bits: 16/15 218.86 c ---[1241]---> Adder-cost: 343 maxlim: 24538 bits: 16/15 218.98 c ---[1239]---> Adder-cost: 262 maxlim: 6148 bits: 14/13 219.03 c ---[1237]---> Sorter-cost: 1744 Base: 3 2 3 3 3 2 2 219.05 c ---[1235]---> Adder-cost: 306 maxlim: 6148 bits: 14/13 219.12 c ---[1233]---> Adder-cost: 287 maxlim: 142 bits: 9/8 219.13 c ---[1231]---> Adder-cost: 561 maxlim: 19980 bits: 16/15 219.38 c ---[1229]---> Adder-cost: 535 maxlim: 19980 bits: 16/15 219.60 c ---[1227]---> Adder-cost: 78 maxlim: 53 bits: 7/6 219.61 c ---[1225]---> Adder-cost: 111 maxlim: 53 bits: 7/6 219.61 c ---[1223]---> Adder-cost: 105 maxlim: 53 bits: 7/6 219.62 c ---[1221]---> Adder-cost: 97 maxlim: 53 bits: 7/6 219.62 c ---[1219]---> Adder-cost: 167 maxlim: 44 bits: 7/6 219.63 c ---[1217]---> Adder-cost: 167 maxlim: 44 bits: 7/6 219.63 c ---[1215]---> Adder-cost: 127 maxlim: 83 bits: 8/7 219.64 c ---[1213]---> Adder-cost: 129 maxlim: 83 bits: 8/7 219.65 c ---[1211]---> Adder-cost: 123 maxlim: 83 bits: 8/7 219.65 c ---[1207]---> Adder-cost: 52 maxlim: 42 bits: 6/6 219.65 c ---[1205]---> Adder-cost: 58 maxlim: 74 bits: 7/7 219.66 c ---[1203]---> Sorter-cost: 4125 Base: 2 2 3 5 2 17 2 2 2 2 2 219.88 c ---[1201]---> Adder-cost: 414 maxlim: 262131 bits: 19/18 220.07 c ---[1199]---> Sorter-cost: 4308 Base: 2 2 2 2 3 5 17 2 2 2 2 220.21 c ---[1197]---> Adder-cost: 560 maxlim: 137569 bits: 19/18 220.90 c ---[1195]---> Sorter-cost: 485 Base: 2 220.90 c ---[1193]---> Sorter-cost: 294 Base: 7 220.90 c ---[1191]---> Sorter-cost: 3210 Base: 3 7 5 13 2 2 2 2 2 221.06 c ---[1189]---> Adder-cost: 238 maxlim: 262145 bits: 20/19 221.17 c ---[1187]---> Adder-cost: 206 maxlim: 103 bits: 8/7 221.18 c ---[1185]---> Adder-cost: 139 maxlim: 141 bits: 9/8 221.19 c ---[1183]---> Adder-cost: 143 maxlim: 141 bits: 9/8 221.19 c ---[1181]---> Adder-cost: 139 maxlim: 141 bits: 9/8 221.20 c ---[1179]---> Adder-cost: 147 maxlim: 141 bits: 9/8 221.21 c ---[1177]---> Sorter-cost: 1142 Base: 3 5 2 2 221.21 c ---[1175]---> Adder-cost: 141 maxlim: 141 bits: 9/8 221.22 c ---[1173]---> Adder-cost: 269 maxlim: 157 bits: 9/8 221.24 c ---[1171]---> Adder-cost: 197 maxlim: 107 bits: 8/7 221.25 c ---[1169]---> Adder-cost: 195 maxlim: 107 bits: 8/7 221.26 c ---[1167]---> Adder-cost: 153 maxlim: 39 bits: 7/6 221.26 c ---[1165]---> Adder-cost: 234 maxlim: 61 bits: 7/6 221.27 c ---[1163]---> Adder-cost: 167 maxlim: 73 bits: 8/7 221.28 c ---[1161]---> Adder-cost: 135 maxlim: 39 bits: 7/6 221.29 c ---[1159]---> Adder-cost: 1132 maxlim: 7865 bits: 14/13 221.51 c ---[1157]---> Adder-cost: 1461 maxlim: 32849 bits: 16/16 222.05 c ---[1155]---> Adder-cost: 1461 maxlim: 32915 bits: 16/16 222.66 c ---[1153]---> Adder-cost: 2006 maxlim: 115800 bits: 18/17 223.75 c ---[1151]---> Adder-cost: 1204 maxlim: 21159 bits: 15/15 224.07 c ---[1149]---> Adder-cost: 988 maxlim: 32052 bits: 16/15 224.42 c ---[1147]---> Adder-cost: 938 maxlim: 3178 bits: 13/12 224.52 c ---[1145]---> Adder-cost: 1814 maxlim: 189188 bits: 19/18 225.48 c ---[1143]---> Adder-cost: 2254 maxlim: 254997 bits: 19/18 227.20 c ---[1141]---> Adder-cost: 1600 maxlim: 119525 bits: 18/17 227.77 c ---[1139]---> Adder-cost: 303 maxlim: 144 bits: 9/8 227.79 c ---[1137]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 227.79 c ---[1135]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 227.79 c ---[1133]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 227.80 c ---[1131]---> Adder-cost: 58 maxlim: 74 bits: 7/7 227.80 c ---[1129]---> Sorter-cost: 1182 Base: 2 3 2 2 2 2 227.81 c ---[1127]---> Adder-cost: 173 maxlim: 214 bits: 9/8 227.82 c ---[1125]---> Adder-cost: 155 maxlim: 214 bits: 9/8 227.83 c ---[1123]---> Adder-cost: 157 maxlim: 214 bits: 9/8 227.83 c ---[1121]---> Adder-cost: 712 maxlim: 1291 bits: 12/11 227.89 c ---[1119]---> Adder-cost: 938 maxlim: 20172 bits: 16/15 228.07 c ---[1117]---> Sorter-cost: 1138 Base: 7 2 2 2 228.07 c ---[1115]---> Adder-cost: 141 maxlim: 148 bits: 9/8 228.08 c ---[1113]---> Adder-cost: 145 maxlim: 148 bits: 9/8 228.09 c ---[1111]---> Adder-cost: 131 maxlim: 148 bits: 9/8 228.09 c ---[1109]---> Adder-cost: 191 maxlim: 115 bits: 8/7 228.10 c ---[1107]---> Adder-cost: 185 maxlim: 115 bits: 8/7 228.11 c ---[1105]---> Adder-cost: 121 maxlim: 68 bits: 8/7 228.12 c ---[1103]---> Adder-cost: 121 maxlim: 68 bits: 8/7 228.12 c ---[1101]---> Adder-cost: 156 maxlim: 53 bits: 7/6 228.13 c ---[1099]---> Adder-cost: 160 maxlim: 58 bits: 7/6 228.14 c ---[1097]---> Adder-cost: 191 maxlim: 135 bits: 9/8 228.15 c ---[1095]---> Adder-cost: 165 maxlim: 191 bits: 9/8 228.15 c ---[1093]---> Adder-cost: 155 maxlim: 191 bits: 9/8 228.16 c ---[1091]---> Adder-cost: 163 maxlim: 191 bits: 9/8 228.17 c ---[1089]---> Adder-cost: 167 maxlim: 191 bits: 9/8 228.18 c ---[1087]---> Adder-cost: 106 maxlim: 191 bits: 9/8 228.19 c ---[1085]---> Adder-cost: 163 maxlim: 191 bits: 9/8 228.19 c ---[1083]---> Adder-cost: 283 maxlim: 191 bits: 9/8 228.21 c ---[1081]---> Adder-cost: 217 maxlim: 244 bits: 9/8 228.22 c ---[1079]---> Adder-cost: 229 maxlim: 244 bits: 9/8 228.23 c ---[1077]---> Adder-cost: 86 maxlim: 87 bits: 8/7 228.24 c ---[1075]---> Adder-cost: 133 maxlim: 87 bits: 8/7 228.24 c ---[1073]---> Adder-cost: 121 maxlim: 87 bits: 8/7 228.25 c ---[1071]---> Adder-cost: 115 maxlim: 87 bits: 8/7 228.25 c ---[1069]---> Adder-cost: 171 maxlim: 73 bits: 8/7 228.26 c ---[1067]---> Adder-cost: 134 maxlim: 29 bits: 6/5 228.27 c ---[1065]---> Adder-cost: 161 maxlim: 29 bits: 6/5 228.27 c ---[1063]---> Adder-cost: 148 maxlim: 22 bits: 6/5 228.28 c ---[1061]---> Adder-cost: 177 maxlim: 253 bits: 9/8 228.29 c ---[1059]---> Adder-cost: 113 maxlim: 253 bits: 9/8 228.29 c ---[1057]---> Adder-cost: 217 maxlim: 186 bits: 9/8 228.31 c ---[1055]---> Adder-cost: 133 maxlim: 102 bits: 8/7 228.31 c ---[1053]---> Adder-cost: 135 maxlim: 102 bits: 8/7 228.32 c ---[1051]---> Adder-cost: 147 maxlim: 102 bits: 8/7 228.33 c ---[1049]---> Adder-cost: 145 maxlim: 102 bits: 8/7 228.33 c ---[1047]---> Adder-cost: 153 maxlim: 102 bits: 8/7 228.34 c ---[1045]---> Adder-cost: 116 maxlim: 52 bits: 7/6 228.34 c ---[1043]---> Adder-cost: 110 maxlim: 52 bits: 7/6 228.35 c ---[1041]---> Adder-cost: 104 maxlim: 52 bits: 7/6 228.35 c ---[1039]---> Adder-cost: 120 maxlim: 52 bits: 7/6 228.36 c ---[1037]---> Adder-cost: 106 maxlim: 52 bits: 7/6 228.36 c ---[1035]---> Adder-cost: 544 maxlim: 652 bits: 11/10 228.38 c ---[1033]---> Adder-cost: 822 maxlim: 20646 bits: 16/15 228.52 c ---[1031]---> Adder-cost: 463 maxlim: 490 bits: 10/9 228.54 c ---[1029]---> Adder-cost: 166 maxlim: 39 bits: 7/6 228.55 c ---[1027]---> Sorter-cost: 910 Base: 2 3 2 2 2 228.55 c ---[1025]---> Sorter-cost: 910 Base: 2 3 2 2 2 228.55 c ---[1023]---> Adder-cost: 262 maxlim: 62 bits: 7/6 228.56 c ---[1021]---> Adder-cost: 195 maxlim: 77 bits: 8/7 228.57 c ---[1019]---> Adder-cost: 154 maxlim: 39 bits: 7/6 228.58 c ---[1017]---> Adder-cost: 223 maxlim: 215 bits: 9/8 228.59 c ---[1015]---> Adder-cost: 169 maxlim: 299 bits: 10/9 228.61 c ---[1013]---> Adder-cost: 169 maxlim: 299 bits: 10/9 228.62 c ---[1011]---> Adder-cost: 179 maxlim: 299 bits: 10/9 228.63 c ---[1009]---> Adder-cost: 187 maxlim: 299 bits: 10/9 228.64 c ---[1007]---> Adder-cost: 173 maxlim: 169 bits: 9/8 228.65 c ---[1005]---> Adder-cost: 179 maxlim: 299 bits: 10/9 228.67 c ---[1003]---> Adder-cost: 291 maxlim: 187 bits: 9/8 228.68 c ---[1001]---> Adder-cost: 229 maxlim: 237 bits: 9/8 228.69 c ---[ 999]---> Adder-cost: 221 maxlim: 237 bits: 9/8 228.71 c ---[ 997]---> Adder-cost: 288 maxlim: 13594 bits: 15/14 228.79 c ---[ 995]---> Sorter-cost: 1567 Base: 5 5 2 2 3 228.81 c ---[ 993]---> Sorter-cost: 1767 Base: 5 5 2 2 2 3 228.83 c ---[ 991]---> Sorter-cost: 2022 Base: 3 5 5 2 2 2 2 228.87 c ---[ 989]---> Sorter-cost: 1767 Base: 5 5 2 2 2 3 228.90 c ---[ 987]---> Sorter-cost: 2141 Base: 3 5 5 2 2 2 2 2 228.97 c ---[ 985]---> Adder-cost: 124 maxlim: 314 bits: 10/9 228.97 c ---[ 983]---> Adder-cost: 736 maxlim: 167461 bits: 19/18 229.85 c ---[ 981]---> Adder-cost: 770 maxlim: 167461 bits: 19/18 230.72 c ---[ 979]---> Adder-cost: 564 maxlim: 168708 bits: 19/18 231.36 c ---[ 977]---> Sorter-cost: 2141 Base: 3 5 5 2 2 2 2 2 231.42 c ---[ 975]---> Adder-cost: 54 maxlim: 75 bits: 7/7 231.43 c ---[ 973]---> Adder-cost: 66 maxlim: 76 bits: 7/7 231.43 c ---[ 971]---> Sorter-cost: 657 Base: 2 2 2 2 2 231.43 c ---[ 965]---> Adder-cost: 58 maxlim: 39 bits: 6/6 231.44 c ---[ 963]---> Sorter-cost: 501 Base: 2 231.44 c ---[ 961]---> Sorter-cost: 516 Base: 2 231.44 c ---[ 959]---> Sorter-cost: 1467 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 231.45 c ---[ 957]---> Adder-cost: 290 maxlim: 74918 bits: 18/17 231.54 c ---[ 955]---> Sorter-cost: 3715 Base: 3 7 5 13 2 2 2 2 2 231.71 c ---[ 953]---> Adder-cost: 56 maxlim: 40 bits: 6/6 231.71 c ---[ 951]---> Adder-cost: 84 maxlim: 75 bits: 8/7 231.72 c ---[ 949]---> Sorter-cost: 454 Base: 2 231.72 c ---[ 947]---> Adder-cost: 58 maxlim: 42 bits: 7/6 231.72 c ---[ 945]---> Adder-cost: 50 maxlim: 42 bits: 7/6 231.72 c ---[ 943]---> Adder-cost: 48 maxlim: 74 bits: 7/7 231.72 c ---[ 941]---> Sorter-cost: 554 Base: 2 2 2 2 2 231.73 c ---[ 939]---> Adder-cost: 134 maxlim: 8216 bits: 15/14 231.74 c ---[ 937]---> Adder-cost: 90 maxlim: 86 bits: 7/7 231.74 c ---[ 935]---> Adder-cost: 48 maxlim: 74 bits: 7/7 231.74 c ---[ 933]---> Adder-cost: 58 maxlim: 42 bits: 7/6 231.74 c ---[ 927]---> Adder-cost: 302 maxlim: 796 bits: 11/10 231.77 c ---[ 925]---> Adder-cost: 452 maxlim: 11140 bits: 15/14 231.84 c ---[ 923]---> Adder-cost: 410 maxlim: 4231 bits: 13/13 231.89 c ---[ 921]---> Adder-cost: 707 maxlim: 17544 bits: 15/15 232.07 c ---[ 919]---> Adder-cost: 418 maxlim: 4148 bits: 13/13 232.12 c ---[ 917]---> Adder-cost: 339 maxlim: 2479 bits: 12/12 232.16 c ---[ 915]---> Adder-cost: 366 maxlim: 2117 bits: 13/12 232.18 c ---[ 913]---> Adder-cost: 676 maxlim: 93017 bits: 18/17 232.37 c ---[ 911]---> Adder-cost: 912 maxlim: 102805 bits: 18/17 232.72 c ---[ 909]---> Adder-cost: 985 maxlim: 189951 bits: 18/18 233.03 c ---[ 907]---> Adder-cost: 158 maxlim: 101 bits: 8/7 233.04 c ---[ 901]---> Adder-cost: 66 maxlim: 44 bits: 7/6 233.04 c ---[ 899]---> Sorter-cost: 472 Base: 3 233.04 c ---[ 897]---> Sorter-cost: 501 Base: 2 233.04 c ---[ 895]---> Sorter-cost: 996 Base: 3 7 2 233.05 c ---[ 893]---> BDD-cost: 39 233.05 c ---[ 891]---> Sorter-cost: 583 Base: 3 233.05 c ---[ 889]---> Adder-cost: 472 maxlim: 78733 bits: 18/17 233.61 c ---[ 887]---> Adder-cost: 514 maxlim: 92638 bits: 18/17 233.89 c ---[ 885]---> Adder-cost: 671 maxlim: 92638 bits: 18/17 234.20 c ---[ 883]---> Adder-cost: 80 maxlim: 74 bits: 8/7 234.20 c ---[ 881]---> Adder-cost: 102 maxlim: 104 bits: 8/7 234.21 c ---[ 879]---> Adder-cost: 106 maxlim: 150 bits: 8/8 234.21 c ---[ 877]---> Adder-cost: 134 maxlim: 262 bits: 9/9 234.22 c ---[ 875]---> Adder-cost: 120 maxlim: 152 bits: 8/8 234.23 c ---[ 873]---> Sorter-cost: 485 Base: 2 234.23 c ---[ 871]---> Adder-cost: 258 maxlim: 394 bits: 9/9 234.24 c ---[ 869]---> Adder-cost: 308 maxlim: 843 bits: 10/10 234.26 c ---[ 867]---> Adder-cost: 204 maxlim: 369 bits: 9/9 234.27 c ---[ 865]---> Adder-cost: 44 maxlim: 42 bits: 6/6 234.28 c ---[ 863]---> Adder-cost: 58 maxlim: 42 bits: 7/6 234.28 c ---[ 861]---> Adder-cost: 58 maxlim: 83 bits: 7/7 234.28 c ---[ 859]---> Sorter-cost: 550 Base: 2 2 2 2 2 234.28 c ---[ 857]---> Adder-cost: 58 maxlim: 74 bits: 7/7 234.29 c ---[ 855]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 234.29 c ---[ 853]---> Adder-cost: 52 maxlim: 42 bits: 6/6 234.29 c ---[ 851]---> Sorter-cost: 554 Base: 2 2 2 2 2 234.29 c ---[ 849]---> Sorter-cost: 564 Base: 2 2 2 2 2 2 234.30 c ---[ 847]---> Adder-cost: 82 maxlim: 91 bits: 7/7 234.30 c ---[ 845]---> Sorter-cost: 484 Base: 2 234.30 c ---[ 843]---> Adder-cost: 117 maxlim: 17 bits: 6/5 234.31 c ---[ 841]---> Adder-cost: 120 maxlim: 19 bits: 6/5 234.31 c ---[ 839]---> Adder-cost: 128 maxlim: 19 bits: 6/5 234.32 c ---[ 837]---> Adder-cost: 126 maxlim: 19 bits: 6/5 234.32 c ---[ 835]---> Adder-cost: 307 maxlim: 136 bits: 9/8 234.34 c ---[ 833]---> Adder-cost: 343 maxlim: 314 bits: 10/9 234.35 c ---[ 831]---> Adder-cost: 267 maxlim: 93 bits: 8/7 234.37 c ---[ 829]---> Adder-cost: 596 maxlim: 8344 bits: 15/14 234.47 c ---[ 827]---> Adder-cost: 528 maxlim: 4192 bits: 14/13 234.54 c ---[ 825]---> Adder-cost: 248 maxlim: 39 bits: 7/6 234.55 c ---[ 823]---> Adder-cost: 196 maxlim: 45 bits: 7/6 234.55 c ---[ 821]---> Adder-cost: 295 maxlim: 89 bits: 8/7 234.57 c ---[ 819]---> Adder-cost: 295 maxlim: 121 bits: 8/7 234.58 c ---[ 817]---> Adder-cost: 283 maxlim: 106 bits: 8/7 234.59 c ---[ 815]---> Adder-cost: 256 maxlim: 39 bits: 7/6 234.60 c ---[ 813]---> Adder-cost: 188 maxlim: 45 bits: 7/6 234.61 c ---[ 811]---> Adder-cost: 467 maxlim: 463 bits: 10/9 234.65 c ---[ 809]---> Adder-cost: 712 maxlim: 33154 bits: 17/16 234.92 c ---[ 807]---> Adder-cost: 362 maxlim: 573 bits: 11/10 234.94 c ---[ 799]---> Adder-cost: 107 maxlim: 45 bits: 7/6 234.94 c ---[ 797]---> Adder-cost: 93 maxlim: 45 bits: 7/6 234.95 c ---[ 795]---> Adder-cost: 93 maxlim: 45 bits: 7/6 234.95 c ---[ 793]---> Adder-cost: 99 maxlim: 45 bits: 7/6 234.96 c ---[ 791]---> Adder-cost: 91 maxlim: 45 bits: 7/6 234.96 c ---[ 789]---> Adder-cost: 194 maxlim: 35 bits: 7/6 234.97 c ---[ 787]---> Adder-cost: 62 maxlim: 76 bits: 8/7 234.97 c ---[ 785]---> Adder-cost: 70 maxlim: 76 bits: 8/7 234.98 c ---[ 783]---> Adder-cost: 303 maxlim: 65 bits: 8/7 234.99 c ---[ 781]---> Adder-cost: 255 maxlim: 77 bits: 8/7 235.00 c ---[ 779]---> Adder-cost: 257 maxlim: 77 bits: 8/7 235.01 c ---[ 777]---> Adder-cost: 148 maxlim: 35 bits: 7/6 235.01 c ---[ 775]---> Adder-cost: 146 maxlim: 35 bits: 7/6 235.02 c ---[ 773]---> Adder-cost: 2872 maxlim: 49401 bits: 16/16 236.13 c ---[ 771]---> Adder-cost: 2015 maxlim: 2621 bits: 13/12 236.26 c ---[ 769]---> Adder-cost: 3076 maxlim: 41404 bits: 17/16 236.69 c ---[ 767]---> Adder-cost: 3524 maxlim: 50663 bits: 17/16 238.19 c ---[ 765]---> Adder-cost: 2430 maxlim: 44031 bits: 17/16 238.56 c ---[ 763]---> Adder-cost: 1820 maxlim: 25775 bits: 16/15 239.03 c ---[ 761]---> Adder-cost: 1806 maxlim: 2855 bits: 13/12 239.14 c ---[ 759]---> Adder-cost: 3176 maxlim: 53349 bits: 17/16 240.45 c ---[ 757]---> Adder-cost: 4458 maxlim: 127164 bits: 18/17 242.57 c ---[ 755]---> Adder-cost: 3180 maxlim: 52542 bits: 17/16 243.25 c ---[ 753]---> Adder-cost: 1476 maxlim: 48199 bits: 17/16 243.68 c ---[ 751]---> Sorter-cost: 979 Base: 7 2 243.68 c ---[ 749]---> Sorter-cost: 979 Base: 7 2 243.68 c ---[ 747]---> Sorter-cost: 979 Base: 7 2 243.69 c ---[ 745]---> Sorter-cost: 979 Base: 7 2 243.69 c ---[ 743]---> Sorter-cost: 979 Base: 7 2 243.69 c ---[ 741]---> Adder-cost: 131 maxlim: 107 bits: 8/7 243.70 c ---[ 739]---> Sorter-cost: 1130 Base: 3 5 243.70 c ---[ 737]---> Adder-cost: 183 maxlim: 85 bits: 8/7 243.71 c ---[ 735]---> Adder-cost: 132 maxlim: 28 bits: 6/5 243.72 c ---[ 733]---> Adder-cost: 150 maxlim: 28 bits: 6/5 243.72 c ---[ 731]---> Adder-cost: 158 maxlim: 28 bits: 6/5 243.73 c ---[ 729]---> Adder-cost: 149 maxlim: 45 bits: 7/6 243.73 c ---[ 727]---> Adder-cost: 145 maxlim: 45 bits: 7/6 243.74 c ---[ 723]---> Adder-cost: 196 maxlim: 276 bits: 10/9 243.75 c ---[ 721]---> Adder-cost: 222 maxlim: 533 bits: 11/10 243.77 c ---[ 719]---> Adder-cost: 184 maxlim: 147 bits: 9/8 243.78 c ---[ 717]---> Adder-cost: 286 maxlim: 16410 bits: 16/15 243.80 c ---[ 715]---> Adder-cost: 276 maxlim: 8217 bits: 15/14 243.82 c ---[ 713]---> Adder-cost: 167 maxlim: 82 bits: 8/7 243.83 c ---[ 711]---> Adder-cost: 173 maxlim: 82 bits: 8/7 243.84 c ---[ 709]---> Adder-cost: 53 maxlim: 30 bits: 6/5 243.84 c ---[ 707]---> Adder-cost: 78 maxlim: 30 bits: 6/5 243.84 c ---[ 705]---> Adder-cost: 72 maxlim: 30 bits: 6/5 243.85 c ---[ 703]---> Adder-cost: 70 maxlim: 30 bits: 6/5 243.85 c ---[ 701]---> Adder-cost: 156 maxlim: 37 bits: 7/6 243.85 c ---[ 699]---> Adder-cost: 162 maxlim: 37 bits: 7/6 243.86 c ---[ 697]---> Adder-cost: 115 maxlim: 147 bits: 9/8 243.87 c ---[ 695]---> Adder-cost: 139 maxlim: 276 bits: 10/9 243.88 c ---[ 693]---> Adder-cost: 127 maxlim: 147 bits: 9/8 243.88 c ---[ 691]---> Adder-cost: 163 maxlim: 82 bits: 8/7 243.89 c ---[ 689]---> Adder-cost: 169 maxlim: 82 bits: 8/7 243.90 c ---[ 687]---> Adder-cost: 228 maxlim: 1046 bits: 12/11 243.92 c ---[ 685]---> Adder-cost: 318 maxlim: 65564 bits: 18/17 243.94 c ---[ 683]---> Adder-cost: 230 maxlim: 1046 bits: 12/11 243.96 c ---[ 675]---> Adder-cost: 111 maxlim: 147 bits: 9/8 243.97 c ---[ 673]---> Adder-cost: 129 maxlim: 147 bits: 9/8 243.98 c ---[ 671]---> Adder-cost: 125 maxlim: 147 bits: 9/8 243.98 c ---[ 669]---> Adder-cost: 473 maxlim: 11495 bits: 15/14 244.11 c ---[ 667]---> Adder-cost: 472 maxlim: 25035 bits: 16/15 244.39 c ---[ 665]---> Adder-cost: 199 maxlim: 58 bits: 7/6 244.40 c ---[ 663]---> Adder-cost: 284 maxlim: 58 bits: 7/6 244.41 c ---[ 661]---> Adder-cost: 283 maxlim: 69 bits: 8/7 244.42 c ---[ 659]---> Adder-cost: 170 maxlim: 66 bits: 8/7 244.43 c ---[ 657]---> Adder-cost: 80 maxlim: 22 bits: 6/5 244.43 c ---[ 655]---> Adder-cost: 64 maxlim: 22 bits: 6/5 244.44 c ---[ 653]---> Adder-cost: 78 maxlim: 22 bits: 6/5 244.44 c ---[ 651]---> Adder-cost: 88 maxlim: 22 bits: 6/5 244.44 c ---[ 649]---> Adder-cost: 78 maxlim: 22 bits: 6/5 244.45 c ---[ 647]---> Sorter-cost: 986 Base: 3 3 244.45 c ---[ 645]---> Adder-cost: 74 maxlim: 36 bits: 7/6 244.45 c ---[ 643]---> Adder-cost: 76 maxlim: 36 bits: 7/6 244.46 c ---[ 641]---> Adder-cost: 154 maxlim: 34 bits: 7/6 244.46 c ---[ 639]---> Adder-cost: 1105 maxlim: 5145 bits: 14/13 244.59 c ---[ 637]---> Adder-cost: 1540 maxlim: 26484 bits: 16/15 245.00 c ---[ 635]---> Adder-cost: 994 maxlim: 3002 bits: 13/12 245.08 c ---[ 633]---> Adder-cost: 787 maxlim: 2408 bits: 13/12 245.17 c ---[ 631]---> Adder-cost: 1133 maxlim: 18824 bits: 16/15 245.50 c ---[ 629]---> Adder-cost: 695 maxlim: 1478 bits: 12/11 245.55 c ---[ 627]---> Adder-cost: 167 maxlim: 166 bits: 9/8 245.56 c ---[ 625]---> Adder-cost: 175 maxlim: 166 bits: 9/8 245.57 c ---[ 623]---> Adder-cost: 245 maxlim: 99 bits: 8/7 245.58 c ---[ 621]---> Adder-cost: 231 maxlim: 107 bits: 8/7 245.59 c ---[ 619]---> Adder-cost: 162 maxlim: 62 bits: 7/6 245.60 c ---[ 617]---> Adder-cost: 133 maxlim: 75 bits: 8/7 245.60 c ---[ 615]---> Adder-cost: 147 maxlim: 75 bits: 8/7 245.61 c ---[ 613]---> Adder-cost: 133 maxlim: 75 bits: 8/7 245.62 c ---[ 611]---> Adder-cost: 139 maxlim: 75 bits: 8/7 245.62 c ---[ 609]---> Sorter-cost: 1030 Base: 5 3 245.62 c ---[ 607]---> Adder-cost: 133 maxlim: 75 bits: 8/7 245.63 c ---[ 605]---> Adder-cost: 253 maxlim: 91 bits: 8/7 245.64 c ---[ 603]---> Adder-cost: 253 maxlim: 106 bits: 8/7 245.65 c ---[ 601]---> Adder-cost: 251 maxlim: 106 bits: 8/7 245.66 c ---[ 599]---> Adder-cost: 151 maxlim: 170 bits: 9/8 245.67 c ---[ 597]---> Adder-cost: 163 maxlim: 170 bits: 9/8 245.68 c ---[ 595]---> Adder-cost: 235 maxlim: 100 bits: 8/7 245.69 c ---[ 593]---> Adder-cost: 183 maxlim: 137 bits: 9/8 245.70 c ---[ 591]---> Adder-cost: 220 maxlim: 63 bits: 7/6 245.71 c ---[ 589]---> Adder-cost: 183 maxlim: 77 bits: 8/7 245.72 c ---[ 587]---> Adder-cost: 183 maxlim: 77 bits: 8/7 245.72 c ---[ 585]---> Adder-cost: 226 maxlim: 74 bits: 8/7 245.73 c ---[ 583]---> Adder-cost: 265 maxlim: 74 bits: 8/7 245.75 c ---[ 581]---> Adder-cost: 221 maxlim: 93 bits: 8/7 245.76 c ---[ 579]---> Adder-cost: 176 maxlim: 87 bits: 8/7 245.76 c ---[ 569]---> Adder-cost: 347 maxlim: 421 bits: 10/9 245.78 c ---[ 567]---> Adder-cost: 472 maxlim: 66515 bits: 18/17 246.21 c ---[ 565]---> Adder-cost: 157 maxlim: 29 bits: 6/5 246.21 c ---[ 563]---> Adder-cost: 155 maxlim: 29 bits: 6/5 246.22 c ---[ 561]---> Adder-cost: 296 maxlim: 126 bits: 8/7 246.23 c ---[ 559]---> Adder-cost: 476 maxlim: 22633 bits: 16/15 246.57 c ---[ 557]---> Adder-cost: 186 maxlim: 43 bits: 7/6 246.58 c ---[ 555]---> Adder-cost: 148 maxlim: 35 bits: 7/6 246.58 c ---[ 553]---> Adder-cost: 162 maxlim: 35 bits: 7/6 246.59 c ---[ 551]---> Adder-cost: 543 maxlim: 35538 bits: 17/16 246.94 c ---[ 549]---> Adder-cost: 140 maxlim: 22 bits: 6/5 246.94 c ---[ 547]---> Adder-cost: 138 maxlim: 22 bits: 6/5 246.95 c ---[ 545]---> Adder-cost: 541 maxlim: 54321 bits: 17/16 247.44 c ---[ 543]---> Sorter-cost: 872 Base: 7 247.45 c ---[ 541]---> Adder-cost: 109 maxlim: 33 bits: 7/6 247.45 c ---[ 539]---> Adder-cost: 99 maxlim: 33 bits: 7/6 247.45 c ---[ 537]---> Adder-cost: 105 maxlim: 33 bits: 7/6 247.46 c ---[ 535]---> Adder-cost: 132 maxlim: 28 bits: 6/5 247.46 c ---[ 533]---> Adder-cost: 134 maxlim: 28 bits: 6/5 247.47 c ---[ 531]---> Sorter-cost: 905 Base: 3 7 247.47 c ---[ 529]---> Sorter-cost: 905 Base: 3 7 247.47 c ---[ 527]---> Adder-cost: 99 maxlim: 139 bits: 9/8 247.48 c ---[ 525]---> Adder-cost: 552 maxlim: 87425 bits: 18/17 247.58 c ---[ 523]---> Adder-cost: 548 maxlim: 87425 bits: 18/17 247.69 c ---[ 521]---> Adder-cost: 554 maxlim: 64787 bits: 17/16 247.80 c ---[ 519]---> Adder-cost: 705 maxlim: 49523 bits: 17/16 248.36 c ---[ 517]---> Adder-cost: 634 maxlim: 49484 bits: 17/16 248.77 c ---[ 515]---> Adder-cost: 657 maxlim: 49484 bits: 17/16 249.28 c ---[ 513]---> Adder-cost: 663 maxlim: 49484 bits: 17/16 249.79 c ---[ 511]---> Adder-cost: 669 maxlim: 49484 bits: 17/16 250.31 c ---[ 509]---> Adder-cost: 695 maxlim: 49505 bits: 17/16 250.86 c ---[ 507]---> Adder-cost: 659 maxlim: 49484 bits: 17/16 251.37 c ---[ 505]---> Adder-cost: 547 maxlim: 84585 bits: 18/17 252.53 c ---[ 503]---> Adder-cost: 643 maxlim: 77224 bits: 18/17 253.22 c ---[ 501]---> Adder-cost: 531 maxlim: 79969 bits: 18/17 254.17 c ---[ 499]---> Adder-cost: 711 maxlim: 49505 bits: 17/16 254.72 c ---[ 497]---> Adder-cost: 352 maxlim: 2829 bits: 13/12 254.75 c ---[ 495]---> Adder-cost: 420 maxlim: 76526 bits: 17/17 255.04 c ---[ 493]---> Adder-cost: 416 maxlim: 76536 bits: 17/17 255.33 c ---[ 491]---> Adder-cost: 432 maxlim: 76545 bits: 17/17 255.62 c ---[ 489]---> Adder-cost: 348 maxlim: 19233 bits: 15/15 255.72 c ---[ 485]---> Adder-cost: 336 maxlim: 19159 bits: 15/15 255.83 c ---[ 483]---> Adder-cost: 558 maxlim: 6418 bits: 14/13 255.91 c ---[ 481]---> Adder-cost: 885 maxlim: 42028 bits: 17/16 256.27 c ---[ 479]---> Adder-cost: 742 maxlim: 50904 bits: 17/16 256.45 c ---[ 477]---> Adder-cost: 186 maxlim: 447 bits: 10/9 256.46 c ---[ 475]---> Adder-cost: 704 maxlim: 117836 bits: 18/17 257.06 c ---[ 473]---> Adder-cost: 490 maxlim: 29538 bits: 16/15 257.24 c ---[ 471]---> Adder-cost: 596 maxlim: 42411 bits: 17/16 257.37 c ---[ 469]---> Adder-cost: 914 maxlim: 84388 bits: 18/17 257.85 c ---[ 467]---> Adder-cost: 584 maxlim: 41542 bits: 16/16 257.98 c ---[ 465]---> Adder-cost: 332 maxlim: 236555 bits: 19/18 258.23 c ---[ 463]---> Adder-cost: 324 maxlim: 236555 bits: 19/18 258.48 c ---[ 461]---> Adder-cost: 332 maxlim: 236555 bits: 19/18 258.73 c ---[ 459]---> Adder-cost: 170 maxlim: 27 bits: 6/5 258.74 c ---[ 457]---> Adder-cost: 333 maxlim: 101 bits: 8/7 258.75 c ---[ 455]---> Adder-cost: 245 maxlim: 58 bits: 7/6 258.76 c ---[ 453]---> Adder-cost: 1531 maxlim: 35739 bits: 17/16 259.63 c ---[ 451]---> Adder-cost: 656 maxlim: 7483 bits: 14/13 259.71 c ---[ 449]---> Adder-cost: 986 maxlim: 8995 bits: 15/14 259.86 c ---[ 447]---> Adder-cost: 1108 maxlim: 17953 bits: 16/15 260.10 c ---[ 445]---> Adder-cost: 924 maxlim: 8995 bits: 14/14 260.25 c ---[ 443]---> Adder-cost: 948 maxlim: 59448 bits: 17/16 260.51 c ---[ 441]---> Adder-cost: 646 maxlim: 7454 bits: 14/13 260.59 c ---[ 439]---> Adder-cost: 1244 maxlim: 42630 bits: 17/16 261.05 c ---[ 437]---> Adder-cost: 1565 maxlim: 41973 bits: 17/16 262.05 c ---[ 435]---> Adder-cost: 1252 maxlim: 41879 bits: 17/16 262.39 c ---[ 433]---> Adder-cost: 572 maxlim: 1888 bits: 12/11 262.44 c ---[ 431]---> Adder-cost: 372 maxlim: 1990 bits: 12/11 262.48 c ---[ 429]---> Adder-cost: 610 maxlim: 56395 bits: 17/16 262.57 c ---[ 427]---> Adder-cost: 396 maxlim: 18536 bits: 15/15 262.62 c ---[ 425]---> Adder-cost: 682 maxlim: 4608 bits: 13/13 262.71 c ---[ 423]---> Adder-cost: 892 maxlim: 36731 bits: 17/16 262.93 c ---[ 421]---> Adder-cost: 888 maxlim: 36731 bits: 17/16 263.15 c ---[ 419]---> Adder-cost: 874 maxlim: 36744 bits: 17/16 263.38 c ---[ 417]---> Adder-cost: 820 maxlim: 18409 bits: 15/15 263.54 c ---[ 413]---> Adder-cost: 800 maxlim: 18375 bits: 15/15 263.69 c ---[ 411]---> Adder-cost: 1370 maxlim: 16368 bits: 15/14 264.18 c ---[ 409]---> Adder-cost: 622 maxlim: 38 bits: 7/6 264.21 c ---[ 407]---> Adder-cost: 1272 maxlim: 1535 bits: 12/11 264.33 c ---[ 405]---> Adder-cost: 1438 maxlim: 3046 bits: 13/12 264.52 c ---[ 403]---> Adder-cost: 906 maxlim: 10684 bits: 15/14 264.70 c ---[ 401]---> Adder-cost: 1089 maxlim: 24296 bits: 16/15 264.99 c ---[ 399]---> Adder-cost: 954 maxlim: 12160 bits: 15/14 265.15 c ---[ 397]---> Adder-cost: 1574 maxlim: 20077 bits: 16/15 265.51 c ---[ 395]---> Adder-cost: 2087 maxlim: 19853 bits: 16/15 266.46 c ---[ 393]---> Adder-cost: 1470 maxlim: 20872 bits: 16/15 266.82 c ---[ 391]---> Adder-cost: 874 maxlim: 19965 bits: 16/15 267.02 c ---[ 389]---> Adder-cost: 352 maxlim: 16472 bits: 15/15 267.08 c ---[ 387]---> Adder-cost: 590 maxlim: 65409 bits: 17/16 267.39 c ---[ 385]---> Adder-cost: 322 maxlim: 8258 bits: 14/14 267.43 c ---[ 383]---> Adder-cost: 1054 maxlim: 30316 bits: 16/15 267.70 c ---[ 381]---> Adder-cost: 1242 maxlim: 28658 bits: 16/15 268.04 c ---[ 379]---> Adder-cost: 1334 maxlim: 26909 bits: 16/15 268.44 c ---[ 377]---> Adder-cost: 1280 maxlim: 26957 bits: 16/15 268.82 c ---[ 375]---> Adder-cost: 870 maxlim: 10763 bits: 15/14 268.96 c ---[ 373]---> Adder-cost: 628 maxlim: 10836 bits: 15/14 269.05 c ---[ 371]---> Adder-cost: 824 maxlim: 12883 bits: 15/14 269.18 c ---[ 369]---> Adder-cost: 1272 maxlim: 2544 bits: 13/12 269.43 c ---[ 367]---> Adder-cost: 1740 maxlim: 18583 bits: 16/15 269.80 c ---[ 365]---> Adder-cost: 809 maxlim: 16534 bits: 15/15 270.01 c ---[ 363]---> Adder-cost: 224 maxlim: 538 bits: 10/10 270.02 c ---[ 357]---> Adder-cost: 1639 maxlim: 11484 bits: 15/14 270.24 c ---[ 355]---> Adder-cost: 2004 maxlim: 10142 bits: 15/14 270.45 c ---[ 353]---> Adder-cost: 2008 maxlim: 9479 bits: 15/14 270.66 c ---[ 351]---> Adder-cost: 1984 maxlim: 9549 bits: 15/14 270.88 c ---[ 349]---> Adder-cost: 1000 maxlim: 16541 bits: 16/15 270.98 c ---[ 347]---> Adder-cost: 884 maxlim: 15674 bits: 15/14 271.14 c ---[ 345]---> Adder-cost: 1270 maxlim: 17535 bits: 15/15 271.44 c ---[ 343]---> Adder-cost: 1047 maxlim: 76 bits: 8/7 271.49 c ---[ 341]---> Adder-cost: 1192 maxlim: 16666 bits: 16/15 271.67 c ---[ 339]---> Adder-cost: 752 maxlim: 35116 bits: 17/16 271.78 c ---[ 337]---> Adder-cost: 230 maxlim: 666 bits: 11/10 271.80 c ---[ 336]---> Sorter-cost: 4195 Base: 3 7 2 2 2 2 2 2 2 2 2 271.91 c ---[ 335]---> Sorter-cost: 4845 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 272.09 c ---[ 334]---> Sorter-cost: 3900 Base: 3 7 2 2 2 2 2 2 2 2 272.16 c ---[ 333]---> Sorter-cost: 4205 Base: 3 7 2 2 2 2 2 2 2 2 2 272.27 c ---[ 332]---> Sorter-cost: 4849 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 272.45 c ---[ 331]---> Sorter-cost: 3912 Base: 3 7 2 2 2 2 2 2 2 2 272.52 c ---[ 330]---> Adder-cost: 804 maxlim: 8464 bits: 14/14 272.67 c ---[ 329]---> Adder-cost: 1029 maxlim: 31740 bits: 16/15 273.04 c ---[ 328]---> Adder-cost: 729 maxlim: 4251 bits: 13/13 273.15 c ---[ 327]---> Adder-cost: 466 maxlim: 32795 bits: 16/16 273.20 c ---[ 326]---> Adder-cost: 552 maxlim: 65564 bits: 18/17 273.25 c ---[ 325]---> Adder-cost: 458 maxlim: 16410 bits: 15/15 273.30 c ---[ 324]---> Adder-cost: 624 maxlim: 29146 bits: 16/15 273.38 c ---[ 323]---> Adder-cost: 887 maxlim: 58274 bits: 17/16 273.52 c ---[ 322]---> Adder-cost: 604 maxlim: 14582 bits: 15/14 273.59 c ---[ 320]---> Adder-cost: 557 maxlim: 15647 bits: 15/14 273.65 c ---[ 318]---> Adder-cost: 234 maxlim: 33067 bits: 17/16 273.67 c ---[ 314]---> Adder-cost: 1677 maxlim: 17421 bits: 16/15 273.88 c ---[ 312]---> Adder-cost: 2238 maxlim: 111372 bits: 18/17 274.91 c ---[ 310]---> Adder-cost: 1581 maxlim: 11380 bits: 15/14 275.15 c ---[ 308]---> Adder-cost: 530 maxlim: 1636 bits: 12/11 275.19 c ---[ 306]---> Adder-cost: 1128 maxlim: 87489 bits: 18/17 275.39 c ---[ 304]---> Adder-cost: 802 maxlim: 38956 bits: 17/16 275.52 c ---[ 302]---> Adder-cost: 314 maxlim: 1564 bits: 12/11 275.54 c ---[ 300]---> Adder-cost: 454 maxlim: 164832 bits: 19/18 275.64 c ---[ 296]---> Sorter-cost: 2150 Base: 3 7 2 2 2 275.65 c ---[ 294]---> Adder-cost: 244 maxlim: 930 bits: 11/10 275.67 c ---[ 292]---> Adder-cost: 1178 maxlim: 150431 bits: 19/18 276.78 c ---[ 290]---> Adder-cost: 1432 maxlim: 158798 bits: 19/18 278.36 c ---[ 288]---> Adder-cost: 520 maxlim: 42655 bits: 17/16 278.63 c ---[ 286]---> Adder-cost: 464 maxlim: 39034 bits: 17/16 278.71 c ---[ 284]---> Adder-cost: 510 maxlim: 149635 bits: 18/18 278.81 c ---[ 282]---> Adder-cost: 491 maxlim: 26270 bits: 16/15 279.02 c ---[ 280]---> Adder-cost: 506 maxlim: 225414 bits: 19/18 279.12 c ---[ 278]---> Adder-cost: 526 maxlim: 286855 bits: 19/19 279.23 c ---[ 276]---> Adder-cost: 472 maxlim: 103551 bits: 18/17 279.32 c ---[ 274]---> Adder-cost: 1889 maxlim: 32744 bits: 16/15 279.53 c ---[ 272]---> Adder-cost: 514 maxlim: 6622 bits: 14/13 279.62 c ---[ 270]---> Adder-cost: 578 maxlim: 12482 bits: 15/14 279.73 c ---[ 268]---> Adder-cost: 275 maxlim: 498 bits: 10/9 279.75 c ---[ 266]---> Adder-cost: 2632 maxlim: 24985 bits: 16/15 280.20 c ---[ 264]---> Adder-cost: 170 maxlim: 2066 bits: 13/12 280.22 c ---[ 263]---> Adder-cost: 1034 maxlim: 23573 bits: 16/15 280.74 c ---[ 262]---> Adder-cost: 1300 maxlim: 160926 bits: 19/18 281.61 c ---[ 261]---> Adder-cost: 1022 maxlim: 16666 bits: 16/15 282.07 c ---[ 260]---> Adder-cost: 2212 maxlim: 641 bits: 11/10 282.32 c ---[ 259]---> Adder-cost: 999 maxlim: 185 bits: 9/8 282.37 c ---[ 258]---> Adder-cost: 1676 maxlim: 271 bits: 10/9 282.46 c ---[ 257]---> Adder-cost: 1886 maxlim: 486 bits: 10/9 282.56 c ---[ 256]---> Adder-cost: 1396 maxlim: 303 bits: 10/9 282.64 c ---[ 255]---> Adder-cost: 1722 maxlim: 581 bits: 11/10 282.79 c ---[ 254]---> Adder-cost: 1025 maxlim: 35 bits: 7/6 282.84 c ---[ 253]---> Adder-cost: 2146 maxlim: 745 bits: 11/10 282.98 c ---[ 252]---> Adder-cost: 2782 maxlim: 1872 bits: 12/11 283.25 c ---[ 251]---> Adder-cost: 1850 maxlim: 392 bits: 10/9 283.35 c ---[ 250]---> Adder-cost: 1246 maxlim: 695 bits: 11/10 283.44 c ---[ 249]---> Adder-cost: 1740 maxlim: 917 bits: 11/10 283.65 c ---[ 248]---> Adder-cost: 386 maxlim: 16181 bits: 15/14 283.72 c ---[ 247]---> Adder-cost: 566 maxlim: 258385 bits: 19/18 284.27 c ---[ 246]---> Adder-cost: 480 maxlim: 61245 bits: 17/16 284.52 c ---[ 245]---> Adder-cost: 1941 maxlim: 564 bits: 11/10 284.75 c ---[ 244]---> Adder-cost: 739 maxlim: 71 bits: 8/7 284.80 c ---[ 243]---> Adder-cost: 1526 maxlim: 87 bits: 8/7 284.89 c ---[ 242]---> Adder-cost: 1637 maxlim: 143 bits: 9/8 285.01 c ---[ 241]---> Adder-cost: 1387 maxlim: 93 bits: 8/7 285.08 c ---[ 240]---> Adder-cost: 1282 maxlim: 573 bits: 11/10 285.23 c ---[ 239]---> Adder-cost: 1041 maxlim: 35 bits: 7/6 285.28 c ---[ 238]---> Adder-cost: 2061 maxlim: 212 bits: 9/8 285.40 c ---[ 236]---> Adder-cost: 1949 maxlim: 121 bits: 8/7 285.50 c ---[ 235]---> Adder-cost: 1209 maxlim: 660 bits: 11/10 285.57 c ---[ 234]---> Adder-cost: 1507 maxlim: 743 bits: 11/10 285.77 c ---[ 233]---> Adder-cost: 1197 maxlim: 321 bits: 10/9 285.88 c ---[ 229]---> Adder-cost: 1739 maxlim: 733 bits: 11/10 286.02 c ---[ 228]---> Adder-cost: 2596 maxlim: 5381 bits: 14/13 286.67 c ---[ 227]---> Adder-cost: 1127 maxlim: 2213 bits: 13/12 286.86 c ---[ 225]---> Adder-cost: 1799 maxlim: 75 bits: 8/7 286.96 c ---[ 223]---> Adder-cost: 2210 maxlim: 2649 bits: 13/12 287.33 c ---[ 222]---> Adder-cost: 1998 maxlim: 37 bits: 7/6 287.44 c ---[ 221]---> Adder-cost: 2346 maxlim: 895 bits: 11/10 287.64 c ---[ 220]---> Adder-cost: 3784 maxlim: 6679 bits: 14/13 288.32 c ---[ 219]---> Adder-cost: 2487 maxlim: 2573 bits: 13/12 288.67 c ---[ 218]---> Adder-cost: 524 maxlim: 37 bits: 7/6 288.70 c ---[ 217]---> Adder-cost: 1450 maxlim: 3949 bits: 13/12 289.14 c ---[ 216]---> Adder-cost: 1754 maxlim: 3773 bits: 13/12 289.65 c ---[ 215]---> Adder-cost: 2014 maxlim: 6945 bits: 14/13 290.29 c ---[ 214]---> Adder-cost: 2511 maxlim: 8735 bits: 15/14 290.76 c ---[ 213]---> Adder-cost: 3009 maxlim: 8375 bits: 15/14 291.26 c ---[ 212]---> Adder-cost: 3482 maxlim: 8157 bits: 14/13 291.80 c ---[ 211]---> Adder-cost: 1440 maxlim: 43 bits: 7/6 291.87 c ---[ 210]---> Adder-cost: 1565 maxlim: 47 bits: 7/6 291.93 c ---[ 209]---> Adder-cost: 582 maxlim: 41 bits: 7/6 291.96 c ---[ 208]---> Adder-cost: 1968 maxlim: 4257 bits: 14/13 292.33 c ---[ 207]---> Adder-cost: 1356 maxlim: 4599 bits: 13/13 292.73 c ---[ 206]---> Adder-cost: 1654 maxlim: 8481 bits: 14/14 293.23 c ---[ 205]---> Adder-cost: 1936 maxlim: 7937 bits: 14/13 293.81 c ---[ 204]---> Adder-cost: 1290 maxlim: 119 bits: 8/7 293.86 c ---[ 203]---> Adder-cost: 1235 maxlim: 255 bits: 9/8 293.93 c ---[ 202]---> Adder-cost: 1509 maxlim: 2571 bits: 13/12 294.13 c ---[ 201]---> Adder-cost: 1511 maxlim: 47 bits: 7/6 294.19 c ---[ 199]---> Adder-cost: 1153 maxlim: 43 bits: 7/6 294.25 c ---[ 198]---> Adder-cost: 962 maxlim: 2305 bits: 13/12 294.38 c ---[ 196]---> Adder-cost: 2008 maxlim: 24741 bits: 15/15 294.82 c ---[ 194]---> Adder-cost: 1144 maxlim: 1510 bits: 12/11 294.98 c ---[ 192]---> Adder-cost: 1616 maxlim: 4002 bits: 13/12 295.27 c ---[ 190]---> Adder-cost: 1808 maxlim: 7059 bits: 14/13 295.59 c ---[ 188]---> Adder-cost: 1328 maxlim: 3441 bits: 13/12 295.82 c ---[ 186]---> Adder-cost: 1554 maxlim: 15995 bits: 15/14 296.12 c ---[ 184]---> Adder-cost: 1154 maxlim: 1850 bits: 12/11 296.29 c ---[ 182]---> Adder-cost: 1750 maxlim: 4476 bits: 13/13 296.64 c ---[ 180]---> Adder-cost: 2378 maxlim: 15447 bits: 15/14 297.21 c ---[ 178]---> Adder-cost: 1474 maxlim: 2331 bits: 12/12 297.52 c ---[ 176]---> Adder-cost: 1096 maxlim: 10212 bits: 14/14 297.76 c ---[ 174]---> Adder-cost: 1398 maxlim: 19553 bits: 15/15 298.02 c ---[ 172]---> Adder-cost: 2108 maxlim: 24190 bits: 15/15 298.53 c ---[ 170]---> Adder-cost: 1096 maxlim: 1857 bits: 12/11 298.71 c ---[ 168]---> Adder-cost: 1642 maxlim: 4469 bits: 13/13 299.04 c ---[ 166]---> Adder-cost: 1838 maxlim: 7982 bits: 14/13 299.39 c ---[ 164]---> Adder-cost: 1416 maxlim: 4011 bits: 13/12 299.65 c ---[ 162]---> Adder-cost: 1706 maxlim: 16494 bits: 15/15 300.01 c ---[ 160]---> Adder-cost: 1144 maxlim: 1803 bits: 11/11 300.20 c ---[ 158]---> Adder-cost: 1966 maxlim: 6287 bits: 13/13 300.63 c ---[ 156]---> Adder-cost: 2594 maxlim: 23185 bits: 15/15 301.32 c ---[ 154]---> Adder-cost: 1802 maxlim: 3484 bits: 12/12 301.72 c ---[ 152]---> Adder-cost: 1158 maxlim: 10862 bits: 14/14 301.99 c ---[ 150]---> Adder-cost: 1668 maxlim: 21061 bits: 15/15 302.36 c ---[ 149]---> Adder-cost: 1538 maxlim: 150561 bits: 18/18 303.44 c ---[ 148]---> Adder-cost: 1234 maxlim: 92810 bits: 17/17 303.99 c ---[ 147]---> Adder-cost: 1252 maxlim: 106808 bits: 17/17 304.59 c ---[ 146]---> Adder-cost: 1464 maxlim: 213703 bits: 19/18 305.78 c ---[ 145]---> Adder-cost: 1156 maxlim: 47457 bits: 16/16 306.13 c ---[ 144]---> Adder-cost: 1442 maxlim: 195733 bits: 18/18 307.30 c ---[ 143]---> Adder-cost: 472 maxlim: 517 bits: 10/10 307.34 c ---[ 142]---> Adder-cost: 1406 maxlim: 146590 bits: 18/18 308.41 c ---[ 141]---> Adder-cost: 1502 maxlim: 132987 bits: 18/18 309.32 c ---[ 140]---> Adder-cost: 1164 maxlim: 49212 bits: 16/16 309.72 c ---[ 139]---> Adder-cost: 1198 maxlim: 53487 bits: 16/16 310.15 c ---[ 138]---> Adder-cost: 1418 maxlim: 165476 bits: 18/18 311.08 c ---[ 137]---> Adder-cost: 1056 maxlim: 25700 bits: 15/15 311.35 c ---[ 136]---> Adder-cost: 1364 maxlim: 121781 bits: 18/17 311.97 c ---[ 135]---> Adder-cost: 442 maxlim: 489 bits: 10/9 312.01 c ---[ 134]---> Adder-cost: 968 maxlim: 131649 bits: 18/18 312.55 c ---[ 133]---> Adder-cost: 1016 maxlim: 142976 bits: 18/18 313.09 c ---[ 132]---> Adder-cost: 1022 maxlim: 134149 bits: 18/18 313.65 c ---[ 131]---> Adder-cost: 1370 maxlim: 124477 bits: 18/17 314.48 c ---[ 130]---> Adder-cost: 1658 maxlim: 9646 bits: 15/14 314.87 c ---[ 126]---> Adder-cost: 1812 maxlim: 10822 bits: 15/14 315.51 c ---[ 125]---> Adder-cost: 2446 maxlim: 56636 bits: 16/16 316.52 c ---[ 124]---> Adder-cost: 1514 maxlim: 32061 bits: 16/15 317.05 c ---[ 122]---> Adder-cost: 1996 maxlim: 1858 bits: 12/11 317.16 c ---[ 120]---> Adder-cost: 2466 maxlim: 17568 bits: 15/15 318.04 c ---[ 119]---> Adder-cost: 2492 maxlim: 2078 bits: 13/12 318.23 c ---[ 118]---> Adder-cost: 2718 maxlim: 6301 bits: 14/13 319.73 c ---[ 117]---> Adder-cost: 3980 maxlim: 38472 bits: 16/16 321.93 c ---[ 116]---> Adder-cost: 2398 maxlim: 23476 bits: 15/15 322.84 c ---[ 115]---> Adder-cost: 684 maxlim: 533 bits: 11/10 322.87 c ---[ 114]---> Adder-cost: 1474 maxlim: 1570 bits: 11/11 323.27 c ---[ 113]---> Adder-cost: 1574 maxlim: 1645 bits: 11/11 323.71 c ---[ 112]---> Adder-cost: 1764 maxlim: 2062 bits: 12/12 324.25 c ---[ 111]---> Adder-cost: 3288 maxlim: 23197 bits: 15/15 325.75 c ---[ 110]---> Adder-cost: 3468 maxlim: 24274 bits: 15/15 327.45 c ---[ 109]---> Adder-cost: 3418 maxlim: 24088 bits: 15/15 329.19 c ---[ 108]---> Adder-cost: 1411 maxlim: 1500 bits: 12/11 329.29 c ---[ 107]---> Adder-cost: 1669 maxlim: 1512 bits: 12/11 329.40 c ---[ 106]---> Adder-cost: 711 maxlim: 488 bits: 10/9 329.44 c ---[ 105]---> Adder-cost: 1902 maxlim: 20024 bits: 16/15 330.12 c ---[ 104]---> Adder-cost: 1408 maxlim: 1403 bits: 11/11 330.51 c ---[ 103]---> Adder-cost: 1616 maxlim: 2387 bits: 12/12 330.99 c ---[ 102]---> Adder-cost: 1754 maxlim: 1878 bits: 11/11 331.52 c ---[ 101]---> Adder-cost: 1192 maxlim: 1322 bits: 12/11 331.60 c ---[ 100]---> Adder-cost: 1166 maxlim: 2125 bits: 13/12 331.72 c ---[ 99]---> Adder-cost: 1578 maxlim: 8963 bits: 15/14 331.97 c ---[ 98]---> Adder-cost: 1596 maxlim: 1497 bits: 12/11 332.09 c ---[ 97]---> Adder-cost: 2226 maxlim: 2831 bits: 13/12 332.25 c ---[ 96]---> Adder-cost: 1480 maxlim: 1446 bits: 12/11 332.35 c ---[ 95]---> Adder-cost: 1082 maxlim: 7237 bits: 14/13 332.53 c ---[ 94]---> Adder-cost: 1024 maxlim: 7041 bits: 13/13 332.82 c ---[ 90]---> Adder-cost: 1424 maxlim: 7841 bits: 14/13 333.40 c ---[ 89]---> Adder-cost: 1978 maxlim: 59633 bits: 17/16 334.62 c ---[ 88]---> Adder-cost: 1044 maxlim: 23480 bits: 15/15 334.97 c ---[ 86]---> Adder-cost: 1268 maxlim: 2277 bits: 12/12 335.52 c ---[ 84]---> Adder-cost: 1876 maxlim: 36057 bits: 16/16 336.40 c ---[ 83]---> Adder-cost: 1618 maxlim: 2080 bits: 12/12 337.39 c ---[ 82]---> Adder-cost: 2304 maxlim: 9215 bits: 14/14 338.88 c ---[ 81]---> Adder-cost: 3750 maxlim: 52206 bits: 16/16 341.30 c ---[ 80]---> Adder-cost: 1784 maxlim: 32504 bits: 16/15 342.21 c ---[ 79]---> Adder-cost: 576 maxlim: 679 bits: 10/10 342.31 c ---[ 78]---> Adder-cost: 1249 maxlim: 1522 bits: 12/11 342.42 c ---[ 77]---> Adder-cost: 1373 maxlim: 1586 bits: 12/11 342.53 c ---[ 76]---> Adder-cost: 1883 maxlim: 2143 bits: 13/12 342.68 c ---[ 75]---> Adder-cost: 3096 maxlim: 34977 bits: 16/16 344.44 c ---[ 74]---> Adder-cost: 2718 maxlim: 35923 bits: 16/16 346.39 c ---[ 73]---> Adder-cost: 2690 maxlim: 36140 bits: 16/16 348.46 c ---[ 72]---> Adder-cost: 45 maxlim: 1586 bits: 11/11 348.78 c ---[ 71]---> Adder-cost: 1496 maxlim: 1623 bits: 11/11 349.22 c ---[ 70]---> Adder-cost: 23 maxlim: 676 bits: 10/10 349.30 c ---[ 69]---> Adder-cost: 1584 maxlim: 43602 bits: 16/16 350.00 c ---[ 68]---> Adder-cost: 1092 maxlim: 1617 bits: 12/11 350.10 c ---[ 67]---> Adder-cost: 1643 maxlim: 3219 bits: 13/12 350.25 c ---[ 66]---> Adder-cost: 1579 maxlim: 2260 bits: 13/12 350.40 c ---[ 65]---> Adder-cost: 193 maxlim: 1861 bits: 11/11 350.62 c ---[ 64]---> Adder-cost: 1008 maxlim: 3443 bits: 12/12 350.82 c ---[ 63]---> Adder-cost: 1328 maxlim: 24276 bits: 15/15 351.30 c ---[ 62]---> Adder-cost: 1550 maxlim: 1623 bits: 11/11 351.74 c ---[ 61]---> Adder-cost: 1694 maxlim: 3270 bits: 12/12 352.28 c ---[ 60]---> Adder-cost: 766 maxlim: 1506 bits: 11/11 352.59 c ---[ 59]---> Adder-cost: 878 maxlim: 19308 bits: 15/15 352.83 c ---[ 58]---> Adder-cost: 656 maxlim: 2564 bits: 12/12 352.90 c ---[ 57]---> Adder-cost: 664 maxlim: 17231 bits: 15/15 353.05 c ---[ 56]---> Adder-cost: 450 maxlim: 3331 bits: 12/12 353.10 c ---[ 55]---> Adder-cost: 434 maxlim: 3299 bits: 12/12 353.15 c ---[ 54]---> Adder-cost: 514 maxlim: 6515 bits: 13/13 353.22 c ---[ 53]---> Adder-cost: 510 maxlim: 6575 bits: 13/13 353.28 c ---[ 52]---> Adder-cost: 664 maxlim: 7265 bits: 14/13 353.36 c ---[ 51]---> Adder-cost: 286 maxlim: 357 bits: 9/9 353.38 c ---[ 50]---> Adder-cost: 688 maxlim: 17231 bits: 15/15 353.54 c ---[ 49]---> Adder-cost: 624 maxlim: 32021 bits: 16/15 353.69 c ---[ 48]---> Adder-cost: 594 maxlim: 11451 bits: 14/14 353.78 c ---[ 47]---> Adder-cost: 716 maxlim: 35127 bits: 16/16 353.96 c ---[ 46]---> Adder-cost: 554 maxlim: 7505 bits: 14/13 354.03 c ---[ 45]---> BDD-cost: 14 354.03 c ---[ 44]---> BDD-cost: 12 354.03 c ---[ 43]---> BDD-cost: 11 354.03 c ---[ 42]---> BDD-cost: 15 354.03 c ---[ 41]---> BDD-cost: 25 354.03 c ---[ 40]---> BDD-cost: 15 354.03 c ---[ 39]---> BDD-cost: 13 354.03 c ---[ 38]---> BDD-cost: 14 354.03 c ---[ 37]---> BDD-cost: 13 354.03 c ---[ 36]---> BDD-cost: 11 354.03 c ---[ 35]---> BDD-cost: 14 354.03 c ---[ 34]---> BDD-cost: 16 354.03 c ---[ 33]---> BDD-cost: 16 354.03 c ---[ 32]---> BDD-cost: 15 354.03 c ---[ 31]---> BDD-cost: 13 354.03 c ---[ 30]---> BDD-cost: 11 354.03 c ---[ 29]---> BDD-cost: 19 354.03 c ---[ 28]---> BDD-cost: 17 354.03 c ---[ 27]---> BDD-cost: 14 354.04 c ---[ 26]---> BDD-cost: 10 354.04 c ---[ 25]---> BDD-cost: 13 354.04 c ---[ 24]---> BDD-cost: 25 354.04 c ---[ 23]---> BDD-cost: 19 354.04 c ---[ 22]---> BDD-cost: 11 354.04 c ---[ 21]---> BDD-cost: 9 354.04 c ---[ 20]---> BDD-cost: 9 354.04 c ---[ 19]---> BDD-cost: 25 354.04 c ---[ 18]---> BDD-cost: 12 354.04 c ---[ 17]---> BDD-cost: 25 354.04 c ---[ 16]---> BDD-cost: 15 354.04 c ---[ 15]---> BDD-cost: 13 354.04 c ---[ 14]---> BDD-cost: 17 354.04 c ---[ 13]---> BDD-cost: 18 354.04 c ---[ 12]---> BDD-cost: 14 354.04 c ---[ 11]---> BDD-cost: 14 354.04 c ---[ 10]---> BDD-cost: 11 354.04 c ---[ 9]---> BDD-cost: 17 354.04 c ---[ 8]---> BDD-cost: 13 354.04 c ---[ 7]---> BDD-cost: 18 354.04 c ---[ 6]---> BDD-cost: 12 354.04 c ---[ 5]---> BDD-cost: 13 354.04 c ---[ 4]---> BDD-cost: 14 354.04 c ---[ 3]---> BDD-cost: 10 354.04 c ---[ 2]---> BDD-cost: 11 354.04 c ---[ 1]---> Adder-cost: 2651 maxlim: 719 bits: 11/10 354.34 c ---[ 0]---> Adder-cost: 1524 maxlim: 63 bits: 7/6 360.74 c ==================================[MINISAT+]================================== 360.74 c | Conflicts | Original | Learnt | Progress | 360.74 c | | Clauses Literals | Max Clauses Literals LPC | | 360.74 c ============================================================================== 360.74 c | 0 | 8550067 29220651 | 2850022 0 0 nan | 0.000 % | 360.79 c | 100 | 8550067 29220651 | 3135024 100 345 3.5 | 7.171 % | 360.82 c | 250 | 8550067 29220651 | 3448526 250 1322 5.3 | 7.171 % | 361.35 c | 475 | 8550051 29220597 | 3793379 474 2453 5.2 | 7.171 % | 362.43 c | 812 | 8550037 29220553 | 4172717 809 3569 4.4 | 7.171 % | 362.56 c | 1321 | 8550037 29220553 | 4589988 1318 6597 5.0 | 7.171 % | 364.07 c | 2080 | 8550006 29220468 | 5048987 2074 13533 6.5 | 7.172 % | 366.69 c | 3220 | 8549908 29220234 | 5553886 3208 23257 7.2 | 7.173 % | 369.29 c | 4928 | 8549777 29219921 | 6109275 4908 44446 9.1 | 7.176 % | 373.95 c | 7491 | 8549693 29219663 | 6720202 7462 69684 9.3 | 7.177 % | 376.90 c | 11335 | 8549644 29219500 | 7392223 11299 120091 10.6 | 7.177 % | 388.60 c | 17102 | 8549253 29218465 | 8131445 17004 192089 11.3 | 7.183 % | 402.04 c | 25751 | 8548627 29216719 | 8944589 25500 305911 12.0 | 7.191 % | 423.96 c | 38725 | 8547874 29214610 | 9839048 38279 491786 12.8 | 7.200 % | 443.20 c | 58186 | 8547346 29213185 | 10822953 57653 852454 14.8 | 7.207 % | 485.73 c | 87378 | 8545991 29209448 | 11905249 86575 1347463 15.6 | 7.224 % | 535.71 c | 131168 | 8544900 29206660 | 13095774 130197 2825799 21.7 | 7.240 % | 608.98 c | 196852 | 8543755 29203579 | 14405351 195668 4319691 22.1 | 7.256 % | 704.69 c | 295379 | 8543423 29202732 | 15845886 294038 11490075 39.1 | 7.262 % | 1031.54 c | 443168 | 8542977 29201603 | 17430475 441782 22138438 50.1 | 7.268 % | 1627.96 c | 664851 | 8541400 29197820 | 19173522 663165 38485883 58.0 | 7.293 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node80/watcher-35011-1149324159 -o ROOT/results/node80/solver-35011-1149324159 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node80/35011-1149324159/instance-35011-1149324159.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.96 2/67 6624 /proc/meminfo: memFree=1534216/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=1180 CPUtime=0 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 127 0 0 0 0 0 0 0 19 0 1 0 198054532 1208320 113 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134601399 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 295 122 67 215 0 77 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.95 0.96 2/67 6624 /proc/meminfo: memFree=1464016/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=74144 CPUtime=9.98 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 18943 0 0 0 988 10 0 0 25 0 1 0 198054532 75923456 17706 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012077 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6624/statm: 18536 17706 75 215 0 18318 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 74144 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1439248/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=98776 CPUtime=19.99 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 25245 0 0 0 1986 13 0 0 25 0 1 0 198054532 101146624 23904 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621371 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 24694 23904 83 215 0 24476 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 98776 [startup+30.0143 s] /proc/loadavg: 0.95 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1439312/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=98776 CPUtime=29.99 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 25251 0 0 0 2986 13 0 0 25 0 1 0 198054532 101146624 23910 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812625 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 24694 23910 83 215 0 24476 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 98776 [startup+40.0204 s] /proc/loadavg: 0.95 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1439248/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=98776 CPUtime=39.98 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 25255 0 0 0 3985 13 0 0 25 0 1 0 198054532 101146624 23914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812751 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 24694 23914 83 215 0 24476 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 98776 [startup+50.0265 s] /proc/loadavg: 0.96 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1442704/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=95340 CPUtime=49.97 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 25335 0 0 0 4983 14 0 0 25 0 1 0 198054532 97628160 23083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6624/statm: 23835 23083 109 215 0 23617 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 95340 [startup+60.0325 s] /proc/loadavg: 0.97 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1437008/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=101624 CPUtime=59.96 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 26805 0 0 0 5981 15 0 0 25 0 1 0 198054532 104062976 24553 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 25406 24553 109 215 0 25188 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 101624 [startup+70.0386 s] /proc/loadavg: 0.97 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1431568/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=107460 CPUtime=69.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 28801 0 0 0 6979 16 0 0 25 0 1 0 198054532 110039040 25890 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 26865 25890 109 215 0 26647 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 107460 [startup+80.0447 s] /proc/loadavg: 0.98 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1428496/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=112196 CPUtime=79.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 29631 0 0 0 7978 17 0 0 25 0 1 0 198054532 114888704 26653 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 28049 26653 109 215 0 27831 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 112196 [startup+90.0507 s] /proc/loadavg: 0.98 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1427216/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=112896 CPUtime=89.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 30040 0 0 0 8978 17 0 0 25 0 1 0 198054532 115605504 26947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 28224 26947 109 215 0 28006 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 112896 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1427152/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=113024 CPUtime=99.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 30133 0 0 0 9978 17 0 0 25 0 1 0 198054532 115736576 26993 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134649148 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 28256 26993 109 215 0 28038 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 113024 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.96 2/67 6624 /proc/meminfo: memFree=1426832/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=113216 CPUtime=109.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 30236 0 0 0 10978 17 0 0 25 0 1 0 198054532 115933184 27078 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 28304 27078 109 215 0 28086 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 113216 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1425232/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=114240 CPUtime=119.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 30748 0 0 0 11978 17 0 0 25 0 1 0 198054532 116981760 27472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007279 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 28560 27472 109 215 0 28342 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 114240 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1424144/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=114864 CPUtime=129.96 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 31027 0 0 0 12978 18 0 0 25 0 1 0 198054532 117620736 27732 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 28716 27732 109 215 0 28498 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 114864 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1414480/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=126956 CPUtime=139.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 35022 0 0 0 13976 19 0 0 25 0 1 0 198054532 130002944 30101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005844 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 31739 30101 109 215 0 31521 0 Current children cumulated CPU time (s) 139.95 Current children cumulated vsize (Kb) 126956 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1412752/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=128384 CPUtime=149.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 35641 0 0 0 14976 19 0 0 25 0 1 0 198054532 131465216 30566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 32096 30566 109 215 0 31878 0 Current children cumulated CPU time (s) 149.95 Current children cumulated vsize (Kb) 128384 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1410640/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=129636 CPUtime=159.96 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 36607 0 0 0 15976 20 0 0 25 0 1 0 198054532 132747264 31079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 32409 31079 109 215 0 32191 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 129636 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1409424/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=130228 CPUtime=169.96 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 37445 0 0 0 16976 20 0 0 25 0 1 0 198054532 133353472 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 32557 31357 109 215 0 32339 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 130228 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1409424/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=130228 CPUtime=179.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 37505 0 0 0 17975 20 0 0 25 0 1 0 198054532 133353472 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012139 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 32557 31357 109 215 0 32339 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 130228 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1409360/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=130228 CPUtime=189.95 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 37577 0 0 0 18975 20 0 0 25 0 1 0 198054532 133353472 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 32557 31357 109 215 0 32339 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 130228 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1407632/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=131388 CPUtime=199.96 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 38112 0 0 0 19975 21 0 0 25 0 1 0 198054532 134541312 31821 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811897 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 32847 31821 109 215 0 32629 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 131388 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6624 /proc/meminfo: memFree=1404240/2055888 swapFree=4085432/4096564 ################ # More data... # ################ [pid=6624] ppid=6622 vsize=812176 CPUtime=1781.23 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198374 0 0 0 177996 127 0 0 25 0 1 0 198054532 831668224 187964 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203044 187964 124 215 0 202826 0 Current children cumulated CPU time (s) 1781.23 Current children cumulated vsize (Kb) 812176 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=781072/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812324 CPUtime=1782.24 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198395 0 0 0 178097 127 0 0 25 0 1 0 198054532 831819776 187985 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203081 187985 124 215 0 202863 0 Current children cumulated CPU time (s) 1782.24 Current children cumulated vsize (Kb) 812324 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=781008/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812324 CPUtime=1783.24 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198413 0 0 0 178197 127 0 0 25 0 1 0 198054532 831819776 188003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203081 188003 124 215 0 202863 0 Current children cumulated CPU time (s) 1783.24 Current children cumulated vsize (Kb) 812324 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780944/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812324 CPUtime=1784.25 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198422 0 0 0 178298 127 0 0 25 0 1 0 198054532 831819776 188012 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203081 188012 124 215 0 202863 0 Current children cumulated CPU time (s) 1784.25 Current children cumulated vsize (Kb) 812324 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780816/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812616 CPUtime=1785.25 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198458 0 0 0 178398 127 0 0 25 0 1 0 198054532 832118784 188048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203154 188048 124 215 0 202936 0 Current children cumulated CPU time (s) 1785.25 Current children cumulated vsize (Kb) 812616 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780816/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812616 CPUtime=1786.25 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198467 0 0 0 178498 127 0 0 25 0 1 0 198054532 832118784 188057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203154 188057 124 215 0 202936 0 Current children cumulated CPU time (s) 1786.25 Current children cumulated vsize (Kb) 812616 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780688/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812616 CPUtime=1787.26 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198484 0 0 0 178599 127 0 0 25 0 1 0 198054532 832118784 188074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203154 188074 124 215 0 202936 0 Current children cumulated CPU time (s) 1787.26 Current children cumulated vsize (Kb) 812616 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780624/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812748 CPUtime=1788.26 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198506 0 0 0 178699 127 0 0 25 0 1 0 198054532 832253952 188096 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203187 188096 124 215 0 202969 0 Current children cumulated CPU time (s) 1788.26 Current children cumulated vsize (Kb) 812748 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780560/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812884 CPUtime=1789.27 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198526 0 0 0 178800 127 0 0 25 0 1 0 198054532 832393216 188116 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203221 188116 124 215 0 203003 0 Current children cumulated CPU time (s) 1789.27 Current children cumulated vsize (Kb) 812884 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780496/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=812884 CPUtime=1790.27 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198542 0 0 0 178900 127 0 0 25 0 1 0 198054532 832393216 188132 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203221 188132 124 215 0 203003 0 Current children cumulated CPU time (s) 1790.27 Current children cumulated vsize (Kb) 812884 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780368/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813052 CPUtime=1791.28 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198569 0 0 0 179001 127 0 0 25 0 1 0 198054532 832565248 188159 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203263 188159 124 215 0 203045 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (Kb) 813052 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780368/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813052 CPUtime=1792.28 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198578 0 0 0 179101 127 0 0 25 0 1 0 198054532 832565248 188168 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203263 188168 124 215 0 203045 0 Current children cumulated CPU time (s) 1792.28 Current children cumulated vsize (Kb) 813052 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780240/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813052 CPUtime=1793.29 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198602 0 0 0 179202 127 0 0 25 0 1 0 198054532 832565248 188192 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203263 188192 124 215 0 203045 0 Current children cumulated CPU time (s) 1793.29 Current children cumulated vsize (Kb) 813052 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780176/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813184 CPUtime=1794.29 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198620 0 0 0 179302 127 0 0 25 0 1 0 198054532 832700416 188210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203296 188210 124 215 0 203078 0 Current children cumulated CPU time (s) 1794.29 Current children cumulated vsize (Kb) 813184 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780112/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813316 CPUtime=1795.29 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198642 0 0 0 179402 127 0 0 25 0 1 0 198054532 832835584 188232 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203329 188232 124 215 0 203111 0 Current children cumulated CPU time (s) 1795.29 Current children cumulated vsize (Kb) 813316 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=780048/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813316 CPUtime=1796.3 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198656 0 0 0 179503 127 0 0 25 0 1 0 198054532 832835584 188246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203329 188246 124 215 0 203111 0 Current children cumulated CPU time (s) 1796.3 Current children cumulated vsize (Kb) 813316 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=779920/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813448 CPUtime=1797.3 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198689 0 0 0 179603 127 0 0 25 0 1 0 198054532 832970752 188279 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203362 188279 124 215 0 203144 0 Current children cumulated CPU time (s) 1797.3 Current children cumulated vsize (Kb) 813448 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=779920/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813448 CPUtime=1798.31 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198689 0 0 0 179704 127 0 0 25 0 1 0 198054532 832970752 188279 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203362 188279 124 215 0 203144 0 Current children cumulated CPU time (s) 1798.31 Current children cumulated vsize (Kb) 813448 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=779856/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813448 CPUtime=1799.31 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198698 0 0 0 179804 127 0 0 25 0 1 0 198054532 832970752 188288 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203362 188288 124 215 0 203144 0 Current children cumulated CPU time (s) 1799.31 Current children cumulated vsize (Kb) 813448 [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=779728/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813580 CPUtime=1800.32 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198723 0 0 0 179905 127 0 0 25 0 1 0 198054532 833105920 188313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569782 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203395 188313 124 215 0 203177 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (Kb) 813580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.96 2/67 6819 /proc/meminfo: memFree=779728/2055888 swapFree=4085432/4096564 [pid=6624] ppid=6622 vsize=813580 CPUtime=1800.32 /proc/6624/stat : 6624 (minisat+) R 6622 6624 6578 0 -1 4194304 198723 0 0 0 179905 127 0 0 25 0 1 0 198054532 833105920 188313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6624/statm: 203395 188313 124 215 0 203177 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (Kb) 813580 Sending SIGTERM to -6624 Sleeping 2 seconds Child status: 0 Real time (s): 1801.31 CPU time (s): 1800.45 CPU user time (s): 1799.05 CPU system time (s): 1.39879 CPU usage (%): 99.9523 Max. virtual memory (cumulated for all children) (Kb): 813580
Begin job on node80 on Sat Jun 3 08:42:40 UTC 2006 FILE ID= 35011-1149324159 PBS_JOBID= 309531 BENCH NAME= HOME/pub/bench/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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node80/35011-1149324159/instance-35011-1149324159.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-35011-1149324159 -o ROOT/results/node80/solver-35011-1149324159 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node80/35011-1149324159/instance-35011-1149324159.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 542c2b53b45e753224c38b905fee77fb RANDOM SEED= 513540486 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.16 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1534616 kB Buffers: 13260 kB Cached: 444324 kB SwapCached: 2436 kB Active: 44488 kB Inactive: 421824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1534616 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 72 kB Writeback: 0 kB Mapped: 16648 kB Slab: 41616 kB Committed_AS: 358168 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Sat Jun 3 09:12:41 UTC 2006