Trace number 35731

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.14Signal 596.752 596.951

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dc1c.opb
MD5SUMaae7296985adde1f17776b4f5ad45572
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark17863355069035520
Best CPU time to get the best result obtained on this benchmark1804.91
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17863355069035520
Optimality of the best value was proved NO
Number of variables58150
Total number of constraints1648
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1648
Minimum length of a constraint31
Maximum length of a constraint58150
Number of terms in the objective function 58150
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 6807821537690881562733
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 6808845537690881562733
Number of bits of the biggest sum of numbers73
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...
4.40	c Converting 3282 PB-constraints to clauses...
4.42	c   -- Unit propagations: (none)
4.44	c   -- Detecting intervals from adjacent constraints: ####################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
4.50	c   -- Clauses(.)/Splits(s): ssssssss
4.72	c ---[3288]---> Sorter-cost:  910     Base: 2 2 2 2 2 2 2 2 2 2 7
4.72	c ---[3286]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
4.73	c ---[3284]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
4.74	c ---[3282]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
4.75	c ---[3280]---> Sorter-cost:  642     Base: 2 2 2 2 2 2 2 2 2 2 7
4.76	c ---[3278]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
4.76	c ---[3276]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
4.77	c ---[3274]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
4.77	c ---[3272]---> Sorter-cost:  682     Base: 2 2 2 2 2 2 2 2 2 2 7
4.78	c ---[3270]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
4.79	c ---[3268]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
4.80	c ---[3266]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
4.81	c ---[3264]---> Sorter-cost:  983     Base: 2 2 2 2 2 2 2 2 2 2 7
4.82	c ---[3262]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
4.82	c ---[3260]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
4.84	c ---[3258]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
4.85	c ---[3256]---> Sorter-cost:  628     Base: 2 2 2 2 2 2 2 2 2 2 7
4.85	c ---[3254]---> Sorter-cost:  686     Base: 2 2 2 2 2 2 2 2 2 2 7
4.86	c ---[3252]---> Sorter-cost: 1085     Base: 2 2 2 2 2 2 2 2 2 2 7
4.87	c ---[3250]---> Sorter-cost:  865     Base: 2 2 2 2 2 2 2 2 2 2 7
4.88	c ---[3248]---> Sorter-cost:  727     Base: 2 2 2 2 2 2 2 2 2 2 7
4.88	c ---[3246]---> Sorter-cost:  765     Base: 2 2 2 2 2 2 2 2 2 2 7
4.89	c ---[3244]---> Adder-cost: 176   maxlim: 87040   bits: 18/17
4.91	c ---[3242]---> Adder-cost: 66   maxlim: 87040   bits: 18/17
4.94	c ---[3240]---> Adder-cost: 112   maxlim: 59392   bits: 17/16
4.95	c ---[3238]---> Adder-cost: 96   maxlim: 51200   bits: 17/16
4.96	c ---[3236]---> Adder-cost: 148   maxlim: 71680   bits: 18/17
4.98	c ---[3234]---> Adder-cost: 142   maxlim: 70656   bits: 18/17
5.00	c ---[3232]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
5.01	c ---[3230]---> Sorter-cost:  741     Base: 2 2 2 2 2 2 2 2 2 2 7
5.02	c ---[3228]---> Sorter-cost:  674     Base: 2 2 2 2 2 2 2 2 2 2 7
5.02	c ---[3226]---> Sorter-cost:  428     Base: 2 2 2 2 2 2 2 2 2 2 7
5.03	c ---[3224]---> Sorter-cost:  645     Base: 2 2 2 2 2 2 2 2 2 2 7
5.04	c ---[3222]---> Sorter-cost:  678     Base: 2 2 2 2 2 2 2 2 2 2 7
5.04	c ---[3220]---> Sorter-cost: 1188     Base: 2 2 2 2 2 2 2 2 2 2 7
5.06	c ---[3218]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
5.07	c ---[3216]---> Sorter-cost: 1034     Base: 2 2 2 2 2 2 2 2 2 2 7
5.08	c ---[3214]---> Sorter-cost: 1046     Base: 2 2 2 2 2 2 2 2 2 2 7
5.09	c ---[3212]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
5.09	c ---[3210]---> Sorter-cost: 1250     Base: 2 2 2 2 2 2 2 2 2 2 7
5.10	c ---[3208]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
5.11	c ---[3206]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
5.12	c ---[3204]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
5.13	c ---[3202]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
5.14	c ---[3200]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
5.15	c ---[3198]---> Sorter-cost: 1225     Base: 2 2 2 2 2 2 2 2 2 2 7
5.16	c ---[3196]---> Sorter-cost: 1076     Base: 2 2 2 2 2 2 2 2 2 2 7
5.17	c ---[3194]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
5.18	c ---[3192]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
5.19	c ---[3190]---> Adder-cost: 76   maxlim: 51200   bits: 17/16
5.20	c ---[3188]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
5.21	c ---[3186]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
5.22	c ---[3184]---> Sorter-cost:  641     Base: 2 2 2 2 2 2 2 2 2 2 7
5.22	c ---[3182]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
5.23	c ---[3180]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
5.24	c ---[3178]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
5.24	c ---[3176]---> Sorter-cost: 1215     Base: 2 2 2 2 2 2 2 2 2 2 7
5.25	c ---[3174]---> Sorter-cost: 1065     Base: 2 2 2 2 2 2 2 2 2 2 7
5.26	c ---[3172]---> Sorter-cost:  955     Base: 2 2 2 2 2 2 2 2 2 2 7
5.27	c ---[3170]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
5.29	c ---[3168]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
5.29	c ---[3166]---> Sorter-cost:  660     Base: 2 2 2 2 2 2 2 2 2 2 7
5.30	c ---[3164]---> Sorter-cost:  761     Base: 2 2 2 2 2 2 2 2 2 2 7
5.31	c ---[3162]---> Sorter-cost:  991     Base: 2 2 2 2 2 2 2 2 2 2 7
5.32	c ---[3160]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
5.33	c ---[3158]---> Sorter-cost:  923     Base: 2 2 2 2 2 2 2 2 2 2 7
5.34	c ---[3156]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
5.34	c ---[3154]---> Sorter-cost:  583     Base: 2 2 2 2 2 2 2 2 2 2 7
5.35	c ---[3152]---> Sorter-cost:  446     Base: 2 2 2 2 2 2 2 2 2 2 7
5.36	c ---[3150]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
5.36	c ---[3148]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
5.36	c ---[3146]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
5.38	c ---[3144]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
5.39	c ---[3142]---> Sorter-cost:  688     Base: 2 2 2 2 2 2 2 2 2 2 7
5.39	c ---[3140]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
5.40	c ---[3138]---> Sorter-cost:  991     Base: 2 2 2 2 2 2 2 2 2 2 7
5.41	c ---[3136]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
5.42	c ---[3134]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
5.42	c ---[3132]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
5.43	c ---[3130]---> Adder-cost: 146   maxlim: 70656   bits: 18/17
5.45	c ---[3128]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
5.46	c ---[3126]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
5.47	c ---[3124]---> Adder-cost: 120   maxlim: 62464   bits: 17/16
5.49	c ---[3122]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
5.50	c ---[3120]---> Adder-cost: 132   maxlim: 67584   bits: 18/17
5.52	c ---[3118]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
5.54	c ---[3116]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
5.55	c ---[3114]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
5.56	c ---[3112]---> Sorter-cost:  424     Base: 2 2 2 2 2 2 2 2 2 2 7
5.57	c ---[3110]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
5.57	c ---[3108]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
5.58	c ---[3106]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
5.58	c ---[3104]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
5.59	c ---[3102]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
5.60	c ---[3100]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
5.61	c ---[3098]---> Sorter-cost:  645     Base: 2 2 2 2 2 2 2 2 2 2 7
5.61	c ---[3096]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
5.62	c ---[3094]---> Adder-cost: 178   maxlim: 88064   bits: 18/17
5.64	c ---[3092]---> Adder-cost: 68   maxlim: 88064   bits: 18/17
5.66	c ---[3090]---> Adder-cost: 138   maxlim: 86016   bits: 18/17
5.69	c ---[3088]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
5.71	c ---[3086]---> Adder-cost: 120   maxlim: 59392   bits: 17/16
5.72	c ---[3084]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
5.73	c ---[3082]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
5.74	c ---[3080]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
5.75	c ---[3078]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
5.76	c ---[3076]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
5.77	c ---[3074]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
5.79	c ---[3072]---> Sorter-cost: 1181     Base: 2 2 2 2 2 2 2 2 2 2 7
5.80	c ---[3070]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
5.81	c ---[3068]---> Adder-cost: 120   maxlim: 60416   bits: 17/16
5.82	c ---[3066]---> Adder-cost: 48   maxlim: 60416   bits: 17/16
5.84	c ---[3064]---> Sorter-cost: 1250     Base: 2 2 2 2 2 2 2 2 2 2 7
5.85	c ---[3062]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
5.86	c ---[3060]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
5.87	c ---[3058]---> Sorter-cost:  943     Base: 2 2 2 2 2 2 2 2 2 2 7
5.88	c ---[3056]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
5.89	c ---[3054]---> Sorter-cost: 1250     Base: 2 2 2 2 2 2 2 2 2 2 7
5.90	c ---[3052]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
5.91	c ---[3050]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
5.92	c ---[3048]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
5.93	c ---[3046]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
5.93	c ---[3044]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
5.94	c ---[3042]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
5.94	c ---[3040]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
5.95	c ---[3038]---> Sorter-cost: 1155     Base: 2 2 2 2 2 2 2 2 2 2 7
5.96	c ---[3036]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
5.97	c ---[3034]---> Sorter-cost: 1081     Base: 2 2 2 2 2 2 2 2 2 2 7
6.00	c ---[3032]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
6.01	c ---[3030]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
6.03	c ---[3028]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
6.04	c ---[3026]---> Sorter-cost: 1084     Base: 2 2 2 2 2 2 2 2 2 2 7
6.05	c ---[3024]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
6.06	c ---[3022]---> Sorter-cost: 1171     Base: 2 2 2 2 2 2 2 2 2 2 7
6.07	c ---[3020]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
6.08	c ---[3018]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
6.09	c ---[3016]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
6.11	c ---[3014]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
6.12	c ---[3012]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
6.13	c ---[3010]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
6.15	c ---[3008]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
6.16	c ---[3006]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
6.17	c ---[3004]---> Sorter-cost: 1236     Base: 2 2 2 2 2 2 2 2 2 2 7
6.18	c ---[3002]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
6.19	c ---[3000]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
6.20	c ---[2998]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
6.22	c ---[2996]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
6.23	c ---[2994]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
6.24	c ---[2992]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
6.25	c ---[2990]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
6.26	c ---[2988]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
6.26	c ---[2986]---> Sorter-cost:  917     Base: 2 2 2 2 2 2 2 2 2 2 7
6.27	c ---[2984]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
6.28	c ---[2982]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
6.29	c ---[2980]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
6.29	c ---[2978]---> Sorter-cost:  589     Base: 2 2 2 2 2 2 2 2 2 2 7
6.30	c ---[2976]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
6.30	c ---[2974]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
6.32	c ---[2972]---> Sorter-cost:  446     Base: 2 2 2 2 2 2 2 2 2 2 7
6.32	c ---[2970]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
6.33	c ---[2968]---> Sorter-cost:  253     Base: 2 2 2 2 2 2 2 2 2 2 2
6.33	c ---[2966]---> Adder-cost: 156   maxlim: 76800   bits: 18/17
6.35	c ---[2964]---> Adder-cost: 62   maxlim: 76800   bits: 18/17
6.37	c ---[2962]---> Adder-cost: 198   maxlim: 109568   bits: 18/17
6.40	c ---[2960]---> Adder-cost: 132   maxlim: 66560   bits: 18/17
6.42	c ---[2958]---> Adder-cost: 78   maxlim: 109568   bits: 18/17
6.44	c ---[2956]---> Adder-cost: 396   maxlim: 205824   bits: 19/18
6.49	c ---[2954]---> Adder-cost: 116   maxlim: 205824   bits: 19/18
6.54	c ---[2952]---> Adder-cost: 396   maxlim: 209920   bits: 19/18
6.59	c ---[2950]---> Adder-cost: 112   maxlim: 209920   bits: 19/18
6.64	c ---[2948]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
6.66	c ---[2946]---> Adder-cost: 276   maxlim: 161792   bits: 19/18
6.70	c ---[2944]---> Adder-cost: 92   maxlim: 161792   bits: 19/18
6.74	c ---[2942]---> Adder-cost: 334   maxlim: 190464   bits: 19/18
6.79	c ---[2940]---> Adder-cost: 106   maxlim: 190464   bits: 19/18
6.83	c ---[2938]---> Adder-cost: 414   maxlim: 236544   bits: 19/18
6.89	c ---[2936]---> Adder-cost: 90   maxlim: 58368   bits: 17/16
6.90	c ---[2934]---> Adder-cost: 124   maxlim: 236544   bits: 19/18
6.96	c ---[2932]---> Adder-cost: 452   maxlim: 246784   bits: 19/18
7.02	c ---[2930]---> Adder-cost: 576   maxlim: 314368   bits: 20/19
7.10	c ---[2928]---> Adder-cost: 586   maxlim: 324608   bits: 20/19
7.18	c ---[2926]---> Adder-cost: 518   maxlim: 265216   bits: 20/19
7.25	c ---[2924]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
7.27	c ---[2922]---> Adder-cost: 482   maxlim: 253952   bits: 19/18
7.33	c ---[2920]---> Adder-cost: 558   maxlim: 300032   bits: 20/19
7.40	c ---[2918]---> Adder-cost: 410   maxlim: 228352   bits: 19/18
7.46	c ---[2916]---> Adder-cost: 368   maxlim: 203776   bits: 19/18
7.51	c ---[2914]---> Adder-cost: 110   maxlim: 203776   bits: 19/18
7.56	c ---[2912]---> Adder-cost: 334   maxlim: 201728   bits: 19/18
7.61	c ---[2910]---> Sorter-cost:  910     Base: 2 2 2 2 2 2 2 2 2 2 7
7.61	c ---[2908]---> Adder-cost: 114   maxlim: 201728   bits: 19/18
7.66	c ---[2906]---> Adder-cost: 340   maxlim: 189440   bits: 19/18
7.71	c ---[2904]---> Adder-cost: 104   maxlim: 189440   bits: 19/18
7.75	c ---[2902]---> Adder-cost: 374   maxlim: 209920   bits: 19/18
7.80	c ---[2900]---> Adder-cost: 112   maxlim: 209920   bits: 19/18
7.86	c ---[2898]---> Adder-cost: 404   maxlim: 218112   bits: 19/18
7.91	c ---[2896]---> Adder-cost: 328   maxlim: 182272   bits: 19/18
7.95	c ---[2894]---> Adder-cost: 106   maxlim: 182272   bits: 19/18
8.00	c ---[2892]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
8.01	c ---[2890]---> Adder-cost: 182   maxlim: 95232   bits: 18/17
8.03	c ---[2888]---> Adder-cost: 70   maxlim: 95232   bits: 18/17
8.05	c ---[2886]---> Adder-cost: 216   maxlim: 116736   bits: 18/17
8.08	c ---[2884]---> Adder-cost: 78   maxlim: 116736   bits: 18/17
8.11	c ---[2882]---> Adder-cost: 192   maxlim: 102400   bits: 18/17
8.14	c ---[2880]---> Sorter-cost: 1049     Base: 2 2 2 2 2 2 2 2 2 2 7
8.15	c ---[2878]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
8.17	c ---[2876]---> Adder-cost: 226   maxlim: 122880   bits: 18/17
8.21	c ---[2874]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
8.24	c ---[2872]---> Adder-cost: 264   maxlim: 142336   bits: 19/18
8.27	c ---[2870]---> Adder-cost: 92   maxlim: 142336   bits: 19/18
8.31	c ---[2868]---> Adder-cost: 120   maxlim: 68608   bits: 18/17
8.33	c ---[2866]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
8.34	c ---[2864]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
8.36	c ---[2862]---> Adder-cost: 108   maxlim: 58368   bits: 17/16
8.37	c ---[2860]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
8.39	c ---[2858]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
8.39	c ---[2856]---> Sorter-cost:  682     Base: 2 2 2 2 2 2 2 2 2 2 7
8.40	c ---[2854]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
8.41	c ---[2852]---> Sorter-cost:  351     Base: 2 2 2 2 2 2 2 2 2 2 7
8.41	c ---[2850]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
8.42	c ---[2848]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
8.42	c ---[2846]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
8.44	c ---[2844]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
8.45	c ---[2842]---> Adder-cost: 86   maxlim: 67584   bits: 18/17
8.47	c ---[2840]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
8.49	c ---[2838]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
8.50	c ---[2836]---> Adder-cost: 146   maxlim: 69632   bits: 18/17
8.51	c ---[2834]---> Adder-cost: 134   maxlim: 72704   bits: 18/17
8.53	c ---[2832]---> Adder-cost: 138   maxlim: 67584   bits: 18/17
8.55	c ---[2830]---> Adder-cost: 90   maxlim: 63488   bits: 17/16
8.57	c ---[2828]---> Adder-cost: 108   maxlim: 56320   bits: 17/16
8.58	c ---[2826]---> Adder-cost: 102   maxlim: 52224   bits: 17/16
8.60	c ---[2824]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
8.60	c ---[2822]---> Sorter-cost: 1033     Base: 2 2 2 2 2 2 2 2 2 2 7
8.62	c ---[2820]---> Sorter-cost:  682     Base: 2 2 2 2 2 2 2 2 2 2 7
8.62	c ---[2818]---> Adder-cost: 106   maxlim: 52224   bits: 17/16
8.64	c ---[2816]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
8.64	c ---[2814]---> Adder-cost: 108   maxlim: 59392   bits: 17/16
8.66	c ---[2812]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
8.67	c ---[2810]---> Adder-cost: 120   maxlim: 60416   bits: 17/16
8.69	c ---[2808]---> Adder-cost: 114   maxlim: 62464   bits: 17/16
8.70	c ---[2806]---> Adder-cost: 96   maxlim: 51200   bits: 17/16
8.71	c ---[2804]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
8.72	c ---[2802]---> Sorter-cost: 1080     Base: 2 2 2 2 2 2 2 2 2 2 7
8.73	c ---[2800]---> Sorter-cost:  966     Base: 2 2 2 2 2 2 2 2 2 2 7
8.74	c ---[2798]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
8.75	c ---[2796]---> Sorter-cost: 1175     Base: 2 2 2 2 2 2 2 2 2 2 7
8.76	c ---[2794]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
8.77	c ---[2792]---> Sorter-cost: 1158     Base: 2 2 2 2 2 2 2 2 2 2 7
8.78	c ---[2790]---> Sorter-cost:  813     Base: 2 2 2 2 2 2 2 2 2 2 7
8.79	c ---[2788]---> Sorter-cost:  935     Base: 2 2 2 2 2 2 2 2 2 2 7
8.80	c ---[2786]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
8.81	c ---[2784]---> Sorter-cost:  899     Base: 2 2 2 2 2 2 2 2 2 2 7
8.82	c ---[2782]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
8.83	c ---[2780]---> Adder-cost: 146   maxlim: 69632   bits: 18/17
8.85	c ---[2778]---> Adder-cost: 62   maxlim: 69632   bits: 18/17
8.87	c ---[2776]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
8.88	c ---[2774]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
8.89	c ---[2772]---> Sorter-cost:  460     Base: 2 2 2 2 2 2 2 2 2 2 7
8.90	c ---[2770]---> Adder-cost: 138   maxlim: 66560   bits: 18/17
8.92	c ---[2768]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
8.94	c ---[2766]---> Adder-cost: 106   maxlim: 54272   bits: 17/16
8.95	c ---[2764]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
8.96	c ---[2762]---> Adder-cost: 122   maxlim: 62464   bits: 17/16
8.98	c ---[2760]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
8.99	c ---[2758]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
9.01	c ---[2756]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
9.02	c ---[2754]---> Adder-cost: 120   maxlim: 59392   bits: 17/16
9.03	c ---[2752]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
9.05	c ---[2750]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
9.05	c ---[2748]---> Adder-cost: 106   maxlim: 56320   bits: 17/16
9.07	c ---[2746]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
9.08	c ---[2744]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
9.09	c ---[2742]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
9.10	c ---[2740]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
9.11	c ---[2738]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
9.11	c ---[2736]---> Sorter-cost: 1155     Base: 2 2 2 2 2 2 2 2 2 2 7
9.12	c ---[2734]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
9.14	c ---[2732]---> Sorter-cost: 1039     Base: 2 2 2 2 2 2 2 2 2 2 7
9.14	c ---[2730]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
9.15	c ---[2728]---> Sorter-cost:  420     Base: 2 2 2 2 2 2 2 2 2 2 7
9.16	c ---[2726]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
9.17	c ---[2724]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
9.19	c ---[2722]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
9.20	c ---[2720]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
9.21	c ---[2718]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
9.22	c ---[2716]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
9.22	c ---[2714]---> Sorter-cost:  783     Base: 2 2 2 2 2 2 2 2 2 2 7
9.23	c ---[2712]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
9.24	c ---[2710]---> Sorter-cost:  935     Base: 2 2 2 2 2 2 2 2 2 2 7
9.25	c ---[2708]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
9.26	c ---[2706]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
9.26	c ---[2704]---> Sorter-cost: 1069     Base: 2 2 2 2 2 2 2 2 2 2 7
9.27	c ---[2702]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
9.28	c ---[2700]---> Sorter-cost:  935     Base: 2 2 2 2 2 2 2 2 2 2 7
9.29	c ---[2698]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
9.30	c ---[2696]---> Sorter-cost:  687     Base: 2 2 2 2 2 2 2 2 2 2 7
9.36	c ---[2694]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
9.37	c ---[2692]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
9.38	c ---[2690]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
9.40	c ---[2688]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
9.41	c ---[2686]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
9.42	c ---[2684]---> Sorter-cost:  428     Base: 2 2 2 2 2 2 2 2 2 2 7
9.42	c ---[2682]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
9.43	c ---[2680]---> Sorter-cost: 1016     Base: 2 2 2 2 2 2 2 2 2 2 7
9.44	c ---[2678]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
9.45	c ---[2676]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
9.46	c ---[2674]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
9.48	c ---[2672]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
9.49	c ---[2670]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
9.50	c ---[2668]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
9.51	c ---[2666]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
9.52	c ---[2664]---> Sorter-cost:  470     Base: 2 2 2 2 2 2 2 2 2 2 7
9.53	c ---[2662]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
9.54	c ---[2660]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
9.54	c ---[2658]---> Sorter-cost:  655     Base: 2 2 2 2 2 2 2 2 2 2 7
9.55	c ---[2656]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
9.55	c ---[2654]---> Sorter-cost:  642     Base: 2 2 2 2 2 2 2 2 2 2 7
9.56	c ---[2652]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
9.57	c ---[2650]---> Sorter-cost:  566     Base: 2 2 2 2 2 2 2 2 2 2 7
9.57	c ---[2648]---> Sorter-cost: 1089     Base: 2 2 2 2 2 2 2 2 2 2 7
9.58	c ---[2646]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
9.59	c ---[2644]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
9.60	c ---[2642]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
9.61	c ---[2640]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
9.62	c ---[2638]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
9.62	c ---[2636]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
9.63	c ---[2634]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
9.64	c ---[2632]---> Adder-cost: 146   maxlim: 69632   bits: 18/17
9.66	c ---[2630]---> Adder-cost: 62   maxlim: 69632   bits: 18/17
9.68	c ---[2628]---> Adder-cost: 126   maxlim: 63488   bits: 17/16
9.69	c ---[2626]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
9.71	c ---[2624]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
9.72	c ---[2622]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
9.72	c ---[2620]---> Sorter-cost:  313     Base: 2 2 2 2 2 2 2 2 2 2 2
9.73	c ---[2618]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
9.73	c ---[2616]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
9.74	c ---[2614]---> Sorter-cost:  420     Base: 2 2 2 2 2 2 2 2 2 2 7
9.74	c ---[2612]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
9.75	c ---[2610]---> Sorter-cost: 1155     Base: 2 2 2 2 2 2 2 2 2 2 7
9.76	c ---[2608]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
9.77	c ---[2606]---> Sorter-cost: 1053     Base: 2 2 2 2 2 2 2 2 2 2 7
9.78	c ---[2604]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
9.79	c ---[2602]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
9.80	c ---[2600]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
9.82	c ---[2598]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
9.82	c ---[2596]---> Sorter-cost:  678     Base: 2 2 2 2 2 2 2 2 2 2 7
9.83	c ---[2594]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
9.83	c ---[2592]---> Sorter-cost:  961     Base: 2 2 2 2 2 2 2 2 2 2 7
9.84	c ---[2590]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
9.85	c ---[2588]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
9.86	c ---[2586]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
9.87	c ---[2584]---> Sorter-cost:  462     Base: 2 2 2 2 2 2 2 2 2 2 7
9.87	c ---[2582]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
9.88	c ---[2580]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
9.89	c ---[2578]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
9.90	c ---[2576]---> Adder-cost: 98   maxlim: 52224   bits: 17/16
9.92	c ---[2574]---> Sorter-cost:  910     Base: 2 2 2 2 2 2 2 2 2 2 7
9.93	c ---[2572]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
9.94	c ---[2570]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
9.94	c ---[2568]---> Sorter-cost: 1190     Base: 2 2 2 2 2 2 2 2 2 2 7
9.95	c ---[2566]---> Sorter-cost: 1073     Base: 2 2 2 2 2 2 2 2 2 2 7
9.97	c ---[2564]---> Sorter-cost:  931     Base: 2 2 2 2 2 2 2 2 2 2 7
9.98	c ---[2562]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
9.98	c ---[2560]---> Sorter-cost: 1188     Base: 2 2 2 2 2 2 2 2 2 2 7
10.00	c ---[2558]---> Sorter-cost: 1175     Base: 2 2 2 2 2 2 2 2 2 2 7
10.01	c ---[2556]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
10.01	c ---[2554]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
10.02	c ---[2552]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
10.02	c ---[2550]---> Sorter-cost:  720     Base: 2 2 2 2 2 2 2 2 2 2 7
10.03	c ---[2548]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
10.03	c ---[2546]---> Sorter-cost:  585     Base: 2 2 2 2 2 2 2 2 2 2 7
10.04	c ---[2544]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
10.05	c ---[2542]---> Sorter-cost:  424     Base: 2 2 2 2 2 2 2 2 2 2 7
10.05	c ---[2540]---> Sorter-cost:  295     Base: 2 2 2 2 2 2 2 2 2 2 2
10.06	c ---[2538]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
10.06	c ---[2536]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
10.07	c ---[2534]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
10.08	c ---[2532]---> Sorter-cost:  458     Base: 2 2 2 2 2 2 2 2 2 2 7
10.08	c ---[2530]---> Sorter-cost:  365     Base: 2 2 2 2 2 2 2 2 2 2 7
10.09	c ---[2528]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
10.09	c ---[2526]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
10.10	c ---[2524]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
10.10	c ---[2522]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
10.11	c ---[2520]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
10.12	c ---[2518]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
10.13	c ---[2516]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
10.14	c ---[2514]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
10.16	c ---[2512]---> Sorter-cost:  424     Base: 2 2 2 2 2 2 2 2 2 2 7
10.16	c ---[2510]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
10.17	c ---[2508]---> Sorter-cost:  470     Base: 2 2 2 2 2 2 2 2 2 2 7
10.17	c ---[2506]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
10.18	c ---[2504]---> Sorter-cost: 1311     Base: 2 2 2 2 2 2 2 2 2 2 7
10.19	c ---[2502]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
10.20	c ---[2500]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
10.21	c ---[2498]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
10.22	c ---[2496]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
10.22	c ---[2494]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
10.23	c ---[2492]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
10.24	c ---[2490]---> Sorter-cost: 1133     Base: 2 2 2 2 2 2 2 2 2 2 7
10.25	c ---[2488]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
10.26	c ---[2486]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
10.27	c ---[2484]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
10.27	c ---[2482]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
10.28	c ---[2480]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
10.29	c ---[2478]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
10.30	c ---[2476]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
10.31	c ---[2474]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
10.32	c ---[2472]---> Sorter-cost:  953     Base: 2 2 2 2 2 2 2 2 2 2 7
10.33	c ---[2470]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
10.33	c ---[2468]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
10.35	c ---[2466]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
10.36	c ---[2464]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
10.38	c ---[2462]---> Sorter-cost: 1250     Base: 2 2 2 2 2 2 2 2 2 2 7
10.39	c ---[2460]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
10.40	c ---[2458]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
10.41	c ---[2456]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
10.42	c ---[2454]---> Adder-cost: 154   maxlim: 74752   bits: 18/17
10.44	c ---[2452]---> Adder-cost: 60   maxlim: 74752   bits: 18/17
10.46	c ---[2450]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
10.47	c ---[2448]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
10.48	c ---[2446]---> Sorter-cost:  896     Base: 2 2 2 2 2 2 2 2 2 2 7
10.49	c ---[2444]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
10.50	c ---[2442]---> Sorter-cost:  597     Base: 2 2 2 2 2 2 2 2 2 2 7
10.50	c ---[2440]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
10.51	c ---[2438]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
10.52	c ---[2436]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
10.54	c ---[2434]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
10.54	c ---[2432]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
10.55	c ---[2430]---> Sorter-cost:  424     Base: 2 2 2 2 2 2 2 2 2 2 7
10.55	c ---[2428]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
10.56	c ---[2426]---> Sorter-cost:  470     Base: 2 2 2 2 2 2 2 2 2 2 7
10.57	c ---[2424]---> Sorter-cost:  679     Base: 2 2 2 2 2 2 2 2 2 2 7
10.57	c ---[2422]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
10.58	c ---[2420]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
10.59	c ---[2418]---> Adder-cost: 112   maxlim: 58368   bits: 17/16
10.61	c ---[2416]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
10.62	c ---[2414]---> Adder-cost: 112   maxlim: 63488   bits: 17/16
10.64	c ---[2412]---> Adder-cost: 158   maxlim: 78848   bits: 18/17
10.66	c ---[2410]---> Adder-cost: 144   maxlim: 77824   bits: 18/17
10.68	c ---[2408]---> Sorter-cost:  967     Base: 2 2 2 2 2 2 2 2 2 2 7
10.69	c ---[2406]---> Sorter-cost: 1068     Base: 2 2 2 2 2 2 2 2 2 2 7
10.70	c ---[2404]---> Adder-cost: 120   maxlim: 59392   bits: 17/16
10.71	c ---[2402]---> Adder-cost: 130   maxlim: 67584   bits: 18/17
10.73	c ---[2400]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
10.74	c ---[2398]---> Adder-cost: 158   maxlim: 78848   bits: 18/17
10.76	c ---[2396]---> Adder-cost: 104   maxlim: 79872   bits: 18/17
10.78	c ---[2394]---> Adder-cost: 174   maxlim: 88064   bits: 18/17
10.80	c ---[2392]---> Adder-cost: 68   maxlim: 88064   bits: 18/17
10.83	c ---[2390]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
10.84	c ---[2388]---> Sorter-cost:  891     Base: 2 2 2 2 2 2 2 2 2 2 7
10.85	c ---[2386]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
10.86	c ---[2384]---> Adder-cost: 134   maxlim: 65536   bits: 18/17
10.88	c ---[2382]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
10.89	c ---[2380]---> Sorter-cost:  996     Base: 2 2 2 2 2 2 2 2 2 2 7
10.90	c ---[2378]---> Adder-cost: 322   maxlim: 165888   bits: 19/18
10.94	c ---[2376]---> Sorter-cost:  961     Base: 2 2 2 2 2 2 2 2 2 2 7
10.95	c ---[2374]---> Sorter-cost:  579     Base: 2 2 2 2 2 2 2 2 2 2 7
10.96	c ---[2372]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
10.97	c ---[2370]---> Sorter-cost:  546     Base: 2 2 2 2 2 2 2 2 2 2 7
10.97	c ---[2368]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
10.98	c ---[2366]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
10.99	c ---[2364]---> Sorter-cost:  371     Base: 2 2 2 2 2 2 2 2 2 2 7
10.99	c ---[2362]---> Sorter-cost:  257     Base: 2 2 2 2 2 2 2 2 2 2 2
11.00	c ---[2360]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
11.00	c ---[2358]---> Sorter-cost: 1287     Base: 2 2 2 2 2 2 2 2 2 2 7
11.01	c ---[2356]---> Adder-cost: 102   maxlim: 165888   bits: 19/18
11.06	c ---[2354]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
11.07	c ---[2352]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
11.08	c ---[2350]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
11.09	c ---[2348]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
11.09	c ---[2346]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
11.11	c ---[2344]---> Adder-cost: 112   maxlim: 57344   bits: 17/16
11.12	c ---[2342]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
11.13	c ---[2340]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
11.13	c ---[2338]---> Sorter-cost:  640     Base: 2 2 2 2 2 2 2 2 2 2 7
11.14	c ---[2336]---> Sorter-cost:  588     Base: 2 2 2 2 2 2 2 2 2 2 7
11.15	c ---[2334]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
11.15	c ---[2332]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
11.16	c ---[2330]---> Sorter-cost: 1127     Base: 2 2 2 2 2 2 2 2 2 2 7
11.17	c ---[2328]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
11.18	c ---[2326]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
11.18	c ---[2324]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
11.19	c ---[2322]---> Sorter-cost: 1082     Base: 2 2 2 2 2 2 2 2 2 2 7
11.20	c ---[2320]---> Sorter-cost: 1168     Base: 2 2 2 2 2 2 2 2 2 2 7
11.21	c ---[2318]---> Sorter-cost:  908     Base: 2 2 2 2 2 2 2 2 2 2 7
11.22	c ---[2316]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
11.22	c ---[2314]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
11.23	c ---[2312]---> Sorter-cost:  989     Base: 2 2 2 2 2 2 2 2 2 2 7
11.24	c ---[2310]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
11.25	c ---[2308]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
11.26	c ---[2306]---> Sorter-cost:  674     Base: 2 2 2 2 2 2 2 2 2 2 7
11.27	c ---[2304]---> Sorter-cost:  632     Base: 2 2 2 2 2 2 2 2 2 2 7
11.27	c ---[2302]---> Sorter-cost:  556     Base: 2 2 2 2 2 2 2 2 2 2 7
11.28	c ---[2300]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
11.29	c ---[2298]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
11.29	c ---[2296]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
11.30	c ---[2294]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
11.31	c ---[2292]---> Sorter-cost:  957     Base: 2 2 2 2 2 2 2 2 2 2 7
11.32	c ---[2290]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
11.33	c ---[2288]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
11.33	c ---[2286]---> Sorter-cost:  986     Base: 2 2 2 2 2 2 2 2 2 2 7
11.34	c ---[2284]---> Sorter-cost:  611     Base: 2 2 2 2 2 2 2 2 2 2 7
11.35	c ---[2282]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
11.36	c ---[2280]---> Sorter-cost:  640     Base: 2 2 2 2 2 2 2 2 2 2 7
11.36	c ---[2278]---> Sorter-cost:  577     Base: 2 2 2 2 2 2 2 2 2 2 7
11.37	c ---[2276]---> Sorter-cost:  460     Base: 2 2 2 2 2 2 2 2 2 2 7
11.37	c ---[2274]---> Adder-cost: 102   maxlim: 165888   bits: 19/18
11.42	c ---[2272]---> Sorter-cost:  439     Base: 2 2 2 2 2 2 2 2 2 2 7
11.42	c ---[2270]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
11.44	c ---[2268]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
11.45	c ---[2266]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
11.47	c ---[2264]---> Adder-cost: 92   maxlim: 54272   bits: 17/16
11.48	c ---[2262]---> Sorter-cost: 1082     Base: 2 2 2 2 2 2 2 2 2 2 7
11.49	c ---[2260]---> Sorter-cost:  951     Base: 2 2 2 2 2 2 2 2 2 2 7
11.50	c ---[2258]---> Sorter-cost: 1121     Base: 2 2 2 2 2 2 2 2 2 2 7
11.51	c ---[2256]---> Sorter-cost: 1022     Base: 2 2 2 2 2 2 2 2 2 2 7
11.52	c ---[2254]---> Adder-cost: 270   maxlim: 145408   bits: 19/18
11.56	c ---[2252]---> Sorter-cost:  373     Base: 2 2 2 2 2 2 2 2 2 2 7
11.56	c ---[2250]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
11.57	c ---[2248]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
11.57	c ---[2246]---> Sorter-cost:  313     Base: 2 2 2 2 2 2 2 2 2 2 2
11.58	c ---[2244]---> Sorter-cost: 1183     Base: 2 2 2 2 2 2 2 2 2 2 7
11.59	c ---[2242]---> Sorter-cost:  943     Base: 2 2 2 2 2 2 2 2 2 2 7
11.60	c ---[2240]---> Sorter-cost: 1057     Base: 2 2 2 2 2 2 2 2 2 2 7
11.61	c ---[2238]---> Sorter-cost: 1058     Base: 2 2 2 2 2 2 2 2 2 2 7
11.62	c ---[2236]---> Sorter-cost:  895     Base: 2 2 2 2 2 2 2 2 2 2 7
11.63	c ---[2234]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
11.64	c ---[2232]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
11.67	c ---[2230]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
11.69	c ---[2228]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
11.70	c ---[2226]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
11.71	c ---[2224]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
11.72	c ---[2222]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
11.73	c ---[2220]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
11.74	c ---[2218]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
11.76	c ---[2216]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
11.77	c ---[2214]---> Adder-cost: 126   maxlim: 63488   bits: 17/16
11.78	c ---[2212]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
11.80	c ---[2210]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
11.84	c ---[2208]---> Adder-cost: 122   maxlim: 61440   bits: 17/16
11.85	c ---[2206]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
11.87	c ---[2204]---> Adder-cost: 140   maxlim: 66560   bits: 18/17
11.89	c ---[2202]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
11.91	c ---[2200]---> Adder-cost: 106   maxlim: 55296   bits: 17/16
11.92	c ---[2198]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
11.93	c ---[2196]---> Sorter-cost: 1089     Base: 2 2 2 2 2 2 2 2 2 2 7
11.94	c ---[2194]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
11.95	c ---[2192]---> Sorter-cost: 1251     Base: 2 2 2 2 2 2 2 2 2 2 7
11.97	c ---[2190]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
11.98	c ---[2188]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
12.02	c ---[2186]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
12.03	c ---[2184]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
12.04	c ---[2182]---> Adder-cost: 146   maxlim: 71680   bits: 18/17
12.06	c ---[2180]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
12.08	c ---[2178]---> Adder-cost: 172   maxlim: 83968   bits: 18/17
12.11	c ---[2176]---> Adder-cost: 68   maxlim: 83968   bits: 18/17
12.13	c ---[2174]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
12.14	c ---[2172]---> Sorter-cost:  931     Base: 2 2 2 2 2 2 2 2 2 2 7
12.15	c ---[2170]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
12.16	c ---[2168]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
12.18	c ---[2166]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
12.21	c ---[2164]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
12.22	c ---[2162]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
12.23	c ---[2160]---> Sorter-cost:  380     Base: 2 2 2 2 2 2 2 2 2 2 7
12.24	c ---[2158]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
12.24	c ---[2156]---> Sorter-cost:  609     Base: 2 2 2 2 2 2 2 2 2 2 7
12.25	c ---[2154]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
12.26	c ---[2152]---> Sorter-cost:  647     Base: 2 2 2 2 2 2 2 2 2 2 7
12.26	c ---[2150]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
12.27	c ---[2148]---> Sorter-cost: 1248     Base: 2 2 2 2 2 2 2 2 2 2 7
12.28	c ---[2146]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
12.29	c ---[2144]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
12.33	c ---[2142]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
12.35	c ---[2140]---> Sorter-cost: 1267     Base: 2 2 2 2 2 2 2 2 2 2 7
12.36	c ---[2138]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
12.37	c ---[2136]---> Sorter-cost: 1183     Base: 2 2 2 2 2 2 2 2 2 2 7
12.38	c ---[2134]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
12.39	c ---[2132]---> Adder-cost: 176   maxlim: 86016   bits: 18/17
12.41	c ---[2130]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
12.44	c ---[2128]---> Sorter-cost: 1155     Base: 2 2 2 2 2 2 2 2 2 2 7
12.45	c ---[2126]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
12.46	c ---[2124]---> Sorter-cost: 1157     Base: 2 2 2 2 2 2 2 2 2 2 7
12.47	c ---[2122]---> Adder-cost: 254   maxlim: 140288   bits: 19/18
12.51	c ---[2120]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
12.52	c ---[2118]---> Sorter-cost: 1059     Base: 2 2 2 2 2 2 2 2 2 2 7
12.53	c ---[2116]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
12.54	c ---[2114]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
12.55	c ---[2112]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
12.56	c ---[2110]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
12.56	c ---[2108]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
12.57	c ---[2106]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
12.68	c ---[2104]---> Sorter-cost:  910     Base: 2 2 2 2 2 2 2 2 2 2 7
12.69	c ---[2102]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
12.70	c ---[2100]---> Adder-cost: 94   maxlim: 140288   bits: 19/18
12.73	c ---[2098]---> Sorter-cost: 1157     Base: 2 2 2 2 2 2 2 2 2 2 7
12.74	c ---[2096]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
12.75	c ---[2094]---> Sorter-cost: 1311     Base: 2 2 2 2 2 2 2 2 2 2 7
12.77	c ---[2092]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
12.78	c ---[2090]---> Sorter-cost: 1082     Base: 2 2 2 2 2 2 2 2 2 2 7
12.79	c ---[2088]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
12.80	c ---[2086]---> Sorter-cost: 1127     Base: 2 2 2 2 2 2 2 2 2 2 7
12.81	c ---[2084]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
12.82	c ---[2082]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
12.83	c ---[2080]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
12.85	c ---[2078]---> Adder-cost: 94   maxlim: 140288   bits: 19/18
12.88	c ---[2076]---> Sorter-cost:  910     Base: 2 2 2 2 2 2 2 2 2 2 7
12.89	c ---[2074]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
12.90	c ---[2072]---> Sorter-cost: 1133     Base: 2 2 2 2 2 2 2 2 2 2 7
12.91	c ---[2070]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
12.92	c ---[2068]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
12.93	c ---[2066]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
12.93	c ---[2064]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
12.94	c ---[2062]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
12.95	c ---[2060]---> Adder-cost: 162   maxlim: 79872   bits: 18/17
12.97	c ---[2058]---> Adder-cost: 98   maxlim: 86016   bits: 18/17
12.99	c ---[2056]---> Adder-cost: 94   maxlim: 140288   bits: 19/18
13.03	c ---[2054]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
13.05	c ---[2052]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
13.06	c ---[2050]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
13.08	c ---[2048]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
13.09	c ---[2046]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
13.09	c ---[2044]---> Adder-cost: 154   maxlim: 76800   bits: 18/17
13.11	c ---[2042]---> Adder-cost: 62   maxlim: 76800   bits: 18/17
13.13	c ---[2040]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
13.15	c ---[2038]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
13.16	c ---[2036]---> Adder-cost: 140   maxlim: 66560   bits: 18/17
13.18	c ---[2034]---> Adder-cost: 94   maxlim: 140288   bits: 19/18
13.21	c ---[2032]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
13.23	c ---[2030]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
13.24	c ---[2028]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
13.26	c ---[2026]---> Sorter-cost: 1084     Base: 2 2 2 2 2 2 2 2 2 2 7
13.27	c ---[2024]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
13.28	c ---[2022]---> Sorter-cost:  574     Base: 2 2 2 2 2 2 2 2 2 2 7
13.28	c ---[2020]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
13.29	c ---[2018]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
13.29	c ---[2016]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
13.30	c ---[2014]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
13.31	c ---[2012]---> Adder-cost: 94   maxlim: 140288   bits: 19/18
13.34	c ---[2010]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
13.35	c ---[2008]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
13.36	c ---[2006]---> Sorter-cost:  597     Base: 2 2 2 2 2 2 2 2 2 2 7
13.37	c ---[2004]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
13.38	c ---[2002]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
13.39	c ---[2000]---> Sorter-cost: 1138     Base: 2 2 2 2 2 2 2 2 2 2 7
13.40	c ---[1998]---> Sorter-cost: 1311     Base: 2 2 2 2 2 2 2 2 2 2 7
13.41	c ---[1996]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
13.42	c ---[1994]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
13.44	c ---[1992]---> Adder-cost: 88   maxlim: 53248   bits: 17/16
13.45	c ---[1990]---> Adder-cost: 264   maxlim: 145408   bits: 19/18
13.49	c ---[1988]---> Sorter-cost:  443     Base: 2 2 2 2 2 2 2 2 2 2 7
13.49	c ---[1986]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
13.50	c ---[1984]---> Sorter-cost:  263     Base: 2 2 2 2 2 2 2 2 2 2 2
13.50	c ---[1982]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
13.51	c ---[1980]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
13.53	c ---[1978]---> Sorter-cost: 1084     Base: 2 2 2 2 2 2 2 2 2 2 7
13.54	c ---[1976]---> Sorter-cost:  980     Base: 2 2 2 2 2 2 2 2 2 2 7
13.55	c ---[1974]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
13.58	c ---[1972]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
13.59	c ---[1970]---> Sorter-cost: 1137     Base: 2 2 2 2 2 2 2 2 2 2 7
13.60	c ---[1968]---> Sorter-cost:  605     Base: 2 2 2 2 2 2 2 2 2 2 7
13.61	c ---[1966]---> Sorter-cost:  708     Base: 2 2 2 2 2 2 2 2 2 2 7
13.62	c ---[1964]---> Sorter-cost: 1077     Base: 2 2 2 2 2 2 2 2 2 2 7
13.63	c ---[1962]---> Sorter-cost:  734     Base: 2 2 2 2 2 2 2 2 2 2 7
13.64	c ---[1960]---> Sorter-cost:  731     Base: 2 2 2 2 2 2 2 2 2 2 7
13.64	c ---[1958]---> Sorter-cost:  585     Base: 2 2 2 2 2 2 2 2 2 2 7
13.65	c ---[1956]---> Sorter-cost:  582     Base: 2 2 2 2 2 2 2 2 2 2 7
13.66	c ---[1954]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
13.66	c ---[1952]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
13.70	c ---[1950]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
13.70	c ---[1948]---> Sorter-cost:  373     Base: 2 2 2 2 2 2 2 2 2 2 7
13.71	c ---[1946]---> Sorter-cost: 1049     Base: 2 2 2 2 2 2 2 2 2 2 7
13.72	c ---[1944]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
13.73	c ---[1942]---> Sorter-cost: 1246     Base: 2 2 2 2 2 2 2 2 2 2 7
13.74	c ---[1940]---> Sorter-cost: 1247     Base: 2 2 2 2 2 2 2 2 2 2 7
13.75	c ---[1938]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
13.76	c ---[1936]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
13.77	c ---[1934]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
13.78	c ---[1932]---> Adder-cost: 116   maxlim: 58368   bits: 17/16
13.79	c ---[1930]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
13.83	c ---[1928]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
13.84	c ---[1926]---> Sorter-cost: 1063     Base: 2 2 2 2 2 2 2 2 2 2 7
13.85	c ---[1924]---> Sorter-cost: 1131     Base: 2 2 2 2 2 2 2 2 2 2 7
13.86	c ---[1922]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
13.87	c ---[1920]---> Sorter-cost: 1020     Base: 2 2 2 2 2 2 2 2 2 2 7
13.88	c ---[1918]---> Sorter-cost:  993     Base: 2 2 2 2 2 2 2 2 2 2 7
13.89	c ---[1916]---> Adder-cost: 118   maxlim: 57344   bits: 17/16
13.90	c ---[1914]---> Adder-cost: 102   maxlim: 51200   bits: 17/16
13.92	c ---[1912]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
13.93	c ---[1910]---> Sorter-cost: 1043     Base: 2 2 2 2 2 2 2 2 2 2 7
13.94	c ---[1908]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
13.98	c ---[1906]---> Adder-cost: 106   maxlim: 52224   bits: 17/16
13.99	c ---[1904]---> Sorter-cost: 1215     Base: 2 2 2 2 2 2 2 2 2 2 7
14.00	c ---[1902]---> Sorter-cost:  615     Base: 2 2 2 2 2 2 2 2 2 2 7
14.01	c ---[1900]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
14.01	c ---[1898]---> Sorter-cost:  615     Base: 2 2 2 2 2 2 2 2 2 2 7
14.02	c ---[1896]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
14.03	c ---[1894]---> Sorter-cost:  570     Base: 2 2 2 2 2 2 2 2 2 2 7
14.03	c ---[1892]---> Sorter-cost:  340     Base: 2 2 2 2 2 2 2 2 2 2 7
14.04	c ---[1890]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
14.04	c ---[1888]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
14.04	c ---[1886]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
14.08	c ---[1884]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
14.09	c ---[1882]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
14.10	c ---[1880]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
14.10	c ---[1878]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
14.11	c ---[1876]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
14.13	c ---[1874]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
14.14	c ---[1872]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
14.16	c ---[1870]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
14.17	c ---[1868]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
14.18	c ---[1866]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
14.19	c ---[1864]---> Adder-cost: 160   maxlim: 84992   bits: 18/17
14.21	c ---[1862]---> Sorter-cost:  601     Base: 2 2 2 2 2 2 2 2 2 2 7
14.22	c ---[1860]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
14.23	c ---[1858]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
14.23	c ---[1856]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
14.24	c ---[1854]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
14.25	c ---[1852]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
14.26	c ---[1850]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
14.27	c ---[1848]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
14.28	c ---[1846]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
14.29	c ---[1844]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
14.30	c ---[1842]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
14.32	c ---[1840]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
14.33	c ---[1838]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
14.33	c ---[1836]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
14.34	c ---[1834]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
14.35	c ---[1832]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
14.35	c ---[1830]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
14.35	c ---[1828]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
14.36	c ---[1826]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
14.36	c ---[1824]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
14.36	c ---[1822]---> Sorter-cost: 1084     Base: 2 2 2 2 2 2 2 2 2 2 7
14.37	c ---[1820]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
14.38	c ---[1818]---> Sorter-cost:  576     Base: 2 2 2 2 2 2 2 2 2 2 7
14.39	c ---[1816]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
14.40	c ---[1814]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
14.40	c ---[1812]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
14.41	c ---[1810]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
14.41	c ---[1808]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
14.42	c ---[1806]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
14.43	c ---[1804]---> Adder-cost: 142   maxlim: 68608   bits: 18/17
14.45	c ---[1802]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
14.46	c ---[1800]---> Sorter-cost: 1188     Base: 2 2 2 2 2 2 2 2 2 2 7
14.47	c ---[1798]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
14.49	c ---[1796]---> Sorter-cost: 1076     Base: 2 2 2 2 2 2 2 2 2 2 7
14.50	c ---[1794]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
14.51	c ---[1792]---> Sorter-cost: 1033     Base: 2 2 2 2 2 2 2 2 2 2 7
14.52	c ---[1790]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
14.53	c ---[1788]---> Sorter-cost:  981     Base: 2 2 2 2 2 2 2 2 2 2 7
14.53	c ---[1786]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
14.54	c ---[1784]---> Sorter-cost: 1151     Base: 2 2 2 2 2 2 2 2 2 2 7
14.55	c ---[1782]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
14.57	c ---[1780]---> Sorter-cost: 1179     Base: 2 2 2 2 2 2 2 2 2 2 7
14.58	c ---[1778]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
14.59	c ---[1776]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
14.59	c ---[1774]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
14.60	c ---[1772]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
14.60	c ---[1770]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
14.61	c ---[1768]---> Sorter-cost:  617     Base: 2 2 2 2 2 2 2 2 2 2 7
14.61	c ---[1766]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
14.62	c ---[1764]---> Sorter-cost: 1077     Base: 2 2 2 2 2 2 2 2 2 2 7
14.63	c ---[1762]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
14.64	c ---[1760]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
14.66	c ---[1758]---> Sorter-cost:  997     Base: 2 2 2 2 2 2 2 2 2 2 7
14.67	c ---[1756]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
14.68	c ---[1754]---> Sorter-cost:  711     Base: 2 2 2 2 2 2 2 2 2 2 7
14.69	c ---[1752]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
14.70	c ---[1750]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
14.72	c ---[1748]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
14.73	c ---[1746]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
14.74	c ---[1744]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
14.75	c ---[1742]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
14.76	c ---[1740]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
14.77	c ---[1738]---> Adder-cost: 138   maxlim: 67584   bits: 18/17
14.78	c ---[1736]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
14.79	c ---[1734]---> Sorter-cost:  652     Base: 2 2 2 2 2 2 2 2 2 2 7
14.80	c ---[1732]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
14.81	c ---[1730]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
14.82	c ---[1728]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
14.83	c ---[1726]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
14.85	c ---[1724]---> Sorter-cost: 1305     Base: 2 2 2 2 2 2 2 2 2 2 7
14.86	c ---[1722]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
14.87	c ---[1720]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
14.88	c ---[1718]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
14.89	c ---[1716]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
14.91	c ---[1714]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
14.92	c ---[1712]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
14.93	c ---[1710]---> Sorter-cost:  947     Base: 2 2 2 2 2 2 2 2 2 2 7
14.94	c ---[1708]---> Sorter-cost:  373     Base: 2 2 2 2 2 2 2 2 2 2 7
14.95	c ---[1706]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
14.95	c ---[1704]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
14.96	c ---[1702]---> Sorter-cost: 1248     Base: 2 2 2 2 2 2 2 2 2 2 7
14.97	c ---[1700]---> Sorter-cost: 1133     Base: 2 2 2 2 2 2 2 2 2 2 7
14.98	c ---[1698]---> Sorter-cost:  574     Base: 2 2 2 2 2 2 2 2 2 2 7
14.98	c ---[1696]---> Sorter-cost:  334     Base: 2 2 2 2 2 2 2 2 2 2 7
14.99	c ---[1694]---> Sorter-cost:  660     Base: 2 2 2 2 2 2 2 2 2 2 7
15.00	c ---[1692]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
15.00	c ---[1690]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
15.01	c ---[1688]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
15.02	c ---[1686]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
15.02	c ---[1684]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
15.03	c ---[1682]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
15.04	c ---[1680]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
15.05	c ---[1678]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
15.07	c ---[1676]---> Adder-cost: 124   maxlim: 62464   bits: 17/16
15.08	c ---[1674]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
15.10	c ---[1672]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
15.10	c ---[1670]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
15.10	c ---[1668]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
15.11	c ---[1666]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
15.11	c ---[1664]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
15.11	c ---[1662]---> Sorter-cost: 1080     Base: 2 2 2 2 2 2 2 2 2 2 7
15.12	c ---[1660]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
15.13	c ---[1658]---> Sorter-cost:  616     Base: 2 2 2 2 2 2 2 2 2 2 7
15.14	c ---[1656]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
15.15	c ---[1654]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
15.15	c ---[1652]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
15.16	c ---[1650]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
15.16	c ---[1648]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
15.17	c ---[1646]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
15.18	c ---[1644]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
15.18	c ---[1642]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
15.19	c ---[1640]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
15.19	c ---[1638]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
15.20	c ---[1636]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
15.20	c ---[1634]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
15.22	c ---[1632]---> Sorter-cost:  265     Base: 2 2 2 2 2 2 2 2 2 2 2
15.23	c ---[1630]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
15.23	c ---[1628]---> Sorter-cost:  363     Base: 2 2 2 2 2 2 2 2 2 2 7
15.24	c ---[1626]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
15.24	c ---[1624]---> Adder-cost: 126   maxlim: 63488   bits: 17/16
15.26	c ---[1622]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
15.27	c ---[1620]---> Adder-cost: 136   maxlim: 65536   bits: 18/17
15.29	c ---[1618]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
15.31	c ---[1616]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
15.32	c ---[1614]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
15.33	c ---[1612]---> Adder-cost: 116   maxlim: 59392   bits: 17/16
15.34	c ---[1610]---> Sorter-cost: 1137     Base: 2 2 2 2 2 2 2 2 2 2 7
15.36	c ---[1608]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
15.37	c ---[1606]---> Sorter-cost: 1238     Base: 2 2 2 2 2 2 2 2 2 2 7
15.38	c ---[1604]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
15.39	c ---[1602]---> Sorter-cost:  645     Base: 2 2 2 2 2 2 2 2 2 2 7
15.39	c ---[1600]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
15.40	c ---[1598]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
15.42	c ---[1596]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
15.43	c ---[1594]---> Sorter-cost:  470     Base: 2 2 2 2 2 2 2 2 2 2 7
15.44	c ---[1592]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
15.44	c ---[1590]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
15.46	c ---[1588]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
15.46	c ---[1586]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
15.46	c ---[1584]---> Sorter-cost:  576     Base: 2 2 2 2 2 2 2 2 2 2 7
15.47	c ---[1582]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
15.48	c ---[1580]---> Sorter-cost:  305     Base: 2 2 2 2 2 2 2 2 2 2 2
15.48	c ---[1578]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
15.48	c ---[1576]---> Sorter-cost:  458     Base: 2 2 2 2 2 2 2 2 2 2 7
15.49	c ---[1574]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
15.49	c ---[1572]---> Sorter-cost:  259     Base: 2 2 2 2 2 2 2 2 2 2 2
15.50	c ---[1570]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
15.50	c ---[1568]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
15.52	c ---[1566]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
15.52	c ---[1564]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
15.52	c ---[1562]---> Adder-cost: 106   maxlim: 53248   bits: 17/16
15.54	c ---[1560]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
15.55	c ---[1558]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
15.56	c ---[1556]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
15.56	c ---[1554]---> Sorter-cost:  626     Base: 2 2 2 2 2 2 2 2 2 2 7
15.57	c ---[1552]---> Sorter-cost:  989     Base: 2 2 2 2 2 2 2 2 2 2 7
15.58	c ---[1550]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
15.59	c ---[1548]---> Adder-cost: 106   maxlim: 52224   bits: 17/16
15.60	c ---[1546]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
15.62	c ---[1544]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
15.63	c ---[1542]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
15.64	c ---[1540]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
15.65	c ---[1538]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
15.66	c ---[1536]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
15.66	c ---[1534]---> Sorter-cost:  434     Base: 2 2 2 2 2 2 2 2 2 2 7
15.67	c ---[1532]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
15.67	c ---[1530]---> Sorter-cost:  327     Base: 2 2 2 2 2 2 2 2 2 2 7
15.68	c ---[1528]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
15.68	c ---[1526]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
15.69	c ---[1524]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
15.70	c ---[1522]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
15.71	c ---[1520]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
15.71	c ---[1518]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
15.72	c ---[1516]---> Sorter-cost:  526     Base: 2 2 2 2 2 2 2 2 2 2 7
15.73	c ---[1514]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
15.73	c ---[1512]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
15.74	c ---[1510]---> Sorter-cost:  355     Base: 2 2 2 2 2 2 2 2 2 2 7
15.74	c ---[1508]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
15.75	c ---[1506]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
15.76	c ---[1504]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
15.77	c ---[1502]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
15.79	c ---[1500]---> Adder-cost: 102   maxlim: 56320   bits: 17/16
15.80	c ---[1498]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
15.81	c ---[1496]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
15.83	c ---[1494]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
15.84	c ---[1492]---> Sorter-cost: 1303     Base: 2 2 2 2 2 2 2 2 2 2 7
15.85	c ---[1490]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
15.86	c ---[1488]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
15.87	c ---[1486]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
15.88	c ---[1484]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
15.89	c ---[1482]---> Sorter-cost:  694     Base: 2 2 2 2 2 2 2 2 2 2 7
15.90	c ---[1480]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
15.91	c ---[1478]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
15.91	c ---[1476]---> Sorter-cost:  682     Base: 2 2 2 2 2 2 2 2 2 2 7
15.92	c ---[1474]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
15.93	c ---[1472]---> Adder-cost: 126   maxlim: 63488   bits: 17/16
15.94	c ---[1470]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
15.96	c ---[1468]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
15.96	c ---[1466]---> Sorter-cost:  409     Base: 2 2 2 2 2 2 2 2 2 2 7
15.97	c ---[1464]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
15.97	c ---[1462]---> Adder-cost: 146   maxlim: 69632   bits: 18/17
15.99	c ---[1460]---> Adder-cost: 118   maxlim: 61440   bits: 17/16
16.00	c ---[1458]---> Adder-cost: 104   maxlim: 61440   bits: 17/16
16.02	c ---[1456]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
16.03	c ---[1454]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
16.04	c ---[1452]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
16.05	c ---[1450]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
16.06	c ---[1448]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
16.06	c ---[1446]---> Sorter-cost:  583     Base: 2 2 2 2 2 2 2 2 2 2 7
16.07	c ---[1444]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
16.07	c ---[1442]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
16.08	c ---[1440]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
16.08	c ---[1438]---> Sorter-cost:  718     Base: 2 2 2 2 2 2 2 2 2 2 7
16.09	c ---[1436]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
16.10	c ---[1434]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
16.11	c ---[1432]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
16.11	c ---[1430]---> Adder-cost: 116   maxlim: 57344   bits: 17/16
16.13	c ---[1428]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
16.14	c ---[1426]---> Adder-cost: 98   maxlim: 51200   bits: 17/16
16.15	c ---[1424]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
16.17	c ---[1422]---> Sorter-cost: 1028     Base: 2 2 2 2 2 2 2 2 2 2 7
16.18	c ---[1420]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
16.19	c ---[1418]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
16.20	c ---[1416]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
16.21	c ---[1414]---> Sorter-cost: 1028     Base: 2 2 2 2 2 2 2 2 2 2 7
16.22	c ---[1412]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
16.23	c ---[1410]---> Sorter-cost:  733     Base: 2 2 2 2 2 2 2 2 2 2 7
16.24	c ---[1408]---> Sorter-cost:  581     Base: 2 2 2 2 2 2 2 2 2 2 7
16.25	c ---[1406]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
16.25	c ---[1404]---> Sorter-cost:  682     Base: 2 2 2 2 2 2 2 2 2 2 7
16.26	c ---[1402]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
16.27	c ---[1400]---> Sorter-cost:  658     Base: 2 2 2 2 2 2 2 2 2 2 7
16.27	c ---[1398]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
16.28	c ---[1396]---> Sorter-cost: 1143     Base: 2 2 2 2 2 2 2 2 2 2 7
16.29	c ---[1394]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
16.30	c ---[1392]---> Sorter-cost:  715     Base: 2 2 2 2 2 2 2 2 2 2 7
16.31	c ---[1390]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
16.32	c ---[1388]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
16.34	c ---[1386]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
16.35	c ---[1384]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
16.36	c ---[1382]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
16.37	c ---[1380]---> Adder-cost: 224   maxlim: 125952   bits: 18/17
16.40	c ---[1378]---> Adder-cost: 78   maxlim: 125952   bits: 18/17
16.43	c ---[1376]---> Adder-cost: 78   maxlim: 125952   bits: 18/17
16.47	c ---[1374]---> Adder-cost: 238   maxlim: 129024   bits: 18/17
16.50	c ---[1372]---> Adder-cost: 76   maxlim: 129024   bits: 18/17
16.53	c ---[1370]---> Adder-cost: 76   maxlim: 129024   bits: 18/17
16.56	c ---[1368]---> Adder-cost: 156   maxlim: 93184   bits: 18/17
16.59	c ---[1366]---> Adder-cost: 64   maxlim: 93184   bits: 18/17
16.61	c ---[1364]---> Adder-cost: 64   maxlim: 93184   bits: 18/17
16.63	c ---[1362]---> Adder-cost: 310   maxlim: 162816   bits: 19/18
16.68	c ---[1360]---> Adder-cost: 92   maxlim: 162816   bits: 19/18
16.72	c ---[1358]---> Adder-cost: 12031   maxlim: 6023167   bits: 24/23
18.95	c ---[1355]---> Adder-cost: 3128   maxlim: 1788928   bits: 22/21
19.41	c ---[1347]---> Adder-cost: 92   maxlim: 162816   bits: 19/18
19.45	c ---[1345]---> Adder-cost: 202   maxlim: 120832   bits: 18/17
19.48	c ---[1343]---> Adder-cost: 80   maxlim: 120832   bits: 18/17
19.51	c ---[1341]---> Adder-cost: 80   maxlim: 120832   bits: 18/17
19.54	c ---[1339]---> Adder-cost: 148   maxlim: 77824   bits: 18/17
19.56	c ---[1337]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
19.59	c ---[1335]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
19.61	c ---[1333]---> Sorter-cost:  638     Base: 2 2 2 2 2 2 2 2 2 2 7
19.61	c ---[1331]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
19.62	c ---[1329]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
19.63	c ---[1327]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
19.63	c ---[1325]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
19.64	c ---[1323]---> Sorter-cost:  404     Base: 2 2 2 2 2 2 2 2 2 2 7
19.64	c ---[1321]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
19.65	c ---[1319]---> Sorter-cost: 1309     Base: 2 2 2 2 2 2 2 2 2 2 7
19.66	c ---[1317]---> Sorter-cost: 1154     Base: 2 2 2 2 2 2 2 2 2 2 7
19.67	c ---[1315]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
19.68	c ---[1313]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
19.70	c ---[1311]---> Adder-cost: 142   maxlim: 71680   bits: 18/17
19.72	c ---[1309]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
19.74	c ---[1307]---> Adder-cost: 92   maxlim: 54272   bits: 17/16
19.75	c ---[1305]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
19.76	c ---[1303]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
19.77	c ---[1301]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
19.78	c ---[1299]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
19.78	c ---[1297]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
19.79	c ---[1295]---> Adder-cost: 140   maxlim: 66560   bits: 18/17
19.81	c ---[1293]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
19.83	c ---[1291]---> Adder-cost: 106   maxlim: 57344   bits: 17/16
19.84	c ---[1289]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
19.86	c ---[1287]---> Sorter-cost: 1181     Base: 2 2 2 2 2 2 2 2 2 2 7
19.87	c ---[1285]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
19.88	c ---[1283]---> Sorter-cost: 1226     Base: 2 2 2 2 2 2 2 2 2 2 7
19.89	c ---[1281]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
19.90	c ---[1279]---> Adder-cost: 148   maxlim: 71680   bits: 18/17
19.92	c ---[1277]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
19.94	c ---[1275]---> Adder-cost: 142   maxlim: 72704   bits: 18/17
19.96	c ---[1273]---> Adder-cost: 56   maxlim: 72704   bits: 18/17
19.98	c ---[1271]---> Sorter-cost: 1263     Base: 2 2 2 2 2 2 2 2 2 2 7
19.99	c ---[1269]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
20.00	c ---[1267]---> Sorter-cost: 1181     Base: 2 2 2 2 2 2 2 2 2 2 7
20.01	c ---[1265]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
20.02	c ---[1263]---> Sorter-cost:  622     Base: 2 2 2 2 2 2 2 2 2 2 7
20.03	c ---[1261]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
20.04	c ---[1259]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
20.04	c ---[1257]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
20.05	c ---[1255]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
20.05	c ---[1253]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
20.06	c ---[1251]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
20.07	c ---[1249]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
20.08	c ---[1247]---> Sorter-cost: 1261     Base: 2 2 2 2 2 2 2 2 2 2 7
20.09	c ---[1245]---> Adder-cost: 140   maxlim: 66560   bits: 18/17
20.11	c ---[1243]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
20.13	c ---[1241]---> Adder-cost: 150   maxlim: 78848   bits: 18/17
20.15	c ---[1239]---> Adder-cost: 138   maxlim: 75776   bits: 18/17
20.17	c ---[1237]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
20.18	c ---[1235]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
20.19	c ---[1233]---> Sorter-cost:  854     Base: 2 2 2 2 2 2 2 2 2 2 7
20.20	c ---[1231]---> Sorter-cost: 1082     Base: 2 2 2 2 2 2 2 2 2 2 7
20.21	c ---[1229]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
20.22	c ---[1227]---> Sorter-cost:  617     Base: 2 2 2 2 2 2 2 2 2 2 7
20.22	c ---[1225]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
20.23	c ---[1223]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
20.24	c ---[1221]---> Adder-cost: 240   maxlim: 139264   bits: 19/18
20.27	c ---[1219]---> Adder-cost: 94   maxlim: 139264   bits: 19/18
20.31	c ---[1217]---> Adder-cost: 94   maxlim: 139264   bits: 19/18
20.35	c ---[1215]---> Adder-cost: 326   maxlim: 186368   bits: 19/18
20.39	c ---[1213]---> Adder-cost: 106   maxlim: 186368   bits: 19/18
20.44	c ---[1211]---> Adder-cost: 106   maxlim: 186368   bits: 19/18
20.48	c ---[1209]---> Adder-cost: 290   maxlim: 168960   bits: 19/18
20.53	c ---[1207]---> Adder-cost: 100   maxlim: 168960   bits: 19/18
20.57	c ---[1205]---> Adder-cost: 100   maxlim: 168960   bits: 19/18
20.61	c ---[1203]---> Adder-cost: 276   maxlim: 161792   bits: 19/18
20.65	c ---[1201]---> Adder-cost: 92   maxlim: 161792   bits: 19/18
20.70	c ---[1199]---> Adder-cost: 92   maxlim: 161792   bits: 19/18
20.74	c ---[1197]---> Adder-cost: 92   maxlim: 161792   bits: 19/18
20.78	c ---[1195]---> Adder-cost: 92   maxlim: 161792   bits: 19/18
20.82	c ---[1193]---> Adder-cost: 92   maxlim: 161792   bits: 19/18
20.86	c ---[1191]---> Adder-cost: 216   maxlim: 122880   bits: 18/17
20.89	c ---[1189]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
20.92	c ---[1187]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
20.96	c ---[1185]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
20.99	c ---[1183]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
21.02	c ---[1181]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
21.05	c ---[1179]---> Adder-cost: 166   maxlim: 92160   bits: 18/17
21.08	c ---[1177]---> Adder-cost: 66   maxlim: 92160   bits: 18/17
21.10	c ---[1175]---> Adder-cost: 66   maxlim: 92160   bits: 18/17
21.13	c ---[1173]---> Adder-cost: 66   maxlim: 92160   bits: 18/17
21.15	c ---[1171]---> Adder-cost: 66   maxlim: 92160   bits: 18/17
21.17	c ---[1169]---> Adder-cost: 66   maxlim: 92160   bits: 18/17
21.20	c ---[1167]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
21.20	c ---[1165]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
21.20	c ---[1163]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
21.21	c ---[1161]---> Sorter-cost:  305     Base: 2 2 2 2 2 2 2 2 2 2 2
21.21	c ---[1159]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
21.22	c ---[1157]---> Sorter-cost:  454     Base: 2 2 2 2 2 2 2 2 2 2 7
21.22	c ---[1155]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
21.23	c ---[1153]---> Adder-cost: 118   maxlim: 57344   bits: 17/16
21.24	c ---[1151]---> Sorter-cost: 1265     Base: 2 2 2 2 2 2 2 2 2 2 7
21.25	c ---[1149]---> Adder-cost: 98   maxlim: 57344   bits: 17/16
21.27	c ---[1147]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
21.28	c ---[1145]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
21.30	c ---[1143]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
21.31	c ---[1141]---> Sorter-cost: 1087     Base: 2 2 2 2 2 2 2 2 2 2 7
21.32	c ---[1139]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
21.33	c ---[1137]---> Sorter-cost:  261     Base: 2 2 2 2 2 2 2 2 2 2 2
21.34	c ---[1135]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
21.34	c ---[1133]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
21.34	c ---[1131]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
21.35	c ---[1129]---> Sorter-cost:  438     Base: 2 2 2 2 2 2 2 2 2 2 7
21.35	c ---[1127]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
21.36	c ---[1125]---> Sorter-cost:  979     Base: 2 2 2 2 2 2 2 2 2 2 7
21.37	c ---[1123]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
21.38	c ---[1121]---> Adder-cost: 138   maxlim: 65536   bits: 18/17
21.40	c ---[1119]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
21.41	c ---[1117]---> Adder-cost: 118   maxlim: 63488   bits: 17/16
21.43	c ---[1115]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
21.44	c ---[1113]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
21.45	c ---[1111]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
21.46	c ---[1109]---> Sorter-cost: 1267     Base: 2 2 2 2 2 2 2 2 2 2 7
21.47	c ---[1107]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
21.48	c ---[1105]---> Sorter-cost:  908     Base: 2 2 2 2 2 2 2 2 2 2 7
21.49	c ---[1103]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
21.50	c ---[1101]---> Sorter-cost:  572     Base: 2 2 2 2 2 2 2 2 2 2 7
21.51	c ---[1099]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
21.51	c ---[1097]---> Sorter-cost:  733     Base: 2 2 2 2 2 2 2 2 2 2 7
21.52	c ---[1095]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
21.53	c ---[1093]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
21.53	c ---[1091]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
21.54	c ---[1089]---> Sorter-cost:  412     Base: 2 2 2 2 2 2 2 2 2 2 7
21.54	c ---[1087]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
21.55	c ---[1085]---> Sorter-cost:  576     Base: 2 2 2 2 2 2 2 2 2 2 7
21.56	c ---[1083]---> Sorter-cost:  602     Base: 2 2 2 2 2 2 2 2 2 2 7
21.56	c ---[1081]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
21.57	c ---[1079]---> Sorter-cost: 1246     Base: 2 2 2 2 2 2 2 2 2 2 7
21.58	c ---[1077]---> Sorter-cost: 1095     Base: 2 2 2 2 2 2 2 2 2 2 7
21.59	c ---[1075]---> Adder-cost: 106   maxlim: 53248   bits: 17/16
21.60	c ---[1073]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
21.62	c ---[1071]---> Sorter-cost: 1213     Base: 2 2 2 2 2 2 2 2 2 2 7
21.63	c ---[1069]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
21.64	c ---[1067]---> Sorter-cost: 1077     Base: 2 2 2 2 2 2 2 2 2 2 7
21.65	c ---[1065]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
21.66	c ---[1063]---> Adder-cost: 148   maxlim: 74752   bits: 18/17
21.68	c ---[1061]---> Adder-cost: 60   maxlim: 74752   bits: 18/17
21.70	c ---[1059]---> Adder-cost: 60   maxlim: 74752   bits: 18/17
21.72	c ---[1057]---> Sorter-cost: 1135     Base: 2 2 2 2 2 2 2 2 2 2 7
21.73	c ---[1055]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
21.74	c ---[1053]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
21.76	c ---[1051]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
21.77	c ---[1049]---> Adder-cost: 138   maxlim: 67584   bits: 18/17
21.79	c ---[1047]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
21.81	c ---[1045]---> Sorter-cost: 1057     Base: 2 2 2 2 2 2 2 2 2 2 7
21.82	c ---[1043]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
21.83	c ---[1041]---> Sorter-cost: 1257     Base: 2 2 2 2 2 2 2 2 2 2 7
21.84	c ---[1039]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
21.85	c ---[1037]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
21.86	c ---[1035]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
21.86	c ---[1033]---> Sorter-cost:  438     Base: 2 2 2 2 2 2 2 2 2 2 7
21.87	c ---[1031]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
21.87	c ---[1029]---> Sorter-cost:  456     Base: 2 2 2 2 2 2 2 2 2 2 7
21.88	c ---[1027]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
21.88	c ---[1025]---> Sorter-cost:  395     Base: 2 2 2 2 2 2 2 2 2 2 7
21.89	c ---[1023]---> Sorter-cost:  735     Base: 2 2 2 2 2 2 2 2 2 2 7
21.90	c ---[1021]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
21.90	c ---[1019]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
21.91	c ---[1017]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
21.92	c ---[1015]---> Sorter-cost:  933     Base: 2 2 2 2 2 2 2 2 2 2 7
21.93	c ---[1013]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
21.94	c ---[1011]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
21.96	c ---[1009]---> Adder-cost: 136   maxlim: 68608   bits: 18/17
21.98	c ---[1007]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
22.00	c ---[1005]---> Sorter-cost:  659     Base: 2 2 2 2 2 2 2 2 2 2 7
22.00	c ---[1003]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
22.01	c ---[1001]---> Adder-cost: 122   maxlim: 61440   bits: 17/16
22.02	c ---[ 999]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
22.04	c ---[ 997]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
22.04	c ---[ 995]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
22.05	c ---[ 993]---> Sorter-cost:  583     Base: 2 2 2 2 2 2 2 2 2 2 7
22.06	c ---[ 991]---> Sorter-cost:  650     Base: 2 2 2 2 2 2 2 2 2 2 7
22.06	c ---[ 989]---> Sorter-cost: 1115     Base: 2 2 2 2 2 2 2 2 2 2 7
22.07	c ---[ 987]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
22.08	c ---[ 985]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
22.10	c ---[ 983]---> Sorter-cost: 1259     Base: 2 2 2 2 2 2 2 2 2 2 7
22.11	c ---[ 981]---> Sorter-cost: 1059     Base: 2 2 2 2 2 2 2 2 2 2 7
22.12	c ---[ 979]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
22.13	c ---[ 977]---> Sorter-cost:  648     Base: 2 2 2 2 2 2 2 2 2 2 7
22.13	c ---[ 975]---> Sorter-cost:  530     Base: 2 2 2 2 2 2 2 2 2 2 7
22.14	c ---[ 973]---> Sorter-cost:  674     Base: 2 2 2 2 2 2 2 2 2 2 7
22.15	c ---[ 971]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
22.16	c ---[ 969]---> Sorter-cost: 1057     Base: 2 2 2 2 2 2 2 2 2 2 7
22.16	c ---[ 967]---> Sorter-cost:  929     Base: 2 2 2 2 2 2 2 2 2 2 7
22.17	c ---[ 965]---> Sorter-cost:  943     Base: 2 2 2 2 2 2 2 2 2 2 7
22.18	c ---[ 963]---> Sorter-cost:  910     Base: 2 2 2 2 2 2 2 2 2 2 7
22.19	c ---[ 961]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
22.20	c ---[ 959]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
22.21	c ---[ 957]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
22.22	c ---[ 955]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
22.23	c ---[ 953]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
22.24	c ---[ 951]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
22.25	c ---[ 949]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
22.26	c ---[ 947]---> Sorter-cost:  640     Base: 2 2 2 2 2 2 2 2 2 2 7
22.26	c ---[ 945]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
22.27	c ---[ 943]---> Sorter-cost: 1240     Base: 2 2 2 2 2 2 2 2 2 2 7
22.28	c ---[ 941]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
22.29	c ---[ 939]---> Adder-cost: 118   maxlim: 59392   bits: 17/16
22.31	c ---[ 937]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
22.32	c ---[ 935]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
22.33	c ---[ 933]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
22.34	c ---[ 931]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
22.34	c ---[ 929]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
22.35	c ---[ 927]---> Sorter-cost:  700     Base: 2 2 2 2 2 2 2 2 2 2 7
22.36	c ---[ 925]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
22.36	c ---[ 923]---> Sorter-cost:  576     Base: 2 2 2 2 2 2 2 2 2 2 7
22.37	c ---[ 921]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
22.38	c ---[ 919]---> Sorter-cost:  390     Base: 2 2 2 2 2 2 2 2 2 2 7
22.38	c ---[ 917]---> Sorter-cost:  991     Base: 2 2 2 2 2 2 2 2 2 2 7
22.39	c ---[ 915]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
22.40	c ---[ 913]---> Sorter-cost:  977     Base: 2 2 2 2 2 2 2 2 2 2 7
22.41	c ---[ 911]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
22.42	c ---[ 909]---> Sorter-cost: 1089     Base: 2 2 2 2 2 2 2 2 2 2 7
22.43	c ---[ 907]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
22.44	c ---[ 905]---> Sorter-cost: 1287     Base: 2 2 2 2 2 2 2 2 2 2 7
22.45	c ---[ 903]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
22.46	c ---[ 901]---> Sorter-cost:  690     Base: 2 2 2 2 2 2 2 2 2 2 7
22.47	c ---[ 899]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
22.48	c ---[ 897]---> Sorter-cost:  718     Base: 2 2 2 2 2 2 2 2 2 2 7
22.48	c ---[ 895]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
22.49	c ---[ 893]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
22.50	c ---[ 891]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
22.52	c ---[ 889]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
22.53	c ---[ 887]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
22.54	c ---[ 885]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
22.55	c ---[ 883]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
22.55	c ---[ 881]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
22.56	c ---[ 879]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
22.57	c ---[ 877]---> Sorter-cost:  729     Base: 2 2 2 2 2 2 2 2 2 2 7
22.57	c ---[ 875]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
22.58	c ---[ 873]---> Sorter-cost:  670     Base: 2 2 2 2 2 2 2 2 2 2 7
22.59	c ---[ 871]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
22.59	c ---[ 869]---> Sorter-cost:  546     Base: 2 2 2 2 2 2 2 2 2 2 7
22.60	c ---[ 867]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
22.61	c ---[ 865]---> Adder-cost: 108   maxlim: 53248   bits: 17/16
22.62	c ---[ 863]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
22.63	c ---[ 861]---> Adder-cost: 102   maxlim: 56320   bits: 17/16
22.65	c ---[ 859]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
22.66	c ---[ 857]---> Adder-cost: 166   maxlim: 82944   bits: 18/17
22.68	c ---[ 855]---> Adder-cost: 174   maxlim: 88064   bits: 18/17
22.70	c ---[ 853]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
22.71	c ---[ 851]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
22.72	c ---[ 849]---> Sorter-cost:  692     Base: 2 2 2 2 2 2 2 2 2 2 7
22.73	c ---[ 847]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
22.73	c ---[ 845]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
22.74	c ---[ 843]---> Sorter-cost:  641     Base: 2 2 2 2 2 2 2 2 2 2 7
22.75	c ---[ 841]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
22.76	c ---[ 839]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
22.77	c ---[ 837]---> Sorter-cost: 1305     Base: 2 2 2 2 2 2 2 2 2 2 7
22.79	c ---[ 835]---> Sorter-cost: 1247     Base: 2 2 2 2 2 2 2 2 2 2 7
22.80	c ---[ 833]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
22.81	c ---[ 831]---> Sorter-cost: 1255     Base: 2 2 2 2 2 2 2 2 2 2 7
22.82	c ---[ 829]---> Sorter-cost:  688     Base: 2 2 2 2 2 2 2 2 2 2 7
22.83	c ---[ 827]---> Sorter-cost:  771     Base: 2 2 2 2 2 2 2 2 2 2 7
22.84	c ---[ 825]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
22.85	c ---[ 823]---> Sorter-cost:  747     Base: 2 2 2 2 2 2 2 2 2 2 7
22.85	c ---[ 821]---> Sorter-cost:  697     Base: 2 2 2 2 2 2 2 2 2 2 7
22.86	c ---[ 819]---> Sorter-cost:  879     Base: 2 2 2 2 2 2 2 2 2 2 7
22.87	c ---[ 817]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
22.88	c ---[ 815]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
22.88	c ---[ 813]---> Sorter-cost:  446     Base: 2 2 2 2 2 2 2 2 2 2 7
22.89	c ---[ 811]---> Sorter-cost:  408     Base: 2 2 2 2 2 2 2 2 2 2 7
22.89	c ---[ 809]---> Sorter-cost:  405     Base: 2 2 2 2 2 2 2 2 2 2 7
22.90	c ---[ 807]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
22.91	c ---[ 805]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
22.92	c ---[ 803]---> Adder-cost: 108   maxlim: 53248   bits: 17/16
22.93	c ---[ 801]---> Sorter-cost:  735     Base: 2 2 2 2 2 2 2 2 2 2 7
22.94	c ---[ 799]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
22.95	c ---[ 797]---> Sorter-cost:  574     Base: 2 2 2 2 2 2 2 2 2 2 7
22.96	c ---[ 795]---> Sorter-cost:  781     Base: 2 2 2 2 2 2 2 2 2 2 7
22.96	c ---[ 793]---> Sorter-cost: 1245     Base: 2 2 2 2 2 2 2 2 2 2 7
22.97	c ---[ 791]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
22.99	c ---[ 789]---> Sorter-cost:  422     Base: 2 2 2 2 2 2 2 2 2 2 7
22.99	c ---[ 787]---> Sorter-cost:  468     Base: 2 2 2 2 2 2 2 2 2 2 7
23.00	c ---[ 785]---> Adder-cost: 124   maxlim: 63488   bits: 17/16
23.01	c ---[ 783]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
23.03	c ---[ 781]---> Sorter-cost:  692     Base: 2 2 2 2 2 2 2 2 2 2 7
23.03	c ---[ 779]---> Sorter-cost:  646     Base: 2 2 2 2 2 2 2 2 2 2 7
23.04	c ---[ 777]---> Sorter-cost:  775     Base: 2 2 2 2 2 2 2 2 2 2 7
23.05	c ---[ 775]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
23.06	c ---[ 773]---> Sorter-cost: 1123     Base: 2 2 2 2 2 2 2 2 2 2 7
23.07	c ---[ 771]---> Sorter-cost: 1048     Base: 2 2 2 2 2 2 2 2 2 2 7
23.08	c ---[ 769]---> Sorter-cost:  591     Base: 2 2 2 2 2 2 2 2 2 2 7
23.08	c ---[ 767]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
23.09	c ---[ 765]---> Sorter-cost: 1135     Base: 2 2 2 2 2 2 2 2 2 2 7
23.10	c ---[ 763]---> Sorter-cost: 1050     Base: 2 2 2 2 2 2 2 2 2 2 7
23.11	c ---[ 761]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
23.12	c ---[ 759]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
23.12	c ---[ 757]---> Sorter-cost:  969     Base: 2 2 2 2 2 2 2 2 2 2 7
23.13	c ---[ 755]---> Sorter-cost:  649     Base: 2 2 2 2 2 2 2 2 2 2 7
23.14	c ---[ 753]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
23.15	c ---[ 751]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
23.15	c ---[ 749]---> Sorter-cost:  369     Base: 2 2 2 2 2 2 2 2 2 2 7
23.16	c ---[ 747]---> Adder-cost: 132   maxlim: 67584   bits: 18/17
23.18	c ---[ 745]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
23.20	c ---[ 743]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
23.21	c ---[ 741]---> Sorter-cost: 1024     Base: 2 2 2 2 2 2 2 2 2 2 7
23.22	c ---[ 739]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
23.23	c ---[ 737]---> Sorter-cost: 1279     Base: 2 2 2 2 2 2 2 2 2 2 7
23.25	c ---[ 735]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
23.26	c ---[ 733]---> Sorter-cost: 1149     Base: 2 2 2 2 2 2 2 2 2 2 7
23.27	c ---[ 731]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
23.28	c ---[ 729]---> Sorter-cost: 1219     Base: 2 2 2 2 2 2 2 2 2 2 7
23.29	c ---[ 727]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
23.30	c ---[ 725]---> Sorter-cost: 1180     Base: 2 2 2 2 2 2 2 2 2 2 7
23.31	c ---[ 723]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
23.32	c ---[ 721]---> Adder-cost: 150   maxlim: 75776   bits: 18/17
23.34	c ---[ 719]---> Adder-cost: 64   maxlim: 75776   bits: 18/17
23.36	c ---[ 717]---> Adder-cost: 156   maxlim: 78848   bits: 18/17
23.38	c ---[ 715]---> Adder-cost: 60   maxlim: 78848   bits: 18/17
23.40	c ---[ 713]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
23.41	c ---[ 711]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
23.42	c ---[ 709]---> Sorter-cost: 1263     Base: 2 2 2 2 2 2 2 2 2 2 7
23.43	c ---[ 707]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
23.45	c ---[ 705]---> Adder-cost: 118   maxlim: 61440   bits: 17/16
23.46	c ---[ 703]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
23.48	c ---[ 701]---> Sorter-cost: 1307     Base: 2 2 2 2 2 2 2 2 2 2 7
23.49	c ---[ 699]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
23.50	c ---[ 697]---> Sorter-cost: 1265     Base: 2 2 2 2 2 2 2 2 2 2 7
23.51	c ---[ 695]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
23.52	c ---[ 693]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
23.53	c ---[ 691]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
23.54	c ---[ 689]---> Sorter-cost:  688     Base: 2 2 2 2 2 2 2 2 2 2 7
23.55	c ---[ 687]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
23.56	c ---[ 685]---> Sorter-cost:  668     Base: 2 2 2 2 2 2 2 2 2 2 7
23.56	c ---[ 683]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
23.57	c ---[ 681]---> Sorter-cost:  775     Base: 2 2 2 2 2 2 2 2 2 2 7
23.58	c ---[ 679]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
23.59	c ---[ 677]---> Sorter-cost:  640     Base: 2 2 2 2 2 2 2 2 2 2 7
23.59	c ---[ 675]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
23.60	c ---[ 673]---> Sorter-cost:  935     Base: 2 2 2 2 2 2 2 2 2 2 7
23.61	c ---[ 671]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
23.62	c ---[ 669]---> Sorter-cost:  686     Base: 2 2 2 2 2 2 2 2 2 2 7
23.62	c ---[ 667]---> Sorter-cost:  559     Base: 2 2 2 2 2 2 2 2 2 2 7
23.63	c ---[ 665]---> Adder-cost: 174   maxlim: 91136   bits: 18/17
23.65	c ---[ 663]---> Adder-cost: 72   maxlim: 91136   bits: 18/17
23.68	c ---[ 661]---> Adder-cost: 190   maxlim: 101376   bits: 18/17
23.70	c ---[ 659]---> Adder-cost: 348   maxlim: 198656   bits: 19/18
23.75	c ---[ 657]---> Adder-cost: 116   maxlim: 198656   bits: 19/18
23.80	c ---[ 655]---> Adder-cost: 332   maxlim: 191488   bits: 19/18
23.85	c ---[ 653]---> Adder-cost: 104   maxlim: 191488   bits: 19/18
23.90	c ---[ 651]---> Adder-cost: 334   maxlim: 198656   bits: 19/18
23.95	c ---[ 649]---> Adder-cost: 116   maxlim: 198656   bits: 19/18
24.00	c ---[ 647]---> Adder-cost: 350   maxlim: 237568   bits: 19/18
24.05	c ---[ 645]---> Adder-cost: 128   maxlim: 237568   bits: 19/18
24.11	c ---[ 643]---> Adder-cost: 352   maxlim: 195584   bits: 19/18
24.16	c ---[ 641]---> Adder-cost: 108   maxlim: 195584   bits: 19/18
24.21	c ---[ 639]---> Adder-cost: 314   maxlim: 197632   bits: 19/18
24.26	c ---[ 637]---> Adder-cost: 330   maxlim: 196608   bits: 19/18
24.30	c ---[ 635]---> Adder-cost: 522   maxlim: 296960   bits: 20/19
24.38	c ---[ 633]---> Adder-cost: 512   maxlim: 292864   bits: 20/19
24.46	c ---[ 631]---> Adder-cost: 390   maxlim: 226304   bits: 19/18
24.51	c ---[ 629]---> Adder-cost: 498   maxlim: 291840   bits: 20/19
24.59	c ---[ 627]---> Adder-cost: 426   maxlim: 252928   bits: 19/18
24.66	c ---[ 625]---> Adder-cost: 434   maxlim: 259072   bits: 19/18
24.72	c ---[ 623]---> Adder-cost: 390   maxlim: 233472   bits: 19/18
24.78	c ---[ 621]---> Adder-cost: 320   maxlim: 200704   bits: 19/18
24.83	c ---[ 619]---> Adder-cost: 346   maxlim: 201728   bits: 19/18
24.88	c ---[ 617]---> Adder-cost: 114   maxlim: 201728   bits: 19/18
24.93	c ---[ 615]---> Adder-cost: 432   maxlim: 266240   bits: 20/19
25.00	c ---[ 613]---> Adder-cost: 142   maxlim: 266240   bits: 20/19
25.07	c ---[ 611]---> Adder-cost: 398   maxlim: 259072   bits: 19/18
25.13	c ---[ 609]---> Adder-cost: 124   maxlim: 259072   bits: 19/18
25.20	c ---[ 607]---> Adder-cost: 360   maxlim: 216064   bits: 19/18
25.25	c ---[ 605]---> Adder-cost: 116   maxlim: 216064   bits: 19/18
25.30	c ---[ 603]---> Adder-cost: 248   maxlim: 149504   bits: 19/18
25.34	c ---[ 601]---> Adder-cost: 92   maxlim: 149504   bits: 19/18
25.38	c ---[ 599]---> Adder-cost: 92   maxlim: 149504   bits: 19/18
25.42	c ---[ 597]---> Adder-cost: 92   maxlim: 149504   bits: 19/18
25.46	c ---[ 595]---> Adder-cost: 160   maxlim: 90112   bits: 18/17
25.48	c ---[ 593]---> Adder-cost: 72   maxlim: 90112   bits: 18/17
25.51	c ---[ 591]---> Adder-cost: 138   maxlim: 84992   bits: 18/17
25.53	c ---[ 589]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
25.55	c ---[ 587]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
25.58	c ---[ 585]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
25.60	c ---[ 583]---> Adder-cost: 104   maxlim: 77824   bits: 18/17
25.62	c ---[ 581]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
25.64	c ---[ 579]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
25.66	c ---[ 577]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
25.68	c ---[ 575]---> Adder-cost: 104   maxlim: 62464   bits: 17/16
25.70	c ---[ 573]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
25.71	c ---[ 571]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
25.73	c ---[ 569]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
25.74	c ---[ 567]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
25.75	c ---[ 565]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
25.76	c ---[ 563]---> Sorter-cost:  933     Base: 2 2 2 2 2 2 2 2 2 2 7
25.77	c ---[ 561]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
25.78	c ---[ 559]---> Sorter-cost:  572     Base: 2 2 2 2 2 2 2 2 2 2 7
25.79	c ---[ 557]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
25.79	c ---[ 555]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
25.80	c ---[ 553]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
25.81	c ---[ 551]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
25.81	c ---[ 549]---> Sorter-cost:  690     Base: 2 2 2 2 2 2 2 2 2 2 7
25.82	c ---[ 547]---> Sorter-cost:  704     Base: 2 2 2 2 2 2 2 2 2 2 7
25.83	c ---[ 545]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
25.83	c ---[ 543]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
25.84	c ---[ 541]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
25.85	c ---[ 539]---> Sorter-cost:  877     Base: 2 2 2 2 2 2 2 2 2 2 7
25.86	c ---[ 537]---> Sorter-cost: 1080     Base: 2 2 2 2 2 2 2 2 2 2 7
25.87	c ---[ 535]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
25.88	c ---[ 533]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
25.89	c ---[ 531]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
25.91	c ---[ 529]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
25.92	c ---[ 527]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
25.93	c ---[ 525]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
25.94	c ---[ 523]---> Adder-cost: 102   maxlim: 54272   bits: 17/16
25.95	c ---[ 521]---> Adder-cost: 170   maxlim: 86016   bits: 18/17
25.98	c ---[ 519]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
26.00	c ---[ 517]---> Adder-cost: 164   maxlim: 83968   bits: 18/17
26.02	c ---[ 515]---> Adder-cost: 144   maxlim: 79872   bits: 18/17
26.04	c ---[ 513]---> Adder-cost: 122   maxlim: 62464   bits: 17/16
26.06	c ---[ 511]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
26.07	c ---[ 509]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
26.08	c ---[ 507]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
26.08	c ---[ 505]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
26.08	c ---[ 503]---> Sorter-cost: 1183     Base: 2 2 2 2 2 2 2 2 2 2 7
26.09	c ---[ 501]---> Sorter-cost: 1023     Base: 2 2 2 2 2 2 2 2 2 2 7
26.10	c ---[ 499]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
26.12	c ---[ 497]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
26.13	c ---[ 495]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
26.14	c ---[ 493]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
26.15	c ---[ 491]---> Sorter-cost:  568     Base: 2 2 2 2 2 2 2 2 2 2 7
26.16	c ---[ 489]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
26.17	c ---[ 487]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
26.17	c ---[ 485]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
26.18	c ---[ 483]---> Sorter-cost:  654     Base: 2 2 2 2 2 2 2 2 2 2 7
26.19	c ---[ 481]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
26.19	c ---[ 479]---> Sorter-cost:  989     Base: 2 2 2 2 2 2 2 2 2 2 7
26.20	c ---[ 477]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
26.21	c ---[ 475]---> Sorter-cost: 1309     Base: 2 2 2 2 2 2 2 2 2 2 7
26.23	c ---[ 473]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
26.24	c ---[ 471]---> Adder-cost: 106   maxlim: 52224   bits: 17/16
26.25	c ---[ 469]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
26.26	c ---[ 467]---> Adder-cost: 118   maxlim: 59392   bits: 17/16
26.28	c ---[ 465]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
26.29	c ---[ 463]---> Adder-cost: 134   maxlim: 66560   bits: 18/17
26.31	c ---[ 461]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
26.33	c ---[ 459]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
26.34	c ---[ 457]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
26.35	c ---[ 455]---> Sorter-cost: 1153     Base: 2 2 2 2 2 2 2 2 2 2 7
26.36	c ---[ 453]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
26.37	c ---[ 451]---> Adder-cost: 154   maxlim: 75776   bits: 18/17
26.39	c ---[ 449]---> Adder-cost: 64   maxlim: 75776   bits: 18/17
26.41	c ---[ 447]---> Adder-cost: 154   maxlim: 80896   bits: 18/17
26.44	c ---[ 445]---> Adder-cost: 62   maxlim: 80896   bits: 18/17
26.46	c ---[ 443]---> Adder-cost: 140   maxlim: 65536   bits: 18/17
26.48	c ---[ 441]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
26.49	c ---[ 439]---> Adder-cost: 160   maxlim: 80896   bits: 18/17
26.52	c ---[ 437]---> Adder-cost: 62   maxlim: 80896   bits: 18/17
26.54	c ---[ 435]---> Sorter-cost:  993     Base: 2 2 2 2 2 2 2 2 2 2 7
26.55	c ---[ 433]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
26.56	c ---[ 431]---> Sorter-cost:  305     Base: 2 2 2 2 2 2 2 2 2 2 2
26.56	c ---[ 429]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
26.56	c ---[ 427]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
26.57	c ---[ 425]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
26.58	c ---[ 423]---> Sorter-cost:  985     Base: 2 2 2 2 2 2 2 2 2 2 7
26.59	c ---[ 421]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
26.60	c ---[ 419]---> Sorter-cost:  947     Base: 2 2 2 2 2 2 2 2 2 2 7
26.61	c ---[ 417]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
26.61	c ---[ 415]---> Sorter-cost:  921     Base: 2 2 2 2 2 2 2 2 2 2 7
26.62	c ---[ 413]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
26.63	c ---[ 411]---> Adder-cost: 140   maxlim: 65536   bits: 18/17
26.65	c ---[ 409]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
26.67	c ---[ 407]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
26.69	c ---[ 405]---> Sorter-cost:  632     Base: 2 2 2 2 2 2 2 2 2 2 7
26.69	c ---[ 403]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
26.70	c ---[ 401]---> Sorter-cost:  676     Base: 2 2 2 2 2 2 2 2 2 2 7
26.71	c ---[ 399]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
26.71	c ---[ 397]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
26.73	c ---[ 395]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
26.74	c ---[ 393]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
26.75	c ---[ 391]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
26.77	c ---[ 389]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
26.78	c ---[ 387]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
26.79	c ---[ 385]---> Adder-cost: 142   maxlim: 67584   bits: 18/17
26.81	c ---[ 383]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
26.83	c ---[ 381]---> Adder-cost: 138   maxlim: 71680   bits: 18/17
26.85	c ---[ 379]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
26.87	c ---[ 377]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
26.88	c ---[ 375]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
26.88	c ---[ 373]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
26.89	c ---[ 371]---> Adder-cost: 114   maxlim: 63488   bits: 17/16
26.90	c ---[ 369]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
26.92	c ---[ 367]---> Sorter-cost: 1303     Base: 2 2 2 2 2 2 2 2 2 2 7
26.93	c ---[ 365]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
26.94	c ---[ 363]---> Sorter-cost:  464     Base: 2 2 2 2 2 2 2 2 2 2 7
26.95	c ---[ 361]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
26.95	c ---[ 359]---> Sorter-cost:  609     Base: 2 2 2 2 2 2 2 2 2 2 7
26.96	c ---[ 357]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
26.96	c ---[ 355]---> Adder-cost: 108   maxlim: 53248   bits: 17/16
26.98	c ---[ 353]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
26.99	c ---[ 351]---> Adder-cost: 116   maxlim: 57344   bits: 17/16
27.01	c ---[ 349]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
27.02	c ---[ 347]---> Adder-cost: 138   maxlim: 66560   bits: 18/17
27.04	c ---[ 345]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
27.06	c ---[ 343]---> Sorter-cost: 1251     Base: 2 2 2 2 2 2 2 2 2 2 7
27.07	c ---[ 341]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
27.08	c ---[ 339]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
27.09	c ---[ 337]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
27.11	c ---[ 335]---> Adder-cost: 164   maxlim: 82944   bits: 18/17
27.13	c ---[ 333]---> Adder-cost: 68   maxlim: 82944   bits: 18/17
27.15	c ---[ 331]---> Adder-cost: 146   maxlim: 76800   bits: 18/17
27.17	c ---[ 329]---> Adder-cost: 62   maxlim: 76800   bits: 18/17
27.19	c ---[ 327]---> Adder-cost: 108   maxlim: 53248   bits: 17/16
27.21	c ---[ 325]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
27.22	c ---[ 323]---> Adder-cost: 114   maxlim: 57344   bits: 17/16
27.24	c ---[ 321]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
27.25	c ---[ 319]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
27.26	c ---[ 317]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
27.28	c ---[ 315]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
27.29	c ---[ 313]---> Sorter-cost:  602     Base: 2 2 2 2 2 2 2 2 2 2 7
27.29	c ---[ 311]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
27.30	c ---[ 309]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
27.31	c ---[ 307]---> Sorter-cost:  649     Base: 2 2 2 2 2 2 2 2 2 2 7
27.31	c ---[ 305]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
27.32	c ---[ 303]---> Sorter-cost:  630     Base: 2 2 2 2 2 2 2 2 2 2 7
27.33	c ---[ 301]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
27.33	c ---[ 299]---> Sorter-cost:  714     Base: 2 2 2 2 2 2 2 2 2 2 7
27.34	c ---[ 297]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
27.35	c ---[ 295]---> Sorter-cost:  860     Base: 2 2 2 2 2 2 2 2 2 2 7
27.36	c ---[ 293]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
27.37	c ---[ 291]---> Adder-cost: 228   maxlim: 117760   bits: 18/17
27.40	c ---[ 289]---> Adder-cost: 76   maxlim: 117760   bits: 18/17
27.43	c ---[ 287]---> Adder-cost: 76   maxlim: 117760   bits: 18/17
27.46	c ---[ 285]---> Sorter-cost: 1085     Base: 2 2 2 2 2 2 2 2 2 2 7
27.47	c ---[ 283]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
27.48	c ---[ 281]---> Sorter-cost:  662     Base: 2 2 2 2 2 2 2 2 2 2 7
27.49	c ---[ 279]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
27.50	c ---[ 277]---> Sorter-cost: 1186     Base: 2 2 2 2 2 2 2 2 2 2 7
27.51	c ---[ 275]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
27.52	c ---[ 273]---> Adder-cost: 116   maxlim: 60416   bits: 17/16
27.53	c ---[ 271]---> Adder-cost: 48   maxlim: 60416   bits: 17/16
27.55	c ---[ 269]---> Sorter-cost:  989     Base: 2 2 2 2 2 2 2 2 2 2 7
27.56	c ---[ 267]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
27.57	c ---[ 265]---> Sorter-cost:  917     Base: 2 2 2 2 2 2 2 2 2 2 7
27.58	c ---[ 263]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
27.59	c ---[ 261]---> Sorter-cost: 1153     Base: 2 2 2 2 2 2 2 2 2 2 7
27.60	c ---[ 259]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
27.61	c ---[ 257]---> Sorter-cost:  959     Base: 2 2 2 2 2 2 2 2 2 2 7
27.62	c ---[ 255]---> Sorter-cost: 1238     Base: 2 2 2 2 2 2 2 2 2 2 7
27.63	c ---[ 253]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
27.64	c ---[ 251]---> Adder-cost: 138   maxlim: 68608   bits: 18/17
27.66	c ---[ 249]---> Adder-cost: 126   maxlim: 69632   bits: 18/17
27.68	c ---[ 247]---> Adder-cost: 130   maxlim: 71680   bits: 18/17
27.70	c ---[ 245]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
27.72	c ---[ 243]---> Sorter-cost:  632     Base: 2 2 2 2 2 2 2 2 2 2 7
27.73	c ---[ 241]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
27.73	c ---[ 239]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
27.74	c ---[ 237]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
27.75	c ---[ 235]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
27.76	c ---[ 233]---> Adder-cost: 92   maxlim: 55296   bits: 17/16
27.78	c ---[ 231]---> Sorter-cost: 1307     Base: 2 2 2 2 2 2 2 2 2 2 7
27.79	c ---[ 229]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
27.80	c ---[ 227]---> Sorter-cost: 1149     Base: 2 2 2 2 2 2 2 2 2 2 7
27.81	c ---[ 225]---> Sorter-cost: 1123     Base: 2 2 2 2 2 2 2 2 2 2 7
27.82	c ---[ 223]---> Sorter-cost: 1136     Base: 2 2 2 2 2 2 2 2 2 2 7
27.83	c ---[ 221]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
27.85	c ---[ 219]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
27.86	c ---[ 217]---> Adder-cost: 82   maxlim: 54272   bits: 17/16
27.87	c ---[ 215]---> Sorter-cost:  682     Base: 2 2 2 2 2 2 2 2 2 2 7
27.88	c ---[ 213]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
27.89	c ---[ 211]---> Sorter-cost:  904     Base: 2 2 2 2 2 2 2 2 2 2 7
27.90	c ---[ 209]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
27.90	c ---[ 207]---> Sorter-cost:  945     Base: 2 2 2 2 2 2 2 2 2 2 7
27.91	c ---[ 205]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
27.92	c ---[ 203]---> Sorter-cost: 1024     Base: 2 2 2 2 2 2 2 2 2 2 7
27.93	c ---[ 201]---> Sorter-cost:  945     Base: 2 2 2 2 2 2 2 2 2 2 7
27.94	c ---[ 199]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
27.95	c ---[ 197]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
27.96	c ---[ 195]---> Sorter-cost:  373     Base: 2 2 2 2 2 2 2 2 2 2 7
27.96	c ---[ 193]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
27.97	c ---[ 191]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
27.97	c ---[ 189]---> Adder-cost: 176   maxlim: 90112   bits: 18/17
28.00	c ---[ 187]---> Adder-cost: 104   maxlim: 91136   bits: 18/17
28.02	c ---[ 185]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
28.03	c ---[ 183]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
28.04	c ---[ 181]---> Sorter-cost:  464     Base: 2 2 2 2 2 2 2 2 2 2 7
28.04	c ---[ 179]---> Sorter-cost:  438     Base: 2 2 2 2 2 2 2 2 2 2 7
28.05	c ---[ 177]---> Sorter-cost: 1074     Base: 2 2 2 2 2 2 2 2 2 2 7
28.06	c ---[ 175]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
28.07	c ---[ 173]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
28.08	c ---[ 171]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
28.10	c ---[ 169]---> Adder-cost: 140   maxlim: 71680   bits: 18/17
28.12	c ---[ 167]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
28.14	c ---[ 165]---> Adder-cost: 110   maxlim: 57344   bits: 17/16
28.15	c ---[ 163]---> Adder-cost: 86   maxlim: 58368   bits: 17/16
28.17	c ---[ 161]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
28.18	c ---[ 159]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
28.19	c ---[ 157]---> Adder-cost: 118   maxlim: 57344   bits: 17/16
28.21	c ---[ 155]---> Sorter-cost: 1309     Base: 2 2 2 2 2 2 2 2 2 2 7
28.22	c ---[ 153]---> Sorter-cost:  659     Base: 2 2 2 2 2 2 2 2 2 2 7
28.23	c ---[ 151]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
28.23	c ---[ 149]---> Sorter-cost:  572     Base: 2 2 2 2 2 2 2 2 2 2 7
28.24	c ---[ 147]---> Sorter-cost:  416     Base: 2 2 2 2 2 2 2 2 2 2 7
28.25	c ---[ 145]---> Sorter-cost:  435     Base: 2 2 2 2 2 2 2 2 2 2 7
28.25	c ---[ 143]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
28.26	c ---[ 141]---> Sorter-cost:  674     Base: 2 2 2 2 2 2 2 2 2 2 7
28.26	c ---[ 139]---> Sorter-cost:  611     Base: 2 2 2 2 2 2 2 2 2 2 7
28.27	c ---[ 137]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
28.28	c ---[ 135]---> Sorter-cost:  955     Base: 2 2 2 2 2 2 2 2 2 2 7
28.29	c ---[ 133]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
28.30	c ---[ 131]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
28.31	c ---[ 129]---> Sorter-cost:  659     Base: 2 2 2 2 2 2 2 2 2 2 7
28.31	c ---[ 127]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
28.32	c ---[ 125]---> Adder-cost: 106   maxlim: 52224   bits: 17/16
28.33	c ---[ 123]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
28.35	c ---[ 121]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
28.36	c ---[ 119]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
28.37	c ---[ 117]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
28.37	c ---[ 115]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
28.38	c ---[ 113]---> Adder-cost: 118   maxlim: 57344   bits: 17/16
28.40	c ---[ 111]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
28.41	c ---[ 109]---> Sorter-cost: 1028     Base: 2 2 2 2 2 2 2 2 2 2 7
28.42	c ---[ 107]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
28.43	c ---[ 105]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
28.44	c ---[ 103]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
28.45	c ---[ 101]---> Sorter-cost:  933     Base: 2 2 2 2 2 2 2 2 2 2 7
28.46	c ---[  99]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
28.47	c ---[  97]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
28.48	c ---[  95]---> Sorter-cost: 1028     Base: 2 2 2 2 2 2 2 2 2 2 7
28.49	c ---[  93]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
28.50	c ---[  91]---> Sorter-cost:  443     Base: 2 2 2 2 2 2 2 2 2 2 7
28.50	c ---[  89]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
28.51	c ---[  87]---> Sorter-cost:  405     Base: 2 2 2 2 2 2 2 2 2 2 7
28.51	c ---[  85]---> Adder-cost: 110   maxlim: 55296   bits: 17/16
28.53	c ---[  83]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
28.54	c ---[  81]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
28.55	c ---[  79]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
28.56	c ---[  77]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
28.57	c ---[  75]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
28.59	c ---[  73]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
28.60	c ---[  71]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
28.60	c ---[  69]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
28.61	c ---[  67]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
28.61	c ---[  65]---> Sorter-cost:  735     Base: 2 2 2 2 2 2 2 2 2 2 7
28.62	c ---[  63]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
28.63	c ---[  61]---> Adder-cost: 112   maxlim: 58368   bits: 17/16
28.64	c ---[  59]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
28.66	c ---[  57]---> Adder-cost: 118   maxlim: 57344   bits: 17/16
28.67	c ---[  55]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
28.69	c ---[  53]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
28.70	c ---[  51]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
28.71	c ---[  49]---> Sorter-cost:  647     Base: 2 2 2 2 2 2 2 2 2 2 7
28.71	c ---[  47]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
28.72	c ---[  45]---> Sorter-cost:  638     Base: 2 2 2 2 2 2 2 2 2 2 7
28.73	c ---[  43]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
28.73	c ---[  41]---> Sorter-cost:  731     Base: 2 2 2 2 2 2 2 2 2 2 7
28.74	c ---[  39]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
28.75	c ---[  37]---> Adder-cost: 136   maxlim: 65536   bits: 18/17
28.77	c ---[  35]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
28.79	c ---[  33]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
28.81	c ---[  31]---> Sorter-cost:  653     Base: 2 2 2 2 2 2 2 2 2 2 7
28.81	c ---[  29]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
28.82	c ---[  27]---> Sorter-cost: 1246     Base: 2 2 2 2 2 2 2 2 2 2 7
28.83	c ---[  25]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
28.84	c ---[  23]---> Sorter-cost: 1248     Base: 2 2 2 2 2 2 2 2 2 2 7
28.86	c ---[  21]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
28.87	c ---[  19]---> Sorter-cost:  997     Base: 2 2 2 2 2 2 2 2 2 2 7
28.88	c ---[  17]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
28.89	c ---[  15]---> Sorter-cost:  989     Base: 2 2 2 2 2 2 2 2 2 2 7
28.90	c ---[  13]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
28.91	c ---[  11]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
28.92	c ---[   9]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
28.92	c ---[   8]---> minisat+: ADTs/Global.h:107: T* xmalloc(size_t) [with T = VecAlloc, Formula, Hash_params > >::Cell, 100>::Slot]: Assertion `size == 0 || tmp != __null' failed.

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1569248/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1048 CPUtime=0
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 108 0 0 0 0 0 0 0 18 0 1 0 196500037 1073152 93 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 262 93 67 215 0 44 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1532384/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=38848 CPUtime=9.99
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 12162 0 0 0 993 6 0 0 19 0 1 0 196500037 39780352 9297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 9712 9297 109 215 0 9494 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 38848

[startup+20.009 s]
/proc/loadavg: 0.94 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1493536/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=77884 CPUtime=20
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 23907 0 0 0 1986 14 0 0 25 0 1 0 196500037 79753216 19023 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808955 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 19471 19023 109 215 0 19253 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 77884

[startup+30.0153 s]
/proc/loadavg: 0.95 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1482016/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=89576 CPUtime=29.97
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 26855 0 0 0 2981 16 0 0 25 0 1 0 196500037 91725824 21971 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665153 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 22394 21971 109 215 0 22176 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 89576

[startup+40.0216 s]
/proc/loadavg: 0.96 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1419488/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=156560 CPUtime=39.98
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 44981 0 0 0 3974 24 0 0 25 0 1 0 196500037 160317440 37500 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665767 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 39140 37500 109 215 0 38922 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 156560

[startup+50.0279 s]
/proc/loadavg: 0.96 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1376864/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=199180 CPUtime=49.98
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 58270 0 0 0 4969 29 0 0 25 0 1 0 196500037 203960320 48152 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 49795 48152 109 215 0 49577 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 199180

[startup+60.0342 s]
/proc/loadavg: 0.97 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1341088/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=233896 CPUtime=59.98
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 67191 0 0 0 5965 33 0 0 25 0 1 0 196500037 239509504 57073 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134662868 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 58474 57073 109 215 0 58256 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 233896

[startup+70.0405 s]
/proc/loadavg: 0.97 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1293216/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=281256 CPUtime=69.99
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 84405 0 0 0 6959 40 0 0 25 0 1 0 196500037 288006144 69014 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 70314 69014 109 215 0 70096 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 281256

[startup+80.0468 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1261024/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=312672 CPUtime=79.99
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 92444 0 0 0 7955 44 0 0 25 0 1 0 196500037 320176128 77053 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134662796 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 78168 77053 109 215 0 77950 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 312672

[startup+90.053 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1218336/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=354764 CPUtime=90
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 105723 0 0 0 8951 49 0 0 25 0 1 0 196500037 363278336 87695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665692 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 88691 87695 109 215 0 88473 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 354764

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1181728/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=390404 CPUtime=100
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 114869 0 0 0 9948 52 0 0 25 0 1 0 196500037 399773696 96841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665767 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 97601 96841 109 215 0 97383 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 390404

[startup+110.066 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1107040/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=472568 CPUtime=109.99
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 144028 0 0 0 10934 65 0 0 25 0 1 0 196500037 483909632 115454 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 118142 115454 109 215 0 117924 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 472568

[startup+120.072 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1064288/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=515204 CPUtime=120
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 154685 0 0 0 11930 70 0 0 25 0 1 0 196500037 527568896 126111 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 128801 126111 109 215 0 128583 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 515204

[startup+130.078 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1033120/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=546356 CPUtime=130.01
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 162462 0 0 0 12927 74 0 0 25 0 1 0 196500037 559468544 133888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 136589 133888 109 215 0 136371 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 546356

[startup+140.084 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=1002976/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=576320 CPUtime=140.01
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 169976 0 0 0 13923 78 0 0 25 0 1 0 196500037 590151680 141402 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808989 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 144080 141402 109 215 0 143862 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 576320

[startup+150.091 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=971680/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=607604 CPUtime=150.01
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 177788 0 0 0 14921 80 0 0 25 0 1 0 196500037 622186496 149214 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 151901 149214 109 215 0 151683 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 607604

[startup+160.097 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=944288/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=634928 CPUtime=160.01
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 184629 0 0 0 15917 84 0 0 25 0 1 0 196500037 650166272 156055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 158732 156055 109 215 0 158514 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 634928

[startup+170.102 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=914144/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=665024 CPUtime=170.02
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 192144 0 0 0 16915 87 0 0 25 0 1 0 196500037 680984576 163570 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006822 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 166256 163570 109 215 0 166038 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 665024

[startup+180.109 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=885728/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=693536 CPUtime=180.03
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 199255 0 0 0 17912 91 0 0 25 0 1 0 196500037 710180864 170681 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 173384 170681 109 215 0 173166 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 693536

[startup+190.115 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=689888/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=888928 CPUtime=190.03
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 248121 0 0 0 18892 111 0 0 25 0 1 0 196500037 910262272 219547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134667432 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 222232 219547 109 215 0 222014 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 888928

[startup+200.121 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=757024/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=821724 CPUtime=200.03
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 252422 0 0 0 19889 114 0 0 25 0 1 0 196500037 841445376 202757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 205431 202757 109 215 0 205213 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 821724

[startup+210.128 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=718112/2055920 swapFree=4181332/4192956

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

Current children cumulated CPU time (s) 380.09
Current children cumulated vsize (Kb) 1297056

[startup+390.239 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=16352/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1650612 CPUtime=390.09
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 459736 0 0 0 38809 200 0 0 25 0 1 0 196500037 1690226688 410071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 412653 410071 109 215 0 412435 0
Current children cumulated CPU time (s) 390.09
Current children cumulated vsize (Kb) 1650612

[startup+400.246 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=16352/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1650612 CPUtime=400.1
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 459736 0 0 0 39810 200 0 0 25 0 1 0 196500037 1690226688 410071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134667318 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 412653 410071 109 215 0 412435 0
Current children cumulated CPU time (s) 400.1
Current children cumulated vsize (Kb) 1650612

[startup+410.252 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=176288/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1490728 CPUtime=410.1
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 461943 0 0 0 40806 204 0 0 25 0 1 0 196500037 1526505472 370096 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 372682 370096 109 215 0 372464 0
Current children cumulated CPU time (s) 410.1
Current children cumulated vsize (Kb) 1490728

[startup+420.259 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=158496/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1508548 CPUtime=420.1
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 466376 0 0 0 41805 205 0 0 25 0 1 0 196500037 1544753152 374529 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006925 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 377137 374529 109 215 0 376919 0
Current children cumulated CPU time (s) 420.1
Current children cumulated vsize (Kb) 1508548

[startup+430.265 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=132128/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1534288 CPUtime=430.11
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 472957 0 0 0 42803 208 0 0 25 0 1 0 196500037 1571110912 381110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 383572 381110 109 215 0 383354 0
Current children cumulated CPU time (s) 430.11
Current children cumulated vsize (Kb) 1534288

[startup+440.271 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=110880/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1555408 CPUtime=440.12
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 478265 0 0 0 43802 210 0 0 25 0 1 0 196500037 1592737792 386418 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005850 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 388852 386418 109 215 0 388634 0
Current children cumulated CPU time (s) 440.12
Current children cumulated vsize (Kb) 1555408

[startup+450.277 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=84064/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1581808 CPUtime=450.12
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 484979 0 0 0 44799 213 0 0 25 0 1 0 196500037 1619771392 393132 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 395452 393133 109 215 0 395234 0
Current children cumulated CPU time (s) 450.12
Current children cumulated vsize (Kb) 1581808

[startup+460.285 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=58976/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1606756 CPUtime=460.12
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 491230 0 0 0 45797 215 0 0 25 0 1 0 196500037 1645318144 399383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 401689 399383 109 215 0 401471 0
Current children cumulated CPU time (s) 460.12
Current children cumulated vsize (Kb) 1606756

[startup+470.29 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=28384/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1636060 CPUtime=470.12
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 498869 0 0 0 46793 219 0 0 25 0 1 0 196500037 1675325440 407022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 409015 407022 109 215 0 408797 0
Current children cumulated CPU time (s) 470.12
Current children cumulated vsize (Kb) 1636060

[startup+480.296 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15136/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1661932 CPUtime=480.13
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 505638 0 0 0 47790 223 0 0 25 0 1 0 196500037 1701818368 413791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 415483 413791 109 215 0 415265 0
Current children cumulated CPU time (s) 480.13
Current children cumulated vsize (Kb) 1661932

[startup+490.303 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15264/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1677112 CPUtime=490.13
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 509435 0 0 0 48788 225 0 0 25 0 1 0 196500037 1717362688 417588 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006367 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 419278 417588 109 215 0 419060 0
Current children cumulated CPU time (s) 490.13
Current children cumulated vsize (Kb) 1677112

[startup+500.309 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15456/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1698364 CPUtime=500.13
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 514768 0 0 0 49785 228 0 0 25 0 1 0 196500037 1739124736 422921 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 424591 422921 109 215 0 424373 0
Current children cumulated CPU time (s) 500.13
Current children cumulated vsize (Kb) 1698364

[startup+510.315 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=16032/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1720540 CPUtime=510.14
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 520445 0 0 0 50784 230 0 0 25 0 1 0 196500037 1761832960 428598 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666931 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 430135 428598 109 215 0 429917 0
Current children cumulated CPU time (s) 510.14
Current children cumulated vsize (Kb) 1720540

[startup+520.321 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15648/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1736512 CPUtime=520.14
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 524436 0 0 0 51782 232 0 0 25 0 1 0 196500037 1778188288 432589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 434128 432589 109 215 0 433910 0
Current children cumulated CPU time (s) 520.14
Current children cumulated vsize (Kb) 1736512

[startup+530.328 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15712/2055920 swapFree=4181332/4192956
[pid=18490] ppid=18488 vsize=1752088 CPUtime=530.14
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 528314 0 0 0 52781 233 0 0 25 0 1 0 196500037 1794138112 436467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 438022 436467 109 215 0 437804 0
Current children cumulated CPU time (s) 530.14
Current children cumulated vsize (Kb) 1752088

[startup+540.334 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=14816/2055920 swapFree=4181356/4192956
[pid=18490] ppid=18488 vsize=1768720 CPUtime=540.15
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 532479 0 0 0 53780 235 0 0 25 0 1 0 196500037 1811169280 440632 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666974 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 442180 440632 109 215 0 441962 0
Current children cumulated CPU time (s) 540.15
Current children cumulated vsize (Kb) 1768720

[startup+550.34 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15584/2055920 swapFree=4181356/4192956
[pid=18490] ppid=18488 vsize=1782448 CPUtime=550.15
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 535909 0 0 0 54778 237 0 0 25 0 1 0 196500037 1825226752 444062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 445612 444062 109 215 0 445394 0
Current children cumulated CPU time (s) 550.15
Current children cumulated vsize (Kb) 1782448

[startup+560.347 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15264/2055920 swapFree=4181356/4192956
[pid=18490] ppid=18488 vsize=1797100 CPUtime=560.15
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 539575 0 0 0 55777 238 0 0 25 0 1 0 196500037 1840230400 447728 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 449275 447728 109 215 0 449057 0
Current children cumulated CPU time (s) 560.15
Current children cumulated vsize (Kb) 1797100

[startup+570.353 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15328/2055920 swapFree=4181356/4192956
[pid=18490] ppid=18488 vsize=1809904 CPUtime=570.16
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 542784 0 0 0 56776 240 0 0 25 0 1 0 196500037 1853341696 450937 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 452476 450937 109 215 0 452258 0
Current children cumulated CPU time (s) 570.16
Current children cumulated vsize (Kb) 1809904

[startup+580.36 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=16288/2055920 swapFree=4181356/4192956
[pid=18490] ppid=18488 vsize=1823236 CPUtime=580.16
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 546128 0 0 0 57775 241 0 0 25 0 1 0 196500037 1866993664 454281 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 455809 454281 109 215 0 455591 0
Current children cumulated CPU time (s) 580.16
Current children cumulated vsize (Kb) 1823236

[startup+590.366 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 18490
/proc/meminfo: memFree=15904/2055920 swapFree=4181356/4192956
[pid=18490] ppid=18488 vsize=1834984 CPUtime=590.17
/proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 549042 0 0 0 58774 243 0 0 25 0 1 0 196500037 1879023616 457195 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666974 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18490/statm: 458746 457195 109 215 0 458528 0
Current children cumulated CPU time (s) 590.17
Current children cumulated vsize (Kb) 1834984

Child ended because it received signal 6 (SIGABRT)
Real time (s): 596.951
CPU time (s): 596.752
CPU user time (s): 594.023
CPU system time (s): 2.72958
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (Kb): 1834984
The end

Launcher Data (download as text)

Begin job on node33 on Sat Jun  3 04:19:22 UTC 2006


FILE ID= 35731-1149308362

PBS_JOBID= 307756

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-dc1c.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node33/35731-1149308362/instance-35731-1149308362.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-35731-1149308362 -o ROOT/results/node33/solver-35731-1149308362 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node33/35731-1149308362/instance-35731-1149308362.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  aae7296985adde1f17776b4f5ad45572

RANDOM SEED= 596159740


/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.213
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.213
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:       1569456 kB
Buffers:         31036 kB
Cached:         382056 kB
SwapCached:       3544 kB
Active:          81036 kB
Inactive:       341000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1569456 kB
SwapTotal:     4192956 kB
SwapFree:      4181332 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14912 kB
Slab:            50512 kB
Committed_AS:   304584 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node33 on Sat Jun  3 04:29:19 UTC 2006