Trace number 35709

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.5 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
MD5SUM6b1441ebcfc2678f5078c728b5f20e0c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16269067107200000
Best CPU time to get the best result obtained on this benchmark1804.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16269067107200000
Optimality of the best value was proved NO
Number of variables70755
Total number of constraints2219
Number of constraints which are clauses310
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1909
Minimum length of a constraint15
Maximum length of a constraint70755
Number of terms in the objective function 70755
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 28224865138562971148229
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 28224967538562971148229
Number of bits of the biggest sum of numbers75
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
6.74	c Converting 4027 PB-constraints to clauses...
6.78	c   -- Unit propagations: (none)
6.86	c   -- Detecting intervals from adjacent constraints: #########################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################=#######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
6.94	c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................sssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss...............................
7.32	c ---[4094]---> Adder-cost: 154   maxlim: 73728   bits: 18/17
7.34	c ---[4092]---> Adder-cost: 172   maxlim: 84992   bits: 18/17
7.36	c ---[4090]---> Adder-cost: 308   maxlim: 153600   bits: 19/18
7.39	c ---[4088]---> Adder-cost: 212   maxlim: 130048   bits: 18/17
7.42	c ---[4085]---> Adder-cost: 120   maxlim: 60416   bits: 17/16
7.43	c ---[4083]---> Adder-cost: 84   maxlim: 64512   bits: 17/16
7.45	c ---[4081]---> Adder-cost: 106   maxlim: 64512   bits: 17/16
7.46	c ---[4079]---> Adder-cost: 120   maxlim: 65536   bits: 18/17
7.48	c ---[4077]---> Adder-cost: 112   maxlim: 58368   bits: 17/16
7.49	c ---[4075]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
7.50	c ---[4073]---> Adder-cost: 102   maxlim: 86016   bits: 18/17
7.52	c ---[4071]---> Sorter-cost: 1191     Base: 2 2 2 2 2 2 2 2 2 2 7
7.53	c ---[4069]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
7.54	c ---[4067]---> Adder-cost: 188   maxlim: 97280   bits: 18/17
7.56	c ---[4065]---> Adder-cost: 190   maxlim: 98304   bits: 18/17
7.59	c ---[4063]---> Adder-cost: 176   maxlim: 101376   bits: 18/17
7.61	c ---[4061]---> Adder-cost: 122   maxlim: 89088   bits: 18/17
7.63	c ---[4059]---> Adder-cost: 154   maxlim: 89088   bits: 18/17
7.65	c ---[4057]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
7.67	c ---[4055]---> Adder-cost: 148   maxlim: 96256   bits: 18/17
7.70	c ---[4053]---> Adder-cost: 150   maxlim: 92160   bits: 18/17
7.72	c ---[4051]---> Sorter-cost: 1219     Base: 2 2 2 2 2 2 2 2 2 2 7
7.73	c ---[4049]---> Sorter-cost: 1200     Base: 2 2 2 2 2 2 2 2 2 2 7
7.74	c ---[4047]---> Adder-cost: 178   maxlim: 88064   bits: 18/17
7.76	c ---[4045]---> Adder-cost: 186   maxlim: 93184   bits: 18/17
7.78	c ---[4043]---> Adder-cost: 134   maxlim: 93184   bits: 18/17
7.80	c ---[4041]---> Adder-cost: 108   maxlim: 76800   bits: 18/17
7.82	c ---[4038]---> Adder-cost: 166   maxlim: 107520   bits: 18/17
7.84	c ---[4036]---> Adder-cost: 200   maxlim: 106496   bits: 18/17
7.87	c ---[4034]---> Adder-cost: 256   maxlim: 147456   bits: 19/18
7.90	c ---[4032]---> Adder-cost: 248   maxlim: 149504   bits: 19/18
7.94	c ---[4030]---> Adder-cost: 216   maxlim: 158720   bits: 19/18
7.97	c ---[4028]---> Adder-cost: 236   maxlim: 160768   bits: 19/18
8.01	c ---[4026]---> Adder-cost: 210   maxlim: 164864   bits: 19/18
8.05	c ---[4024]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
8.05	c ---[4022]---> Adder-cost: 100   maxlim: 164864   bits: 19/18
8.09	c ---[4020]---> Adder-cost: 316   maxlim: 199680   bits: 19/18
8.14	c ---[4018]---> Adder-cost: 288   maxlim: 175104   bits: 19/18
8.18	c ---[4016]---> Adder-cost: 200   maxlim: 164864   bits: 19/18
8.21	c ---[4014]---> Adder-cost: 224   maxlim: 131072   bits: 19/18
8.24	c ---[4012]---> Adder-cost: 194   maxlim: 110592   bits: 18/17
8.27	c ---[4010]---> Adder-cost: 158   maxlim: 87040   bits: 18/17
8.29	c ---[4008]---> Adder-cost: 144   maxlim: 81920   bits: 18/17
8.31	c ---[4006]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
8.31	c ---[4004]---> Sorter-cost:  361     Base: 2 2 2 2 2 2 2 2 2 2 7
8.32	c ---[4002]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
8.33	c ---[4000]---> Sorter-cost: 1157     Base: 2 2 2 2 2 2 2 2 2 2 7
8.34	c ---[3998]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
8.35	c ---[3996]---> Sorter-cost: 1163     Base: 2 2 2 2 2 2 2 2 2 2 7
8.36	c ---[3994]---> Sorter-cost: 1013     Base: 2 2 2 2 2 2 2 2 2 2 7
8.37	c ---[3992]---> Sorter-cost: 1117     Base: 2 2 2 2 2 2 2 2 2 2 7
8.38	c ---[3990]---> Adder-cost: 154   maxlim: 74752   bits: 18/17
8.40	c ---[3988]---> Adder-cost: 200   maxlim: 102400   bits: 18/17
8.42	c ---[3986]---> Adder-cost: 162   maxlim: 101376   bits: 18/17
8.44	c ---[3984]---> Adder-cost: 180   maxlim: 96256   bits: 18/17
8.47	c ---[3982]---> Adder-cost: 136   maxlim: 92160   bits: 18/17
8.49	c ---[3980]---> Adder-cost: 106   maxlim: 62464   bits: 17/16
8.50	c ---[3978]---> Adder-cost: 110   maxlim: 57344   bits: 17/16
8.51	c ---[3975]---> Adder-cost: 82   maxlim: 58368   bits: 17/16
8.53	c ---[3973]---> Adder-cost: 232   maxlim: 124928   bits: 18/17
8.56	c ---[3971]---> Adder-cost: 260   maxlim: 141312   bits: 19/18
8.59	c ---[3969]---> Adder-cost: 92   maxlim: 141312   bits: 19/18
8.62	c ---[3967]---> Adder-cost: 272   maxlim: 153600   bits: 19/18
8.66	c ---[3965]---> Adder-cost: 226   maxlim: 156672   bits: 19/18
8.69	c ---[3963]---> Adder-cost: 272   maxlim: 161792   bits: 19/18
8.73	c ---[3961]---> Adder-cost: 92   maxlim: 161792   bits: 19/18
8.77	c ---[3959]---> Adder-cost: 266   maxlim: 159744   bits: 19/18
8.80	c ---[3957]---> Adder-cost: 266   maxlim: 131072   bits: 19/18
8.83	c ---[3955]---> Adder-cost: 182   maxlim: 162816   bits: 19/18
8.87	c ---[3953]---> Adder-cost: 166   maxlim: 159744   bits: 19/18
8.91	c ---[3951]---> Adder-cost: 94   maxlim: 159744   bits: 19/18
8.95	c ---[3949]---> Adder-cost: 250   maxlim: 157696   bits: 19/18
8.98	c ---[3947]---> Adder-cost: 92   maxlim: 157696   bits: 19/18
9.02	c ---[3945]---> Adder-cost: 180   maxlim: 156672   bits: 19/18
9.05	c ---[3943]---> Adder-cost: 96   maxlim: 156672   bits: 19/18
9.09	c ---[3941]---> Adder-cost: 216   maxlim: 155648   bits: 19/18
9.12	c ---[3939]---> Adder-cost: 96   maxlim: 155648   bits: 19/18
9.16	c ---[3937]---> Adder-cost: 102   maxlim: 156672   bits: 19/18
9.20	c ---[3935]---> Adder-cost: 90   maxlim: 131072   bits: 19/18
9.23	c ---[3933]---> Adder-cost: 96   maxlim: 156672   bits: 19/18
9.26	c ---[3931]---> Adder-cost: 96   maxlim: 156672   bits: 19/18
9.30	c ---[3929]---> Adder-cost: 96   maxlim: 156672   bits: 19/18
9.34	c ---[3927]---> Adder-cost: 260   maxlim: 192512   bits: 19/18
9.38	c ---[3924]---> Adder-cost: 146   maxlim: 69632   bits: 18/17
9.40	c ---[3922]---> Adder-cost: 94   maxlim: 70656   bits: 18/17
9.42	c ---[3920]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
9.43	c ---[3918]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
9.44	c ---[3916]---> Adder-cost: 168   maxlim: 118784   bits: 18/17
9.46	c ---[3914]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
9.48	c ---[3912]---> Adder-cost: 100   maxlim: 52224   bits: 17/16
9.49	c ---[3910]---> Adder-cost: 96   maxlim: 51200   bits: 17/16
9.50	c ---[3908]---> Adder-cost: 156   maxlim: 76800   bits: 18/17
9.52	c ---[3906]---> Adder-cost: 136   maxlim: 74752   bits: 18/17
9.54	c ---[3903]---> Adder-cost: 98   maxlim: 56320   bits: 17/16
9.55	c ---[3901]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
9.56	c ---[3899]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
9.57	c ---[3897]---> Sorter-cost:  632     Base: 2 2 2 2 2 2 2 2 2 2 7
9.58	c ---[3895]---> Sorter-cost: 1155     Base: 2 2 2 2 2 2 2 2 2 2 7
9.59	c ---[3893]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
9.60	c ---[3891]---> Sorter-cost: 1073     Base: 2 2 2 2 2 2 2 2 2 2 7
9.60	c ---[3888]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
9.61	c ---[3886]---> Adder-cost: 116   maxlim: 58368   bits: 17/16
9.63	c ---[3884]---> Adder-cost: 82   maxlim: 58368   bits: 17/16
9.64	c ---[3882]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
9.65	c ---[3880]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
9.66	c ---[3878]---> Sorter-cost: 1154     Base: 2 2 2 2 2 2 2 2 2 2 7
9.67	c ---[3876]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
9.68	c ---[3874]---> Sorter-cost: 1012     Base: 2 2 2 2 2 2 2 2 2 2 7
9.69	c ---[3872]---> Sorter-cost:  793     Base: 2 2 2 2 2 2 2 2 2 2 7
9.70	c ---[3870]---> Adder-cost: 142   maxlim: 68608   bits: 18/17
9.71	c ---[3868]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
9.72	c ---[3866]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
9.74	c ---[3864]---> Adder-cost: 132   maxlim: 73728   bits: 18/17
9.76	c ---[3862]---> Adder-cost: 102   maxlim: 71680   bits: 18/17
9.78	c ---[3860]---> Adder-cost: 120   maxlim: 68608   bits: 18/17
9.79	c ---[3858]---> Adder-cost: 84   maxlim: 71680   bits: 18/17
9.81	c ---[3856]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
9.82	c ---[3854]---> Sorter-cost:  526     Base: 2 2 2 2 2 2 2 2 2 2 7
9.82	c ---[3852]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
9.83	c ---[3850]---> Sorter-cost:  414     Base: 2 2 2 2 2 2 2 2 2 2 7
9.83	c ---[3848]---> Adder-cost: 204   maxlim: 101376   bits: 18/17
9.86	c ---[3846]---> Adder-cost: 118   maxlim: 102400   bits: 18/17
9.88	c ---[3844]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
9.89	c ---[3842]---> Sorter-cost: 1036     Base: 2 2 2 2 2 2 2 2 2 2 7
9.90	c ---[3840]---> Adder-cost: 204   maxlim: 101376   bits: 18/17
9.92	c ---[3838]---> Adder-cost: 72   maxlim: 101376   bits: 18/17
9.94	c ---[3836]---> Adder-cost: 186   maxlim: 94208   bits: 18/17
9.97	c ---[3834]---> Adder-cost: 104   maxlim: 95232   bits: 18/17
9.99	c ---[3832]---> Adder-cost: 74   maxlim: 94208   bits: 18/17
10.01	c ---[3830]---> Adder-cost: 70   maxlim: 94208   bits: 18/17
10.03	c ---[3828]---> Sorter-cost: 1287     Base: 2 2 2 2 2 2 2 2 2 2 7
10.04	c ---[3826]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
10.05	c ---[3823]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
10.06	c ---[3821]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
10.06	c ---[3819]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
10.06	c ---[3817]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
10.07	c ---[3815]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
10.07	c ---[3813]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
10.08	c ---[3811]---> Sorter-cost: 1070     Base: 2 2 2 2 2 2 2 2 2 2 7
10.09	c ---[3809]---> Sorter-cost: 1175     Base: 2 2 2 2 2 2 2 2 2 2 7
10.10	c ---[3807]---> Sorter-cost: 1131     Base: 2 2 2 2 2 2 2 2 2 2 7
10.11	c ---[3805]---> Sorter-cost: 1157     Base: 2 2 2 2 2 2 2 2 2 2 7
10.12	c ---[3803]---> Sorter-cost:  446     Base: 2 2 2 2 2 2 2 2 2 2 7
10.12	c ---[3801]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
10.13	c ---[3799]---> Sorter-cost: 1267     Base: 2 2 2 2 2 2 2 2 2 2 7
10.14	c ---[3797]---> Adder-cost: 154   maxlim: 73728   bits: 18/17
10.16	c ---[3794]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
10.17	c ---[3791]---> Adder-cost: 170   maxlim: 82944   bits: 18/17
10.19	c ---[3789]---> Adder-cost: 140   maxlim: 66560   bits: 18/17
10.21	c ---[3787]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
10.22	c ---[3785]---> Adder-cost: 152   maxlim: 78848   bits: 18/17
10.24	c ---[3783]---> Adder-cost: 122   maxlim: 79872   bits: 18/17
10.26	c ---[3781]---> Adder-cost: 120   maxlim: 62464   bits: 17/16
10.27	c ---[3779]---> Adder-cost: 190   maxlim: 96256   bits: 18/17
10.30	c ---[3777]---> Adder-cost: 122   maxlim: 63488   bits: 17/16
10.31	c ---[3775]---> Adder-cost: 134   maxlim: 66560   bits: 18/17
10.33	c ---[3773]---> Adder-cost: 130   maxlim: 65536   bits: 18/17
10.35	c ---[3771]---> Adder-cost: 186   maxlim: 92160   bits: 18/17
10.37	c ---[3769]---> Adder-cost: 96   maxlim: 93184   bits: 18/17
10.39	c ---[3767]---> Adder-cost: 122   maxlim: 87040   bits: 18/17
10.41	c ---[3765]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
10.42	c ---[3763]---> Sorter-cost:  896     Base: 2 2 2 2 2 2 2 2 2 2 7
10.43	c ---[3761]---> Sorter-cost: 1135     Base: 2 2 2 2 2 2 2 2 2 2 7
10.44	c ---[3759]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
10.45	c ---[3757]---> Adder-cost: 102   maxlim: 59392   bits: 17/16
10.46	c ---[3755]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
10.47	c ---[3753]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
10.48	c ---[3751]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
10.51	c ---[3749]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
10.51	c ---[3747]---> Sorter-cost:  311     Base: 2 2 2 2 2 2 2 2 2 2 2
10.52	c ---[3745]---> Sorter-cost: 1084     Base: 2 2 2 2 2 2 2 2 2 2 7
10.53	c ---[3743]---> Adder-cost: 270   maxlim: 131072   bits: 19/18
10.56	c ---[3740]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
10.56	c ---[3738]---> Adder-cost: 126   maxlim: 63488   bits: 17/16
10.58	c ---[3736]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
10.59	c ---[3734]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
10.61	c ---[3732]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
10.62	c ---[3730]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
10.63	c ---[3728]---> Sorter-cost:  604     Base: 2 2 2 2 2 2 2 2 2 2 7
10.63	c ---[3725]---> Adder-cost: 156   maxlim: 76800   bits: 18/17
10.65	c ---[3723]---> Adder-cost: 134   maxlim: 67584   bits: 18/17
10.67	c ---[3721]---> Adder-cost: 130   maxlim: 68608   bits: 18/17
10.69	c ---[3719]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
10.70	c ---[3717]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
10.71	c ---[3715]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
10.72	c ---[3713]---> Adder-cost: 176   maxlim: 87040   bits: 18/17
10.74	c ---[3711]---> Adder-cost: 146   maxlim: 82944   bits: 18/17
10.76	c ---[3709]---> Adder-cost: 202   maxlim: 98304   bits: 18/17
10.78	c ---[3707]---> Adder-cost: 178   maxlim: 99328   bits: 18/17
10.81	c ---[3705]---> Adder-cost: 124   maxlim: 62464   bits: 17/16
10.82	c ---[3703]---> Adder-cost: 144   maxlim: 79872   bits: 18/17
10.84	c ---[3701]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
10.85	c ---[3699]---> Sorter-cost: 1224     Base: 2 2 2 2 2 2 2 2 2 2 7
10.86	c ---[3697]---> Sorter-cost: 1149     Base: 2 2 2 2 2 2 2 2 2 2 7
10.87	c ---[3695]---> Sorter-cost:  889     Base: 2 2 2 2 2 2 2 2 2 2 7
10.88	c ---[3692]---> Adder-cost: 188   maxlim: 95232   bits: 18/17
10.90	c ---[3688]---> Adder-cost: 230   maxlim: 114688   bits: 18/17
10.93	c ---[3686]---> Adder-cost: 184   maxlim: 95232   bits: 18/17
10.95	c ---[3684]---> Adder-cost: 70   maxlim: 95232   bits: 18/17
10.97	c ---[3682]---> Adder-cost: 122   maxlim: 61440   bits: 17/16
10.99	c ---[3680]---> Sorter-cost: 1113     Base: 2 2 2 2 2 2 2 2 2 2 7
11.00	c ---[3678]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
11.01	c ---[3676]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
11.03	c ---[3674]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
11.04	c ---[3672]---> Adder-cost: 78   maxlim: 58368   bits: 17/16
11.05	c ---[3670]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
11.07	c ---[3668]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
11.07	c ---[3666]---> Sorter-cost:  373     Base: 2 2 2 2 2 2 2 2 2 2 7
11.07	c ---[3664]---> Sorter-cost:  422     Base: 2 2 2 2 2 2 2 2 2 2 7
11.08	c ---[3662]---> Adder-cost: 160   maxlim: 77824   bits: 18/17
11.10	c ---[3660]---> Adder-cost: 118   maxlim: 64512   bits: 17/16
11.11	c ---[3658]---> Adder-cost: 124   maxlim: 67584   bits: 18/17
11.13	c ---[3656]---> Adder-cost: 96   maxlim: 58368   bits: 17/16
11.14	c ---[3654]---> Adder-cost: 184   maxlim: 91136   bits: 18/17
11.16	c ---[3652]---> Sorter-cost:  935     Base: 2 2 2 2 2 2 2 2 2 2 7
11.17	c ---[3650]---> Adder-cost: 72   maxlim: 91136   bits: 18/17
11.20	c ---[3648]---> Adder-cost: 132   maxlim: 75776   bits: 18/17
11.21	c ---[3646]---> Adder-cost: 64   maxlim: 75776   bits: 18/17
11.23	c ---[3644]---> Adder-cost: 180   maxlim: 95232   bits: 18/17
11.26	c ---[3642]---> Adder-cost: 70   maxlim: 95232   bits: 18/17
11.28	c ---[3640]---> Sorter-cost: 1178     Base: 2 2 2 2 2 2 2 2 2 2 7
11.29	c ---[3638]---> Adder-cost: 200   maxlim: 98304   bits: 18/17
11.31	c ---[3636]---> Adder-cost: 152   maxlim: 78848   bits: 18/17
11.33	c ---[3634]---> Adder-cost: 246   maxlim: 123904   bits: 18/17
11.36	c ---[3632]---> Adder-cost: 78   maxlim: 123904   bits: 18/17
11.39	c ---[3630]---> Adder-cost: 268   maxlim: 135168   bits: 19/18
11.42	c ---[3628]---> Adder-cost: 88   maxlim: 135168   bits: 19/18
11.45	c ---[3626]---> Adder-cost: 150   maxlim: 130048   bits: 18/17
11.48	c ---[3624]---> Adder-cost: 74   maxlim: 130048   bits: 18/17
11.51	c ---[3622]---> Adder-cost: 176   maxlim: 87040   bits: 18/17
11.54	c ---[3620]---> Adder-cost: 66   maxlim: 87040   bits: 18/17
11.56	c ---[3618]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
11.57	c ---[3616]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
11.58	c ---[3612]---> Sorter-cost: 1311     Base: 2 2 2 2 2 2 2 2 2 2 7
11.59	c ---[3610]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
11.60	c ---[3607]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
11.62	c ---[3605]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
11.63	c ---[3603]---> Sorter-cost:  605     Base: 2 2 2 2 2 2 2 2 2 2 7
11.63	c ---[3601]---> Sorter-cost: 1181     Base: 2 2 2 2 2 2 2 2 2 2 7
11.64	c ---[3599]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
11.65	c ---[3597]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
11.66	c ---[3595]---> Sorter-cost: 1017     Base: 2 2 2 2 2 2 2 2 2 2 7
11.67	c ---[3593]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
11.68	c ---[3591]---> Adder-cost: 126   maxlim: 64512   bits: 17/16
11.70	c ---[3589]---> Adder-cost: 124   maxlim: 63488   bits: 17/16
11.71	c ---[3587]---> Sorter-cost: 1059     Base: 2 2 2 2 2 2 2 2 2 2 7
11.72	c ---[3585]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
11.73	c ---[3583]---> Sorter-cost: 1311     Base: 2 2 2 2 2 2 2 2 2 2 7
11.75	c ---[3581]---> Adder-cost: 108   maxlim: 54272   bits: 17/16
11.76	c ---[3579]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
11.77	c ---[3577]---> Sorter-cost:  690     Base: 2 2 2 2 2 2 2 2 2 2 7
11.77	c ---[3575]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
11.78	c ---[3573]---> Sorter-cost:  420     Base: 2 2 2 2 2 2 2 2 2 2 7
11.79	c ---[3571]---> Sorter-cost: 1083     Base: 2 2 2 2 2 2 2 2 2 2 7
11.79	c ---[3569]---> Sorter-cost:  406     Base: 2 2 2 2 2 2 2 2 2 2 7
11.80	c ---[3567]---> Sorter-cost:  959     Base: 2 2 2 2 2 2 2 2 2 2 7
11.81	c ---[3565]---> Adder-cost: 146   maxlim: 70656   bits: 18/17
11.83	c ---[3563]---> Adder-cost: 156   maxlim: 84992   bits: 18/17
11.85	c ---[3561]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
11.87	c ---[3559]---> Adder-cost: 156   maxlim: 94208   bits: 18/17
11.89	c ---[3557]---> Adder-cost: 156   maxlim: 91136   bits: 18/17
11.91	c ---[3555]---> Adder-cost: 72   maxlim: 91136   bits: 18/17
11.93	c ---[3553]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
11.94	c ---[3551]---> Sorter-cost: 1052     Base: 2 2 2 2 2 2 2 2 2 2 7
11.95	c ---[3549]---> Sorter-cost:  793     Base: 2 2 2 2 2 2 2 2 2 2 7
11.96	c ---[3547]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
11.98	c ---[3545]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
11.99	c ---[3543]---> Adder-cost: 214   maxlim: 113664   bits: 18/17
12.02	c ---[3541]---> Adder-cost: 136   maxlim: 117760   bits: 18/17
12.05	c ---[3537]---> Sorter-cost:  470     Base: 2 2 2 2 2 2 2 2 2 2 7
12.05	c ---[3535]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
12.06	c ---[3533]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
12.06	c ---[3531]---> Sorter-cost:  628     Base: 2 2 2 2 2 2 2 2 2 2 7
12.07	c ---[3529]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 2
12.07	c ---[3527]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
12.08	c ---[3525]---> Sorter-cost:  414     Base: 2 2 2 2 2 2 2 2 2 2 7
12.08	c ---[3523]---> Sorter-cost:  409     Base: 2 2 2 2 2 2 2 2 2 2 7
12.09	c ---[3521]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
12.09	c ---[3519]---> Adder-cost: 146   maxlim: 69632   bits: 18/17
12.11	c ---[3517]---> Adder-cost: 146   maxlim: 70656   bits: 18/17
12.13	c ---[3513]---> Sorter-cost:  642     Base: 2 2 2 2 2 2 2 2 2 2 7
12.13	c ---[3511]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
12.14	c ---[3509]---> Adder-cost: 112   maxlim: 57344   bits: 17/16
12.15	c ---[3506]---> Sorter-cost: 1183     Base: 2 2 2 2 2 2 2 2 2 2 7
12.16	c ---[3504]---> Sorter-cost:  800     Base: 2 2 2 2 2 2 2 2 2 2 7
12.17	c ---[3502]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
12.18	c ---[3500]---> Adder-cost: 120   maxlim: 60416   bits: 17/16
12.20	c ---[3498]---> Adder-cost: 48   maxlim: 60416   bits: 17/16
12.21	c ---[3496]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
12.22	c ---[3494]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
12.23	c ---[3492]---> Sorter-cost: 1210     Base: 2 2 2 2 2 2 2 2 2 2 7
12.24	c ---[3490]---> Adder-cost: 110   maxlim: 55296   bits: 17/16
12.25	c ---[3488]---> Adder-cost: 84   maxlim: 59392   bits: 17/16
12.27	c ---[3486]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
12.28	c ---[3484]---> Adder-cost: 126   maxlim: 69632   bits: 18/17
12.30	c ---[3482]---> Adder-cost: 62   maxlim: 69632   bits: 18/17
12.32	c ---[3480]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
12.33	c ---[3478]---> Sorter-cost: 1001     Base: 2 2 2 2 2 2 2 2 2 2 7
12.34	c ---[3476]---> Sorter-cost: 1077     Base: 2 2 2 2 2 2 2 2 2 2 7
12.35	c ---[3474]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
12.36	c ---[3472]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
12.36	c ---[3470]---> Adder-cost: 102   maxlim: 54272   bits: 17/16
12.37	c ---[3468]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
12.38	c ---[3466]---> Sorter-cost: 1051     Base: 2 2 2 2 2 2 2 2 2 2 7
12.38	c ---[3464]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
12.39	c ---[3462]---> Sorter-cost:  852     Base: 2 2 2 2 2 2 2 2 2 2 7
12.40	c ---[3460]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
12.41	c ---[3458]---> Adder-cost: 172   maxlim: 84992   bits: 18/17
12.43	c ---[3456]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
12.45	c ---[3454]---> Adder-cost: 120   maxlim: 62464   bits: 17/16
12.47	c ---[3452]---> Adder-cost: 68   maxlim: 59392   bits: 17/16
12.48	c ---[3450]---> Adder-cost: 104   maxlim: 56320   bits: 17/16
12.49	c ---[3448]---> Adder-cost: 82   maxlim: 57344   bits: 17/16
12.51	c ---[3446]---> Adder-cost: 146   maxlim: 69632   bits: 18/17
12.52	c ---[3444]---> Adder-cost: 126   maxlim: 65536   bits: 18/17
12.54	c ---[3442]---> Adder-cost: 110   maxlim: 55296   bits: 17/16
12.55	c ---[3440]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
12.57	c ---[3438]---> Adder-cost: 130   maxlim: 73728   bits: 18/17
12.59	c ---[3436]---> Adder-cost: 84   maxlim: 72704   bits: 18/17
12.60	c ---[3434]---> Adder-cost: 126   maxlim: 70656   bits: 18/17
12.62	c ---[3432]---> Adder-cost: 82   maxlim: 73728   bits: 18/17
12.64	c ---[3430]---> Adder-cost: 282   maxlim: 141312   bits: 19/18
12.68	c ---[3428]---> Adder-cost: 136   maxlim: 68608   bits: 18/17
12.69	c ---[3426]---> Adder-cost: 92   maxlim: 141312   bits: 19/18
12.73	c ---[3424]---> Adder-cost: 246   maxlim: 136192   bits: 19/18
12.76	c ---[3422]---> Adder-cost: 88   maxlim: 136192   bits: 19/18
12.79	c ---[3420]---> Adder-cost: 186   maxlim: 137216   bits: 19/18
12.83	c ---[3416]---> Sorter-cost: 1221     Base: 2 2 2 2 2 2 2 2 2 2 7
12.84	c ---[3414]---> Sorter-cost:  800     Base: 2 2 2 2 2 2 2 2 2 2 7
12.85	c ---[3412]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
12.87	c ---[3410]---> Adder-cost: 184   maxlim: 90112   bits: 18/17
12.89	c ---[3408]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
12.89	c ---[3406]---> Sorter-cost:  723     Base: 2 2 2 2 2 2 2 2 2 2 7
12.90	c ---[3404]---> Sorter-cost: 1156     Base: 2 2 2 2 2 2 2 2 2 2 7
12.91	c ---[3402]---> Sorter-cost:  799     Base: 2 2 2 2 2 2 2 2 2 2 7
12.97	c ---[3400]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
12.98	c ---[3398]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
12.99	c ---[3396]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
12.99	c ---[3394]---> Sorter-cost:  285     Base: 2 2 2 2 2 2 2 2 2 2 2
12.99	c ---[3392]---> Sorter-cost: 1024     Base: 2 2 2 2 2 2 2 2 2 2 7
13.00	c ---[3390]---> Adder-cost: 138   maxlim: 65536   bits: 18/17
13.02	c ---[3388]---> Sorter-cost:  862     Base: 2 2 2 2 2 2 2 2 2 2 7
13.03	c ---[3386]---> Sorter-cost: 1237     Base: 2 2 2 2 2 2 2 2 2 2 7
13.04	c ---[3384]---> Sorter-cost:  688     Base: 2 2 2 2 2 2 2 2 2 2 7
13.05	c ---[3382]---> Adder-cost: 154   maxlim: 74752   bits: 18/17
13.07	c ---[3380]---> Adder-cost: 134   maxlim: 68608   bits: 18/17
13.09	c ---[3378]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
13.10	c ---[3376]---> Adder-cost: 154   maxlim: 79872   bits: 18/17
13.12	c ---[3374]---> Adder-cost: 96   maxlim: 58368   bits: 17/16
13.14	c ---[3372]---> Adder-cost: 104   maxlim: 59392   bits: 17/16
13.15	c ---[3370]---> Adder-cost: 176   maxlim: 99328   bits: 18/17
13.18	c ---[3368]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
13.19	c ---[3366]---> Adder-cost: 134   maxlim: 70656   bits: 18/17
13.21	c ---[3364]---> Adder-cost: 94   maxlim: 71680   bits: 18/17
13.23	c ---[3362]---> Adder-cost: 118   maxlim: 63488   bits: 17/16
13.24	c ---[3360]---> Adder-cost: 116   maxlim: 64512   bits: 17/16
13.26	c ---[3358]---> Adder-cost: 94   maxlim: 56320   bits: 17/16
13.27	c ---[3356]---> Adder-cost: 126   maxlim: 66560   bits: 18/17
13.29	c ---[3354]---> Adder-cost: 144   maxlim: 74752   bits: 18/17
13.31	c ---[3352]---> Adder-cost: 182   maxlim: 100352   bits: 18/17
13.33	c ---[3350]---> Adder-cost: 164   maxlim: 100352   bits: 18/17
13.36	c ---[3348]---> Adder-cost: 148   maxlim: 97280   bits: 18/17
13.38	c ---[3346]---> Adder-cost: 124   maxlim: 67584   bits: 18/17
13.40	c ---[3344]---> Adder-cost: 116   maxlim: 63488   bits: 17/16
13.41	c ---[3342]---> Adder-cost: 106   maxlim: 59392   bits: 17/16
13.43	c ---[3340]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
13.44	c ---[3338]---> Sorter-cost:  968     Base: 2 2 2 2 2 2 2 2 2 2 7
13.45	c ---[3336]---> Sorter-cost:  981     Base: 2 2 2 2 2 2 2 2 2 2 7
13.46	c ---[3334]---> Sorter-cost:  672     Base: 2 2 2 2 2 2 2 2 2 2 7
13.46	c ---[3332]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
13.47	c ---[3330]---> Sorter-cost:  452     Base: 2 2 2 2 2 2 2 2 2 2 7
13.47	c ---[3328]---> Sorter-cost:  401     Base: 2 2 2 2 2 2 2 2 2 2 7
13.48	c ---[3326]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
13.50	c ---[3324]---> Sorter-cost:  489     Base: 2 2 2 2 2 2 2 2 2 2 7
13.50	c ---[3322]---> Adder-cost: 144   maxlim: 69632   bits: 18/17
13.52	c ---[3320]---> Adder-cost: 212   maxlim: 109568   bits: 18/17
13.55	c ---[3318]---> Adder-cost: 78   maxlim: 109568   bits: 18/17
13.57	c ---[3316]---> Adder-cost: 200   maxlim: 106496   bits: 18/17
13.60	c ---[3313]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
13.60	c ---[3310]---> Adder-cost: 202   maxlim: 101376   bits: 18/17
13.63	c ---[3308]---> Adder-cost: 92   maxlim: 70656   bits: 18/17
13.64	c ---[3306]---> Adder-cost: 160   maxlim: 102400   bits: 18/17
13.67	c ---[3304]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
13.69	c ---[3301]---> Sorter-cost:  720     Base: 2 2 2 2 2 2 2 2 2 2 7
13.70	c ---[3299]---> Sorter-cost:  441     Base: 2 2 2 2 2 2 2 2 2 2 7
13.71	c ---[3297]---> Sorter-cost:  259     Base: 2 2 2 2 2 2 2 2 2 2 2
13.71	c ---[3295]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
13.72	c ---[3293]---> Adder-cost: 160   maxlim: 86016   bits: 18/17
13.74	c ---[3291]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
13.76	c ---[3289]---> Adder-cost: 114   maxlim: 78848   bits: 18/17
13.78	c ---[3287]---> Adder-cost: 170   maxlim: 81920   bits: 18/17
13.80	c ---[3285]---> Sorter-cost: 1287     Base: 2 2 2 2 2 2 2 2 2 2 7
13.81	c ---[3283]---> Sorter-cost:  849     Base: 2 2 2 2 2 2 2 2 2 2 7
13.83	c ---[3281]---> Adder-cost: 110   maxlim: 55296   bits: 17/16
13.84	c ---[3279]---> Adder-cost: 150   maxlim: 76800   bits: 18/17
13.86	c ---[3277]---> Adder-cost: 92   maxlim: 77824   bits: 18/17
13.88	c ---[3275]---> Adder-cost: 154   maxlim: 79872   bits: 18/17
13.90	c ---[3273]---> Adder-cost: 138   maxlim: 68608   bits: 18/17
13.92	c ---[3271]---> Adder-cost: 192   maxlim: 97280   bits: 18/17
13.94	c ---[3269]---> Adder-cost: 160   maxlim: 103424   bits: 18/17
13.96	c ---[3267]---> Adder-cost: 150   maxlim: 97280   bits: 18/17
13.99	c ---[3265]---> Adder-cost: 64   maxlim: 97280   bits: 18/17
14.01	c ---[3263]---> Adder-cost: 108   maxlim: 95232   bits: 18/17
14.03	c ---[3259]---> Adder-cost: 218   maxlim: 109568   bits: 18/17
14.06	c ---[3256]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
14.08	c ---[3254]---> Adder-cost: 186   maxlim: 114688   bits: 18/17
14.10	c ---[3250]---> Adder-cost: 152   maxlim: 74752   bits: 18/17
14.12	c ---[3248]---> Adder-cost: 60   maxlim: 74752   bits: 18/17
14.14	c ---[3244]---> Adder-cost: 282   maxlim: 140288   bits: 19/18
14.18	c ---[3242]---> Adder-cost: 272   maxlim: 136192   bits: 19/18
14.21	c ---[3240]---> Adder-cost: 214   maxlim: 133120   bits: 19/18
14.24	c ---[3238]---> Adder-cost: 250   maxlim: 129024   bits: 18/17
14.28	c ---[3234]---> Adder-cost: 154   maxlim: 77824   bits: 18/17
14.30	c ---[3232]---> Adder-cost: 112   maxlim: 60416   bits: 17/16
14.31	c ---[3230]---> Adder-cost: 112   maxlim: 61440   bits: 17/16
14.33	c ---[3228]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
14.34	c ---[3226]---> Sorter-cost: 1141     Base: 2 2 2 2 2 2 2 2 2 2 7
14.35	c ---[3224]---> Sorter-cost:  885     Base: 2 2 2 2 2 2 2 2 2 2 7
14.36	c ---[3222]---> Sorter-cost:  468     Base: 2 2 2 2 2 2 2 2 2 2 7
14.37	c ---[3220]---> Sorter-cost:  382     Base: 2 2 2 2 2 2 2 2 2 2 7
14.38	c ---[3218]---> Adder-cost: 76   maxlim: 129024   bits: 18/17
14.41	c ---[3216]---> Sorter-cost:  583     Base: 2 2 2 2 2 2 2 2 2 2 7
14.42	c ---[3214]---> Sorter-cost:  438     Base: 2 2 2 2 2 2 2 2 2 2 7
14.42	c ---[3212]---> Sorter-cost:  401     Base: 2 2 2 2 2 2 2 2 2 2 7
14.43	c ---[3210]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
14.44	c ---[3208]---> Adder-cost: 92   maxlim: 56320   bits: 17/16
14.46	c ---[3206]---> Adder-cost: 62   maxlim: 55296   bits: 17/16
14.47	c ---[3204]---> Adder-cost: 88   maxlim: 57344   bits: 17/16
14.49	c ---[3202]---> Adder-cost: 292   maxlim: 145408   bits: 19/18
14.52	c ---[3200]---> Adder-cost: 274   maxlim: 161792   bits: 19/18
14.56	c ---[3198]---> Adder-cost: 310   maxlim: 165888   bits: 19/18
14.61	c ---[3196]---> Adder-cost: 198   maxlim: 108544   bits: 18/17
14.64	c ---[3194]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
14.65	c ---[3192]---> Adder-cost: 156   maxlim: 75776   bits: 18/17
14.67	c ---[3190]---> Adder-cost: 136   maxlim: 79872   bits: 18/17
14.69	c ---[3188]---> Adder-cost: 128   maxlim: 75776   bits: 18/17
14.71	c ---[3186]---> Adder-cost: 92   maxlim: 59392   bits: 17/16
14.73	c ---[3184]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
14.73	c ---[3182]---> Sorter-cost: 1071     Base: 2 2 2 2 2 2 2 2 2 2 7
14.74	c ---[3180]---> Sorter-cost: 1143     Base: 2 2 2 2 2 2 2 2 2 2 7
14.76	c ---[3178]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
14.77	c ---[3176]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
14.78	c ---[3174]---> Sorter-cost:  655     Base: 2 2 2 2 2 2 2 2 2 2 7
14.79	c ---[3172]---> Adder-cost: 78   maxlim: 108544   bits: 18/17
14.82	c ---[3170]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
14.83	c ---[3168]---> Adder-cost: 68   maxlim: 58368   bits: 17/16
14.85	c ---[3166]---> Adder-cost: 116   maxlim: 62464   bits: 17/16
14.86	c ---[3164]---> Adder-cost: 162   maxlim: 86016   bits: 18/17
14.89	c ---[3162]---> Adder-cost: 160   maxlim: 101376   bits: 18/17
14.91	c ---[3160]---> Adder-cost: 170   maxlim: 114688   bits: 18/17
14.94	c ---[3158]---> Adder-cost: 174   maxlim: 119808   bits: 18/17
14.97	c ---[3155]---> Adder-cost: 156   maxlim: 75776   bits: 18/17
14.99	c ---[3153]---> Adder-cost: 178   maxlim: 100352   bits: 18/17
15.02	c ---[3150]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
15.02	c ---[3148]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
15.03	c ---[3146]---> Sorter-cost:  605     Base: 2 2 2 2 2 2 2 2 2 2 7
15.03	c ---[3144]---> Sorter-cost:  405     Base: 2 2 2 2 2 2 2 2 2 2 7
15.04	c ---[3142]---> Adder-cost: 178   maxlim: 89088   bits: 18/17
15.06	c ---[3140]---> Adder-cost: 280   maxlim: 141312   bits: 19/18
15.10	c ---[3137]---> Adder-cost: 106   maxlim: 53248   bits: 17/16
15.11	c ---[3135]---> Adder-cost: 106   maxlim: 55296   bits: 17/16
15.13	c ---[3133]---> Adder-cost: 72   maxlim: 100352   bits: 18/17
15.16	c ---[3131]---> Adder-cost: 74   maxlim: 52224   bits: 17/16
15.17	c ---[3129]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
15.18	c ---[3127]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
15.19	c ---[3125]---> Sorter-cost:  677     Base: 2 2 2 2 2 2 2 2 2 2 7
15.20	c ---[3123]---> Sorter-cost: 1017     Base: 2 2 2 2 2 2 2 2 2 2 7
15.21	c ---[3121]---> Sorter-cost: 1299     Base: 2 2 2 2 2 2 2 2 2 2 7
15.22	c ---[3119]---> Sorter-cost: 1267     Base: 2 2 2 2 2 2 2 2 2 2 7
15.24	c ---[3117]---> Sorter-cost:  409     Base: 2 2 2 2 2 2 2 2 2 2 7
15.24	c ---[3115]---> Adder-cost: 140   maxlim: 70656   bits: 18/17
15.26	c ---[3113]---> Sorter-cost:  458     Base: 2 2 2 2 2 2 2 2 2 2 7
15.27	c ---[3111]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
15.27	c ---[3109]---> Sorter-cost:  442     Base: 2 2 2 2 2 2 2 2 2 2 7
15.28	c ---[3107]---> Sorter-cost:  418     Base: 2 2 2 2 2 2 2 2 2 2 7
15.29	c ---[3105]---> Sorter-cost:  955     Base: 2 2 2 2 2 2 2 2 2 2 7
15.30	c ---[3103]---> Sorter-cost: 1004     Base: 2 2 2 2 2 2 2 2 2 2 7
15.31	c ---[3101]---> Sorter-cost: 1040     Base: 2 2 2 2 2 2 2 2 2 2 7
15.32	c ---[3099]---> Sorter-cost:  956     Base: 2 2 2 2 2 2 2 2 2 2 7
15.33	c ---[3097]---> Adder-cost: 172   maxlim: 84992   bits: 18/17
15.35	c ---[3095]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
15.37	c ---[3093]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
15.39	c ---[3091]---> Adder-cost: 170   maxlim: 92160   bits: 18/17
15.42	c ---[3089]---> Adder-cost: 146   maxlim: 107520   bits: 18/17
15.44	c ---[3087]---> Adder-cost: 136   maxlim: 106496   bits: 18/17
15.47	c ---[3085]---> Adder-cost: 174   maxlim: 95232   bits: 18/17
15.50	c ---[3083]---> Adder-cost: 252   maxlim: 135168   bits: 19/18
15.53	c ---[3081]---> Adder-cost: 232   maxlim: 133120   bits: 19/18
15.57	c ---[3079]---> Adder-cost: 170   maxlim: 103424   bits: 18/17
15.59	c ---[3077]---> Adder-cost: 170   maxlim: 99328   bits: 18/17
15.62	c ---[3075]---> Adder-cost: 160   maxlim: 98304   bits: 18/17
15.65	c ---[3073]---> Adder-cost: 156   maxlim: 84992   bits: 18/17
15.67	c ---[3071]---> Adder-cost: 228   maxlim: 122880   bits: 18/17
15.70	c ---[3069]---> Adder-cost: 226   maxlim: 141312   bits: 19/18
15.74	c ---[3067]---> Adder-cost: 92   maxlim: 141312   bits: 19/18
15.78	c ---[3065]---> Adder-cost: 146   maxlim: 75776   bits: 18/17
15.80	c ---[3063]---> Adder-cost: 164   maxlim: 84992   bits: 18/17
15.82	c ---[3061]---> Adder-cost: 96   maxlim: 79872   bits: 18/17
15.84	c ---[3059]---> Adder-cost: 234   maxlim: 122880   bits: 18/17
15.87	c ---[3057]---> Adder-cost: 206   maxlim: 117760   bits: 18/17
15.90	c ---[3055]---> Adder-cost: 76   maxlim: 117760   bits: 18/17
15.94	c ---[3053]---> Adder-cost: 188   maxlim: 114688   bits: 18/17
15.97	c ---[3051]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
15.99	c ---[3049]---> Adder-cost: 190   maxlim: 112640   bits: 18/17
16.02	c ---[3047]---> Adder-cost: 74   maxlim: 112640   bits: 18/17
16.05	c ---[3045]---> Adder-cost: 108   maxlim: 84992   bits: 18/17
16.07	c ---[3043]---> Sorter-cost: 1035     Base: 2 2 2 2 2 2 2 2 2 2 7
16.08	c ---[3041]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
16.09	c ---[3039]---> Sorter-cost:  409     Base: 2 2 2 2 2 2 2 2 2 2 7
16.10	c ---[3036]---> Sorter-cost: 1311     Base: 2 2 2 2 2 2 2 2 2 2 7
16.11	c ---[3034]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
16.12	c ---[3032]---> Adder-cost: 260   maxlim: 134144   bits: 19/18
16.16	c ---[3030]---> Adder-cost: 184   maxlim: 93184   bits: 18/17
16.18	c ---[3028]---> Adder-cost: 104   maxlim: 54272   bits: 17/16
16.20	c ---[3026]---> Sorter-cost: 1261     Base: 2 2 2 2 2 2 2 2 2 2 7
16.21	c ---[3022]---> Adder-cost: 310   maxlim: 155648   bits: 19/18
16.25	c ---[3020]---> Adder-cost: 302   maxlim: 151552   bits: 19/18
16.29	c ---[3018]---> Adder-cost: 280   maxlim: 153600   bits: 19/18
16.33	c ---[3016]---> Adder-cost: 92   maxlim: 153600   bits: 19/18
16.37	c ---[3012]---> Adder-cost: 208   maxlim: 104448   bits: 18/17
16.40	c ---[3010]---> Adder-cost: 146   maxlim: 93184   bits: 18/17
16.42	c ---[3008]---> Adder-cost: 64   maxlim: 93184   bits: 18/17
16.45	c ---[3006]---> Adder-cost: 64   maxlim: 93184   bits: 18/17
16.47	c ---[3004]---> Adder-cost: 64   maxlim: 93184   bits: 18/17
16.50	c ---[3000]---> Adder-cost: 140   maxlim: 69632   bits: 18/17
16.52	c ---[2998]---> Adder-cost: 116   maxlim: 72704   bits: 18/17
16.54	c ---[2996]---> Adder-cost: 278   maxlim: 138240   bits: 19/18
16.58	c ---[2994]---> Adder-cost: 146   maxlim: 74752   bits: 18/17
16.60	c ---[2992]---> Adder-cost: 178   maxlim: 98304   bits: 18/17
16.62	c ---[2990]---> Sorter-cost:  468     Base: 2 2 2 2 2 2 2 2 2 2 7
16.63	c ---[2988]---> Sorter-cost:  311     Base: 2 2 2 2 2 2 2 2 2 2 2
16.63	c ---[2986]---> Adder-cost: 234   maxlim: 117760   bits: 18/17
16.66	c ---[2984]---> Adder-cost: 136   maxlim: 65536   bits: 18/17
16.68	c ---[2982]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
16.69	c ---[2980]---> Sorter-cost:  915     Base: 2 2 2 2 2 2 2 2 2 2 7
16.70	c ---[2978]---> Sorter-cost: 1010     Base: 2 2 2 2 2 2 2 2 2 2 7
16.71	c ---[2976]---> Adder-cost: 224   maxlim: 112640   bits: 18/17
16.74	c ---[2974]---> Adder-cost: 88   maxlim: 138240   bits: 19/18
16.78	c ---[2972]---> Adder-cost: 250   maxlim: 129024   bits: 18/17
16.81	c ---[2970]---> Adder-cost: 206   maxlim: 103424   bits: 18/17
16.84	c ---[2968]---> Adder-cost: 148   maxlim: 98304   bits: 18/17
16.87	c ---[2966]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
16.88	c ---[2964]---> Sorter-cost:  672     Base: 2 2 2 2 2 2 2 2 2 2 7
16.88	c ---[2962]---> Sorter-cost: 1147     Base: 2 2 2 2 2 2 2 2 2 2 7
16.90	c ---[2960]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
16.91	c ---[2958]---> Adder-cost: 202   maxlim: 100352   bits: 18/17
16.94	c ---[2956]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
16.95	c ---[2954]---> Adder-cost: 110   maxlim: 57344   bits: 17/16
16.96	c ---[2952]---> Adder-cost: 206   maxlim: 104448   bits: 18/17
16.99	c ---[2950]---> Sorter-cost: 1131     Base: 2 2 2 2 2 2 2 2 2 2 7
17.00	c ---[2948]---> Sorter-cost: 1067     Base: 2 2 2 2 2 2 2 2 2 2 7
17.01	c ---[2946]---> Sorter-cost:  921     Base: 2 2 2 2 2 2 2 2 2 2 7
17.02	c ---[2944]---> Sorter-cost:  446     Base: 2 2 2 2 2 2 2 2 2 2 7
17.03	c ---[2942]---> Sorter-cost:  365     Base: 2 2 2 2 2 2 2 2 2 2 7
17.03	c ---[2940]---> Adder-cost: 228   maxlim: 114688   bits: 18/17
17.06	c ---[2937]---> Sorter-cost: 1076     Base: 2 2 2 2 2 2 2 2 2 2 7
17.07	c ---[2935]---> Sorter-cost:  983     Base: 2 2 2 2 2 2 2 2 2 2 7
17.08	c ---[2933]---> Sorter-cost: 1191     Base: 2 2 2 2 2 2 2 2 2 2 7
17.10	c ---[2931]---> Adder-cost: 74   maxlim: 104448   bits: 18/17
17.12	c ---[2927]---> Adder-cost: 140   maxlim: 66560   bits: 18/17
17.14	c ---[2925]---> Adder-cost: 148   maxlim: 77824   bits: 18/17
17.16	c ---[2923]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
17.18	c ---[2921]---> Adder-cost: 122   maxlim: 74752   bits: 18/17
17.21	c ---[2919]---> Adder-cost: 168   maxlim: 82944   bits: 18/17
17.23	c ---[2917]---> Adder-cost: 68   maxlim: 82944   bits: 18/17
17.25	c ---[2913]---> Adder-cost: 100   maxlim: 104448   bits: 18/17
17.28	c ---[2911]---> Adder-cost: 224   maxlim: 122880   bits: 18/17
17.31	c ---[2909]---> Adder-cost: 94   maxlim: 56320   bits: 17/16
17.32	c ---[2906]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
17.33	c ---[2904]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
17.33	c ---[2902]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
17.34	c ---[2900]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
17.34	c ---[2898]---> Sorter-cost:  592     Base: 2 2 2 2 2 2 2 2 2 2 7
17.35	c ---[2896]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
17.36	c ---[2894]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
17.36	c ---[2892]---> Adder-cost: 74   maxlim: 104448   bits: 18/17
17.39	c ---[2890]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
17.40	c ---[2888]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
17.41	c ---[2886]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
17.42	c ---[2884]---> Sorter-cost:  676     Base: 2 2 2 2 2 2 2 2 2 2 7
17.42	c ---[2882]---> Sorter-cost:  402     Base: 2 2 2 2 2 2 2 2 2 2 7
17.43	c ---[2880]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
17.44	c ---[2878]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
17.45	c ---[2876]---> Sorter-cost:  855     Base: 2 2 2 2 2 2 2 2 2 2 7
17.46	c ---[2874]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
17.47	c ---[2872]---> Sorter-cost: 1141     Base: 2 2 2 2 2 2 2 2 2 2 7
17.48	c ---[2870]---> Adder-cost: 122   maxlim: 102400   bits: 18/17
17.51	c ---[2868]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
17.52	c ---[2866]---> Adder-cost: 216   maxlim: 108544   bits: 18/17
17.55	c ---[2864]---> Adder-cost: 78   maxlim: 108544   bits: 18/17
17.57	c ---[2862]---> Adder-cost: 198   maxlim: 111616   bits: 18/17
17.60	c ---[2860]---> Adder-cost: 134   maxlim: 110592   bits: 18/17
17.63	c ---[2858]---> Adder-cost: 144   maxlim: 111616   bits: 18/17
17.66	c ---[2856]---> Adder-cost: 94   maxlim: 111616   bits: 18/17
17.69	c ---[2854]---> Adder-cost: 238   maxlim: 121856   bits: 18/17
17.72	c ---[2852]---> Adder-cost: 80   maxlim: 121856   bits: 18/17
17.75	c ---[2850]---> Adder-cost: 210   maxlim: 117760   bits: 18/17
17.78	c ---[2848]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
17.81	c ---[2846]---> Adder-cost: 154   maxlim: 114688   bits: 18/17
17.84	c ---[2844]---> Adder-cost: 142   maxlim: 68608   bits: 18/17
17.86	c ---[2842]---> Adder-cost: 128   maxlim: 69632   bits: 18/17
17.88	c ---[2840]---> Adder-cost: 114   maxlim: 71680   bits: 18/17
17.90	c ---[2838]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
17.92	c ---[2836]---> Adder-cost: 234   maxlim: 117760   bits: 18/17
17.95	c ---[2834]---> Adder-cost: 150   maxlim: 114688   bits: 18/17
17.98	c ---[2832]---> Adder-cost: 206   maxlim: 107520   bits: 18/17
18.00	c ---[2830]---> Adder-cost: 78   maxlim: 107520   bits: 18/17
18.03	c ---[2828]---> Adder-cost: 78   maxlim: 107520   bits: 18/17
18.06	c ---[2826]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
18.09	c ---[2824]---> Adder-cost: 102   maxlim: 110592   bits: 18/17
18.12	c ---[2822]---> Adder-cost: 96   maxlim: 116736   bits: 18/17
18.15	c ---[2819]---> Adder-cost: 126   maxlim: 64512   bits: 17/16
18.16	c ---[2817]---> Adder-cost: 174   maxlim: 86016   bits: 18/17
18.19	c ---[2815]---> Adder-cost: 140   maxlim: 81920   bits: 18/17
18.21	c ---[2813]---> Adder-cost: 136   maxlim: 76800   bits: 18/17
18.23	c ---[2811]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
18.25	c ---[2809]---> Adder-cost: 122   maxlim: 74752   bits: 18/17
18.28	c ---[2807]---> Adder-cost: 106   maxlim: 59392   bits: 17/16
18.29	c ---[2805]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
18.30	c ---[2803]---> Adder-cost: 120   maxlim: 60416   bits: 17/16
18.32	c ---[2801]---> Sorter-cost: 1250     Base: 2 2 2 2 2 2 2 2 2 2 7
18.33	c ---[2799]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
18.36	c ---[2797]---> Adder-cost: 208   maxlim: 104448   bits: 18/17
18.38	c ---[2795]---> Adder-cost: 158   maxlim: 105472   bits: 18/17
18.41	c ---[2793]---> Adder-cost: 190   maxlim: 94208   bits: 18/17
18.43	c ---[2791]---> Adder-cost: 182   maxlim: 93184   bits: 18/17
18.46	c ---[2789]---> Adder-cost: 152   maxlim: 98304   bits: 18/17
18.49	c ---[2787]---> Sorter-cost:  434     Base: 2 2 2 2 2 2 2 2 2 2 7
18.49	c ---[2784]---> Adder-cost: 196   maxlim: 106496   bits: 18/17
18.52	c ---[2782]---> Adder-cost: 220   maxlim: 119808   bits: 18/17
18.55	c ---[2780]---> Adder-cost: 188   maxlim: 111616   bits: 18/17
18.58	c ---[2778]---> Adder-cost: 106   maxlim: 52224   bits: 17/16
18.59	c ---[2776]---> Adder-cost: 108   maxlim: 57344   bits: 17/16
18.61	c ---[2773]---> Sorter-cost: 1287     Base: 2 2 2 2 2 2 2 2 2 2 7
18.62	c ---[2771]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
18.63	c ---[2769]---> Sorter-cost:  887     Base: 2 2 2 2 2 2 2 2 2 2 7
18.64	c ---[2767]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
18.65	c ---[2765]---> Sorter-cost: 1120     Base: 2 2 2 2 2 2 2 2 2 2 7
18.66	c ---[2763]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
18.66	c ---[2760]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
18.67	c ---[2758]---> Sorter-cost:  601     Base: 2 2 2 2 2 2 2 2 2 2 7
18.68	c ---[2756]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
18.69	c ---[2753]---> Adder-cost: 274   maxlim: 136192   bits: 19/18
18.73	c ---[2751]---> Adder-cost: 238   maxlim: 122880   bits: 18/17
18.76	c ---[2749]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
18.77	c ---[2746]---> Sorter-cost: 1084     Base: 2 2 2 2 2 2 2 2 2 2 7
18.78	c ---[2744]---> Sorter-cost:  751     Base: 2 2 2 2 2 2 2 2 2 2 7
18.79	c ---[2742]---> Adder-cost: 132   maxlim: 68608   bits: 18/17
18.81	c ---[2740]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
18.82	c ---[2736]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
18.83	c ---[2734]---> Adder-cost: 60   maxlim: 57344   bits: 17/16
18.85	c ---[2732]---> Adder-cost: 154   maxlim: 73728   bits: 18/17
18.87	c ---[2730]---> Adder-cost: 146   maxlim: 74752   bits: 18/17
18.89	c ---[2728]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
18.90	c ---[2726]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
18.91	c ---[2723]---> Adder-cost: 154   maxlim: 74752   bits: 18/17
18.93	c ---[2721]---> Adder-cost: 60   maxlim: 74752   bits: 18/17
18.95	c ---[2719]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
18.97	c ---[2716]---> Adder-cost: 212   maxlim: 108544   bits: 18/17
19.00	c ---[2713]---> Adder-cost: 142   maxlim: 68608   bits: 18/17
19.02	c ---[2709]---> Adder-cost: 286   maxlim: 147456   bits: 19/18
19.05	c ---[2707]---> Adder-cost: 114   maxlim: 58368   bits: 17/16
19.07	c ---[2703]---> Adder-cost: 148   maxlim: 71680   bits: 18/17
19.09	c ---[2700]---> Sorter-cost: 1073     Base: 2 2 2 2 2 2 2 2 2 2 7
19.10	c ---[2698]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
19.11	c ---[2695]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
19.12	c ---[2692]---> Adder-cost: 272   maxlim: 133120   bits: 19/18
19.16	c ---[2688]---> Adder-cost: 248   maxlim: 125952   bits: 18/17
19.19	c ---[2684]---> Adder-cost: 238   maxlim: 118784   bits: 18/17
19.22	c ---[2682]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
19.24	c ---[2680]---> Adder-cost: 98   maxlim: 53248   bits: 17/16
19.25	c ---[2676]---> Adder-cost: 274   maxlim: 135168   bits: 19/18
19.29	c ---[2674]---> Adder-cost: 176   maxlim: 89088   bits: 18/17
19.31	c ---[2670]---> Adder-cost: 276   maxlim: 143360   bits: 19/18
19.35	c ---[2666]---> Sorter-cost: 1117     Base: 2 2 2 2 2 2 2 2 2 2 7
19.36	c ---[2664]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
19.37	c ---[2661]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
19.39	c ---[2659]---> Adder-cost: 88   maxlim: 55296   bits: 17/16
19.40	c ---[2657]---> Adder-cost: 168   maxlim: 82944   bits: 18/17
19.42	c ---[2653]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
19.43	c ---[2651]---> Adder-cost: 360   maxlim: 184320   bits: 19/18
19.48	c ---[2649]---> Adder-cost: 330   maxlim: 182272   bits: 19/18
19.53	c ---[2645]---> Adder-cost: 198   maxlim: 108544   bits: 18/17
19.55	c ---[2643]---> Adder-cost: 290   maxlim: 154624   bits: 19/18
19.60	c ---[2641]---> Adder-cost: 176   maxlim: 86016   bits: 18/17
19.62	c ---[2637]---> Adder-cost: 150   maxlim: 89088   bits: 18/17
19.64	c ---[2635]---> Sorter-cost:  831     Base: 2 2 2 2 2 2 2 2 2 2 7
19.65	c ---[2631]---> Adder-cost: 238   maxlim: 118784   bits: 18/17
19.69	c ---[2628]---> Adder-cost: 124   maxlim: 62464   bits: 17/16
19.70	c ---[2626]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
19.72	c ---[2622]---> Adder-cost: 118   maxlim: 61440   bits: 17/16
19.73	c ---[2620]---> Sorter-cost:  882     Base: 2 2 2 2 2 2 2 2 2 2 7
19.74	c ---[2618]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
19.76	c ---[2614]---> Adder-cost: 112   maxlim: 61440   bits: 17/16
19.77	c ---[2612]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
19.78	c ---[2610]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
19.79	c ---[2608]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
19.91	c ---[2605]---> Sorter-cost:  845     Base: 2 2 2 2 2 2 2 2 2 2 7
19.92	c ---[2603]---> Sorter-cost:  908     Base: 2 2 2 2 2 2 2 2 2 2 7
19.93	c ---[2599]---> Adder-cost: 144   maxlim: 70656   bits: 18/17
19.95	c ---[2597]---> Adder-cost: 222   maxlim: 111616   bits: 18/17
19.98	c ---[2595]---> Adder-cost: 130   maxlim: 112640   bits: 18/17
20.00	c ---[2591]---> Adder-cost: 158   maxlim: 80896   bits: 18/17
20.03	c ---[2588]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
20.03	c ---[2585]---> Adder-cost: 106   maxlim: 52224   bits: 17/16
20.05	c ---[2583]---> Adder-cost: 274   maxlim: 137216   bits: 19/18
20.08	c ---[2581]---> Adder-cost: 140   maxlim: 138240   bits: 19/18
20.12	c ---[2577]---> Adder-cost: 184   maxlim: 90112   bits: 18/17
20.15	c ---[2573]---> Adder-cost: 264   maxlim: 138240   bits: 19/18
20.18	c ---[2571]---> Sorter-cost:  784     Base: 2 2 2 2 2 2 2 2 2 2 7
20.19	c ---[2568]---> Adder-cost: 162   maxlim: 80896   bits: 18/17
20.21	c ---[2566]---> Adder-cost: 62   maxlim: 80896   bits: 18/17
20.24	c ---[2562]---> Adder-cost: 184   maxlim: 91136   bits: 18/17
20.26	c ---[2560]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
20.27	c ---[2558]---> Sorter-cost:  227     Base: 2 2 2 2 2 2 2 2 2 2 2
20.27	c ---[2556]---> Sorter-cost:  703     Base: 2 2 2 2 2 2 2 2 2 2 7
20.28	c ---[2554]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
20.28	c ---[2552]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
20.28	c ---[2550]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
20.29	c ---[2548]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
20.30	c ---[2546]---> Sorter-cost:  439     Base: 2 2 2 2 2 2 2 2 2 2 7
20.30	c ---[2544]---> Sorter-cost:  412     Base: 2 2 2 2 2 2 2 2 2 2 7
20.31	c ---[2541]---> Adder-cost: 122   maxlim: 61440   bits: 17/16
20.32	c ---[2539]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
20.33	c ---[2537]---> Adder-cost: 98   maxlim: 60416   bits: 17/16
20.35	c ---[2534]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
20.35	c ---[2532]---> Sorter-cost:  468     Base: 2 2 2 2 2 2 2 2 2 2 7
20.36	c ---[2530]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
20.37	c ---[2528]---> Sorter-cost:  669     Base: 2 2 2 2 2 2 2 2 2 2 7
20.37	c ---[2526]---> Adder-cost: 278   maxlim: 146432   bits: 19/18
20.41	c ---[2524]---> Adder-cost: 88   maxlim: 146432   bits: 19/18
20.45	c ---[2520]---> Adder-cost: 148   maxlim: 74752   bits: 18/17
20.47	c ---[2516]---> Adder-cost: 176   maxlim: 88064   bits: 18/17
20.50	c ---[2514]---> Adder-cost: 184   maxlim: 90112   bits: 18/17
20.52	c ---[2512]---> Adder-cost: 72   maxlim: 90112   bits: 18/17
20.54	c ---[2510]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
20.55	c ---[2506]---> Adder-cost: 152   maxlim: 77824   bits: 18/17
20.57	c ---[2503]---> Adder-cost: 182   maxlim: 91136   bits: 18/17
20.60	c ---[2501]---> Sorter-cost: 1157     Base: 2 2 2 2 2 2 2 2 2 2 7
20.61	c ---[2498]---> Adder-cost: 170   maxlim: 82944   bits: 18/17
20.63	c ---[2496]---> Adder-cost: 298   maxlim: 149504   bits: 19/18
20.67	c ---[2494]---> Adder-cost: 210   maxlim: 105472   bits: 18/17
20.69	c ---[2492]---> Sorter-cost: 1244     Base: 2 2 2 2 2 2 2 2 2 2 7
20.71	c ---[2490]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
20.72	c ---[2486]---> Adder-cost: 290   maxlim: 149504   bits: 19/18
20.76	c ---[2484]---> Sorter-cost:  470     Base: 2 2 2 2 2 2 2 2 2 2 7
20.76	c ---[2481]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
20.77	c ---[2479]---> Sorter-cost:  785     Base: 2 2 2 2 2 2 2 2 2 2 7
20.78	c ---[2477]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
20.79	c ---[2475]---> Adder-cost: 74   maxlim: 105472   bits: 18/17
20.81	c ---[2473]---> Adder-cost: 204   maxlim: 102400   bits: 18/17
20.84	c ---[2471]---> Adder-cost: 134   maxlim: 78848   bits: 18/17
20.86	c ---[2469]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
20.87	c ---[2467]---> Sorter-cost:  896     Base: 2 2 2 2 2 2 2 2 2 2 7
20.88	c ---[2465]---> Sorter-cost:  623     Base: 2 2 2 2 2 2 2 2 2 2 7
20.89	c ---[2463]---> Sorter-cost:  923     Base: 2 2 2 2 2 2 2 2 2 2 7
20.90	c ---[2461]---> Adder-cost: 154   maxlim: 73728   bits: 18/17
20.92	c ---[2459]---> Adder-cost: 252   maxlim: 129024   bits: 18/17
20.95	c ---[2457]---> Adder-cost: 112   maxlim: 104448   bits: 18/17
20.98	c ---[2454]---> Adder-cost: 154   maxlim: 82944   bits: 18/17
21.00	c ---[2452]---> Adder-cost: 130   maxlim: 81920   bits: 18/17
21.02	c ---[2448]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
21.03	c ---[2446]---> Sorter-cost:  931     Base: 2 2 2 2 2 2 2 2 2 2 7
21.04	c ---[2444]---> Adder-cost: 180   maxlim: 105472   bits: 18/17
21.07	c ---[2441]---> Adder-cost: 152   maxlim: 76800   bits: 18/17
21.09	c ---[2439]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
21.10	c ---[2437]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
21.10	c ---[2435]---> Sorter-cost:  908     Base: 2 2 2 2 2 2 2 2 2 2 7
21.11	c ---[2433]---> Sorter-cost:  905     Base: 2 2 2 2 2 2 2 2 2 2 7
21.12	c ---[2429]---> Sorter-cost: 1215     Base: 2 2 2 2 2 2 2 2 2 2 7
21.13	c ---[2427]---> Adder-cost: 146   maxlim: 74752   bits: 18/17
21.15	c ---[2425]---> Sorter-cost: 1182     Base: 2 2 2 2 2 2 2 2 2 2 7
21.16	c ---[2423]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
21.17	c ---[2421]---> Sorter-cost:  418     Base: 2 2 2 2 2 2 2 2 2 2 7
21.17	c ---[2419]---> Sorter-cost:  443     Base: 2 2 2 2 2 2 2 2 2 2 7
21.18	c ---[2417]---> Sorter-cost:  584     Base: 2 2 2 2 2 2 2 2 2 2 7
21.19	c ---[2415]---> Sorter-cost:  413     Base: 2 2 2 2 2 2 2 2 2 2 7
21.19	c ---[2413]---> Adder-cost: 130   maxlim: 72704   bits: 18/17
21.21	c ---[2411]---> Sorter-cost:  436     Base: 2 2 2 2 2 2 2 2 2 2 7
21.22	c ---[2409]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
21.23	c ---[2407]---> Sorter-cost:  395     Base: 2 2 2 2 2 2 2 2 2 2 7
21.23	c ---[2404]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
21.24	c ---[2402]---> Sorter-cost: 1279     Base: 2 2 2 2 2 2 2 2 2 2 7
21.26	c ---[2400]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
21.26	c ---[2398]---> Adder-cost: 144   maxlim: 70656   bits: 18/17
21.28	c ---[2395]---> Adder-cost: 202   maxlim: 99328   bits: 18/17
21.31	c ---[2393]---> Adder-cost: 70   maxlim: 99328   bits: 18/17
21.34	c ---[2391]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
21.34	c ---[2388]---> Adder-cost: 118   maxlim: 60416   bits: 17/16
21.35	c ---[2384]---> Adder-cost: 166   maxlim: 87040   bits: 18/17
21.38	c ---[2382]---> Adder-cost: 136   maxlim: 69632   bits: 18/17
21.40	c ---[2380]---> Adder-cost: 132   maxlim: 76800   bits: 18/17
21.42	c ---[2378]---> Adder-cost: 62   maxlim: 69632   bits: 18/17
21.44	c ---[2375]---> Adder-cost: 66   maxlim: 87040   bits: 18/17
21.46	c ---[2371]---> Sorter-cost: 1034     Base: 2 2 2 2 2 2 2 2 2 2 7
21.47	c ---[2369]---> Sorter-cost:  639     Base: 2 2 2 2 2 2 2 2 2 2 7
21.48	c ---[2367]---> Sorter-cost: 1138     Base: 2 2 2 2 2 2 2 2 2 2 7
21.49	c ---[2365]---> Adder-cost: 136   maxlim: 70656   bits: 18/17
21.51	c ---[2363]---> Sorter-cost: 1143     Base: 2 2 2 2 2 2 2 2 2 2 7
21.52	c ---[2361]---> Adder-cost: 122   maxlim: 61440   bits: 17/16
21.53	c ---[2359]---> Adder-cost: 138   maxlim: 67584   bits: 18/17
21.55	c ---[2356]---> Adder-cost: 92   maxlim: 62464   bits: 17/16
21.57	c ---[2354]---> Adder-cost: 84   maxlim: 71680   bits: 18/17
21.59	c ---[2352]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
21.59	c ---[2350]---> Adder-cost: 298   maxlim: 151552   bits: 19/18
21.63	c ---[2348]---> Adder-cost: 302   maxlim: 153600   bits: 19/18
21.67	c ---[2346]---> Adder-cost: 222   maxlim: 110592   bits: 18/17
21.70	c ---[2343]---> Adder-cost: 186   maxlim: 95232   bits: 18/17
21.72	c ---[2341]---> Adder-cost: 228   maxlim: 125952   bits: 18/17
21.76	c ---[2339]---> Sorter-cost:  412     Base: 2 2 2 2 2 2 2 2 2 2 7
21.76	c ---[2337]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
21.77	c ---[2335]---> Sorter-cost:  647     Base: 2 2 2 2 2 2 2 2 2 2 7
21.78	c ---[2333]---> Adder-cost: 194   maxlim: 101376   bits: 18/17
21.80	c ---[2329]---> Sorter-cost: 1211     Base: 2 2 2 2 2 2 2 2 2 2 7
21.82	c ---[2327]---> Adder-cost: 152   maxlim: 75776   bits: 18/17
21.84	c ---[2325]---> Adder-cost: 104   maxlim: 59392   bits: 17/16
21.85	c ---[2323]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
21.86	c ---[2321]---> Sorter-cost: 1153     Base: 2 2 2 2 2 2 2 2 2 2 7
21.87	c ---[2319]---> Adder-cost: 164   maxlim: 99328   bits: 18/17
21.89	c ---[2316]---> Adder-cost: 218   maxlim: 108544   bits: 18/17
21.92	c ---[2314]---> Adder-cost: 214   maxlim: 118784   bits: 18/17
21.95	c ---[2312]---> Adder-cost: 80   maxlim: 118784   bits: 18/17
21.98	c ---[2310]---> Adder-cost: 174   maxlim: 86016   bits: 18/17
22.01	c ---[2308]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
22.03	c ---[2306]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
22.04	c ---[2302]---> Adder-cost: 200   maxlim: 99328   bits: 18/17
22.07	c ---[2300]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
22.08	c ---[2298]---> Sorter-cost: 1016     Base: 2 2 2 2 2 2 2 2 2 2 7
22.09	c ---[2296]---> Sorter-cost:  677     Base: 2 2 2 2 2 2 2 2 2 2 7
22.10	c ---[2294]---> Adder-cost: 184   maxlim: 90112   bits: 18/17
22.12	c ---[2292]---> Sorter-cost: 1311     Base: 2 2 2 2 2 2 2 2 2 2 7
22.13	c ---[2290]---> Adder-cost: 126   maxlim: 63488   bits: 17/16
22.15	c ---[2288]---> Adder-cost: 252   maxlim: 136192   bits: 19/18
22.19	c ---[2285]---> Sorter-cost:  900     Base: 2 2 2 2 2 2 2 2 2 2 7
22.19	c ---[2283]---> Adder-cost: 70   maxlim: 99328   bits: 18/17
22.22	c ---[2281]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
22.23	c ---[2279]---> Sorter-cost: 1259     Base: 2 2 2 2 2 2 2 2 2 2 7
22.24	c ---[2276]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
22.25	c ---[2274]---> Adder-cost: 138   maxlim: 72704   bits: 18/17
22.27	c ---[2272]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
22.27	c ---[2270]---> Adder-cost: 188   maxlim: 98304   bits: 18/17
22.30	c ---[2267]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
22.31	c ---[2265]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
22.31	c ---[2263]---> Adder-cost: 106   maxlim: 54272   bits: 17/16
22.32	c ---[2261]---> Sorter-cost:  985     Base: 2 2 2 2 2 2 2 2 2 2 7
22.33	c ---[2257]---> Adder-cost: 108   maxlim: 97280   bits: 18/17
22.36	c ---[2255]---> Adder-cost: 168   maxlim: 86016   bits: 18/17
22.38	c ---[2253]---> Sorter-cost:  688     Base: 2 2 2 2 2 2 2 2 2 2 7
22.39	c ---[2249]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
22.40	c ---[2247]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
22.40	c ---[2245]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
22.41	c ---[2241]---> Adder-cost: 158   maxlim: 96256   bits: 18/17
22.44	c ---[2239]---> Sorter-cost: 1048     Base: 2 2 2 2 2 2 2 2 2 2 7
22.45	c ---[2235]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
22.45	c ---[2233]---> Sorter-cost:  395     Base: 2 2 2 2 2 2 2 2 2 2 7
22.46	c ---[2230]---> Sorter-cost:  460     Base: 2 2 2 2 2 2 2 2 2 2 7
22.47	c ---[2226]---> Adder-cost: 108   maxlim: 95232   bits: 18/17
22.49	c ---[2224]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
22.50	c ---[2220]---> Adder-cost: 168   maxlim: 81920   bits: 18/17
22.52	c ---[2217]---> Adder-cost: 144   maxlim: 69632   bits: 18/17
22.54	c ---[2214]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
22.55	c ---[2212]---> Adder-cost: 70   maxlim: 95232   bits: 18/17
22.58	c ---[2210]---> Adder-cost: 112   maxlim: 60416   bits: 17/16
22.59	c ---[2208]---> Adder-cost: 48   maxlim: 60416   bits: 17/16
22.61	c ---[2204]---> Adder-cost: 314   maxlim: 162816   bits: 19/18
22.65	c ---[2202]---> Adder-cost: 92   maxlim: 162816   bits: 19/18
22.69	c ---[2200]---> Adder-cost: 310   maxlim: 166912   bits: 19/18
22.73	c ---[2198]---> Adder-cost: 100   maxlim: 166912   bits: 19/18
22.77	c ---[2195]---> Adder-cost: 100   maxlim: 166912   bits: 19/18
22.82	c ---[2193]---> Adder-cost: 100   maxlim: 166912   bits: 19/18
22.86	c ---[2190]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
22.87	c ---[2188]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
22.88	c ---[2186]---> Adder-cost: 92   maxlim: 54272   bits: 17/16
22.89	c ---[2184]---> Adder-cost: 78   maxlim: 51200   bits: 17/16
22.91	c ---[2182]---> Adder-cost: 278   maxlim: 141312   bits: 19/18
22.95	c ---[2178]---> Adder-cost: 128   maxlim: 68608   bits: 18/17
22.96	c ---[2176]---> Adder-cost: 96   maxlim: 66560   bits: 18/17
22.98	c ---[2174]---> Adder-cost: 136   maxlim: 65536   bits: 18/17
23.00	c ---[2170]---> Adder-cost: 86   maxlim: 53248   bits: 17/16
23.02	c ---[2168]---> Adder-cost: 364   maxlim: 184320   bits: 19/18
23.06	c ---[2166]---> Sorter-cost: 1219     Base: 2 2 2 2 2 2 2 2 2 2 7
23.07	c ---[2162]---> Adder-cost: 178   maxlim: 89088   bits: 18/17
23.10	c ---[2160]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
23.11	c ---[2157]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
23.12	c ---[2155]---> Adder-cost: 142   maxlim: 72704   bits: 18/17
23.14	c ---[2153]---> Adder-cost: 116   maxlim: 70656   bits: 18/17
23.16	c ---[2151]---> Adder-cost: 254   maxlim: 153600   bits: 19/18
23.20	c ---[2148]---> Adder-cost: 148   maxlim: 73728   bits: 18/17
23.22	c ---[2146]---> Adder-cost: 102   maxlim: 55296   bits: 17/16
23.24	c ---[2142]---> Adder-cost: 230   maxlim: 119808   bits: 18/17
23.27	c ---[2140]---> Adder-cost: 80   maxlim: 119808   bits: 18/17
23.30	c ---[2137]---> Sorter-cost:  460     Base: 2 2 2 2 2 2 2 2 2 2 7
23.31	c ---[2134]---> Adder-cost: 168   maxlim: 152576   bits: 19/18
23.35	c ---[2131]---> Sorter-cost:  617     Base: 2 2 2 2 2 2 2 2 2 2 7
23.36	c ---[2129]---> Sorter-cost:  548     Base: 2 2 2 2 2 2 2 2 2 2 7
23.36	c ---[2127]---> Sorter-cost:  532     Base: 2 2 2 2 2 2 2 2 2 2 7
23.37	c ---[2125]---> Sorter-cost:  706     Base: 2 2 2 2 2 2 2 2 2 2 7
23.38	c ---[2123]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
23.38	c ---[2121]---> Sorter-cost: 1178     Base: 2 2 2 2 2 2 2 2 2 2 7
23.40	c ---[2119]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
23.41	c ---[2116]---> Sorter-cost: 1183     Base: 2 2 2 2 2 2 2 2 2 2 7
23.42	c ---[2114]---> Adder-cost: 146   maxlim: 155648   bits: 19/18
23.46	c ---[2110]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
23.47	c ---[2106]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
23.48	c ---[2104]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
23.50	c ---[2102]---> Sorter-cost: 1053     Base: 2 2 2 2 2 2 2 2 2 2 7
23.51	c ---[2100]---> Sorter-cost:  613     Base: 2 2 2 2 2 2 2 2 2 2 7
23.52	c ---[2098]---> Adder-cost: 96   maxlim: 155648   bits: 19/18
23.56	c ---[2096]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
23.56	c ---[2092]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
23.57	c ---[2090]---> Adder-cost: 172   maxlim: 87040   bits: 18/17
23.59	c ---[2088]---> Adder-cost: 226   maxlim: 119808   bits: 18/17
23.62	c ---[2086]---> Adder-cost: 142   maxlim: 73728   bits: 18/17
23.64	c ---[2084]---> Adder-cost: 62   maxlim: 73728   bits: 18/17
23.67	c ---[2079]---> Sorter-cost:  554     Base: 2 2 2 2 2 2 2 2 2 2 7
23.67	c ---[2075]---> Sorter-cost:  931     Base: 2 2 2 2 2 2 2 2 2 2 7
23.68	c ---[2072]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
23.69	c ---[2070]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
23.69	c ---[2068]---> Adder-cost: 154   maxlim: 73728   bits: 18/17
23.71	c ---[2066]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
23.71	c ---[2063]---> Sorter-cost: 1147     Base: 2 2 2 2 2 2 2 2 2 2 7
23.73	c ---[2061]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
23.74	c ---[2057]---> Sorter-cost:  727     Base: 2 2 2 2 2 2 2 2 2 2 7
23.75	c ---[2053]---> Sorter-cost:  363     Base: 2 2 2 2 2 2 2 2 2 2 7
23.75	c ---[2051]---> Adder-cost: 88   maxlim: 73728   bits: 18/17
23.77	c ---[2048]---> Sorter-cost: 1084     Base: 2 2 2 2 2 2 2 2 2 2 7
23.78	c ---[2045]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
23.79	c ---[2043]---> Sorter-cost:  261     Base: 2 2 2 2 2 2 2 2 2 2 2
23.79	c ---[2041]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
23.80	c ---[2039]---> Sorter-cost:  534     Base: 2 2 2 2 2 2 2 2 2 2 7
23.80	c ---[2036]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
23.81	c ---[2034]---> Adder-cost: 108   maxlim: 61440   bits: 17/16
23.83	c ---[2032]---> Adder-cost: 186   maxlim: 93184   bits: 18/17
23.85	c ---[2030]---> Adder-cost: 84   maxlim: 93184   bits: 18/17
23.88	c ---[2027]---> Sorter-cost: 1157     Base: 2 2 2 2 2 2 2 2 2 2 7
23.89	c ---[2025]---> Sorter-cost:  771     Base: 2 2 2 2 2 2 2 2 2 2 7
23.90	c ---[2023]---> Sorter-cost:  408     Base: 2 2 2 2 2 2 2 2 2 2 7
23.90	c ---[2021]---> Sorter-cost:  698     Base: 2 2 2 2 2 2 2 2 2 2 7
23.91	c ---[2017]---> Adder-cost: 172   maxlim: 90112   bits: 18/17
23.93	c ---[2015]---> Sorter-cost:  997     Base: 2 2 2 2 2 2 2 2 2 2 7
23.94	c ---[2012]---> Sorter-cost: 1074     Base: 2 2 2 2 2 2 2 2 2 2 7
23.95	c ---[2010]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
23.96	c ---[2008]---> Adder-cost: 172   maxlim: 86016   bits: 18/17
23.99	c ---[2006]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
23.99	c ---[2004]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
24.00	c ---[2002]---> Sorter-cost:  676     Base: 2 2 2 2 2 2 2 2 2 2 7
24.01	c ---[2000]---> Sorter-cost:  443     Base: 2 2 2 2 2 2 2 2 2 2 7
24.01	c ---[1998]---> Sorter-cost:  245     Base: 2 2 2 2 2 2 2 2 2 2 2
24.02	c ---[1996]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
24.02	c ---[1993]---> Sorter-cost: 1133     Base: 2 2 2 2 2 2 2 2 2 2 7
24.03	c ---[1991]---> Adder-cost: 108   maxlim: 79872   bits: 18/17
24.06	c ---[1989]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
24.06	c ---[1987]---> Sorter-cost:  231     Base: 2 2 2 2 2 2 2 2 2 2 2
24.06	c ---[1985]---> Sorter-cost:  720     Base: 2 2 2 2 2 2 2 2 2 2 7
24.07	c ---[1983]---> Sorter-cost:  704     Base: 2 2 2 2 2 2 2 2 2 2 7
24.08	c ---[1980]---> Sorter-cost:  624     Base: 2 2 2 2 2 2 2 2 2 2 7
24.09	c ---[1978]---> Sorter-cost:  315     Base: 2 2 2 2 2 2 2 2 2 2 2
24.09	c ---[1976]---> Adder-cost: 150   maxlim: 77824   bits: 18/17
24.11	c ---[1973]---> Sorter-cost:  418     Base: 2 2 2 2 2 2 2 2 2 2 7
24.12	c ---[1971]---> Adder-cost: 230   maxlim: 115712   bits: 18/17
24.15	c ---[1969]---> Adder-cost: 160   maxlim: 114688   bits: 18/17
24.18	c ---[1967]---> Adder-cost: 204   maxlim: 116736   bits: 18/17
24.21	c ---[1964]---> Sorter-cost:  468     Base: 2 2 2 2 2 2 2 2 2 2 7
24.21	c ---[1962]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
24.23	c ---[1959]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
24.24	c ---[1957]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
24.25	c ---[1955]---> Sorter-cost:  589     Base: 2 2 2 2 2 2 2 2 2 2 7
24.26	c ---[1951]---> Adder-cost: 204   maxlim: 104448   bits: 18/17
24.28	c ---[1949]---> Sorter-cost: 1155     Base: 2 2 2 2 2 2 2 2 2 2 7
24.29	c ---[1947]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
24.31	c ---[1943]---> Sorter-cost: 1289     Base: 2 2 2 2 2 2 2 2 2 2 7
24.32	c ---[1940]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
24.32	c ---[1938]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
24.33	c ---[1936]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
24.33	c ---[1933]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
24.33	c ---[1931]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
24.35	c ---[1929]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
24.35	c ---[1926]---> Sorter-cost:  657     Base: 2 2 2 2 2 2 2 2 2 2 7
24.36	c ---[1923]---> Sorter-cost:  733     Base: 2 2 2 2 2 2 2 2 2 2 7
24.37	c ---[1920]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
24.38	c ---[1917]---> Sorter-cost:  894     Base: 2 2 2 2 2 2 2 2 2 2 7
24.39	c ---[1915]---> Sorter-cost: 1246     Base: 2 2 2 2 2 2 2 2 2 2 7
24.40	c ---[1913]---> Sorter-cost:  951     Base: 2 2 2 2 2 2 2 2 2 2 7
24.41	c ---[1911]---> Sorter-cost: 1129     Base: 2 2 2 2 2 2 2 2 2 2 7
24.42	c ---[1908]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
24.43	c ---[1906]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
24.44	c ---[1903]---> Adder-cost: 114   maxlim: 59392   bits: 17/16
24.46	c ---[1901]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
24.47	c ---[1899]---> Adder-cost: 90   maxlim: 58368   bits: 17/16
24.49	c ---[1896]---> Adder-cost: 108   maxlim: 55296   bits: 17/16
24.50	c ---[1894]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
24.51	c ---[1892]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
24.51	c ---[1890]---> Sorter-cost: 1265     Base: 2 2 2 2 2 2 2 2 2 2 7
24.53	c ---[1888]---> Adder-cost: 102   maxlim: 58368   bits: 17/16
24.54	c ---[1886]---> Sorter-cost: 1229     Base: 2 2 2 2 2 2 2 2 2 2 7
24.55	c ---[1884]---> Adder-cost: 136   maxlim: 73728   bits: 18/17
24.57	c ---[1881]---> Sorter-cost:  657     Base: 2 2 2 2 2 2 2 2 2 2 7
24.58	c ---[1879]---> Sorter-cost: 1209     Base: 2 2 2 2 2 2 2 2 2 2 7
24.59	c ---[1877]---> Sorter-cost:  706     Base: 2 2 2 2 2 2 2 2 2 2 7
24.60	c ---[1875]---> Sorter-cost:  448     Base: 2 2 2 2 2 2 2 2 2 2 7
24.61	c ---[1873]---> Adder-cost: 304   maxlim: 163840   bits: 19/18
24.65	c ---[1871]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
24.66	c ---[1868]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
24.67	c ---[1865]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
24.68	c ---[1863]---> Adder-cost: 152   maxlim: 82944   bits: 18/17
24.70	c ---[1861]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
24.71	c ---[1857]---> Adder-cost: 146   maxlim: 79872   bits: 18/17
24.73	c ---[1855]---> Sorter-cost: 1128     Base: 2 2 2 2 2 2 2 2 2 2 7
24.74	c ---[1852]---> Adder-cost: 212   maxlim: 111616   bits: 18/17
24.77	c ---[1849]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
24.78	c ---[1847]---> Sorter-cost:  697     Base: 2 2 2 2 2 2 2 2 2 2 7
24.79	c ---[1845]---> Sorter-cost: 1287     Base: 2 2 2 2 2 2 2 2 2 2 7
24.80	c ---[1843]---> Adder-cost: 132   maxlim: 75776   bits: 18/17
24.82	c ---[1839]---> Sorter-cost:  361     Base: 2 2 2 2 2 2 2 2 2 2 7
24.82	c ---[1837]---> Sorter-cost:  653     Base: 2 2 2 2 2 2 2 2 2 2 7
24.83	c ---[1834]---> Adder-cost: 106   maxlim: 52224   bits: 17/16
24.84	c ---[1831]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
24.86	c ---[1828]---> Sorter-cost: 1178     Base: 2 2 2 2 2 2 2 2 2 2 7
24.87	c ---[1825]---> Sorter-cost:  939     Base: 2 2 2 2 2 2 2 2 2 2 7
24.88	c ---[1823]---> Sorter-cost: 1085     Base: 2 2 2 2 2 2 2 2 2 2 7
24.89	c ---[1821]---> Sorter-cost: 1089     Base: 2 2 2 2 2 2 2 2 2 2 7
24.90	c ---[1819]---> Sorter-cost:  577     Base: 2 2 2 2 2 2 2 2 2 2 7
24.90	c ---[1817]---> Sorter-cost:  670     Base: 2 2 2 2 2 2 2 2 2 2 7
24.91	c ---[1815]---> Sorter-cost:  883     Base: 2 2 2 2 2 2 2 2 2 2 7
24.92	c ---[1813]---> Adder-cost: 218   maxlim: 110592   bits: 18/17
24.95	c ---[1811]---> Adder-cost: 192   maxlim: 101376   bits: 18/17
24.97	c ---[1809]---> Adder-cost: 114   maxlim: 57344   bits: 17/16
24.99	c ---[1806]---> Sorter-cost:  439     Base: 2 2 2 2 2 2 2 2 2 2 7
24.99	c ---[1804]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
25.00	c ---[1802]---> Sorter-cost:  265     Base: 2 2 2 2 2 2 2 2 2 2 2
25.00	c ---[1800]---> Sorter-cost:  261     Base: 2 2 2 2 2 2 2 2 2 2 2
25.01	c ---[1798]---> Sorter-cost: 1301     Base: 2 2 2 2 2 2 2 2 2 2 7
25.02	c ---[1796]---> Sorter-cost:  363     Base: 2 2 2 2 2 2 2 2 2 2 7
25.02	c ---[1794]---> Sorter-cost: 1246     Base: 2 2 2 2 2 2 2 2 2 2 7
25.04	c ---[1792]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
25.04	c ---[1790]---> Adder-cost: 174   maxlim: 89088   bits: 18/17
25.06	c ---[1788]---> Sorter-cost:  406     Base: 2 2 2 2 2 2 2 2 2 2 7
25.07	c ---[1786]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
25.07	c ---[1784]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
25.08	c ---[1782]---> Sorter-cost:  581     Base: 2 2 2 2 2 2 2 2 2 2 7
25.09	c ---[1780]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
25.09	c ---[1778]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
25.10	c ---[1774]---> Adder-cost: 124   maxlim: 62464   bits: 17/16
25.12	c ---[1772]---> Adder-cost: 174   maxlim: 108544   bits: 18/17
25.14	c ---[1770]---> Adder-cost: 164   maxlim: 82944   bits: 18/17
25.17	c ---[1767]---> Sorter-cost:  611     Base: 2 2 2 2 2 2 2 2 2 2 7
25.17	c ---[1765]---> Sorter-cost:  305     Base: 2 2 2 2 2 2 2 2 2 2 2
25.18	c ---[1763]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
25.18	c ---[1761]---> Sorter-cost:  991     Base: 2 2 2 2 2 2 2 2 2 2 7
25.19	c ---[1759]---> Adder-cost: 242   maxlim: 123904   bits: 18/17
25.22	c ---[1757]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
25.23	c ---[1754]---> Sorter-cost:  657     Base: 2 2 2 2 2 2 2 2 2 2 7
25.24	c ---[1752]---> Adder-cost: 110   maxlim: 55296   bits: 17/16
25.25	c ---[1748]---> Sorter-cost: 1248     Base: 2 2 2 2 2 2 2 2 2 2 7
25.27	c ---[1746]---> Sorter-cost:  923     Base: 2 2 2 2 2 2 2 2 2 2 7
25.27	c ---[1744]---> Adder-cost: 200   maxlim: 125952   bits: 18/17
25.31	c ---[1742]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
25.32	c ---[1740]---> Adder-cost: 108   maxlim: 60416   bits: 17/16
25.33	c ---[1738]---> Adder-cost: 110   maxlim: 64512   bits: 17/16
25.35	c ---[1736]---> Adder-cost: 102   maxlim: 58368   bits: 17/16
25.36	c ---[1734]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
25.37	c ---[1732]---> Sorter-cost:  963     Base: 2 2 2 2 2 2 2 2 2 2 7
25.38	c ---[1730]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
25.39	c ---[1728]---> Adder-cost: 268   maxlim: 134144   bits: 19/18
25.43	c ---[1726]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
25.44	c ---[1722]---> Sorter-cost:  975     Base: 2 2 2 2 2 2 2 2 2 2 7
25.45	c ---[1720]---> Sorter-cost: 1073     Base: 2 2 2 2 2 2 2 2 2 2 7
25.46	c ---[1717]---> Adder-cost: 154   maxlim: 73728   bits: 18/17
25.48	c ---[1714]---> Adder-cost: 242   maxlim: 138240   bits: 19/18
25.52	c ---[1712]---> Sorter-cost:  464     Base: 2 2 2 2 2 2 2 2 2 2 7
25.53	c ---[1710]---> Sorter-cost:  259     Base: 2 2 2 2 2 2 2 2 2 2 2
25.53	c ---[1707]---> Sorter-cost:  991     Base: 2 2 2 2 2 2 2 2 2 2 7
25.54	c ---[1704]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
25.55	c ---[1702]---> Adder-cost: 264   maxlim: 141312   bits: 19/18
25.59	c ---[1700]---> Sorter-cost: 1132     Base: 2 2 2 2 2 2 2 2 2 2 7
25.60	c ---[1698]---> Sorter-cost: 1016     Base: 2 2 2 2 2 2 2 2 2 2 7
25.61	c ---[1694]---> Adder-cost: 110   maxlim: 64512   bits: 17/16
25.62	c ---[1692]---> Sorter-cost:  313     Base: 2 2 2 2 2 2 2 2 2 2 2
25.63	c ---[1690]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
25.63	c ---[1686]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
25.64	c ---[1683]---> Sorter-cost:  973     Base: 2 2 2 2 2 2 2 2 2 2 7
25.65	c ---[1681]---> Sorter-cost:  668     Base: 2 2 2 2 2 2 2 2 2 2 7
25.65	c ---[1678]---> Adder-cost: 160   maxlim: 78848   bits: 18/17
25.68	c ---[1676]---> Adder-cost: 60   maxlim: 78848   bits: 18/17
25.70	c ---[1674]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
25.71	c ---[1672]---> Sorter-cost: 1275     Base: 2 2 2 2 2 2 2 2 2 2 7
25.72	c ---[1669]---> Sorter-cost:  464     Base: 2 2 2 2 2 2 2 2 2 2 7
25.73	c ---[1667]---> Adder-cost: 156   maxlim: 77824   bits: 18/17
25.75	c ---[1665]---> Adder-cost: 94   maxlim: 79872   bits: 18/17
25.77	c ---[1663]---> Adder-cost: 266   maxlim: 136192   bits: 19/18
25.81	c ---[1661]---> Adder-cost: 226   maxlim: 135168   bits: 19/18
25.84	c ---[1659]---> Adder-cost: 280   maxlim: 142336   bits: 19/18
25.88	c ---[1657]---> Adder-cost: 92   maxlim: 142336   bits: 19/18
25.92	c ---[1655]---> Sorter-cost:  559     Base: 2 2 2 2 2 2 2 2 2 2 7
25.93	c ---[1652]---> Sorter-cost:  414     Base: 2 2 2 2 2 2 2 2 2 2 7
25.93	c ---[1650]---> Sorter-cost:  904     Base: 2 2 2 2 2 2 2 2 2 2 7
25.94	c ---[1648]---> Adder-cost: 140   maxlim: 65536   bits: 18/17
25.96	c ---[1646]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
25.97	c ---[1644]---> Sorter-cost: 1082     Base: 2 2 2 2 2 2 2 2 2 2 7
25.98	c ---[1641]---> Adder-cost: 244   maxlim: 128000   bits: 18/17
26.01	c ---[1639]---> Sorter-cost:  462     Base: 2 2 2 2 2 2 2 2 2 2 7
26.02	c ---[1637]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
26.03	c ---[1635]---> Sorter-cost: 1031     Base: 2 2 2 2 2 2 2 2 2 2 7
26.04	c ---[1633]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
26.06	c ---[1629]---> Sorter-cost:  581     Base: 2 2 2 2 2 2 2 2 2 2 7
26.06	c ---[1627]---> Sorter-cost:  622     Base: 2 2 2 2 2 2 2 2 2 2 7
26.07	c ---[1625]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
26.07	c ---[1623]---> Sorter-cost:  227     Base: 2 2 2 2 2 2 2 2 2 2 2
26.08	c ---[1621]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
26.08	c ---[1618]---> Adder-cost: 180   maxlim: 91136   bits: 18/17
26.11	c ---[1616]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
26.12	c ---[1614]---> Adder-cost: 158   maxlim: 84992   bits: 18/17
26.14	c ---[1611]---> Adder-cost: 142   maxlim: 67584   bits: 18/17
26.16	c ---[1609]---> Adder-cost: 200   maxlim: 99328   bits: 18/17
26.19	c ---[1607]---> Adder-cost: 70   maxlim: 99328   bits: 18/17
26.21	c ---[1603]---> Adder-cost: 124   maxlim: 62464   bits: 17/16
26.23	c ---[1599]---> Sorter-cost:  775     Base: 2 2 2 2 2 2 2 2 2 2 7
26.24	c ---[1596]---> Sorter-cost: 1008     Base: 2 2 2 2 2 2 2 2 2 2 7
26.25	c ---[1594]---> Sorter-cost:  967     Base: 2 2 2 2 2 2 2 2 2 2 7
26.25	c ---[1592]---> Adder-cost: 152   maxlim: 90112   bits: 18/17
26.28	c ---[1589]---> Adder-cost: 282   maxlim: 159744   bits: 19/18
26.32	c ---[1587]---> Adder-cost: 106   maxlim: 58368   bits: 17/16
26.33	c ---[1585]---> Adder-cost: 84   maxlim: 59392   bits: 17/16
26.35	c ---[1583]---> Adder-cost: 108   maxlim: 61440   bits: 17/16
26.36	c ---[1580]---> Sorter-cost:  968     Base: 2 2 2 2 2 2 2 2 2 2 7
26.37	c ---[1578]---> Sorter-cost:  613     Base: 2 2 2 2 2 2 2 2 2 2 7
26.38	c ---[1576]---> Sorter-cost:  291     Base: 2 2 2 2 2 2 2 2 2 2 2
26.38	c ---[1574]---> Sorter-cost: 1068     Base: 2 2 2 2 2 2 2 2 2 2 7
26.39	c ---[1572]---> Adder-cost: 112   maxlim: 60416   bits: 17/16
26.41	c ---[1570]---> Sorter-cost:  873     Base: 2 2 2 2 2 2 2 2 2 2 7
26.42	c ---[1568]---> Sorter-cost:  672     Base: 2 2 2 2 2 2 2 2 2 2 7
26.43	c ---[1566]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
26.43	c ---[1564]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
26.44	c ---[1562]---> Adder-cost: 108   maxlim: 53248   bits: 17/16
26.45	c ---[1560]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
26.47	c ---[1556]---> Adder-cost: 104   maxlim: 64512   bits: 17/16
26.48	c ---[1553]---> Sorter-cost:  894     Base: 2 2 2 2 2 2 2 2 2 2 7
26.49	c ---[1550]---> Adder-cost: 220   maxlim: 111616   bits: 18/17
26.52	c ---[1548]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
26.53	c ---[1546]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
26.53	c ---[1544]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
26.54	c ---[1542]---> Sorter-cost: 1175     Base: 2 2 2 2 2 2 2 2 2 2 7
26.56	c ---[1539]---> Sorter-cost:  655     Base: 2 2 2 2 2 2 2 2 2 2 7
26.56	c ---[1537]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 2
26.57	c ---[1535]---> Sorter-cost: 1221     Base: 2 2 2 2 2 2 2 2 2 2 7
26.58	c ---[1533]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
26.59	c ---[1529]---> Sorter-cost:  259     Base: 2 2 2 2 2 2 2 2 2 2 2
26.59	c ---[1527]---> Sorter-cost: 1057     Base: 2 2 2 2 2 2 2 2 2 2 7
26.60	c ---[1525]---> Sorter-cost: 1103     Base: 2 2 2 2 2 2 2 2 2 2 7
26.61	c ---[1523]---> Adder-cost: 236   maxlim: 122880   bits: 18/17
26.65	c ---[1521]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
26.65	c ---[1519]---> Adder-cost: 206   maxlim: 119808   bits: 18/17
26.69	c ---[1514]---> Sorter-cost: 1293     Base: 2 2 2 2 2 2 2 2 2 2 7
26.70	c ---[1512]---> Adder-cost: 138   maxlim: 66560   bits: 18/17
26.72	c ---[1509]---> Sorter-cost:  448     Base: 2 2 2 2 2 2 2 2 2 2 7
26.72	c ---[1507]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
26.73	c ---[1505]---> Sorter-cost:  811     Base: 2 2 2 2 2 2 2 2 2 2 7
26.74	c ---[1502]---> Sorter-cost: 1069     Base: 2 2 2 2 2 2 2 2 2 2 7
26.75	c ---[1500]---> Adder-cost: 122   maxlim: 67584   bits: 18/17
26.77	c ---[1498]---> Sorter-cost: 1183     Base: 2 2 2 2 2 2 2 2 2 2 7
26.78	c ---[1496]---> Sorter-cost: 1281     Base: 2 2 2 2 2 2 2 2 2 2 7
26.79	c ---[1494]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
26.81	c ---[1492]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
26.81	c ---[1490]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
26.82	c ---[1488]---> Adder-cost: 202   maxlim: 102400   bits: 18/17
26.85	c ---[1486]---> Adder-cost: 138   maxlim: 101376   bits: 18/17
26.87	c ---[1484]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
26.88	c ---[1482]---> Adder-cost: 170   maxlim: 89088   bits: 18/17
26.91	c ---[1480]---> Adder-cost: 146   maxlim: 72704   bits: 18/17
26.93	c ---[1478]---> Adder-cost: 318   maxlim: 159744   bits: 19/18
26.97	c ---[1476]---> Adder-cost: 114   maxlim: 58368   bits: 17/16
26.98	c ---[1474]---> Adder-cost: 86   maxlim: 52224   bits: 17/16
26.99	c ---[1472]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
27.00	c ---[1470]---> Sorter-cost:  882     Base: 2 2 2 2 2 2 2 2 2 2 7
27.01	c ---[1468]---> Adder-cost: 146   maxlim: 69632   bits: 18/17
27.03	c ---[1466]---> Adder-cost: 158   maxlim: 78848   bits: 18/17
27.05	c ---[1464]---> Adder-cost: 206   maxlim: 104448   bits: 18/17
27.08	c ---[1462]---> Sorter-cost: 1246     Base: 2 2 2 2 2 2 2 2 2 2 7
27.09	c ---[1460]---> Adder-cost: 224   maxlim: 119808   bits: 18/17
27.12	c ---[1458]---> Adder-cost: 186   maxlim: 96256   bits: 18/17
27.15	c ---[1456]---> Adder-cost: 236   maxlim: 126976   bits: 18/17
27.18	c ---[1454]---> Adder-cost: 192   maxlim: 106496   bits: 18/17
27.21	c ---[1452]---> Adder-cost: 156   maxlim: 75776   bits: 18/17
27.23	c ---[1450]---> Adder-cost: 172   maxlim: 87040   bits: 18/17
27.25	c ---[1448]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
27.26	c ---[1446]---> Adder-cost: 238   maxlim: 129024   bits: 18/17
27.29	c ---[1444]---> Sorter-cost: 1207     Base: 2 2 2 2 2 2 2 2 2 2 7
27.30	c ---[1441]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
27.31	c ---[1439]---> Adder-cost: 102   maxlim: 51200   bits: 17/16
27.33	c ---[1437]---> Adder-cost: 92   maxlim: 57344   bits: 17/16
27.34	c ---[1435]---> Adder-cost: 76   maxlim: 54272   bits: 17/16
27.35	c ---[1433]---> Adder-cost: 214   maxlim: 110592   bits: 18/17
27.38	c ---[1431]---> Adder-cost: 256   maxlim: 135168   bits: 19/18
27.42	c ---[1429]---> Adder-cost: 262   maxlim: 141312   bits: 19/18
27.46	c ---[1427]---> Adder-cost: 354   maxlim: 199680   bits: 19/18
27.50	c ---[1425]---> Adder-cost: 230   maxlim: 152576   bits: 19/18
27.55	c ---[1423]---> Adder-cost: 338   maxlim: 196608   bits: 19/18
27.59	c ---[1421]---> Adder-cost: 264   maxlim: 194560   bits: 19/18
27.64	c ---[1419]---> Adder-cost: 310   maxlim: 191488   bits: 19/18
27.69	c ---[1417]---> Adder-cost: 276   maxlim: 178176   bits: 19/18
27.73	c ---[1415]---> Adder-cost: 266   maxlim: 151552   bits: 19/18
27.77	c ---[1413]---> Adder-cost: 274   maxlim: 171008   bits: 19/18
27.82	c ---[1411]---> Adder-cost: 366   maxlim: 203776   bits: 19/18
27.87	c ---[1409]---> Adder-cost: 364   maxlim: 218112   bits: 19/18
27.92	c ---[1407]---> Adder-cost: 346   maxlim: 216064   bits: 19/18
27.98	c ---[1405]---> Adder-cost: 306   maxlim: 195584   bits: 19/18
28.02	c ---[1403]---> Adder-cost: 216   maxlim: 142336   bits: 19/18
28.06	c ---[1401]---> Adder-cost: 198   maxlim: 118784   bits: 18/17
28.09	c ---[1399]---> Adder-cost: 184   maxlim: 110592   bits: 18/17
28.12	c ---[1397]---> Adder-cost: 196   maxlim: 120832   bits: 18/17
28.15	c ---[1395]---> Adder-cost: 184   maxlim: 115712   bits: 18/17
28.18	c ---[1393]---> Adder-cost: 168   maxlim: 94208   bits: 18/17
28.21	c ---[1391]---> Adder-cost: 272   maxlim: 142336   bits: 19/18
28.25	c ---[1389]---> Adder-cost: 186   maxlim: 143360   bits: 19/18
28.29	c ---[1387]---> Adder-cost: 252   maxlim: 141312   bits: 19/18
28.32	c ---[1385]---> Adder-cost: 168   maxlim: 146432   bits: 19/18
28.36	c ---[1383]---> Adder-cost: 190   maxlim: 144384   bits: 19/18
28.40	c ---[1381]---> Adder-cost: 196   maxlim: 148480   bits: 19/18
28.44	c ---[1379]---> Adder-cost: 250   maxlim: 156672   bits: 19/18
28.48	c ---[1377]---> Adder-cost: 180   maxlim: 154624   bits: 19/18
28.52	c ---[1375]---> Adder-cost: 108   maxlim: 53248   bits: 17/16
28.53	c ---[1373]---> Adder-cost: 208   maxlim: 140288   bits: 19/18
28.57	c ---[1371]---> Adder-cost: 210   maxlim: 141312   bits: 19/18
28.60	c ---[1369]---> Adder-cost: 170   maxlim: 136192   bits: 19/18
28.64	c ---[1367]---> Adder-cost: 228   maxlim: 135168   bits: 19/18
28.68	c ---[1365]---> Adder-cost: 216   maxlim: 139264   bits: 19/18
28.71	c ---[1363]---> Adder-cost: 156   maxlim: 136192   bits: 19/18
28.75	c ---[1361]---> Adder-cost: 178   maxlim: 111616   bits: 18/17
28.78	c ---[1359]---> Adder-cost: 156   maxlim: 80896   bits: 18/17
28.80	c ---[1357]---> Adder-cost: 180   maxlim: 109568   bits: 18/17
28.83	c ---[1356]---> Adder-cost: 2306   maxlim: 1125375   bits: 22/21
29.38	c ---[1355]---> Adder-cost: 11112   maxlim: 5775359   bits: 23/23
31.05	c ---[1353]---> Adder-cost: 257   maxlim: 135167   bits: 19/18
31.09	c ---[1352]---> Adder-cost: 275   maxlim: 146431   bits: 19/18
31.13	c ---[1351]---> Adder-cost: 309   maxlim: 149503   bits: 19/18
31.18	c ---[1349]---> Adder-cost: 323   maxlim: 157695   bits: 19/18
31.23	c ---[1348]---> Adder-cost: 345   maxlim: 173055   bits: 19/18
31.27	c ---[1346]---> Adder-cost: 520   maxlim: 244735   bits: 19/18
31.35	c ---[1345]---> Adder-cost: 303   maxlim: 150527   bits: 19/18
31.39	c ---[1343]---> Adder-cost: 496   maxlim: 243711   bits: 19/18
31.46	c ---[1337]---> Adder-cost: 351   maxlim: 162815   bits: 19/18
31.51	c ---[1335]---> Adder-cost: 496   maxlim: 254975   bits: 19/18
31.58	c ---[1334]---> Adder-cost: 603   maxlim: 301055   bits: 20/19
31.66	c ---[1330]---> Adder-cost: 406   maxlim: 195583   bits: 19/18
31.72	c ---[1329]---> Adder-cost: 2972   maxlim: 1595391   bits: 22/21
32.13	c ---[1325]---> Adder-cost: 725   maxlim: 359423   bits: 20/19
32.23	c ---[1324]---> Adder-cost: 3446   maxlim: 1300479   bits: 21/21
32.67	c ---[1323]---> Adder-cost: 77   maxlim: 41983   bits: 17/16
32.68	c ---[1322]---> Adder-cost: 182   maxlim: 23551   bits: 16/15
32.70	c ---[1319]---> Adder-cost: 232   maxlim: 95231   bits: 18/17
32.74	c ---[1317]---> Adder-cost: 157   maxlim: 46079   bits: 17/16
32.76	c ---[1316]---> Adder-cost: 75   maxlim: 50175   bits: 17/16
32.77	c ---[1314]---> Adder-cost: 420   maxlim: 184319   bits: 19/18
32.83	c ---[1313]---> Adder-cost: 196   maxlim: 20479   bits: 16/15
32.85	c ---[1310]---> Adder-cost: 105   maxlim: 27647   bits: 16/15
32.87	c ---[1309]---> Adder-cost: 1130   maxlim: 509951   bits: 20/19
33.03	c ---[1308]---> Adder-cost: 12571   maxlim: 4651007   bits: 24/23
35.08	c ---[1306]---> Adder-cost: 21792   maxlim: 11857919   bits: 24/24
38.99	c ---[1304]---> Adder-cost: 158   maxlim: 101376   bits: 18/17
39.01	c ---[1299]---> Adder-cost: 70965   maxlim: 378189823   bits: 30/29
146.27	c ---[1297]---> Adder-cost: 27402   maxlim: 70737919   bits: 28/27
166.27	c ---[1289]---> Adder-cost: 148   maxlim: 75776   bits: 18/17
166.29	c ---[1270]---> Adder-cost: 34136   maxlim: 161996799   bits: 29/28
248.38	c ---[1251]---> Adder-cost: 284   maxlim: 150528   bits: 19/18
248.42	c ---[1249]---> Adder-cost: 278   maxlim: 159744   bits: 19/18
248.46	c ---[1247]---> Adder-cost: 314   maxlim: 189440   bits: 19/18
248.50	c ---[1245]---> Adder-cost: 104   maxlim: 189440   bits: 19/18
248.55	c ---[1243]---> Adder-cost: 260   maxlim: 177152   bits: 19/18
248.60	c ---[1241]---> Adder-cost: 276   maxlim: 169984   bits: 19/18
248.64	c ---[1239]---> Adder-cost: 176   maxlim: 109568   bits: 18/17
248.67	c ---[1237]---> Adder-cost: 78   maxlim: 109568   bits: 18/17
248.70	c ---[1235]---> Adder-cost: 290   maxlim: 155648   bits: 19/18
248.74	c ---[1233]---> Adder-cost: 300   maxlim: 168960   bits: 19/18
248.78	c ---[1231]---> Adder-cost: 282   maxlim: 159744   bits: 19/18
248.82	c ---[1229]---> Adder-cost: 94   maxlim: 159744   bits: 19/18
248.87	c ---[1227]---> Adder-cost: 284   maxlim: 159744   bits: 19/18
248.91	c ---[1225]---> Adder-cost: 246   maxlim: 161792   bits: 19/18
248.95	c ---[1223]---> Adder-cost: 242   maxlim: 151552   bits: 19/18
248.99	c ---[1221]---> Adder-cost: 132   maxlim: 74752   bits: 18/17
249.01	c ---[1219]---> Adder-cost: 254   maxlim: 169984   bits: 19/18
249.06	c ---[1217]---> Adder-cost: 266   maxlim: 164864   bits: 19/18
249.10	c ---[1215]---> Adder-cost: 248   maxlim: 163840   bits: 19/18
249.14	c ---[1213]---> Adder-cost: 246   maxlim: 168960   bits: 19/18
249.19	c ---[1211]---> Adder-cost: 226   maxlim: 163840   bits: 19/18
249.23	c ---[1209]---> Adder-cost: 210   maxlim: 160768   bits: 19/18
249.27	c ---[1207]---> Adder-cost: 186   maxlim: 171008   bits: 19/18
249.31	c ---[1205]---> Adder-cost: 100   maxlim: 171008   bits: 19/18
249.36	c ---[1203]---> Adder-cost: 100   maxlim: 171008   bits: 19/18
249.40	c ---[1201]---> Adder-cost: 120   maxlim: 169984   bits: 19/18
249.44	c ---[1199]---> Adder-cost: 170   maxlim: 162816   bits: 19/18
249.49	c ---[1197]---> Adder-cost: 92   maxlim: 162816   bits: 19/18
249.53	c ---[1195]---> Adder-cost: 132   maxlim: 158720   bits: 19/18
249.57	c ---[1193]---> Adder-cost: 92   maxlim: 158720   bits: 19/18
249.61	c ---[1191]---> Adder-cost: 236   maxlim: 174080   bits: 19/18
249.66	c ---[1189]---> Adder-cost: 174   maxlim: 103424   bits: 18/17
249.68	c ---[1187]---> Adder-cost: 184   maxlim: 105472   bits: 18/17
249.71	c ---[1185]---> Sorter-cost: 1273     Base: 2 2 2 2 2 2 2 2 2 2 7
249.72	c ---[1183]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
249.73	c ---[1181]---> Sorter-cost: 1197     Base: 2 2 2 2 2 2 2 2 2 2 7
249.74	c ---[1179]---> Sorter-cost:  820     Base: 2 2 2 2 2 2 2 2 2 2 7
249.75	c ---[1177]---> Sorter-cost:  959     Base: 2 2 2 2 2 2 2 2 2 2 7
249.76	c ---[1175]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
249.77	c ---[1171]---> Adder-cost: 142   maxlim: 68608   bits: 18/17
249.79	c ---[1169]---> Adder-cost: 138   maxlim: 70656   bits: 18/17
249.81	c ---[1167]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
249.83	c ---[1165]---> Adder-cost: 300   maxlim: 165888   bits: 19/18
249.87	c ---[1163]---> Adder-cost: 102   maxlim: 165888   bits: 19/18
249.92	c ---[1161]---> Adder-cost: 264   maxlim: 151552   bits: 19/18
249.96	c ---[1159]---> Adder-cost: 96   maxlim: 151552   bits: 19/18
250.00	c ---[1157]---> Adder-cost: 120   maxlim: 65536   bits: 18/17
250.02	c ---[1155]---> Adder-cost: 107   maxlim: 58368   bits: 17/16
250.03	c ---[1153]---> Adder-cost: 148   maxlim: 81920   bits: 18/17
250.05	c ---[1151]---> Adder-cost: 108   maxlim: 60416   bits: 17/16
250.07	c ---[1149]---> Adder-cost: 194   maxlim: 108544   bits: 18/17
250.10	c ---[1147]---> Adder-cost: 78   maxlim: 108544   bits: 18/17
250.13	c ---[1145]---> Adder-cost: 178   maxlim: 111616   bits: 18/17
250.16	c ---[1143]---> Adder-cost: 124   maxlim: 99328   bits: 18/17
250.18	c ---[1141]---> Adder-cost: 70   maxlim: 99328   bits: 18/17
250.21	c ---[1139]---> Adder-cost: 124   maxlim: 101376   bits: 18/17
250.23	c ---[1137]---> Adder-cost: 162   maxlim: 112640   bits: 18/17
250.26	c ---[1135]---> Adder-cost: 144   maxlim: 78848   bits: 18/17
250.28	c ---[1133]---> Adder-cost: 142   maxlim: 79872   bits: 18/17
250.31	c ---[1131]---> Adder-cost: 126   maxlim: 74752   bits: 18/17
250.33	c ---[1129]---> Adder-cost: 124   maxlim: 73728   bits: 18/17
250.35	c ---[1127]---> Adder-cost: 112   maxlim: 65536   bits: 18/17
250.37	c ---[1125]---> Adder-cost: 116   maxlim: 66560   bits: 18/17
250.39	c ---[1123]---> Adder-cost: 124   maxlim: 66560   bits: 18/17
250.41	c ---[1121]---> Adder-cost: 118   maxlim: 59392   bits: 17/16
250.42	c ---[1119]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
250.43	c ---[1117]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
250.43	c ---[1115]---> Adder-cost: 142   maxlim: 70656   bits: 18/17
250.45	c ---[1113]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
250.46	c ---[1111]---> Sorter-cost:  534     Base: 2 2 2 2 2 2 2 2 2 2 7
250.47	c ---[1109]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
250.48	c ---[1107]---> Sorter-cost:  678     Base: 2 2 2 2 2 2 2 2 2 2 7
250.48	c ---[1105]---> Sorter-cost:  592     Base: 2 2 2 2 2 2 2 2 2 2 7
250.49	c ---[1103]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
250.50	c ---[1101]---> Sorter-cost:  442     Base: 2 2 2 2 2 2 2 2 2 2 7
250.50	c ---[1099]---> Sorter-cost:  735     Base: 2 2 2 2 2 2 2 2 2 2 7
250.51	c ---[1097]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
250.52	c ---[1095]---> Adder-cost: 154   maxlim: 74752   bits: 18/17
250.54	c ---[1093]---> Adder-cost: 138   maxlim: 75776   bits: 18/17
250.56	c ---[1091]---> Adder-cost: 106   maxlim: 76800   bits: 18/17
250.58	c ---[1089]---> Adder-cost: 108   maxlim: 54272   bits: 17/16
250.59	c ---[1087]---> Adder-cost: 86   maxlim: 63488   bits: 17/16
250.61	c ---[1085]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
250.63	c ---[1083]---> Adder-cost: 120   maxlim: 64512   bits: 17/16
250.64	c ---[1081]---> Adder-cost: 120   maxlim: 65536   bits: 18/17
250.66	c ---[1079]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
250.68	c ---[1077]---> Adder-cost: 102   maxlim: 66560   bits: 18/17
250.70	c ---[1075]---> Adder-cost: 128   maxlim: 75776   bits: 18/17
250.72	c ---[1073]---> Adder-cost: 86   maxlim: 62464   bits: 17/16
250.74	c ---[1070]---> Adder-cost: 164   maxlim: 90112   bits: 18/17
250.76	c ---[1068]---> Adder-cost: 156   maxlim: 91136   bits: 18/17
250.78	c ---[1066]---> Adder-cost: 132   maxlim: 90112   bits: 18/17
250.81	c ---[1064]---> Adder-cost: 272   maxlim: 135168   bits: 19/18
250.84	c ---[1062]---> Adder-cost: 230   maxlim: 131072   bits: 19/18
250.88	c ---[1060]---> Adder-cost: 182   maxlim: 101376   bits: 18/17
250.91	c ---[1058]---> Adder-cost: 184   maxlim: 98304   bits: 18/17
250.93	c ---[1056]---> Adder-cost: 224   maxlim: 117760   bits: 18/17
250.96	c ---[1054]---> Adder-cost: 278   maxlim: 145408   bits: 19/18
251.00	c ---[1052]---> Adder-cost: 90   maxlim: 77824   bits: 18/17
251.02	c ---[1050]---> Adder-cost: 220   maxlim: 124928   bits: 18/17
251.06	c ---[1048]---> Adder-cost: 228   maxlim: 123904   bits: 18/17
251.09	c ---[1046]---> Adder-cost: 186   maxlim: 116736   bits: 18/17
251.12	c ---[1044]---> Adder-cost: 78   maxlim: 116736   bits: 18/17
251.15	c ---[1042]---> Sorter-cost: 1078     Base: 2 2 2 2 2 2 2 2 2 2 7
251.16	c ---[1040]---> Sorter-cost:  959     Base: 2 2 2 2 2 2 2 2 2 2 7
251.17	c ---[1038]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
251.18	c ---[1036]---> Sorter-cost: 1016     Base: 2 2 2 2 2 2 2 2 2 2 7
251.19	c ---[1034]---> Sorter-cost: 1107     Base: 2 2 2 2 2 2 2 2 2 2 7
251.20	c ---[1032]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
251.21	c ---[1030]---> Adder-cost: 116   maxlim: 63488   bits: 17/16
251.22	c ---[1028]---> Sorter-cost: 1033     Base: 2 2 2 2 2 2 2 2 2 2 7
251.23	c ---[1026]---> Sorter-cost: 1202     Base: 2 2 2 2 2 2 2 2 2 2 7
251.25	c ---[1024]---> Sorter-cost: 1014     Base: 2 2 2 2 2 2 2 2 2 2 7
251.26	c ---[1022]---> Sorter-cost: 1123     Base: 2 2 2 2 2 2 2 2 2 2 7
251.27	c ---[1020]---> Adder-cost: 114   maxlim: 60416   bits: 17/16
251.28	c ---[1018]---> Adder-cost: 124   maxlim: 65536   bits: 18/17
251.30	c ---[1016]---> Adder-cost: 132   maxlim: 67584   bits: 18/17
251.32	c ---[1014]---> Adder-cost: 118   maxlim: 66560   bits: 18/17
251.34	c ---[1012]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
251.36	c ---[1010]---> Adder-cost: 144   maxlim: 73728   bits: 18/17
251.38	c ---[1008]---> Adder-cost: 184   maxlim: 101376   bits: 18/17
251.40	c ---[1006]---> Adder-cost: 140   maxlim: 84992   bits: 18/17
251.43	c ---[1004]---> Sorter-cost: 1217     Base: 2 2 2 2 2 2 2 2 2 2 7
251.44	c ---[1002]---> Adder-cost: 148   maxlim: 78848   bits: 18/17
251.46	c ---[1000]---> Adder-cost: 118   maxlim: 68608   bits: 18/17
251.48	c ---[ 998]---> Adder-cost: 174   maxlim: 91136   bits: 18/17
251.50	c ---[ 996]---> Adder-cost: 174   maxlim: 99328   bits: 18/17
251.53	c ---[ 994]---> Adder-cost: 178   maxlim: 100352   bits: 18/17
251.55	c ---[ 992]---> Sorter-cost: 1092     Base: 2 2 2 2 2 2 2 2 2 2 7
251.56	c ---[ 990]---> Adder-cost: 158   maxlim: 105472   bits: 18/17
251.59	c ---[ 988]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
251.60	c ---[ 986]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
251.61	c ---[ 984]---> Adder-cost: 100   maxlim: 55296   bits: 17/16
251.63	c ---[ 982]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
251.64	c ---[ 980]---> Adder-cost: 98   maxlim: 53248   bits: 17/16
251.66	c ---[ 978]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
251.67	c ---[ 976]---> Adder-cost: 108   maxlim: 63488   bits: 17/16
251.69	c ---[ 974]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
251.70	c ---[ 972]---> Sorter-cost:  572     Base: 2 2 2 2 2 2 2 2 2 2 7
251.71	c ---[ 970]---> Adder-cost: 106   maxlim: 61440   bits: 17/16
251.72	c ---[ 968]---> Adder-cost: 136   maxlim: 70656   bits: 18/17
251.74	c ---[ 966]---> Adder-cost: 122   maxlim: 74752   bits: 18/17
251.76	c ---[ 964]---> Adder-cost: 132   maxlim: 77824   bits: 18/17
251.78	c ---[ 962]---> Adder-cost: 198   maxlim: 110592   bits: 18/17
251.81	c ---[ 960]---> Adder-cost: 74   maxlim: 110592   bits: 18/17
251.84	c ---[ 958]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
251.85	c ---[ 956]---> Adder-cost: 146   maxlim: 91136   bits: 18/17
251.88	c ---[ 954]---> Adder-cost: 164   maxlim: 97280   bits: 18/17
251.90	c ---[ 952]---> Adder-cost: 64   maxlim: 97280   bits: 18/17
251.93	c ---[ 950]---> Adder-cost: 168   maxlim: 111616   bits: 18/17
251.96	c ---[ 948]---> Adder-cost: 72   maxlim: 111616   bits: 18/17
251.99	c ---[ 946]---> Adder-cost: 270   maxlim: 143360   bits: 19/18
252.03	c ---[ 944]---> Adder-cost: 90   maxlim: 143360   bits: 19/18
252.07	c ---[ 942]---> Adder-cost: 208   maxlim: 128000   bits: 18/17
252.10	c ---[ 940]---> Adder-cost: 78   maxlim: 128000   bits: 18/17
252.13	c ---[ 938]---> Sorter-cost:  320     Base: 2 2 2 2 2 2 2 2 2 2 7
252.13	c ---[ 936]---> Adder-cost: 224   maxlim: 118784   bits: 18/17
252.16	c ---[ 934]---> Adder-cost: 80   maxlim: 118784   bits: 18/17
252.19	c ---[ 932]---> Adder-cost: 190   maxlim: 107520   bits: 18/17
252.22	c ---[ 930]---> Adder-cost: 78   maxlim: 107520   bits: 18/17
252.25	c ---[ 928]---> Adder-cost: 270   maxlim: 151552   bits: 19/18
252.28	c ---[ 926]---> Adder-cost: 96   maxlim: 151552   bits: 19/18
252.32	c ---[ 924]---> Adder-cost: 210   maxlim: 119808   bits: 18/17
252.35	c ---[ 922]---> Adder-cost: 80   maxlim: 119808   bits: 18/17
252.38	c ---[ 920]---> Adder-cost: 184   maxlim: 117760   bits: 18/17
252.41	c ---[ 918]---> Adder-cost: 76   maxlim: 117760   bits: 18/17
252.44	c ---[ 916]---> Sorter-cost:  401     Base: 2 2 2 2 2 2 2 2 2 2 7
252.44	c ---[ 914]---> Adder-cost: 208   maxlim: 118784   bits: 18/17
252.47	c ---[ 912]---> Adder-cost: 80   maxlim: 118784   bits: 18/17
252.50	c ---[ 910]---> Adder-cost: 190   maxlim: 112640   bits: 18/17
252.53	c ---[ 908]---> Adder-cost: 74   maxlim: 112640   bits: 18/17
252.56	c ---[ 906]---> Adder-cost: 172   maxlim: 114688   bits: 18/17
252.59	c ---[ 904]---> Adder-cost: 76   maxlim: 114688   bits: 18/17
252.61	c ---[ 902]---> Adder-cost: 174   maxlim: 96256   bits: 18/17
252.64	c ---[ 900]---> Adder-cost: 68   maxlim: 96256   bits: 18/17
252.66	c ---[ 898]---> Adder-cost: 154   maxlim: 84992   bits: 18/17
252.68	c ---[ 896]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
252.71	c ---[ 894]---> Sorter-cost:  406     Base: 2 2 2 2 2 2 2 2 2 2 7
252.71	c ---[ 892]---> Adder-cost: 128   maxlim: 68608   bits: 18/17
252.73	c ---[ 890]---> Adder-cost: 138   maxlim: 72704   bits: 18/17
252.75	c ---[ 888]---> Adder-cost: 56   maxlim: 72704   bits: 18/17
252.77	c ---[ 886]---> Adder-cost: 116   maxlim: 61440   bits: 17/16
252.78	c ---[ 884]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
252.80	c ---[ 882]---> Adder-cost: 142   maxlim: 80896   bits: 18/17
252.82	c ---[ 880]---> Adder-cost: 62   maxlim: 80896   bits: 18/17
252.84	c ---[ 878]---> Adder-cost: 120   maxlim: 62464   bits: 17/16
252.85	c ---[ 876]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
252.87	c ---[ 874]---> Sorter-cost:  400     Base: 2 2 2 2 2 2 2 2 2 2 7
252.87	c ---[ 872]---> Adder-cost: 110   maxlim: 60416   bits: 17/16
252.89	c ---[ 870]---> Adder-cost: 48   maxlim: 60416   bits: 17/16
252.90	c ---[ 868]---> Adder-cost: 138   maxlim: 88064   bits: 18/17
252.93	c ---[ 866]---> Adder-cost: 68   maxlim: 88064   bits: 18/17
252.95	c ---[ 864]---> Adder-cost: 124   maxlim: 91136   bits: 18/17
252.97	c ---[ 862]---> Adder-cost: 72   maxlim: 91136   bits: 18/17
252.99	c ---[ 860]---> Adder-cost: 204   maxlim: 121856   bits: 18/17
253.02	c ---[ 858]---> Adder-cost: 80   maxlim: 121856   bits: 18/17
253.05	c ---[ 856]---> Adder-cost: 80   maxlim: 121856   bits: 18/17
253.08	c ---[ 854]---> Adder-cost: 80   maxlim: 121856   bits: 18/17
253.11	c ---[ 852]---> Adder-cost: 160   maxlim: 118784   bits: 18/17
253.14	c ---[ 848]---> Adder-cost: 140   maxlim: 71680   bits: 18/17
253.16	c ---[ 846]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
253.18	c ---[ 844]---> Adder-cost: 128   maxlim: 66560   bits: 18/17
253.20	c ---[ 842]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
253.22	c ---[ 840]---> Adder-cost: 110   maxlim: 66560   bits: 18/17
253.24	c ---[ 838]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
253.26	c ---[ 836]---> Adder-cost: 156   maxlim: 76800   bits: 18/17
253.28	c ---[ 834]---> Sorter-cost:  653     Base: 2 2 2 2 2 2 2 2 2 2 7
253.28	c ---[ 832]---> Adder-cost: 94   maxlim: 74752   bits: 18/17
253.30	c ---[ 830]---> Sorter-cost:  884     Base: 2 2 2 2 2 2 2 2 2 2 7
253.31	c ---[ 828]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
253.32	c ---[ 826]---> Sorter-cost:  854     Base: 2 2 2 2 2 2 2 2 2 2 7
253.33	c ---[ 824]---> Sorter-cost:  689     Base: 2 2 2 2 2 2 2 2 2 2 7
253.34	c ---[ 822]---> Adder-cost: 154   maxlim: 77824   bits: 18/17
253.36	c ---[ 820]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
253.38	c ---[ 818]---> Adder-cost: 130   maxlim: 68608   bits: 18/17
253.40	c ---[ 816]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
253.42	c ---[ 814]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
253.43	c ---[ 812]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
253.44	c ---[ 810]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
253.45	c ---[ 808]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
253.47	c ---[ 806]---> Sorter-cost:  315     Base: 2 2 2 2 2 2 2 2 2 2 2
253.47	c ---[ 804]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
253.48	c ---[ 802]---> Sorter-cost:  888     Base: 2 2 2 2 2 2 2 2 2 2 7
253.48	c ---[ 800]---> Sorter-cost:  642     Base: 2 2 2 2 2 2 2 2 2 2 7
253.49	c ---[ 798]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
253.50	c ---[ 796]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
253.51	c ---[ 794]---> Adder-cost: 168   maxlim: 89088   bits: 18/17
253.54	c ---[ 792]---> Adder-cost: 192   maxlim: 101376   bits: 18/17
253.56	c ---[ 790]---> Adder-cost: 116   maxlim: 62464   bits: 17/16
253.58	c ---[ 788]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
253.59	c ---[ 786]---> Adder-cost: 138   maxlim: 67584   bits: 18/17
253.61	c ---[ 784]---> Adder-cost: 140   maxlim: 72704   bits: 18/17
253.63	c ---[ 782]---> Adder-cost: 112   maxlim: 75776   bits: 18/17
253.65	c ---[ 780]---> Adder-cost: 212   maxlim: 110592   bits: 18/17
253.67	c ---[ 778]---> Adder-cost: 74   maxlim: 110592   bits: 18/17
253.70	c ---[ 776]---> Adder-cost: 212   maxlim: 125952   bits: 18/17
253.73	c ---[ 774]---> Adder-cost: 78   maxlim: 125952   bits: 18/17
253.76	c ---[ 772]---> Sorter-cost:  615     Base: 2 2 2 2 2 2 2 2 2 2 7
253.77	c ---[ 770]---> Adder-cost: 132   maxlim: 70656   bits: 18/17
253.79	c ---[ 768]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
253.81	c ---[ 766]---> Adder-cost: 174   maxlim: 88064   bits: 18/17
253.83	c ---[ 764]---> Adder-cost: 68   maxlim: 88064   bits: 18/17
253.85	c ---[ 762]---> Adder-cost: 186   maxlim: 100352   bits: 18/17
253.88	c ---[ 760]---> Adder-cost: 72   maxlim: 100352   bits: 18/17
253.90	c ---[ 758]---> Adder-cost: 150   maxlim: 92160   bits: 18/17
253.93	c ---[ 756]---> Adder-cost: 66   maxlim: 92160   bits: 18/17
253.95	c ---[ 754]---> Adder-cost: 110   maxlim: 96256   bits: 18/17
253.97	c ---[ 752]---> Adder-cost: 68   maxlim: 96256   bits: 18/17
254.00	c ---[ 750]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
254.01	c ---[ 747]---> Adder-cost: 98   maxlim: 56320   bits: 17/16
254.02	c ---[ 745]---> Adder-cost: 102   maxlim: 62464   bits: 17/16
254.04	c ---[ 743]---> Adder-cost: 106   maxlim: 59392   bits: 17/16
254.05	c ---[ 741]---> Sorter-cost:  574     Base: 2 2 2 2 2 2 2 2 2 2 7
254.06	c ---[ 739]---> Sorter-cost:  880     Base: 2 2 2 2 2 2 2 2 2 2 7
254.07	c ---[ 736]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
254.07	c ---[ 734]---> Sorter-cost: 1078     Base: 2 2 2 2 2 2 2 2 2 2 7
254.08	c ---[ 732]---> Sorter-cost: 1045     Base: 2 2 2 2 2 2 2 2 2 2 7
254.09	c ---[ 730]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
254.10	c ---[ 728]---> Adder-cost: 170   maxlim: 86016   bits: 18/17
254.12	c ---[ 726]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
254.15	c ---[ 724]---> Adder-cost: 166   maxlim: 88064   bits: 18/17
254.17	c ---[ 721]---> Adder-cost: 68   maxlim: 88064   bits: 18/17
254.19	c ---[ 719]---> Sorter-cost: 1248     Base: 2 2 2 2 2 2 2 2 2 2 7
254.20	c ---[ 717]---> Adder-cost: 100   maxlim: 52224   bits: 17/16
254.21	c ---[ 715]---> Adder-cost: 172   maxlim: 93184   bits: 18/17
254.24	c ---[ 712]---> Sorter-cost: 1283     Base: 2 2 2 2 2 2 2 2 2 2 7
254.25	c ---[ 710]---> Sorter-cost: 1249     Base: 2 2 2 2 2 2 2 2 2 2 7
254.26	c ---[ 708]---> Sorter-cost:  967     Base: 2 2 2 2 2 2 2 2 2 2 7
254.27	c ---[ 706]---> Adder-cost: 74   maxlim: 54272   bits: 17/16
254.28	c ---[ 704]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
254.29	c ---[ 702]---> Sorter-cost: 1047     Base: 2 2 2 2 2 2 2 2 2 2 7
254.30	c ---[ 700]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
254.31	c ---[ 698]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
254.32	c ---[ 696]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
254.33	c ---[ 694]---> Adder-cost: 202   maxlim: 102400   bits: 18/17
254.36	c ---[ 692]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
254.38	c ---[ 690]---> Adder-cost: 184   maxlim: 102400   bits: 18/17
254.41	c ---[ 688]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
254.43	c ---[ 686]---> Adder-cost: 142   maxlim: 89088   bits: 18/17
254.46	c ---[ 684]---> Sorter-cost:  422     Base: 2 2 2 2 2 2 2 2 2 2 7
254.46	c ---[ 682]---> Adder-cost: 122   maxlim: 83968   bits: 18/17
254.48	c ---[ 680]---> Adder-cost: 242   maxlim: 124928   bits: 18/17
254.51	c ---[ 678]---> Adder-cost: 138   maxlim: 122880   bits: 18/17
254.55	c ---[ 676]---> Sorter-cost:  927     Base: 2 2 2 2 2 2 2 2 2 2 7
254.55	c ---[ 674]---> Sorter-cost:  915     Base: 2 2 2 2 2 2 2 2 2 2 7
254.56	c ---[ 672]---> Adder-cost: 100   maxlim: 52224   bits: 17/16
254.58	c ---[ 670]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
254.59	c ---[ 668]---> Sorter-cost: 1022     Base: 2 2 2 2 2 2 2 2 2 2 7
254.60	c ---[ 666]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
254.61	c ---[ 664]---> Sorter-cost: 1281     Base: 2 2 2 2 2 2 2 2 2 2 7
254.62	c ---[ 662]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
254.62	c ---[ 660]---> Adder-cost: 94   maxlim: 52224   bits: 17/16
254.64	c ---[ 658]---> Sorter-cost:  890     Base: 2 2 2 2 2 2 2 2 2 2 7
254.65	c ---[ 656]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
254.65	c ---[ 654]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
254.66	c ---[ 652]---> Sorter-cost:  743     Base: 2 2 2 2 2 2 2 2 2 2 7
254.67	c ---[ 649]---> Adder-cost: 144   maxlim: 80896   bits: 18/17
254.69	c ---[ 647]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
254.70	c ---[ 645]---> Sorter-cost:  545     Base: 2 2 2 2 2 2 2 2 2 2 7
254.71	c ---[ 643]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
254.72	c ---[ 641]---> Sorter-cost: 1243     Base: 2 2 2 2 2 2 2 2 2 2 7
254.73	c ---[ 639]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
254.74	c ---[ 637]---> Adder-cost: 104   maxlim: 57344   bits: 17/16
254.76	c ---[ 635]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
254.77	c ---[ 633]---> Adder-cost: 172   maxlim: 83968   bits: 18/17
254.79	c ---[ 631]---> Adder-cost: 68   maxlim: 83968   bits: 18/17
254.81	c ---[ 629]---> Adder-cost: 150   maxlim: 76800   bits: 18/17
254.83	c ---[ 627]---> Adder-cost: 62   maxlim: 76800   bits: 18/17
254.85	c ---[ 625]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
254.86	c ---[ 623]---> Sorter-cost:  502     Base: 2 2 2 2 2 2 2 2 2 2 7
254.87	c ---[ 621]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
254.88	c ---[ 619]---> Sorter-cost: 1125     Base: 2 2 2 2 2 2 2 2 2 2 7
254.89	c ---[ 617]---> Sorter-cost: 1033     Base: 2 2 2 2 2 2 2 2 2 2 7
254.90	c ---[ 613]---> Adder-cost: 198   maxlim: 105472   bits: 18/17
254.93	c ---[ 611]---> Adder-cost: 74   maxlim: 105472   bits: 18/17
254.95	c ---[ 609]---> Adder-cost: 152   maxlim: 103424   bits: 18/17
254.98	c ---[ 607]---> Adder-cost: 76   maxlim: 103424   bits: 18/17
255.00	c ---[ 605]---> Adder-cost: 166   maxlim: 89088   bits: 18/17
255.03	c ---[ 603]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
255.03	c ---[ 600]---> Adder-cost: 184   maxlim: 99328   bits: 18/17
255.06	c ---[ 596]---> Sorter-cost: 1182     Base: 2 2 2 2 2 2 2 2 2 2 7
255.07	c ---[ 594]---> Sorter-cost: 1173     Base: 2 2 2 2 2 2 2 2 2 2 7
255.08	c ---[ 592]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
255.09	c ---[ 590]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
255.10	c ---[ 588]---> Adder-cost: 118   maxlim: 62464   bits: 17/16
255.12	c ---[ 586]---> Adder-cost: 100   maxlim: 57344   bits: 17/16
255.13	c ---[ 584]---> Sorter-cost:  648     Base: 2 2 2 2 2 2 2 2 2 2 7
255.14	c ---[ 582]---> Adder-cost: 100   maxlim: 51200   bits: 17/16
255.15	c ---[ 580]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
255.16	c ---[ 578]---> Sorter-cost:  989     Base: 2 2 2 2 2 2 2 2 2 2 7
255.17	c ---[ 576]---> Sorter-cost:  845     Base: 2 2 2 2 2 2 2 2 2 2 7
255.18	c ---[ 574]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
255.19	c ---[ 572]---> Sorter-cost: 1277     Base: 2 2 2 2 2 2 2 2 2 2 7
255.21	c ---[ 570]---> Sorter-cost: 1164     Base: 2 2 2 2 2 2 2 2 2 2 7
255.22	c ---[ 568]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
255.23	c ---[ 566]---> Adder-cost: 174   maxlim: 89088   bits: 18/17
255.25	c ---[ 564]---> Adder-cost: 68   maxlim: 89088   bits: 18/17
255.27	c ---[ 562]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
255.28	c ---[ 560]---> Adder-cost: 160   maxlim: 92160   bits: 18/17
255.30	c ---[ 558]---> Adder-cost: 66   maxlim: 92160   bits: 18/17
255.33	c ---[ 556]---> Adder-cost: 160   maxlim: 81920   bits: 18/17
255.35	c ---[ 553]---> Sorter-cost: 1211     Base: 2 2 2 2 2 2 2 2 2 2 7
255.36	c ---[ 551]---> Adder-cost: 102   maxlim: 53248   bits: 17/16
255.37	c ---[ 549]---> Adder-cost: 100   maxlim: 60416   bits: 17/16
255.39	c ---[ 547]---> Sorter-cost: 1026     Base: 2 2 2 2 2 2 2 2 2 2 7
255.40	c ---[ 545]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
255.41	c ---[ 543]---> Sorter-cost: 1024     Base: 2 2 2 2 2 2 2 2 2 2 7
255.42	c ---[ 541]---> Sorter-cost: 1024     Base: 2 2 2 2 2 2 2 2 2 2 7
255.43	c ---[ 539]---> Sorter-cost: 1022     Base: 2 2 2 2 2 2 2 2 2 2 7
255.44	c ---[ 537]---> Adder-cost: 208   maxlim: 105472   bits: 18/17
255.46	c ---[ 535]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
255.47	c ---[ 533]---> Adder-cost: 202   maxlim: 107520   bits: 18/17
255.50	c ---[ 531]---> Adder-cost: 156   maxlim: 86016   bits: 18/17
255.52	c ---[ 529]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
255.54	c ---[ 527]---> Adder-cost: 224   maxlim: 114688   bits: 18/17
255.57	c ---[ 525]---> Adder-cost: 76   maxlim: 114688   bits: 18/17
255.60	c ---[ 523]---> Adder-cost: 140   maxlim: 69632   bits: 18/17
255.62	c ---[ 521]---> Adder-cost: 214   maxlim: 111616   bits: 18/17
255.64	c ---[ 519]---> Adder-cost: 72   maxlim: 111616   bits: 18/17
255.67	c ---[ 517]---> Sorter-cost:  583     Base: 2 2 2 2 2 2 2 2 2 2 7
255.68	c ---[ 515]---> Adder-cost: 192   maxlim: 113664   bits: 18/17
255.71	c ---[ 513]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
255.73	c ---[ 511]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
255.76	c ---[ 508]---> Adder-cost: 130   maxlim: 67584   bits: 18/17
255.78	c ---[ 506]---> Adder-cost: 78   maxlim: 51200   bits: 17/16
255.79	c ---[ 504]---> Sorter-cost: 1246     Base: 2 2 2 2 2 2 2 2 2 2 7
255.80	c ---[ 502]---> Adder-cost: 160   maxlim: 82944   bits: 18/17
255.83	c ---[ 500]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
255.83	c ---[ 498]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
255.84	c ---[ 496]---> Sorter-cost:  373     Base: 2 2 2 2 2 2 2 2 2 2 7
255.84	c ---[ 494]---> Sorter-cost:  981     Base: 2 2 2 2 2 2 2 2 2 2 7
255.85	c ---[ 492]---> Sorter-cost:  903     Base: 2 2 2 2 2 2 2 2 2 2 7
255.86	c ---[ 490]---> Adder-cost: 154   maxlim: 77824   bits: 18/17
255.88	c ---[ 488]---> Adder-cost: 118   maxlim: 57344   bits: 17/16
255.89	c ---[ 486]---> Adder-cost: 116   maxlim: 74752   bits: 18/17
255.91	c ---[ 484]---> Adder-cost: 134   maxlim: 65536   bits: 18/17
255.93	c ---[ 482]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
255.95	c ---[ 480]---> Adder-cost: 108   maxlim: 60416   bits: 17/16
255.96	c ---[ 478]---> Adder-cost: 48   maxlim: 60416   bits: 17/16
255.98	c ---[ 476]---> Adder-cost: 172   maxlim: 84992   bits: 18/17
256.00	c ---[ 474]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
256.02	c ---[ 472]---> Adder-cost: 262   maxlim: 133120   bits: 19/18
256.05	c ---[ 470]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
256.07	c ---[ 468]---> Adder-cost: 88   maxlim: 133120   bits: 19/18
256.10	c ---[ 466]---> Adder-cost: 200   maxlim: 119808   bits: 18/17
256.13	c ---[ 464]---> Adder-cost: 80   maxlim: 119808   bits: 18/17
256.16	c ---[ 460]---> Sorter-cost: 1080     Base: 2 2 2 2 2 2 2 2 2 2 7
256.17	c ---[ 458]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
256.18	c ---[ 456]---> Sorter-cost: 1053     Base: 2 2 2 2 2 2 2 2 2 2 7
256.19	c ---[ 454]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
256.20	c ---[ 452]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
256.21	c ---[ 450]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
256.22	c ---[ 448]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
256.23	c ---[ 446]---> Adder-cost: 124   maxlim: 63488   bits: 17/16
256.25	c ---[ 444]---> Adder-cost: 122   maxlim: 63488   bits: 17/16
256.26	c ---[ 442]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
256.27	c ---[ 440]---> Sorter-cost: 1069     Base: 2 2 2 2 2 2 2 2 2 2 7
256.28	c ---[ 438]---> Sorter-cost: 1105     Base: 2 2 2 2 2 2 2 2 2 2 7
256.29	c ---[ 436]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
256.30	c ---[ 434]---> Adder-cost: 66   maxlim: 62464   bits: 17/16
256.31	c ---[ 432]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
256.32	c ---[ 430]---> Sorter-cost:  688     Base: 2 2 2 2 2 2 2 2 2 2 7
256.33	c ---[ 428]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
256.33	c ---[ 426]---> Sorter-cost:  462     Base: 2 2 2 2 2 2 2 2 2 2 7
256.34	c ---[ 424]---> Sorter-cost:  617     Base: 2 2 2 2 2 2 2 2 2 2 7
256.35	c ---[ 422]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
256.35	c ---[ 420]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
256.36	c ---[ 418]---> Adder-cost: 208   maxlim: 105472   bits: 18/17
256.39	c ---[ 416]---> Adder-cost: 108   maxlim: 67584   bits: 18/17
256.41	c ---[ 414]---> Adder-cost: 74   maxlim: 105472   bits: 18/17
256.43	c ---[ 412]---> Adder-cost: 216   maxlim: 106496   bits: 18/17
256.46	c ---[ 410]---> Adder-cost: 78   maxlim: 106496   bits: 18/17
256.49	c ---[ 407]---> Adder-cost: 134   maxlim: 67584   bits: 18/17
256.50	c ---[ 405]---> Adder-cost: 108   maxlim: 63488   bits: 17/16
256.52	c ---[ 403]---> Sorter-cost: 1026     Base: 2 2 2 2 2 2 2 2 2 2 7
256.53	c ---[ 401]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
256.55	c ---[ 399]---> Sorter-cost: 1058     Base: 2 2 2 2 2 2 2 2 2 2 7
256.56	c ---[ 397]---> Sorter-cost: 1031     Base: 2 2 2 2 2 2 2 2 2 2 7
256.57	c ---[ 395]---> Sorter-cost: 1144     Base: 2 2 2 2 2 2 2 2 2 2 7
256.58	c ---[ 393]---> Sorter-cost: 1208     Base: 2 2 2 2 2 2 2 2 2 2 7
256.59	c ---[ 391]---> Sorter-cost: 1265     Base: 2 2 2 2 2 2 2 2 2 2 7
256.60	c ---[ 389]---> Adder-cost: 170   maxlim: 89088   bits: 18/17
256.62	c ---[ 387]---> Adder-cost: 100   maxlim: 52224   bits: 17/16
256.64	c ---[ 385]---> Adder-cost: 92   maxlim: 51200   bits: 17/16
256.65	c ---[ 383]---> Adder-cost: 108   maxlim: 54272   bits: 17/16
256.66	c ---[ 381]---> Adder-cost: 100   maxlim: 62464   bits: 17/16
256.68	c ---[ 379]---> Adder-cost: 100   maxlim: 60416   bits: 17/16
256.69	c ---[ 377]---> Adder-cost: 68   maxlim: 89088   bits: 18/17
256.71	c ---[ 375]---> Adder-cost: 152   maxlim: 76800   bits: 18/17
256.73	c ---[ 373]---> Adder-cost: 154   maxlim: 81920   bits: 18/17
256.75	c ---[ 371]---> Adder-cost: 148   maxlim: 82944   bits: 18/17
256.77	c ---[ 369]---> Adder-cost: 216   maxlim: 120832   bits: 18/17
256.80	c ---[ 367]---> Adder-cost: 80   maxlim: 120832   bits: 18/17
256.83	c ---[ 365]---> Adder-cost: 186   maxlim: 113664   bits: 18/17
256.86	c ---[ 363]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
256.89	c ---[ 361]---> Adder-cost: 152   maxlim: 92160   bits: 18/17
256.91	c ---[ 359]---> Adder-cost: 206   maxlim: 128000   bits: 18/17
256.94	c ---[ 357]---> Adder-cost: 78   maxlim: 128000   bits: 18/17
256.98	c ---[ 355]---> Adder-cost: 192   maxlim: 121856   bits: 18/17
257.01	c ---[ 353]---> Adder-cost: 80   maxlim: 121856   bits: 18/17
257.04	c ---[ 351]---> Adder-cost: 194   maxlim: 134144   bits: 19/18
257.07	c ---[ 349]---> Adder-cost: 84   maxlim: 134144   bits: 19/18
257.10	c ---[ 347]---> Adder-cost: 180   maxlim: 130048   bits: 18/17
257.14	c ---[ 345]---> Adder-cost: 74   maxlim: 130048   bits: 18/17
257.17	c ---[ 343]---> Adder-cost: 128   maxlim: 76800   bits: 18/17
257.19	c ---[ 341]---> Adder-cost: 62   maxlim: 76800   bits: 18/17
257.21	c ---[ 339]---> Adder-cost: 130   maxlim: 91136   bits: 18/17
257.23	c ---[ 337]---> Adder-cost: 106   maxlim: 79872   bits: 18/17
257.25	c ---[ 335]---> Adder-cost: 62   maxlim: 79872   bits: 18/17
257.27	c ---[ 333]---> Sorter-cost: 1131     Base: 2 2 2 2 2 2 2 2 2 2 7
257.28	c ---[ 331]---> Adder-cost: 118   maxlim: 64512   bits: 17/16
257.30	c ---[ 329]---> Adder-cost: 220   maxlim: 119808   bits: 18/17
257.33	c ---[ 327]---> Adder-cost: 176   maxlim: 94208   bits: 18/17
257.35	c ---[ 325]---> Sorter-cost: 1281     Base: 2 2 2 2 2 2 2 2 2 2 7
257.36	c ---[ 323]---> Adder-cost: 194   maxlim: 104448   bits: 18/17
257.39	c ---[ 321]---> Adder-cost: 74   maxlim: 104448   bits: 18/17
257.41	c ---[ 319]---> Adder-cost: 166   maxlim: 86016   bits: 18/17
257.43	c ---[ 317]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
257.46	c ---[ 315]---> Adder-cost: 174   maxlim: 95232   bits: 18/17
257.48	c ---[ 313]---> Adder-cost: 70   maxlim: 95232   bits: 18/17
257.51	c ---[ 311]---> Adder-cost: 190   maxlim: 111616   bits: 18/17
257.53	c ---[ 309]---> Adder-cost: 72   maxlim: 111616   bits: 18/17
257.56	c ---[ 307]---> Adder-cost: 200   maxlim: 129024   bits: 18/17
257.59	c ---[ 305]---> Adder-cost: 76   maxlim: 129024   bits: 18/17
257.62	c ---[ 303]---> Sorter-cost: 1017     Base: 2 2 2 2 2 2 2 2 2 2 7
257.63	c ---[ 301]---> Adder-cost: 176   maxlim: 117760   bits: 18/17
257.66	c ---[ 299]---> Adder-cost: 76   maxlim: 117760   bits: 18/17
257.69	c ---[ 297]---> Adder-cost: 214   maxlim: 128000   bits: 18/17
257.72	c ---[ 295]---> Adder-cost: 264   maxlim: 143360   bits: 19/18
257.76	c ---[ 293]---> Adder-cost: 478   maxlim: 265216   bits: 20/19
257.82	c ---[ 291]---> Adder-cost: 138   maxlim: 265216   bits: 20/19
257.89	c ---[ 289]---> Adder-cost: 446   maxlim: 269312   bits: 20/19
257.96	c ---[ 287]---> Adder-cost: 144   maxlim: 269312   bits: 20/19
258.03	c ---[ 285]---> Adder-cost: 148   maxlim: 78848   bits: 18/17
258.05	c ---[ 283]---> Adder-cost: 460   maxlim: 284672   bits: 20/19
258.13	c ---[ 281]---> Adder-cost: 140   maxlim: 284672   bits: 20/19
258.20	c ---[ 279]---> Adder-cost: 390   maxlim: 276480   bits: 20/19
258.27	c ---[ 277]---> Adder-cost: 138   maxlim: 276480   bits: 20/19
258.34	c ---[ 275]---> Adder-cost: 388   maxlim: 277504   bits: 20/19
258.41	c ---[ 273]---> Adder-cost: 136   maxlim: 277504   bits: 20/19
258.48	c ---[ 271]---> Adder-cost: 322   maxlim: 253952   bits: 19/18
258.54	c ---[ 269]---> Adder-cost: 132   maxlim: 253952   bits: 19/18
258.60	c ---[ 267]---> Adder-cost: 372   maxlim: 248832   bits: 19/18
258.66	c ---[ 265]---> Adder-cost: 128   maxlim: 248832   bits: 19/18
258.72	c ---[ 263]---> Adder-cost: 104   maxlim: 78848   bits: 18/17
258.74	c ---[ 261]---> Adder-cost: 324   maxlim: 252928   bits: 19/18
258.80	c ---[ 259]---> Adder-cost: 126   maxlim: 252928   bits: 19/18
258.86	c ---[ 257]---> Adder-cost: 258   maxlim: 249856   bits: 19/18
258.92	c ---[ 255]---> Adder-cost: 130   maxlim: 249856   bits: 19/18
258.97	c ---[ 253]---> Adder-cost: 130   maxlim: 249856   bits: 19/18
259.03	c ---[ 251]---> Adder-cost: 130   maxlim: 249856   bits: 19/18
259.09	c ---[ 249]---> Adder-cost: 164   maxlim: 239616   bits: 19/18
259.15	c ---[ 246]---> Adder-cost: 202   maxlim: 108544   bits: 18/17
259.18	c ---[ 244]---> Adder-cost: 116   maxlim: 65536   bits: 18/17
259.19	c ---[ 242]---> Adder-cost: 166   maxlim: 91136   bits: 18/17
259.22	c ---[ 240]---> Adder-cost: 78   maxlim: 108544   bits: 18/17
259.24	c ---[ 238]---> Adder-cost: 220   maxlim: 119808   bits: 18/17
259.27	c ---[ 236]---> Adder-cost: 146   maxlim: 118784   bits: 18/17
259.30	c ---[ 234]---> Adder-cost: 134   maxlim: 121856   bits: 18/17
259.33	c ---[ 232]---> Adder-cost: 116   maxlim: 120832   bits: 18/17
259.36	c ---[ 230]---> Adder-cost: 162   maxlim: 97280   bits: 18/17
259.39	c ---[ 228]---> Adder-cost: 228   maxlim: 125952   bits: 18/17
259.42	c ---[ 226]---> Adder-cost: 182   maxlim: 109568   bits: 18/17
259.44	c ---[ 224]---> Adder-cost: 142   maxlim: 90112   bits: 18/17
259.47	c ---[ 222]---> Adder-cost: 216   maxlim: 113664   bits: 18/17
259.50	c ---[ 220]---> Adder-cost: 278   maxlim: 160768   bits: 19/18
259.53	c ---[ 218]---> Adder-cost: 232   maxlim: 156672   bits: 19/18
259.57	c ---[ 216]---> Adder-cost: 218   maxlim: 122880   bits: 18/17
259.60	c ---[ 213]---> Adder-cost: 118   maxlim: 61440   bits: 17/16
259.62	c ---[ 211]---> Adder-cost: 136   maxlim: 71680   bits: 18/17
259.64	c ---[ 209]---> Adder-cost: 194   maxlim: 107520   bits: 18/17
259.66	c ---[ 207]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
259.68	c ---[ 205]---> Adder-cost: 119   maxlim: 63488   bits: 17/16
259.70	c ---[ 203]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
259.71	c ---[ 199]---> Adder-cost: 248   maxlim: 134144   bits: 19/18
259.75	c ---[ 196]---> Adder-cost: 160   maxlim: 94208   bits: 18/17
259.77	c ---[ 192]---> Adder-cost: 178   maxlim: 108544   bits: 18/17
259.80	c ---[ 190]---> Adder-cost: 118   maxlim: 59392   bits: 17/16
259.81	c ---[ 188]---> Adder-cost: 112   maxlim: 57344   bits: 17/16
259.82	c ---[ 184]---> Adder-cost: 130   maxlim: 67584   bits: 18/17
259.84	c ---[ 182]---> Adder-cost: 156   maxlim: 99328   bits: 18/17
259.87	c ---[ 180]---> Adder-cost: 112   maxlim: 77824   bits: 18/17
259.89	c ---[ 178]---> Adder-cost: 176   maxlim: 98304   bits: 18/17
259.91	c ---[ 176]---> Adder-cost: 194   maxlim: 112640   bits: 18/17
259.94	c ---[ 174]---> Sorter-cost: 1217     Base: 2 2 2 2 2 2 2 2 2 2 7
259.95	c ---[ 172]---> Sorter-cost:  403     Base: 2 2 2 2 2 2 2 2 2 2 7
259.96	c ---[ 170]---> Sorter-cost:  437     Base: 2 2 2 2 2 2 2 2 2 2 7
259.96	c ---[ 168]---> Sorter-cost:  432     Base: 2 2 2 2 2 2 2 2 2 2 7
259.97	c ---[ 166]---> Adder-cost: 154   maxlim: 97280   bits: 18/17
259.99	c ---[ 164]---> Adder-cost: 144   maxlim: 76800   bits: 18/17
260.01	c ---[ 162]---> Adder-cost: 230   maxlim: 122880   bits: 18/17
260.04	c ---[ 160]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
260.07	c ---[ 158]---> Adder-cost: 168   maxlim: 118784   bits: 18/17
260.10	c ---[ 156]---> Adder-cost: 80   maxlim: 118784   bits: 18/17
260.13	c ---[ 154]---> Adder-cost: 158   maxlim: 81920   bits: 18/17
260.15	c ---[ 152]---> Adder-cost: 128   maxlim: 66560   bits: 18/17
260.17	c ---[ 150]---> Adder-cost: 118   maxlim: 88064   bits: 18/17
260.20	c ---[ 148]---> Adder-cost: 118   maxlim: 57344   bits: 17/16
260.21	c ---[ 146]---> Adder-cost: 182   maxlim: 91136   bits: 18/17
260.24	c ---[ 144]---> Adder-cost: 72   maxlim: 91136   bits: 18/17
260.26	c ---[ 142]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
260.27	c ---[ 140]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
260.29	c ---[ 138]---> Adder-cost: 98   maxlim: 51200   bits: 17/16
260.30	c ---[ 136]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
260.32	c ---[ 134]---> Adder-cost: 118   maxlim: 60416   bits: 17/16
260.33	c ---[ 132]---> Adder-cost: 48   maxlim: 60416   bits: 17/16
260.35	c ---[ 130]---> Adder-cost: 68   maxlim: 88064   bits: 18/17
260.37	c ---[ 128]---> Adder-cost: 216   maxlim: 111616   bits: 18/17
260.40	c ---[ 124]---> Sorter-cost:  676     Base: 2 2 2 2 2 2 2 2 2 2 7
260.40	c ---[ 122]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
260.41	c ---[ 120]---> Sorter-cost:  367     Base: 2 2 2 2 2 2 2 2 2 2 7
260.41	c ---[ 118]---> Sorter-cost:  384     Base: 2 2 2 2 2 2 2 2 2 2 7
260.42	c ---[ 116]---> Sorter-cost:  569     Base: 2 2 2 2 2 2 2 2 2 2 7
260.42	c ---[ 114]---> Adder-cost: 162   maxlim: 88064   bits: 18/17
260.45	c ---[ 112]---> Adder-cost: 164   maxlim: 87040   bits: 18/17
260.47	c ---[ 110]---> Adder-cost: 188   maxlim: 104448   bits: 18/17
260.50	c ---[ 108]---> Adder-cost: 174   maxlim: 95232   bits: 18/17
260.52	c ---[ 106]---> Adder-cost: 170   maxlim: 94208   bits: 18/17
260.55	c ---[ 104]---> Sorter-cost:  315     Base: 2 2 2 2 2 2 2 2 2 2 2
260.55	c ---[ 102]---> Sorter-cost: 1083     Base: 2 2 2 2 2 2 2 2 2 2 7
260.56	c ---[ 100]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
260.57	c ---[  98]---> Adder-cost: 104   maxlim: 55296   bits: 17/16
260.59	c ---[  96]---> Adder-cost: 136   maxlim: 67584   bits: 18/17
260.61	c ---[  94]---> Adder-cost: 116   maxlim: 64512   bits: 17/16
260.62	c ---[  92]---> Adder-cost: 120   maxlim: 69632   bits: 18/17
260.64	c ---[  90]---> Adder-cost: 66   maxlim: 87040   bits: 18/17
260.67	c ---[  88]---> Adder-cost: 166   maxlim: 89088   bits: 18/17
260.69	c ---[  86]---> Adder-cost: 174   maxlim: 97280   bits: 18/17
260.72	c ---[  84]---> Adder-cost: 146   maxlim: 77824   bits: 18/17
260.74	c ---[  82]---> Adder-cost: 112   maxlim: 60416   bits: 17/16
260.75	c ---[  80]---> Adder-cost: 100   maxlim: 56320   bits: 17/16
260.77	c ---[  78]---> Adder-cost: 106   maxlim: 53248   bits: 17/16
260.78	c ---[  76]---> Sorter-cost: 1182     Base: 2 2 2 2 2 2 2 2 2 2 7
260.79	c ---[  74]---> Sorter-cost: 1243     Base: 2 2 2 2 2 2 2 2 2 2 7
260.80	c ---[  72]---> Adder-cost: 100   maxlim: 53248   bits: 17/16
260.82	c ---[  70]---> Adder-cost: 242   maxlim: 155648   bits: 19/18
260.86	c ---[  69]---> 
1801.23	c *** TERMINATED ***
1801.23	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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/node73/watcher-35709-1149307021 -o ROOT/results/node73/solver-35709-1149307021 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node73/35709-1149307021/instance-35709-1149307021.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1849528/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=1180 CPUtime=0
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 130 0 0 0 0 0 0 0 18 0 1 0 196366854 1208320 115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21985/statm: 295 115 67 215 0 77 0

[startup+10.0024 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1802744/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=50064 CPUtime=9.99
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 15982 0 0 0 990 9 0 0 25 0 1 0 196366854 51265536 11801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21985/statm: 12516 11801 109 215 0 12298 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 50064

[startup+20.0094 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1789944/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=64348 CPUtime=19.97
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 20335 0 0 0 1985 12 0 0 25 0 1 0 196366854 65892352 15000 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005842 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 16087 15000 109 215 0 15869 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 64348

[startup+30.0162 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1769784/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=83048 CPUtime=29.93
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 26999 0 0 0 2977 16 0 0 25 0 1 0 196366854 85041152 19992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 20762 19992 109 215 0 20544 0
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 83048

[startup+40.0221 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1717304/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=142428 CPUtime=39.93
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 43279 0 0 0 3970 23 0 0 25 0 1 0 196366854 145846272 33145 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35607 33145 109 215 0 35389 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 142428

[startup+50.0281 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718456/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=49.93
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 4969 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 141388

[startup+60.0341 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718456/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=59.94
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 5970 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 141388

[startup+70.04 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718456/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=69.94
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 6970 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005838 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 141388

[startup+80.046 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718456/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=79.94
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 7970 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811752 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 141388

[startup+90.052 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718456/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=89.94
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 8970 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679907 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 89.94
Current children cumulated vsize (Kb) 141388

[startup+100.058 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718392/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=99.95
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 9971 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012160 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 141388

[startup+110.064 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718392/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=109.95
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 10971 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530448 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 141388

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718392/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=119.95
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 11971 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005791 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 141388

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718392/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=129.95
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 12971 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 141388

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1718392/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=141388 CPUtime=139.96
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 13972 24 0 0 25 0 1 0 196366854 144781312 32869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005815 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 35347 32869 109 215 0 35129 0
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 141388

[startup+150.091 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1719736/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=139744 CPUtime=149.96
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 14972 24 0 0 25 0 1 0 196366854 143097856 32482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812358 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 34936 32482 109 215 0 34718 0
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 139744

[startup+160.098 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1719736/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=139744 CPUtime=159.96
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 15972 24 0 0 25 0 1 0 196366854 143097856 32482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530499 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 34936 32482 109 215 0 34718 0
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 139744

[startup+170.105 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1719800/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=139744 CPUtime=169.97
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 16973 24 0 0 25 0 1 0 196366854 143097856 32482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005844 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 34936 32482 109 215 0 34718 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 139744

[startup+180.112 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1719800/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=139744 CPUtime=179.97
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 17973 24 0 0 25 0 1 0 196366854 143097856 32482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 34936 32482 109 215 0 34718 0
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 139744

[startup+190.119 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1719800/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=139744 CPUtime=189.97
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 18973 24 0 0 25 0 1 0 196366854 143097856 32482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838325 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 34936 32482 109 215 0 34718 0
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 139744

[startup+200.126 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1719800/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=139744 CPUtime=199.98
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 44023 0 0 0 19974 24 0 0 25 0 1 0 196366854 143097856 32482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 34936 32482 109 215 0 34718 0
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 139744

[startup+210.133 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21985
/proc/meminfo: memFree=1719800/2055920 swapFree=4182212/4192956

################
# More data... #
################

[pid=21985] ppid=21983 vsize=244276 CPUtime=1781.36
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178093 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838474 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (Kb) 244276

[startup+1783.13 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1782.36
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178193 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003235 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 244276

[startup+1784.14 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1783.37
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178294 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1783.37
Current children cumulated vsize (Kb) 244276

[startup+1785.14 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1784.37
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178394 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (Kb) 244276

[startup+1786.15 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1785.38
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178495 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838342 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (Kb) 244276

[startup+1787.15 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1786.38
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178595 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003239 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (Kb) 244276

[startup+1788.16 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1787.39
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178696 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1787.39
Current children cumulated vsize (Kb) 244276

[startup+1789.16 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1788.39
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178796 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (Kb) 244276

[startup+1790.17 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1789.4
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178897 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005844 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (Kb) 244276

[startup+1791.17 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1790.4
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 178997 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012160 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1790.4
Current children cumulated vsize (Kb) 244276

[startup+1792.18 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1791.41
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179098 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (Kb) 244276

[startup+1793.18 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1792.41
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179198 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003878 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1792.41
Current children cumulated vsize (Kb) 244276

[startup+1794.19 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1793.42
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179299 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1793.42
Current children cumulated vsize (Kb) 244276

[startup+1795.2 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1794.42
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179399 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839023 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (Kb) 244276

[startup+1796.2 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1795.43
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179500 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (Kb) 244276

[startup+1797.21 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1796.43
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179600 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1796.43
Current children cumulated vsize (Kb) 244276

[startup+1798.21 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1797.43
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179700 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005791 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 244276

[startup+1799.22 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1798.44
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179801 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808961 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (Kb) 244276

[startup+1800.22 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1799.44
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 179901 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (Kb) 244276

[startup+1801.23 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1800.45
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 180002 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003912 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 244276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.23 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 22180
/proc/meminfo: memFree=1621432/2055920 swapFree=4182212/4192956
[pid=21985] ppid=21983 vsize=244276 CPUtime=1800.45
/proc/21985/stat : 21985 (minisat+) R 21983 21985 21939 0 -1 4194304 73718 0 0 0 180002 43 0 0 25 0 1 0 196366854 250138624 56943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21985/statm: 61069 56943 109 215 0 60851 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 244276

Sending SIGTERM to -21985
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.27
CPU time (s): 1800.5
CPU user time (s): 1800.03
CPU system time (s): 0.468928
CPU usage (%): 99.9569
Max. virtual memory (cumulated for all children) (Kb): 244276

Launcher Data (download as text)

Begin job on node73 on Sat Jun  3 03:57:01 UTC 2006


FILE ID= 35709-1149307021

PBS_JOBID= 307671

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node73/35709-1149307021/instance-35709-1149307021.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node73/watcher-35709-1149307021 -o ROOT/results/node73/solver-35709-1149307021 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node73/35709-1149307021/instance-35709-1149307021.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  6b1441ebcfc2678f5078c728b5f20e0c

RANDOM SEED= 53987917


/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.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1849736 kB
Buffers:         22400 kB
Cached:         120092 kB
SwapCached:       2348 kB
Active:          23872 kB
Inactive:       127232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849736 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15068 kB
Slab:            41180 kB
Committed_AS:   309140 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node73 on Sat Jun  3 04:27:02 UTC 2006