Trace number 35712

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.54 1801.23

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dolom1.opb
MD5SUM0b7be4a8ca67db62b7397f891414d40c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18720440947643392
Best CPU time to get the best result obtained on this benchmark1804.44
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18720440947643392
Optimality of the best value was proved NO
Number of variables66480
Total number of constraints1802
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 constraints1802
Minimum length of a constraint40
Maximum length of a constraint66480
Number of terms in the objective function 66480
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 35987090508169209146105
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 35987192908169209146105
Number of bits of the biggest sum of numbers75
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
5.76	c Converting 3495 PB-constraints to clauses...
5.78	c   -- Unit propagations: (none)
5.86	c   -- Detecting intervals from adjacent constraints: #############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
5.93	c   -- Clauses(.)/Splits(s): ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss
6.23	c ---[3562]---> Adder-cost: 192   maxlim: 97280   bits: 18/17
6.25	c ---[3560]---> Sorter-cost:  720     Base: 2 2 2 2 2 2 2 2 2 2 7
6.26	c ---[3558]---> Sorter-cost: 1135     Base: 2 2 2 2 2 2 2 2 2 2 7
6.27	c ---[3556]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
6.28	c ---[3554]---> Adder-cost: 120   maxlim: 59392   bits: 17/16
6.29	c ---[3552]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
6.30	c ---[3550]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
6.32	c ---[3548]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
6.33	c ---[3546]---> Sorter-cost:  656     Base: 2 2 2 2 2 2 2 2 2 2 7
6.34	c ---[3544]---> Sorter-cost: 1250     Base: 2 2 2 2 2 2 2 2 2 2 7
6.35	c ---[3542]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
6.36	c ---[3540]---> Adder-cost: 136   maxlim: 68608   bits: 18/17
6.37	c ---[3538]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
6.39	c ---[3536]---> Adder-cost: 104   maxlim: 53248   bits: 17/16
6.40	c ---[3534]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
6.42	c ---[3532]---> Sorter-cost: 1077     Base: 2 2 2 2 2 2 2 2 2 2 7
6.42	c ---[3530]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
6.43	c ---[3528]---> Sorter-cost: 1164     Base: 2 2 2 2 2 2 2 2 2 2 7
6.44	c ---[3526]---> Adder-cost: 140   maxlim: 69632   bits: 18/17
6.46	c ---[3524]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
6.47	c ---[3522]---> Adder-cost: 128   maxlim: 87040   bits: 18/17
6.49	c ---[3520]---> Adder-cost: 66   maxlim: 87040   bits: 18/17
6.51	c ---[3518]---> Adder-cost: 152   maxlim: 81920   bits: 18/17
6.53	c ---[3516]---> Adder-cost: 68   maxlim: 81920   bits: 18/17
6.55	c ---[3514]---> Sorter-cost: 1152     Base: 2 2 2 2 2 2 2 2 2 2 7
6.56	c ---[3512]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
6.57	c ---[3510]---> Adder-cost: 108   maxlim: 54272   bits: 17/16
6.58	c ---[3508]---> Adder-cost: 102   maxlim: 52224   bits: 17/16
6.59	c ---[3506]---> Sorter-cost:  647     Base: 2 2 2 2 2 2 2 2 2 2 7
6.60	c ---[3504]---> Adder-cost: 124   maxlim: 61440   bits: 17/16
6.61	c ---[3502]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
6.62	c ---[3500]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
6.64	c ---[3498]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
6.64	c ---[3496]---> Sorter-cost: 1287     Base: 2 2 2 2 2 2 2 2 2 2 7
6.65	c ---[3494]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
6.66	c ---[3492]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
6.67	c ---[3490]---> Adder-cost: 128   maxlim: 70656   bits: 18/17
6.69	c ---[3488]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
6.71	c ---[3486]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
6.71	c ---[3484]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
6.72	c ---[3482]---> Sorter-cost:  623     Base: 2 2 2 2 2 2 2 2 2 2 7
6.73	c ---[3480]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
6.74	c ---[3478]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
6.74	c ---[3476]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
6.75	c ---[3474]---> Sorter-cost:  456     Base: 2 2 2 2 2 2 2 2 2 2 7
6.76	c ---[3472]---> Sorter-cost: 1059     Base: 2 2 2 2 2 2 2 2 2 2 7
6.77	c ---[3470]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
6.78	c ---[3468]---> Sorter-cost:  931     Base: 2 2 2 2 2 2 2 2 2 2 7
6.79	c ---[3466]---> Sorter-cost:  910     Base: 2 2 2 2 2 2 2 2 2 2 7
6.80	c ---[3464]---> Adder-cost: 154   maxlim: 73728   bits: 18/17
6.82	c ---[3462]---> Adder-cost: 252   maxlim: 126976   bits: 18/17
6.84	c ---[3460]---> Adder-cost: 340   maxlim: 171008   bits: 19/18
6.88	c ---[3458]---> Adder-cost: 324   maxlim: 183296   bits: 19/18
6.92	c ---[3456]---> Adder-cost: 158   maxlim: 79872   bits: 18/17
6.94	c ---[3454]---> Sorter-cost:  886     Base: 2 2 2 2 2 2 2 2 2 2 7
6.95	c ---[3452]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
6.96	c ---[3450]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
6.97	c ---[3448]---> Adder-cost: 232   maxlim: 119808   bits: 18/17
6.99	c ---[3446]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
7.00	c ---[3444]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
7.01	c ---[3442]---> Sorter-cost: 1170     Base: 2 2 2 2 2 2 2 2 2 2 7
7.02	c ---[3440]---> Sorter-cost:  963     Base: 2 2 2 2 2 2 2 2 2 2 7
7.03	c ---[3438]---> Adder-cost: 84   maxlim: 51200   bits: 17/16
7.04	c ---[3436]---> Sorter-cost:  666     Base: 2 2 2 2 2 2 2 2 2 2 7
7.05	c ---[3434]---> Adder-cost: 112   maxlim: 117760   bits: 18/17
7.07	c ---[3432]---> Sorter-cost: 1153     Base: 2 2 2 2 2 2 2 2 2 2 7
7.08	c ---[3430]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 2
7.09	c ---[3428]---> Sorter-cost: 1002     Base: 2 2 2 2 2 2 2 2 2 2 7
7.09	c ---[3426]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
7.11	c ---[3424]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
7.13	c ---[3422]---> Adder-cost: 162   maxlim: 115712   bits: 18/17
7.15	c ---[3420]---> Adder-cost: 90   maxlim: 53248   bits: 17/16
7.16	c ---[3418]---> Adder-cost: 48   maxlim: 53248   bits: 17/16
7.18	c ---[3416]---> Sorter-cost:  424     Base: 2 2 2 2 2 2 2 2 2 2 7
7.18	c ---[3414]---> Sorter-cost: 1185     Base: 2 2 2 2 2 2 2 2 2 2 7
7.19	c ---[3412]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
7.20	c ---[3410]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
7.21	c ---[3408]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
7.22	c ---[3406]---> Adder-cost: 216   maxlim: 122880   bits: 18/17
7.25	c ---[3404]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
7.25	c ---[3402]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
7.26	c ---[3400]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
7.26	c ---[3398]---> Sorter-cost:  640     Base: 2 2 2 2 2 2 2 2 2 2 7
7.27	c ---[3396]---> Sorter-cost: 1054     Base: 2 2 2 2 2 2 2 2 2 2 7
7.28	c ---[3394]---> Adder-cost: 524   maxlim: 264192   bits: 20/19
7.34	c ---[3392]---> Adder-cost: 138   maxlim: 264192   bits: 20/19
7.40	c ---[3390]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
7.43	c ---[3388]---> Sorter-cost:  989     Base: 2 2 2 2 2 2 2 2 2 2 7
7.44	c ---[3386]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
7.45	c ---[3384]---> Adder-cost: 204   maxlim: 100352   bits: 18/17
7.48	c ---[3382]---> Sorter-cost:  720     Base: 2 2 2 2 2 2 2 2 2 2 7
7.49	c ---[3380]---> Sorter-cost:  600     Base: 2 2 2 2 2 2 2 2 2 2 7
7.49	c ---[3378]---> Adder-cost: 80   maxlim: 122880   bits: 18/17
7.52	c ---[3376]---> Adder-cost: 210   maxlim: 105472   bits: 18/17
7.55	c ---[3374]---> Adder-cost: 74   maxlim: 105472   bits: 18/17
7.57	c ---[3372]---> Sorter-cost:  445     Base: 2 2 2 2 2 2 2 2 2 2 7
7.58	c ---[3370]---> Adder-cost: 176   maxlim: 86016   bits: 18/17
7.60	c ---[3368]---> Adder-cost: 184   maxlim: 93184   bits: 18/17
7.62	c ---[3366]---> Adder-cost: 120   maxlim: 59392   bits: 17/16
7.64	c ---[3364]---> Adder-cost: 134   maxlim: 68608   bits: 18/17
7.66	c ---[3362]---> Adder-cost: 142   maxlim: 78848   bits: 18/17
7.67	c ---[3360]---> Sorter-cost:  645     Base: 2 2 2 2 2 2 2 2 2 2 7
7.68	c ---[3358]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
7.69	c ---[3356]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
7.69	c ---[3354]---> Sorter-cost:  400     Base: 2 2 2 2 2 2 2 2 2 2 7
7.70	c ---[3352]---> Adder-cost: 176   maxlim: 86016   bits: 18/17
7.72	c ---[3350]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
7.74	c ---[3348]---> Adder-cost: 140   maxlim: 66560   bits: 18/17
7.76	c ---[3346]---> Adder-cost: 68   maxlim: 59392   bits: 17/16
7.77	c ---[3344]---> Sorter-cost: 1214     Base: 2 2 2 2 2 2 2 2 2 2 7
7.78	c ---[3342]---> Adder-cost: 148   maxlim: 73728   bits: 18/17
7.80	c ---[3340]---> Adder-cost: 62   maxlim: 73728   bits: 18/17
7.82	c ---[3338]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
7.83	c ---[3336]---> Adder-cost: 66   maxlim: 59392   bits: 17/16
7.84	c ---[3334]---> Adder-cost: 122   maxlim: 62464   bits: 17/16
7.85	c ---[3332]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
7.87	c ---[3330]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
7.87	c ---[3328]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
7.88	c ---[3326]---> Adder-cost: 146   maxlim: 70656   bits: 18/17
7.89	c ---[3324]---> Adder-cost: 124   maxlim: 65536   bits: 18/17
7.91	c ---[3322]---> Sorter-cost: 1250     Base: 2 2 2 2 2 2 2 2 2 2 7
7.92	c ---[3320]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
7.94	c ---[3318]---> Adder-cost: 170   maxlim: 83968   bits: 18/17
7.96	c ---[3316]---> Adder-cost: 252   maxlim: 128000   bits: 18/17
7.99	c ---[3314]---> Adder-cost: 108   maxlim: 60416   bits: 17/16
8.00	c ---[3312]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
8.01	c ---[3310]---> Adder-cost: 236   maxlim: 124928   bits: 18/17
8.04	c ---[3308]---> Adder-cost: 92   maxlim: 52224   bits: 17/16
8.05	c ---[3306]---> Adder-cost: 274   maxlim: 136192   bits: 19/18
8.09	c ---[3304]---> Adder-cost: 198   maxlim: 102400   bits: 18/17
8.11	c ---[3302]---> Adder-cost: 122   maxlim: 63488   bits: 17/16
8.12	c ---[3300]---> Adder-cost: 190   maxlim: 94208   bits: 18/17
8.15	c ---[3298]---> Adder-cost: 192   maxlim: 96256   bits: 18/17
8.17	c ---[3296]---> Adder-cost: 168   maxlim: 97280   bits: 18/17
8.19	c ---[3294]---> Adder-cost: 140   maxlim: 65536   bits: 18/17
8.21	c ---[3292]---> Adder-cost: 94   maxlim: 54272   bits: 17/16
8.22	c ---[3290]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
8.23	c ---[3288]---> Sorter-cost:  547     Base: 2 2 2 2 2 2 2 2 2 2 7
8.23	c ---[3286]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
8.24	c ---[3284]---> Sorter-cost:  456     Base: 2 2 2 2 2 2 2 2 2 2 7
8.24	c ---[3282]---> Sorter-cost: 1221     Base: 2 2 2 2 2 2 2 2 2 2 7
8.25	c ---[3280]---> Adder-cost: 208   maxlim: 105472   bits: 18/17
8.28	c ---[3278]---> Adder-cost: 202   maxlim: 108544   bits: 18/17
8.31	c ---[3276]---> Adder-cost: 108   maxlim: 67584   bits: 18/17
8.32	c ---[3274]---> Adder-cost: 140   maxlim: 103424   bits: 18/17
8.35	c ---[3272]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
8.36	c ---[3270]---> Sorter-cost: 1169     Base: 2 2 2 2 2 2 2 2 2 2 7
8.37	c ---[3268]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
8.38	c ---[3266]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
8.38	c ---[3264]---> Adder-cost: 170   maxlim: 81920   bits: 18/17
8.40	c ---[3262]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
8.41	c ---[3260]---> Sorter-cost: 1131     Base: 2 2 2 2 2 2 2 2 2 2 7
8.42	c ---[3258]---> Sorter-cost: 1261     Base: 2 2 2 2 2 2 2 2 2 2 7
8.43	c ---[3256]---> Sorter-cost: 1089     Base: 2 2 2 2 2 2 2 2 2 2 7
8.44	c ---[3254]---> Sorter-cost:  966     Base: 2 2 2 2 2 2 2 2 2 2 7
8.45	c ---[3252]---> Sorter-cost:  933     Base: 2 2 2 2 2 2 2 2 2 2 7
8.48	c ---[3250]---> Sorter-cost:  710     Base: 2 2 2 2 2 2 2 2 2 2 7
8.48	c ---[3248]---> Adder-cost: 120   maxlim: 61440   bits: 17/16
8.50	c ---[3246]---> Adder-cost: 288   maxlim: 144384   bits: 19/18
8.53	c ---[3244]---> Adder-cost: 80   maxlim: 53248   bits: 17/16
8.55	c ---[3242]---> Sorter-cost: 1074     Base: 2 2 2 2 2 2 2 2 2 2 7
8.56	c ---[3240]---> Sorter-cost:  576     Base: 2 2 2 2 2 2 2 2 2 2 7
8.56	c ---[3238]---> Sorter-cost:  638     Base: 2 2 2 2 2 2 2 2 2 2 7
8.57	c ---[3236]---> Sorter-cost:  725     Base: 2 2 2 2 2 2 2 2 2 2 7
8.57	c ---[3234]---> Sorter-cost:  564     Base: 2 2 2 2 2 2 2 2 2 2 7
8.58	c ---[3232]---> Sorter-cost:  702     Base: 2 2 2 2 2 2 2 2 2 2 7
8.59	c ---[3230]---> Sorter-cost:  610     Base: 2 2 2 2 2 2 2 2 2 2 7
8.59	c ---[3228]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
8.60	c ---[3226]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
8.61	c ---[3224]---> Sorter-cost: 1087     Base: 2 2 2 2 2 2 2 2 2 2 7
8.62	c ---[3222]---> Sorter-cost: 1070     Base: 2 2 2 2 2 2 2 2 2 2 7
8.63	c ---[3220]---> Sorter-cost: 1115     Base: 2 2 2 2 2 2 2 2 2 2 7
8.64	c ---[3218]---> Adder-cost: 156   maxlim: 75776   bits: 18/17
8.65	c ---[3216]---> Sorter-cost:  983     Base: 2 2 2 2 2 2 2 2 2 2 7
8.66	c ---[3214]---> Sorter-cost:  640     Base: 2 2 2 2 2 2 2 2 2 2 7
8.67	c ---[3212]---> Adder-cost: 276   maxlim: 135168   bits: 19/18
8.70	c ---[3210]---> Adder-cost: 120   maxlim: 60416   bits: 17/16
8.72	c ---[3208]---> Adder-cost: 174   maxlim: 87040   bits: 18/17
8.74	c ---[3206]---> Adder-cost: 110   maxlim: 53248   bits: 17/16
8.75	c ---[3204]---> Adder-cost: 90   maxlim: 54272   bits: 17/16
8.76	c ---[3202]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
8.77	c ---[3200]---> Sorter-cost: 1242     Base: 2 2 2 2 2 2 2 2 2 2 7
8.78	c ---[3198]---> Sorter-cost:  708     Base: 2 2 2 2 2 2 2 2 2 2 7
8.79	c ---[3196]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
8.80	c ---[3194]---> Sorter-cost:  516     Base: 2 2 2 2 2 2 2 2 2 2 7
8.80	c ---[3192]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
8.81	c ---[3190]---> Sorter-cost:  718     Base: 2 2 2 2 2 2 2 2 2 2 7
8.82	c ---[3188]---> Sorter-cost: 1181     Base: 2 2 2 2 2 2 2 2 2 2 7
8.83	c ---[3186]---> Adder-cost: 162   maxlim: 79872   bits: 18/17
8.85	c ---[3184]---> Adder-cost: 208   maxlim: 104448   bits: 18/17
8.87	c ---[3182]---> Adder-cost: 198   maxlim: 99328   bits: 18/17
8.90	c ---[3180]---> Adder-cost: 234   maxlim: 116736   bits: 18/17
8.93	c ---[3178]---> Adder-cost: 328   maxlim: 191488   bits: 19/18
8.97	c ---[3176]---> Adder-cost: 140   maxlim: 67584   bits: 18/17
8.99	c ---[3174]---> Adder-cost: 144   maxlim: 69632   bits: 18/17
9.01	c ---[3172]---> Adder-cost: 192   maxlim: 99328   bits: 18/17
9.03	c ---[3170]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
9.04	c ---[3168]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
9.06	c ---[3166]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
9.07	c ---[3164]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
9.09	c ---[3162]---> Adder-cost: 222   maxlim: 111616   bits: 18/17
9.11	c ---[3160]---> Adder-cost: 330   maxlim: 174080   bits: 19/18
9.15	c ---[3158]---> Sorter-cost:  470     Base: 2 2 2 2 2 2 2 2 2 2 7
9.16	c ---[3156]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
9.17	c ---[3154]---> Adder-cost: 92   maxlim: 53248   bits: 17/16
9.19	c ---[3152]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
9.19	c ---[3150]---> Adder-cost: 130   maxlim: 66560   bits: 18/17
9.21	c ---[3148]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
9.21	c ---[3146]---> Sorter-cost: 1238     Base: 2 2 2 2 2 2 2 2 2 2 7
9.23	c ---[3144]---> Sorter-cost:  992     Base: 2 2 2 2 2 2 2 2 2 2 7
9.24	c ---[3142]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
9.24	c ---[3140]---> Adder-cost: 186   maxlim: 93184   bits: 18/17
9.26	c ---[3138]---> Adder-cost: 120   maxlim: 60416   bits: 17/16
9.28	c ---[3136]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
9.29	c ---[3134]---> Sorter-cost:  785     Base: 2 2 2 2 2 2 2 2 2 2 7
9.30	c ---[3132]---> Adder-cost: 124   maxlim: 62464   bits: 17/16
9.31	c ---[3130]---> Adder-cost: 190   maxlim: 96256   bits: 18/17
9.33	c ---[3128]---> Adder-cost: 224   maxlim: 123904   bits: 18/17
9.36	c ---[3126]---> Sorter-cost: 1135     Base: 2 2 2 2 2 2 2 2 2 2 7
9.37	c ---[3124]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
9.38	c ---[3122]---> Adder-cost: 118   maxlim: 58368   bits: 17/16
9.40	c ---[3120]---> Adder-cost: 116   maxlim: 60416   bits: 17/16
9.41	c ---[3118]---> Sorter-cost:  983     Base: 2 2 2 2 2 2 2 2 2 2 7
9.42	c ---[3116]---> Adder-cost: 186   maxlim: 92160   bits: 18/17
9.44	c ---[3114]---> Sorter-cost: 1192     Base: 2 2 2 2 2 2 2 2 2 2 7
9.45	c ---[3112]---> Adder-cost: 240   maxlim: 121856   bits: 18/17
9.48	c ---[3110]---> Sorter-cost:  583     Base: 2 2 2 2 2 2 2 2 2 2 7
9.49	c ---[3108]---> Sorter-cost: 1285     Base: 2 2 2 2 2 2 2 2 2 2 7
9.50	c ---[3106]---> Adder-cost: 186   maxlim: 92160   bits: 18/17
9.52	c ---[3104]---> Adder-cost: 122   maxlim: 61440   bits: 17/16
9.54	c ---[3102]---> Adder-cost: 244   maxlim: 124928   bits: 18/17
9.57	c ---[3100]---> Adder-cost: 120   maxlim: 62464   bits: 17/16
9.58	c ---[3098]---> Adder-cost: 112   maxlim: 60416   bits: 17/16
9.59	c ---[3096]---> Adder-cost: 230   maxlim: 116736   bits: 18/17
9.62	c ---[3094]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
9.63	c ---[3092]---> Adder-cost: 424   maxlim: 217088   bits: 19/18
9.68	c ---[3090]---> Adder-cost: 118   maxlim: 217088   bits: 19/18
9.73	c ---[3088]---> Adder-cost: 120   maxlim: 62464   bits: 17/16
9.75	c ---[3086]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
9.76	c ---[3084]---> Adder-cost: 96   maxlim: 61440   bits: 17/16
9.77	c ---[3082]---> Adder-cost: 308   maxlim: 162816   bits: 19/18
9.81	c ---[3080]---> Adder-cost: 230   maxlim: 118784   bits: 18/17
9.84	c ---[3078]---> Adder-cost: 140   maxlim: 69632   bits: 18/17
9.86	c ---[3076]---> Sorter-cost: 1240     Base: 2 2 2 2 2 2 2 2 2 2 7
9.87	c ---[3074]---> Adder-cost: 184   maxlim: 103424   bits: 18/17
9.89	c ---[3072]---> Adder-cost: 154   maxlim: 79872   bits: 18/17
9.91	c ---[3070]---> Adder-cost: 62   maxlim: 79872   bits: 18/17
9.93	c ---[3068]---> Sorter-cost:  422     Base: 2 2 2 2 2 2 2 2 2 2 7
9.94	c ---[3066]---> Adder-cost: 202   maxlim: 99328   bits: 18/17
9.96	c ---[3064]---> Adder-cost: 122   maxlim: 61440   bits: 17/16
9.98	c ---[3062]---> Adder-cost: 218   maxlim: 108544   bits: 18/17
10.01	c ---[3060]---> Adder-cost: 140   maxlim: 68608   bits: 18/17
10.03	c ---[3058]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
10.05	c ---[3056]---> Adder-cost: 148   maxlim: 82944   bits: 18/17
10.07	c ---[3054]---> Adder-cost: 126   maxlim: 72704   bits: 18/17
10.09	c ---[3052]---> Adder-cost: 258   maxlim: 138240   bits: 19/18
10.12	c ---[3050]---> Adder-cost: 92   maxlim: 66560   bits: 18/17
10.14	c ---[3048]---> Sorter-cost:  959     Base: 2 2 2 2 2 2 2 2 2 2 7
10.15	c ---[3046]---> Adder-cost: 144   maxlim: 83968   bits: 18/17
10.17	c ---[3044]---> Adder-cost: 106   maxlim: 80896   bits: 18/17
10.20	c ---[3042]---> Adder-cost: 136   maxlim: 98304   bits: 18/17
10.22	c ---[3040]---> Adder-cost: 100   maxlim: 60416   bits: 17/16
10.24	c ---[3038]---> Sorter-cost:  908     Base: 2 2 2 2 2 2 2 2 2 2 7
10.24	c ---[3036]---> Adder-cost: 248   maxlim: 126976   bits: 18/17
10.28	c ---[3034]---> Adder-cost: 138   maxlim: 68608   bits: 18/17
10.30	c ---[3032]---> Sorter-cost: 1171     Base: 2 2 2 2 2 2 2 2 2 2 7
10.31	c ---[3030]---> Adder-cost: 116   maxlim: 59392   bits: 17/16
10.32	c ---[3028]---> Sorter-cost: 1020     Base: 2 2 2 2 2 2 2 2 2 2 7
10.33	c ---[3026]---> Adder-cost: 126   maxlim: 68608   bits: 18/17
10.35	c ---[3024]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
10.37	c ---[3022]---> Adder-cost: 174   maxlim: 89088   bits: 18/17
10.39	c ---[3020]---> Adder-cost: 130   maxlim: 87040   bits: 18/17
10.41	c ---[3018]---> Adder-cost: 136   maxlim: 97280   bits: 18/17
10.44	c ---[3016]---> Adder-cost: 242   maxlim: 122880   bits: 18/17
10.48	c ---[3014]---> Adder-cost: 142   maxlim: 72704   bits: 18/17
10.50	c ---[3012]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
10.50	c ---[3010]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
10.51	c ---[3008]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
10.52	c ---[3006]---> Sorter-cost:  692     Base: 2 2 2 2 2 2 2 2 2 2 7
10.53	c ---[3004]---> Sorter-cost: 1244     Base: 2 2 2 2 2 2 2 2 2 2 7
10.54	c ---[3002]---> Adder-cost: 106   maxlim: 53248   bits: 17/16
10.55	c ---[3000]---> Adder-cost: 190   maxlim: 102400   bits: 18/17
10.58	c ---[2998]---> Adder-cost: 202   maxlim: 100352   bits: 18/17
10.60	c ---[2996]---> Sorter-cost: 1028     Base: 2 2 2 2 2 2 2 2 2 2 7
10.61	c ---[2994]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
10.62	c ---[2992]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
10.63	c ---[2990]---> Sorter-cost:  842     Base: 2 2 2 2 2 2 2 2 2 2 7
10.64	c ---[2988]---> Sorter-cost:  813     Base: 2 2 2 2 2 2 2 2 2 2 7
10.65	c ---[2986]---> Sorter-cost: 1164     Base: 2 2 2 2 2 2 2 2 2 2 7
10.66	c ---[2984]---> Sorter-cost:  948     Base: 2 2 2 2 2 2 2 2 2 2 7
10.67	c ---[2982]---> Adder-cost: 138   maxlim: 66560   bits: 18/17
10.69	c ---[2980]---> Adder-cost: 84   maxlim: 53248   bits: 17/16
10.71	c ---[2978]---> Adder-cost: 182   maxlim: 98304   bits: 18/17
10.73	c ---[2976]---> Adder-cost: 188   maxlim: 103424   bits: 18/17
10.76	c ---[2974]---> Adder-cost: 184   maxlim: 109568   bits: 18/17
10.79	c ---[2972]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
10.80	c ---[2970]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
10.81	c ---[2968]---> Adder-cost: 78   maxlim: 52224   bits: 17/16
10.83	c ---[2966]---> Adder-cost: 98   maxlim: 64512   bits: 17/16
10.84	c ---[2964]---> Adder-cost: 98   maxlim: 57344   bits: 17/16
10.86	c ---[2962]---> Adder-cost: 72   maxlim: 54272   bits: 17/16
10.87	c ---[2960]---> Adder-cost: 100   maxlim: 59392   bits: 17/16
10.88	c ---[2958]---> Adder-cost: 106   maxlim: 54272   bits: 17/16
10.90	c ---[2956]---> Adder-cost: 98   maxlim: 58368   bits: 17/16
10.91	c ---[2954]---> Adder-cost: 286   maxlim: 154624   bits: 19/18
10.95	c ---[2952]---> Adder-cost: 286   maxlim: 165888   bits: 19/18
10.99	c ---[2950]---> Adder-cost: 272   maxlim: 163840   bits: 19/18
11.03	c ---[2948]---> Sorter-cost: 1219     Base: 2 2 2 2 2 2 2 2 2 2 7
11.05	c ---[2946]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
11.06	c ---[2944]---> Adder-cost: 102   maxlim: 51200   bits: 17/16
11.07	c ---[2942]---> Sorter-cost: 1188     Base: 2 2 2 2 2 2 2 2 2 2 7
11.08	c ---[2940]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
11.09	c ---[2938]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
11.10	c ---[2936]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
11.12	c ---[2934]---> Sorter-cost: 1224     Base: 2 2 2 2 2 2 2 2 2 2 7
11.18	c ---[2932]---> Sorter-cost:  999     Base: 2 2 2 2 2 2 2 2 2 2 7
11.19	c ---[2930]---> Adder-cost: 66   maxlim: 87040   bits: 18/17
11.21	c ---[2928]---> Adder-cost: 158   maxlim: 84992   bits: 18/17
11.24	c ---[2926]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
11.26	c ---[2924]---> Adder-cost: 184   maxlim: 95232   bits: 18/17
11.29	c ---[2922]---> Adder-cost: 132   maxlim: 66560   bits: 18/17
11.30	c ---[2920]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
11.32	c ---[2918]---> Adder-cost: 86   maxlim: 67584   bits: 18/17
11.34	c ---[2916]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
11.36	c ---[2914]---> Adder-cost: 142   maxlim: 67584   bits: 18/17
11.38	c ---[2912]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
11.39	c ---[2910]---> Adder-cost: 48   maxlim: 55296   bits: 17/16
11.41	c ---[2908]---> Adder-cost: 248   maxlim: 133120   bits: 19/18
11.44	c ---[2906]---> Adder-cost: 234   maxlim: 125952   bits: 18/17
11.48	c ---[2904]---> Sorter-cost: 1155     Base: 2 2 2 2 2 2 2 2 2 2 7
11.49	c ---[2902]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
11.50	c ---[2900]---> Adder-cost: 60   maxlim: 67584   bits: 18/17
11.52	c ---[2898]---> Sorter-cost: 1084     Base: 2 2 2 2 2 2 2 2 2 2 7
11.53	c ---[2896]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
11.54	c ---[2894]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
11.55	c ---[2892]---> Sorter-cost:  962     Base: 2 2 2 2 2 2 2 2 2 2 7
11.56	c ---[2890]---> Sorter-cost:  952     Base: 2 2 2 2 2 2 2 2 2 2 7
11.57	c ---[2888]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
11.58	c ---[2886]---> Adder-cost: 198   maxlim: 104448   bits: 18/17
11.60	c ---[2884]---> Adder-cost: 146   maxlim: 73728   bits: 18/17
11.62	c ---[2882]---> Sorter-cost: 1008     Base: 2 2 2 2 2 2 2 2 2 2 7
11.63	c ---[2880]---> Adder-cost: 90   maxlim: 61440   bits: 17/16
11.65	c ---[2878]---> Adder-cost: 198   maxlim: 107520   bits: 18/17
11.68	c ---[2876]---> Adder-cost: 118   maxlim: 59392   bits: 17/16
11.69	c ---[2874]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
11.71	c ---[2872]---> Sorter-cost: 1145     Base: 2 2 2 2 2 2 2 2 2 2 7
11.72	c ---[2870]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
11.73	c ---[2868]---> Sorter-cost:  434     Base: 2 2 2 2 2 2 2 2 2 2 7
11.73	c ---[2866]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
11.74	c ---[2864]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
11.75	c ---[2862]---> Adder-cost: 278   maxlim: 163840   bits: 19/18
11.80	c ---[2860]---> Adder-cost: 278   maxlim: 143360   bits: 19/18
11.83	c ---[2858]---> Sorter-cost:  576     Base: 2 2 2 2 2 2 2 2 2 2 7
11.84	c ---[2856]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
11.85	c ---[2854]---> Adder-cost: 100   maxlim: 54272   bits: 17/16
11.86	c ---[2852]---> Adder-cost: 104   maxlim: 54272   bits: 17/16
11.88	c ---[2850]---> Adder-cost: 80   maxlim: 51200   bits: 17/16
11.89	c ---[2848]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 7
11.90	c ---[2846]---> Adder-cost: 194   maxlim: 105472   bits: 18/17
11.93	c ---[2844]---> Adder-cost: 88   maxlim: 54272   bits: 17/16
11.94	c ---[2842]---> Adder-cost: 274   maxlim: 160768   bits: 19/18
11.98	c ---[2840]---> Adder-cost: 226   maxlim: 136192   bits: 19/18
12.02	c ---[2838]---> Adder-cost: 124   maxlim: 64512   bits: 17/16
12.03	c ---[2836]---> Sorter-cost: 1275     Base: 2 2 2 2 2 2 2 2 2 2 7
12.05	c ---[2834]---> Sorter-cost:  860     Base: 2 2 2 2 2 2 2 2 2 2 7
12.06	c ---[2832]---> Sorter-cost:  913     Base: 2 2 2 2 2 2 2 2 2 2 7
12.06	c ---[2830]---> Adder-cost: 156   maxlim: 82944   bits: 18/17
12.09	c ---[2828]---> Sorter-cost:  424     Base: 2 2 2 2 2 2 2 2 2 2 7
12.09	c ---[2826]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
12.10	c ---[2824]---> Sorter-cost:  862     Base: 2 2 2 2 2 2 2 2 2 2 7
12.11	c ---[2822]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
12.12	c ---[2820]---> Sorter-cost:  965     Base: 2 2 2 2 2 2 2 2 2 2 7
12.13	c ---[2818]---> Sorter-cost: 1039     Base: 2 2 2 2 2 2 2 2 2 2 7
12.14	c ---[2816]---> Adder-cost: 68   maxlim: 82944   bits: 18/17
12.16	c ---[2814]---> Sorter-cost:  666     Base: 2 2 2 2 2 2 2 2 2 2 7
12.17	c ---[2812]---> Sorter-cost:  699     Base: 2 2 2 2 2 2 2 2 2 2 7
12.17	c ---[2810]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
12.18	c ---[2808]---> Sorter-cost:  570     Base: 2 2 2 2 2 2 2 2 2 2 7
12.19	c ---[2806]---> Adder-cost: 174   maxlim: 95232   bits: 18/17
12.21	c ---[2804]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
12.22	c ---[2802]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
12.23	c ---[2800]---> Sorter-cost:  550     Base: 2 2 2 2 2 2 2 2 2 2 7
12.23	c ---[2798]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
12.24	c ---[2796]---> Adder-cost: 126   maxlim: 64512   bits: 17/16
12.25	c ---[2794]---> Adder-cost: 76   maxlim: 61440   bits: 17/16
12.27	c ---[2792]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
12.28	c ---[2790]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
12.29	c ---[2788]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
12.30	c ---[2786]---> Adder-cost: 238   maxlim: 123904   bits: 18/17
12.34	c ---[2784]---> Adder-cost: 108   maxlim: 55296   bits: 17/16
12.35	c ---[2782]---> Adder-cost: 158   maxlim: 83968   bits: 18/17
12.37	c ---[2780]---> Adder-cost: 68   maxlim: 83968   bits: 18/17
12.40	c ---[2778]---> Adder-cost: 172   maxlim: 84992   bits: 18/17
12.42	c ---[2776]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
12.44	c ---[2774]---> Adder-cost: 186   maxlim: 94208   bits: 18/17
12.47	c ---[2772]---> Adder-cost: 70   maxlim: 94208   bits: 18/17
12.49	c ---[2770]---> Adder-cost: 120   maxlim: 97280   bits: 18/17
12.52	c ---[2768]---> Adder-cost: 174   maxlim: 96256   bits: 18/17
12.54	c ---[2766]---> Adder-cost: 244   maxlim: 122880   bits: 18/17
12.58	c ---[2764]---> Adder-cost: 104   maxlim: 99328   bits: 18/17
12.60	c ---[2762]---> Adder-cost: 70   maxlim: 99328   bits: 18/17
12.63	c ---[2760]---> Adder-cost: 146   maxlim: 87040   bits: 18/17
12.65	c ---[2758]---> Adder-cost: 122   maxlim: 78848   bits: 18/17
12.67	c ---[2756]---> Sorter-cost: 1277     Base: 2 2 2 2 2 2 2 2 2 2 7
12.68	c ---[2754]---> Adder-cost: 180   maxlim: 119808   bits: 18/17
12.72	c ---[2752]---> Adder-cost: 120   maxlim: 62464   bits: 17/16
12.73	c ---[2750]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
12.75	c ---[2748]---> Adder-cost: 108   maxlim: 61440   bits: 17/16
12.76	c ---[2746]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
12.78	c ---[2744]---> Adder-cost: 112   maxlim: 62464   bits: 17/16
12.79	c ---[2742]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
12.81	c ---[2740]---> Adder-cost: 104   maxlim: 56320   bits: 17/16
12.82	c ---[2738]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
12.84	c ---[2736]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
12.85	c ---[2734]---> Adder-cost: 218   maxlim: 118784   bits: 18/17
12.88	c ---[2732]---> Sorter-cost:  468     Base: 2 2 2 2 2 2 2 2 2 2 7
12.89	c ---[2730]---> Sorter-cost:  363     Base: 2 2 2 2 2 2 2 2 2 2 7
12.89	c ---[2728]---> Sorter-cost: 1073     Base: 2 2 2 2 2 2 2 2 2 2 7
12.90	c ---[2726]---> Sorter-cost:  301     Base: 2 2 2 2 2 2 2 2 2 2 2
12.91	c ---[2724]---> Sorter-cost: 1072     Base: 2 2 2 2 2 2 2 2 2 2 7
12.92	c ---[2722]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
12.92	c ---[2720]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
12.93	c ---[2718]---> Adder-cost: 80   maxlim: 118784   bits: 18/17
12.96	c ---[2716]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
12.96	c ---[2714]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
12.97	c ---[2712]---> Sorter-cost:  301     Base: 2 2 2 2 2 2 2 2 2 2 2
12.98	c ---[2710]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
12.99	c ---[2708]---> Adder-cost: 106   maxlim: 54272   bits: 17/16
13.00	c ---[2706]---> Adder-cost: 238   maxlim: 120832   bits: 18/17
13.03	c ---[2704]---> Sorter-cost:  653     Base: 2 2 2 2 2 2 2 2 2 2 7
13.04	c ---[2702]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
13.05	c ---[2700]---> Sorter-cost:  613     Base: 2 2 2 2 2 2 2 2 2 2 7
13.05	c ---[2698]---> Sorter-cost:  456     Base: 2 2 2 2 2 2 2 2 2 2 7
13.06	c ---[2696]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
13.06	c ---[2694]---> Sorter-cost:  295     Base: 2 2 2 2 2 2 2 2 2 2 2
13.07	c ---[2692]---> Adder-cost: 80   maxlim: 120832   bits: 18/17
13.10	c ---[2690]---> Adder-cost: 120   maxlim: 64512   bits: 17/16
13.11	c ---[2688]---> Adder-cost: 50   maxlim: 64512   bits: 17/16
13.13	c ---[2686]---> Adder-cost: 94   maxlim: 52224   bits: 17/16
13.14	c ---[2684]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
13.15	c ---[2682]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
13.15	c ---[2680]---> Adder-cost: 116   maxlim: 60416   bits: 17/16
13.17	c ---[2678]---> Adder-cost: 190   maxlim: 98304   bits: 18/17
13.19	c ---[2676]---> Adder-cost: 98   maxlim: 53248   bits: 17/16
13.20	c ---[2674]---> Adder-cost: 152   maxlim: 117760   bits: 18/17
13.24	c ---[2672]---> Sorter-cost: 1012     Base: 2 2 2 2 2 2 2 2 2 2 7
13.25	c ---[2670]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
13.26	c ---[2668]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
13.26	c ---[2666]---> Sorter-cost:  835     Base: 2 2 2 2 2 2 2 2 2 2 7
13.27	c ---[2664]---> Adder-cost: 160   maxlim: 115712   bits: 18/17
13.30	c ---[2662]---> Adder-cost: 142   maxlim: 70656   bits: 18/17
13.32	c ---[2660]---> Adder-cost: 120   maxlim: 81920   bits: 18/17
13.35	c ---[2658]---> Adder-cost: 124   maxlim: 65536   bits: 18/17
13.36	c ---[2656]---> Adder-cost: 56   maxlim: 56320   bits: 17/16
13.38	c ---[2654]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
13.38	c ---[2652]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
13.39	c ---[2650]---> Adder-cost: 152   maxlim: 114688   bits: 18/17
13.41	c ---[2648]---> Adder-cost: 190   maxlim: 98304   bits: 18/17
13.44	c ---[2646]---> Adder-cost: 138   maxlim: 125952   bits: 18/17
13.47	c ---[2644]---> Adder-cost: 78   maxlim: 125952   bits: 18/17
13.54	c ---[2642]---> Adder-cost: 204   maxlim: 108544   bits: 18/17
13.57	c ---[2640]---> Adder-cost: 86   maxlim: 60416   bits: 17/16
13.58	c ---[2638]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
13.59	c ---[2636]---> Adder-cost: 156   maxlim: 104448   bits: 18/17
13.61	c ---[2634]---> Sorter-cost:  656     Base: 2 2 2 2 2 2 2 2 2 2 7
13.62	c ---[2632]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
13.63	c ---[2630]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
13.63	c ---[2628]---> Sorter-cost:  529     Base: 2 2 2 2 2 2 2 2 2 2 7
13.64	c ---[2626]---> Sorter-cost:  430     Base: 2 2 2 2 2 2 2 2 2 2 7
13.65	c ---[2624]---> Adder-cost: 128   maxlim: 71680   bits: 18/17
13.66	c ---[2622]---> Sorter-cost: 1053     Base: 2 2 2 2 2 2 2 2 2 2 7
13.67	c ---[2620]---> Sorter-cost:  628     Base: 2 2 2 2 2 2 2 2 2 2 7
13.68	c ---[2618]---> Sorter-cost:  581     Base: 2 2 2 2 2 2 2 2 2 2 7
13.69	c ---[2616]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
13.69	c ---[2614]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
13.70	c ---[2612]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
13.70	c ---[2610]---> Adder-cost: 110   maxlim: 54272   bits: 17/16
13.72	c ---[2608]---> Sorter-cost:  568     Base: 2 2 2 2 2 2 2 2 2 2 7
13.72	c ---[2606]---> Adder-cost: 148   maxlim: 77824   bits: 18/17
13.74	c ---[2604]---> Adder-cost: 202   maxlim: 103424   bits: 18/17
13.77	c ---[2602]---> Adder-cost: 204   maxlim: 115712   bits: 18/17
13.79	c ---[2600]---> Sorter-cost: 1063     Base: 2 2 2 2 2 2 2 2 2 2 7
13.80	c ---[2598]---> Sorter-cost: 1232     Base: 2 2 2 2 2 2 2 2 2 2 7
13.81	c ---[2596]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
13.83	c ---[2594]---> Adder-cost: 384   maxlim: 210944   bits: 19/18
13.88	c ---[2592]---> Adder-cost: 130   maxlim: 66560   bits: 18/17
13.89	c ---[2590]---> Adder-cost: 200   maxlim: 100352   bits: 18/17
13.92	c ---[2588]---> Adder-cost: 72   maxlim: 100352   bits: 18/17
13.94	c ---[2586]---> Adder-cost: 140   maxlim: 80896   bits: 18/17
13.96	c ---[2584]---> Adder-cost: 306   maxlim: 166912   bits: 19/18
14.00	c ---[2582]---> Adder-cost: 214   maxlim: 123904   bits: 18/17
14.03	c ---[2580]---> Adder-cost: 182   maxlim: 142336   bits: 19/18
14.07	c ---[2578]---> Sorter-cost: 1075     Base: 2 2 2 2 2 2 2 2 2 2 7
14.08	c ---[2576]---> Sorter-cost: 1004     Base: 2 2 2 2 2 2 2 2 2 2 7
14.09	c ---[2574]---> Adder-cost: 190   maxlim: 98304   bits: 18/17
14.11	c ---[2572]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
14.12	c ---[2570]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
14.13	c ---[2568]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
14.14	c ---[2566]---> Sorter-cost:  576     Base: 2 2 2 2 2 2 2 2 2 2 7
14.15	c ---[2564]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
14.15	c ---[2562]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
14.16	c ---[2560]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
14.16	c ---[2558]---> Adder-cost: 70   maxlim: 98304   bits: 18/17
14.19	c ---[2556]---> Sorter-cost:  615     Base: 2 2 2 2 2 2 2 2 2 2 7
14.19	c ---[2554]---> Sorter-cost: 1184     Base: 2 2 2 2 2 2 2 2 2 2 7
14.20	c ---[2552]---> Adder-cost: 130   maxlim: 66560   bits: 18/17
14.22	c ---[2550]---> Sorter-cost: 1238     Base: 2 2 2 2 2 2 2 2 2 2 7
14.23	c ---[2548]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
14.24	c ---[2546]---> Adder-cost: 70   maxlim: 98304   bits: 18/17
14.27	c ---[2544]---> Sorter-cost:  259     Base: 2 2 2 2 2 2 2 2 2 2 2
14.27	c ---[2542]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
14.27	c ---[2540]---> Sorter-cost:  391     Base: 2 2 2 2 2 2 2 2 2 2 7
14.28	c ---[2538]---> Sorter-cost:  299     Base: 2 2 2 2 2 2 2 2 2 2 2
14.28	c ---[2536]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
14.28	c ---[2534]---> Sorter-cost:  531     Base: 2 2 2 2 2 2 2 2 2 2 7
14.29	c ---[2532]---> Adder-cost: 108   maxlim: 63488   bits: 17/16
14.31	c ---[2530]---> Adder-cost: 188   maxlim: 105472   bits: 18/17
14.33	c ---[2528]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
14.34	c ---[2526]---> Adder-cost: 180   maxlim: 96256   bits: 18/17
14.37	c ---[2524]---> Adder-cost: 110   maxlim: 58368   bits: 17/16
14.38	c ---[2522]---> Sorter-cost: 1074     Base: 2 2 2 2 2 2 2 2 2 2 7
14.39	c ---[2520]---> Adder-cost: 102   maxlim: 54272   bits: 17/16
14.40	c ---[2518]---> Sorter-cost:  955     Base: 2 2 2 2 2 2 2 2 2 2 7
14.41	c ---[2516]---> Adder-cost: 112   maxlim: 56320   bits: 17/16
14.43	c ---[2514]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
14.44	c ---[2512]---> Adder-cost: 192   maxlim: 99328   bits: 18/17
14.46	c ---[2510]---> Adder-cost: 222   maxlim: 113664   bits: 18/17
14.49	c ---[2508]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
14.51	c ---[2506]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
14.54	c ---[2504]---> Adder-cost: 170   maxlim: 82944   bits: 18/17
14.56	c ---[2502]---> Adder-cost: 192   maxlim: 104448   bits: 18/17
14.59	c ---[2500]---> Sorter-cost: 1079     Base: 2 2 2 2 2 2 2 2 2 2 7
14.60	c ---[2498]---> Sorter-cost:  785     Base: 2 2 2 2 2 2 2 2 2 2 7
14.60	c ---[2496]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
14.61	c ---[2494]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
14.62	c ---[2492]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
14.63	c ---[2490]---> Sorter-cost: 1209     Base: 2 2 2 2 2 2 2 2 2 2 7
14.64	c ---[2488]---> Sorter-cost:  915     Base: 2 2 2 2 2 2 2 2 2 2 7
14.65	c ---[2486]---> Adder-cost: 170   maxlim: 91136   bits: 18/17
14.67	c ---[2484]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
14.68	c ---[2482]---> Sorter-cost: 1267     Base: 2 2 2 2 2 2 2 2 2 2 7
14.69	c ---[2480]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
14.70	c ---[2478]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
14.70	c ---[2476]---> Adder-cost: 136   maxlim: 65536   bits: 18/17
14.72	c ---[2474]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
14.73	c ---[2472]---> Adder-cost: 116   maxlim: 59392   bits: 17/16
14.74	c ---[2470]---> Adder-cost: 188   maxlim: 100352   bits: 18/17
14.76	c ---[2468]---> Adder-cost: 72   maxlim: 100352   bits: 18/17
14.79	c ---[2466]---> Sorter-cost: 1127     Base: 2 2 2 2 2 2 2 2 2 2 7
14.80	c ---[2464]---> Adder-cost: 170   maxlim: 101376   bits: 18/17
14.82	c ---[2462]---> Sorter-cost: 1171     Base: 2 2 2 2 2 2 2 2 2 2 7
14.83	c ---[2460]---> Adder-cost: 214   maxlim: 112640   bits: 18/17
14.86	c ---[2458]---> Adder-cost: 186   maxlim: 96256   bits: 18/17
14.88	c ---[2456]---> Adder-cost: 118   maxlim: 102400   bits: 18/17
14.91	c ---[2454]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
14.92	c ---[2452]---> Adder-cost: 116   maxlim: 58368   bits: 17/16
14.93	c ---[2450]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
14.94	c ---[2448]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
14.95	c ---[2446]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
14.96	c ---[2444]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
14.97	c ---[2442]---> Sorter-cost: 1085     Base: 2 2 2 2 2 2 2 2 2 2 7
14.98	c ---[2440]---> Adder-cost: 166   maxlim: 82944   bits: 18/17
15.00	c ---[2438]---> Adder-cost: 144   maxlim: 70656   bits: 18/17
15.02	c ---[2436]---> Adder-cost: 288   maxlim: 175104   bits: 19/18
15.06	c ---[2434]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
15.07	c ---[2432]---> Adder-cost: 124   maxlim: 62464   bits: 17/16
15.08	c ---[2430]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
15.10	c ---[2428]---> Sorter-cost: 1024     Base: 2 2 2 2 2 2 2 2 2 2 7
15.11	c ---[2426]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
15.12	c ---[2424]---> Sorter-cost:  933     Base: 2 2 2 2 2 2 2 2 2 2 7
15.13	c ---[2422]---> Adder-cost: 202   maxlim: 98304   bits: 18/17
15.15	c ---[2420]---> Adder-cost: 136   maxlim: 71680   bits: 18/17
15.17	c ---[2418]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
15.18	c ---[2416]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
15.18	c ---[2414]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
15.19	c ---[2412]---> Sorter-cost:  703     Base: 2 2 2 2 2 2 2 2 2 2 7
15.20	c ---[2410]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
15.21	c ---[2408]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
15.21	c ---[2406]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
15.22	c ---[2404]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
15.23	c ---[2402]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
15.24	c ---[2400]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
15.24	c ---[2398]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
15.25	c ---[2396]---> Adder-cost: 162   maxlim: 79872   bits: 18/17
15.27	c ---[2394]---> Adder-cost: 214   maxlim: 106496   bits: 18/17
15.29	c ---[2392]---> Adder-cost: 78   maxlim: 106496   bits: 18/17
15.32	c ---[2390]---> Adder-cost: 270   maxlim: 134144   bits: 19/18
15.35	c ---[2388]---> Sorter-cost:  807     Base: 2 2 2 2 2 2 2 2 2 2 7
15.36	c ---[2386]---> Adder-cost: 232   maxlim: 114688   bits: 18/17
15.39	c ---[2384]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
15.39	c ---[2382]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
15.40	c ---[2380]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
15.40	c ---[2378]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
15.40	c ---[2376]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
15.41	c ---[2374]---> Adder-cost: 118   maxlim: 59392   bits: 17/16
15.42	c ---[2372]---> Adder-cost: 186   maxlim: 92160   bits: 18/17
15.44	c ---[2370]---> Adder-cost: 162   maxlim: 94208   bits: 18/17
15.47	c ---[2368]---> Adder-cost: 118   maxlim: 93184   bits: 18/17
15.49	c ---[2366]---> Sorter-cost:  578     Base: 2 2 2 2 2 2 2 2 2 2 7
15.50	c ---[2364]---> Sorter-cost:  448     Base: 2 2 2 2 2 2 2 2 2 2 7
15.50	c ---[2362]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
15.51	c ---[2360]---> Adder-cost: 114   maxlim: 72704   bits: 18/17
15.52	c ---[2358]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
15.53	c ---[2356]---> Sorter-cost:  910     Base: 2 2 2 2 2 2 2 2 2 2 7
15.54	c ---[2354]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
15.55	c ---[2352]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
15.55	c ---[2350]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
15.56	c ---[2348]---> Sorter-cost:  562     Base: 2 2 2 2 2 2 2 2 2 2 7
15.56	c ---[2346]---> Sorter-cost:  427     Base: 2 2 2 2 2 2 2 2 2 2 7
15.57	c ---[2344]---> Sorter-cost:  469     Base: 2 2 2 2 2 2 2 2 2 2 7
15.58	c ---[2342]---> Sorter-cost:  625     Base: 2 2 2 2 2 2 2 2 2 2 7
15.58	c ---[2340]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
15.59	c ---[2338]---> Sorter-cost:  947     Base: 2 2 2 2 2 2 2 2 2 2 7
15.60	c ---[2336]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
15.61	c ---[2334]---> Sorter-cost:  909     Base: 2 2 2 2 2 2 2 2 2 2 7
15.61	c ---[2332]---> Adder-cost: 190   maxlim: 94208   bits: 18/17
15.64	c ---[2330]---> Adder-cost: 172   maxlim: 84992   bits: 18/17
15.66	c ---[2328]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
15.66	c ---[2326]---> Adder-cost: 272   maxlim: 146432   bits: 19/18
15.70	c ---[2324]---> Adder-cost: 234   maxlim: 120832   bits: 18/17
15.73	c ---[2322]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
15.74	c ---[2320]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
15.75	c ---[2318]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
15.76	c ---[2316]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
15.77	c ---[2314]---> Adder-cost: 188   maxlim: 101376   bits: 18/17
15.79	c ---[2312]---> Adder-cost: 72   maxlim: 101376   bits: 18/17
15.82	c ---[2310]---> Adder-cost: 190   maxlim: 100352   bits: 18/17
15.84	c ---[2308]---> Adder-cost: 72   maxlim: 100352   bits: 18/17
15.87	c ---[2306]---> Adder-cost: 72   maxlim: 100352   bits: 18/17
15.89	c ---[2304]---> Adder-cost: 72   maxlim: 100352   bits: 18/17
15.91	c ---[2302]---> Adder-cost: 136   maxlim: 74752   bits: 18/17
15.93	c ---[2300]---> Adder-cost: 172   maxlim: 86016   bits: 18/17
15.95	c ---[2298]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
15.98	c ---[2296]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
16.00	c ---[2294]---> Adder-cost: 154   maxlim: 87040   bits: 18/17
16.02	c ---[2292]---> Adder-cost: 160   maxlim: 79872   bits: 18/17
16.04	c ---[2290]---> Adder-cost: 62   maxlim: 79872   bits: 18/17
16.06	c ---[2288]---> Adder-cost: 62   maxlim: 79872   bits: 18/17
16.08	c ---[2286]---> Adder-cost: 110   maxlim: 76800   bits: 18/17
16.10	c ---[2284]---> Adder-cost: 62   maxlim: 76800   bits: 18/17
16.12	c ---[2282]---> Adder-cost: 60   maxlim: 74752   bits: 18/17
16.14	c ---[2280]---> Adder-cost: 62   maxlim: 79872   bits: 18/17
16.16	c ---[2278]---> Sorter-cost:  574     Base: 2 2 2 2 2 2 2 2 2 2 7
16.16	c ---[2276]---> Sorter-cost:  440     Base: 2 2 2 2 2 2 2 2 2 2 7
16.17	c ---[2274]---> Sorter-cost: 1248     Base: 2 2 2 2 2 2 2 2 2 2 7
16.18	c ---[2272]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
16.19	c ---[2270]---> Sorter-cost:  409     Base: 2 2 2 2 2 2 2 2 2 2 7
16.20	c ---[2268]---> Adder-cost: 140   maxlim: 68608   bits: 18/17
16.21	c ---[2266]---> Adder-cost: 58   maxlim: 68608   bits: 18/17
16.23	c ---[2264]---> Adder-cost: 140   maxlim: 72704   bits: 18/17
16.25	c ---[2262]---> Sorter-cost:  908     Base: 2 2 2 2 2 2 2 2 2 2 7
16.26	c ---[2260]---> Sorter-cost:  720     Base: 2 2 2 2 2 2 2 2 2 2 7
16.27	c ---[2258]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
16.27	c ---[2256]---> Adder-cost: 160   maxlim: 77824   bits: 18/17
16.29	c ---[2254]---> Adder-cost: 92   maxlim: 53248   bits: 17/16
16.30	c ---[2252]---> Sorter-cost:  422     Base: 2 2 2 2 2 2 2 2 2 2 7
16.31	c ---[2250]---> Adder-cost: 334   maxlim: 168960   bits: 19/18
16.45	c ---[2248]---> Adder-cost: 56   maxlim: 72704   bits: 18/17
16.47	c ---[2246]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
16.48	c ---[2244]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
16.48	c ---[2242]---> Adder-cost: 168   maxlim: 86016   bits: 18/17
16.50	c ---[2240]---> Adder-cost: 108   maxlim: 55296   bits: 17/16
16.52	c ---[2238]---> Sorter-cost: 1267     Base: 2 2 2 2 2 2 2 2 2 2 7
16.53	c ---[2236]---> Sorter-cost:  725     Base: 2 2 2 2 2 2 2 2 2 2 7
16.53	c ---[2234]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
16.54	c ---[2232]---> Sorter-cost:  609     Base: 2 2 2 2 2 2 2 2 2 2 7
16.55	c ---[2230]---> Sorter-cost:  552     Base: 2 2 2 2 2 2 2 2 2 2 7
16.55	c ---[2228]---> Sorter-cost:  388     Base: 2 2 2 2 2 2 2 2 2 2 7
16.56	c ---[2226]---> Sorter-cost:  424     Base: 2 2 2 2 2 2 2 2 2 2 7
16.56	c ---[2224]---> Sorter-cost:  614     Base: 2 2 2 2 2 2 2 2 2 2 7
16.57	c ---[2222]---> Sorter-cost:  436     Base: 2 2 2 2 2 2 2 2 2 2 7
16.57	c ---[2220]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
16.58	c ---[2218]---> Sorter-cost:  275     Base: 2 2 2 2 2 2 2 2 2 2 2
16.58	c ---[2216]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
16.59	c ---[2214]---> Sorter-cost:  507     Base: 2 2 2 2 2 2 2 2 2 2 7
16.59	c ---[2212]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
16.60	c ---[2210]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
16.60	c ---[2208]---> Sorter-cost:  359     Base: 2 2 2 2 2 2 2 2 2 2 7
16.61	c ---[2206]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
16.61	c ---[2204]---> Sorter-cost:  325     Base: 2 2 2 2 2 2 2 2 2 2 7
16.62	c ---[2202]---> Adder-cost: 248   maxlim: 126976   bits: 18/17
16.65	c ---[2200]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
16.65	c ---[2198]---> Adder-cost: 154   maxlim: 73728   bits: 18/17
16.67	c ---[2196]---> Adder-cost: 62   maxlim: 73728   bits: 18/17
16.69	c ---[2194]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
16.70	c ---[2192]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
16.71	c ---[2190]---> Adder-cost: 182   maxlim: 90112   bits: 18/17
16.73	c ---[2188]---> Adder-cost: 108   maxlim: 66560   bits: 18/17
16.75	c ---[2186]---> Adder-cost: 166   maxlim: 114688   bits: 18/17
16.78	c ---[2184]---> Adder-cost: 122   maxlim: 62464   bits: 17/16
16.79	c ---[2182]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
16.80	c ---[2180]---> Adder-cost: 148   maxlim: 72704   bits: 18/17
16.82	c ---[2178]---> Adder-cost: 56   maxlim: 72704   bits: 18/17
16.84	c ---[2176]---> Adder-cost: 112   maxlim: 55296   bits: 17/16
16.85	c ---[2174]---> Adder-cost: 108   maxlim: 57344   bits: 17/16
16.87	c ---[2172]---> Adder-cost: 218   maxlim: 115712   bits: 18/17
16.89	c ---[2170]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
16.91	c ---[2168]---> Adder-cost: 162   maxlim: 80896   bits: 18/17
16.93	c ---[2166]---> Adder-cost: 154   maxlim: 78848   bits: 18/17
16.95	c ---[2164]---> Adder-cost: 60   maxlim: 78848   bits: 18/17
16.97	c ---[2162]---> Adder-cost: 190   maxlim: 114688   bits: 18/17
16.99	c ---[2160]---> Adder-cost: 76   maxlim: 114688   bits: 18/17
17.02	c ---[2158]---> Adder-cost: 176   maxlim: 112640   bits: 18/17
17.05	c ---[2156]---> Adder-cost: 74   maxlim: 112640   bits: 18/17
17.07	c ---[2154]---> Adder-cost: 76   maxlim: 115712   bits: 18/17
17.10	c ---[2152]---> Sorter-cost: 1061     Base: 2 2 2 2 2 2 2 2 2 2 7
17.11	c ---[2150]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
17.12	c ---[2148]---> Adder-cost: 168   maxlim: 82944   bits: 18/17
17.14	c ---[2146]---> Adder-cost: 110   maxlim: 56320   bits: 17/16
17.15	c ---[2144]---> Adder-cost: 138   maxlim: 75776   bits: 18/17
17.17	c ---[2142]---> Adder-cost: 122   maxlim: 73728   bits: 18/17
17.19	c ---[2140]---> Adder-cost: 76   maxlim: 115712   bits: 18/17
17.22	c ---[2138]---> Adder-cost: 62   maxlim: 73728   bits: 18/17
17.23	c ---[2136]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
17.25	c ---[2134]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
17.26	c ---[2132]---> Adder-cost: 198   maxlim: 101376   bits: 18/17
17.28	c ---[2130]---> Adder-cost: 164   maxlim: 88064   bits: 18/17
17.30	c ---[2128]---> Adder-cost: 112   maxlim: 108544   bits: 18/17
17.33	c ---[2126]---> Adder-cost: 224   maxlim: 120832   bits: 18/17
17.36	c ---[2124]---> Adder-cost: 80   maxlim: 120832   bits: 18/17
17.38	c ---[2122]---> Adder-cost: 194   maxlim: 114688   bits: 18/17
17.41	c ---[2120]---> Adder-cost: 76   maxlim: 114688   bits: 18/17
17.44	c ---[2118]---> Adder-cost: 164   maxlim: 91136   bits: 18/17
17.46	c ---[2116]---> Adder-cost: 152   maxlim: 95232   bits: 18/17
17.48	c ---[2114]---> Adder-cost: 70   maxlim: 95232   bits: 18/17
17.51	c ---[2112]---> Adder-cost: 126   maxlim: 65536   bits: 18/17
17.52	c ---[2110]---> Adder-cost: 62   maxlim: 65536   bits: 18/17
17.54	c ---[2108]---> Adder-cost: 170   maxlim: 86016   bits: 18/17
17.56	c ---[2106]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
17.58	c ---[2104]---> Adder-cost: 138   maxlim: 82944   bits: 18/17
17.60	c ---[2102]---> Adder-cost: 68   maxlim: 82944   bits: 18/17
17.62	c ---[2100]---> Sorter-cost:  458     Base: 2 2 2 2 2 2 2 2 2 2 7
17.63	c ---[2098]---> Adder-cost: 304   maxlim: 160768   bits: 19/18
17.67	c ---[2096]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
17.68	c ---[2094]---> Adder-cost: 86   maxlim: 52224   bits: 17/16
17.69	c ---[2092]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
17.70	c ---[2090]---> Sorter-cost:  613     Base: 2 2 2 2 2 2 2 2 2 2 7
17.71	c ---[2088]---> Sorter-cost:  642     Base: 2 2 2 2 2 2 2 2 2 2 7
17.71	c ---[2086]---> Sorter-cost:  552     Base: 2 2 2 2 2 2 2 2 2 2 7
17.72	c ---[2084]---> Sorter-cost: 1039     Base: 2 2 2 2 2 2 2 2 2 2 7
17.73	c ---[2082]---> Sorter-cost:  611     Base: 2 2 2 2 2 2 2 2 2 2 7
17.74	c ---[2080]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
17.74	c ---[2078]---> Adder-cost: 66   maxlim: 52224   bits: 17/16
17.75	c ---[2076]---> Adder-cost: 156   maxlim: 79872   bits: 18/17
17.77	c ---[2074]---> Adder-cost: 62   maxlim: 79872   bits: 18/17
17.79	c ---[2072]---> Adder-cost: 112   maxlim: 69632   bits: 18/17
17.81	c ---[2070]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
17.82	c ---[2068]---> Adder-cost: 110   maxlim: 69632   bits: 18/17
17.84	c ---[2066]---> Sorter-cost:  464     Base: 2 2 2 2 2 2 2 2 2 2 7
17.84	c ---[2064]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
17.85	c ---[2062]---> Sorter-cost:  562     Base: 2 2 2 2 2 2 2 2 2 2 7
17.86	c ---[2060]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
17.86	c ---[2058]---> Sorter-cost:  644     Base: 2 2 2 2 2 2 2 2 2 2 7
17.87	c ---[2056]---> Sorter-cost: 1175     Base: 2 2 2 2 2 2 2 2 2 2 7
17.88	c ---[2054]---> Sorter-cost:  755     Base: 2 2 2 2 2 2 2 2 2 2 7
17.89	c ---[2052]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
17.90	c ---[2050]---> Adder-cost: 100   maxlim: 56320   bits: 17/16
17.91	c ---[2048]---> Sorter-cost: 1135     Base: 2 2 2 2 2 2 2 2 2 2 7
17.92	c ---[2046]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
17.93	c ---[2044]---> Adder-cost: 324   maxlim: 190464   bits: 19/18
17.97	c ---[2042]---> Adder-cost: 100   maxlim: 53248   bits: 17/16
17.98	c ---[2040]---> Adder-cost: 94   maxlim: 53248   bits: 17/16
18.00	c ---[2038]---> Sorter-cost: 1171     Base: 2 2 2 2 2 2 2 2 2 2 7
18.01	c ---[2036]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
18.02	c ---[2034]---> Adder-cost: 176   maxlim: 90112   bits: 18/17
18.04	c ---[2032]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
18.05	c ---[2030]---> Sorter-cost:  591     Base: 2 2 2 2 2 2 2 2 2 2 7
18.06	c ---[2028]---> Sorter-cost: 1313     Base: 2 2 2 2 2 2 2 2 2 2 7
18.07	c ---[2026]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
18.08	c ---[2024]---> Sorter-cost:  572     Base: 2 2 2 2 2 2 2 2 2 2 7
18.08	c ---[2022]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
18.09	c ---[2020]---> Sorter-cost:  437     Base: 2 2 2 2 2 2 2 2 2 2 7
18.09	c ---[2018]---> Sorter-cost:  311     Base: 2 2 2 2 2 2 2 2 2 2 2
18.10	c ---[2016]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
18.10	c ---[2014]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
18.10	c ---[2012]---> Sorter-cost:  376     Base: 2 2 2 2 2 2 2 2 2 2 7
18.11	c ---[2010]---> Adder-cost: 122   maxlim: 62464   bits: 17/16
18.12	c ---[2008]---> Sorter-cost:  395     Base: 2 2 2 2 2 2 2 2 2 2 7
18.13	c ---[2006]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
18.14	c ---[2004]---> Sorter-cost: 1081     Base: 2 2 2 2 2 2 2 2 2 2 7
18.15	c ---[2002]---> Sorter-cost:  729     Base: 2 2 2 2 2 2 2 2 2 2 7
18.16	c ---[2000]---> Sorter-cost:  951     Base: 2 2 2 2 2 2 2 2 2 2 7
18.16	c ---[1998]---> Adder-cost: 214   maxlim: 108544   bits: 18/17
18.19	c ---[1996]---> Adder-cost: 162   maxlim: 91136   bits: 18/17
18.21	c ---[1994]---> Sorter-cost:  655     Base: 2 2 2 2 2 2 2 2 2 2 7
18.22	c ---[1992]---> Sorter-cost:  409     Base: 2 2 2 2 2 2 2 2 2 2 7
18.22	c ---[1990]---> Adder-cost: 166   maxlim: 84992   bits: 18/17
18.24	c ---[1988]---> Sorter-cost: 1055     Base: 2 2 2 2 2 2 2 2 2 2 7
18.25	c ---[1986]---> Adder-cost: 104   maxlim: 51200   bits: 17/16
18.27	c ---[1984]---> Adder-cost: 308   maxlim: 159744   bits: 19/18
18.30	c ---[1982]---> Adder-cost: 272   maxlim: 140288   bits: 19/18
18.34	c ---[1980]---> Adder-cost: 200   maxlim: 101376   bits: 18/17
18.36	c ---[1978]---> Adder-cost: 208   maxlim: 107520   bits: 18/17
18.39	c ---[1976]---> Adder-cost: 168   maxlim: 106496   bits: 18/17
18.41	c ---[1974]---> Adder-cost: 142   maxlim: 112640   bits: 18/17
18.44	c ---[1972]---> Sorter-cost:  638     Base: 2 2 2 2 2 2 2 2 2 2 7
18.45	c ---[1970]---> Adder-cost: 146   maxlim: 76800   bits: 18/17
18.46	c ---[1968]---> Adder-cost: 120   maxlim: 67584   bits: 18/17
18.48	c ---[1966]---> Sorter-cost: 1248     Base: 2 2 2 2 2 2 2 2 2 2 7
18.49	c ---[1964]---> Adder-cost: 106   maxlim: 55296   bits: 17/16
18.51	c ---[1962]---> Adder-cost: 218   maxlim: 117760   bits: 18/17
18.53	c ---[1960]---> Adder-cost: 164   maxlim: 97280   bits: 18/17
18.56	c ---[1958]---> Adder-cost: 168   maxlim: 84992   bits: 18/17
18.58	c ---[1956]---> Adder-cost: 174   maxlim: 90112   bits: 18/17
18.60	c ---[1954]---> Adder-cost: 112   maxlim: 60416   bits: 17/16
18.61	c ---[1952]---> Adder-cost: 222   maxlim: 139264   bits: 19/18
18.65	c ---[1950]---> Adder-cost: 94   maxlim: 139264   bits: 19/18
18.68	c ---[1948]---> Adder-cost: 94   maxlim: 139264   bits: 19/18
18.71	c ---[1946]---> Adder-cost: 90   maxlim: 60416   bits: 17/16
18.73	c ---[1944]---> Adder-cost: 216   maxlim: 115712   bits: 18/17
18.76	c ---[1942]---> Adder-cost: 76   maxlim: 115712   bits: 18/17
18.78	c ---[1940]---> Adder-cost: 148   maxlim: 84992   bits: 18/17
18.80	c ---[1938]---> Adder-cost: 68   maxlim: 84992   bits: 18/17
18.83	c ---[1936]---> Adder-cost: 120   maxlim: 61440   bits: 17/16
18.84	c ---[1934]---> Sorter-cost: 1219     Base: 2 2 2 2 2 2 2 2 2 2 7
18.85	c ---[1932]---> Sorter-cost:  791     Base: 2 2 2 2 2 2 2 2 2 2 7
18.86	c ---[1930]---> Sorter-cost:  644     Base: 2 2 2 2 2 2 2 2 2 2 7
18.87	c ---[1928]---> Sorter-cost:  436     Base: 2 2 2 2 2 2 2 2 2 2 7
18.87	c ---[1926]---> Adder-cost: 176   maxlim: 93184   bits: 18/17
18.89	c ---[1924]---> Sorter-cost: 1223     Base: 2 2 2 2 2 2 2 2 2 2 7
18.91	c ---[1922]---> Sorter-cost: 1037     Base: 2 2 2 2 2 2 2 2 2 2 7
18.92	c ---[1920]---> Adder-cost: 122   maxlim: 86016   bits: 18/17
18.94	c ---[1918]---> Adder-cost: 218   maxlim: 114688   bits: 18/17
18.96	c ---[1916]---> Adder-cost: 76   maxlim: 114688   bits: 18/17
18.99	c ---[1914]---> Sorter-cost: 1020     Base: 2 2 2 2 2 2 2 2 2 2 7
19.00	c ---[1912]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
19.01	c ---[1910]---> Adder-cost: 200   maxlim: 98304   bits: 18/17
19.03	c ---[1908]---> Sorter-cost:  649     Base: 2 2 2 2 2 2 2 2 2 2 7
19.04	c ---[1906]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
19.04	c ---[1904]---> Sorter-cost: 1031     Base: 2 2 2 2 2 2 2 2 2 2 7
19.05	c ---[1902]---> Adder-cost: 240   maxlim: 124928   bits: 18/17
19.08	c ---[1900]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
19.09	c ---[1898]---> Sorter-cost: 1144     Base: 2 2 2 2 2 2 2 2 2 2 7
19.10	c ---[1896]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
19.11	c ---[1894]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
19.12	c ---[1892]---> Adder-cost: 140   maxlim: 72704   bits: 18/17
19.14	c ---[1890]---> Adder-cost: 56   maxlim: 72704   bits: 18/17
19.16	c ---[1888]---> Adder-cost: 102   maxlim: 51200   bits: 17/16
19.17	c ---[1886]---> Adder-cost: 154   maxlim: 123904   bits: 18/17
19.20	c ---[1884]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
19.21	c ---[1882]---> Adder-cost: 270   maxlim: 151552   bits: 19/18
19.25	c ---[1880]---> Adder-cost: 160   maxlim: 95232   bits: 18/17
19.27	c ---[1878]---> Adder-cost: 314   maxlim: 183296   bits: 19/18
19.31	c ---[1876]---> Adder-cost: 168   maxlim: 100352   bits: 18/17
19.34	c ---[1874]---> Sorter-cost: 1271     Base: 2 2 2 2 2 2 2 2 2 2 7
19.35	c ---[1872]---> Adder-cost: 172   maxlim: 117760   bits: 18/17
19.38	c ---[1870]---> Sorter-cost:  947     Base: 2 2 2 2 2 2 2 2 2 2 7
19.38	c ---[1868]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
19.39	c ---[1866]---> Sorter-cost:  733     Base: 2 2 2 2 2 2 2 2 2 2 7
19.40	c ---[1864]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
19.41	c ---[1862]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
19.41	c ---[1860]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
19.42	c ---[1858]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
19.43	c ---[1856]---> Adder-cost: 124   maxlim: 66560   bits: 18/17
19.45	c ---[1854]---> Adder-cost: 138   maxlim: 118784   bits: 18/17
19.47	c ---[1852]---> Adder-cost: 136   maxlim: 68608   bits: 18/17
19.49	c ---[1850]---> Adder-cost: 138   maxlim: 70656   bits: 18/17
19.51	c ---[1848]---> Sorter-cost:  688     Base: 2 2 2 2 2 2 2 2 2 2 7
19.52	c ---[1846]---> Adder-cost: 108   maxlim: 58368   bits: 17/16
19.53	c ---[1844]---> Sorter-cost:  443     Base: 2 2 2 2 2 2 2 2 2 2 7
19.53	c ---[1842]---> Adder-cost: 188   maxlim: 104448   bits: 18/17
19.56	c ---[1840]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
19.56	c ---[1838]---> Adder-cost: 122   maxlim: 62464   bits: 17/16
19.58	c ---[1836]---> Sorter-cost: 1309     Base: 2 2 2 2 2 2 2 2 2 2 7
19.59	c ---[1834]---> Adder-cost: 106   maxlim: 53248   bits: 17/16
19.60	c ---[1832]---> Sorter-cost:  315     Base: 2 2 2 2 2 2 2 2 2 2 2
19.60	c ---[1831]---> Adder-cost: 2746   maxlim: 1406975   bits: 22/21
19.95	c ---[1829]---> Adder-cost: 279   maxlim: 158719   bits: 19/18
19.99	c ---[1827]---> Adder-cost: 490   maxlim: 251903   bits: 19/18
20.07	c ---[1825]---> Adder-cost: 593   maxlim: 345087   bits: 20/19
20.16	c ---[1824]---> Adder-cost: 587   maxlim: 338943   bits: 20/19
20.26	c ---[1822]---> Adder-cost: 727   maxlim: 362495   bits: 20/19
20.36	c ---[1820]---> Adder-cost: 241   maxlim: 136191   bits: 19/18
20.40	c ---[1815]---> Sorter-cost:  405     Base: 2 2 2 2 2 2 2 2 2 2 7
20.41	c ---[1812]---> Adder-cost: 1742   maxlim: 931839   bits: 21/20
20.64	c ---[1810]---> Adder-cost: 763   maxlim: 477183   bits: 20/19
20.77	c ---[1809]---> Adder-cost: 3256   maxlim: 1724415   bits: 22/21
21.22	c ---[1808]---> Adder-cost: 915   maxlim: 497663   bits: 20/19
21.36	c ---[1807]---> Adder-cost: 374   maxlim: 189439   bits: 19/18
21.41	c ---[1805]---> Adder-cost: 2104   maxlim: 1154047   bits: 22/21
21.72	c ---[1803]---> Sorter-cost:  615     Base: 2 2 2 2 2 2 2 2 2 2 7
21.72	c ---[1802]---> Adder-cost: 410   maxlim: 205823   bits: 19/18
21.78	c ---[1800]---> Adder-cost: 408   maxlim: 239615   bits: 19/18
21.85	c ---[1795]---> Adder-cost: 829   maxlim: 413695   bits: 20/19
21.96	c ---[1792]---> Sorter-cost:  259     Base: 2 2 2 2 2 2 2 2 2 2 2
21.97	c ---[1790]---> Adder-cost: 802   maxlim: 404479   bits: 20/19
22.08	c ---[1788]---> Adder-cost: 75   maxlim: 37887   bits: 17/16
22.10	c ---[1786]---> Adder-cost: 184   maxlim: 27647   bits: 16/15
22.12	c ---[1784]---> Adder-cost: 162   maxlim: 37887   bits: 17/16
22.14	c ---[1783]---> Adder-cost: 253   maxlim: 121855   bits: 18/17
22.19	c ---[1781]---> Adder-cost: 149   maxlim: 29695   bits: 16/15
22.20	c ---[1780]---> Adder-cost: 132   maxlim: 51199   bits: 17/16
22.23	c ---[1779]---> Adder-cost: 119   maxlim: 38911   bits: 17/16
22.24	c ---[1776]---> Adder-cost: 347   maxlim: 77823   bits: 18/17
22.29	c ---[1774]---> Adder-cost: 1116   maxlim: 292863   bits: 20/19
22.44	c ---[1773]---> Adder-cost: 221   maxlim: 30719   bits: 16/15
22.47	c ---[1771]---> Adder-cost: 122   maxlim: 74752   bits: 18/17
22.49	c ---[1770]---> Adder-cost: 373   maxlim: 22527   bits: 16/15
22.53	c ---[1769]---> Adder-cost: 257   maxlim: 110591   bits: 18/17
22.57	c ---[1768]---> Adder-cost: 194   maxlim: 89087   bits: 18/17
22.60	c ---[1766]---> Adder-cost: 332   maxlim: 150527   bits: 19/18
22.65	c ---[1765]---> Adder-cost: 9443   maxlim: 3674111   bits: 23/22
24.54	c ---[1763]---> Adder-cost: 16374   maxlim: 9792511   bits: 24/24
27.84	c ---[1749]---> Sorter-cost:  653     Base: 2 2 2 2 2 2 2 2 2 2 7
27.85	c ---[1724]---> Sorter-cost:  421     Base: 2 2 2 2 2 2 2 2 2 2 7
27.85	c ---[1718]---> Adder-cost: 490   maxlim: 303104   bits: 20/19
27.93	c ---[1713]---> Adder-cost: 388   maxlim: 275456   bits: 20/19
28.00	c ---[1708]---> Adder-cost: 440   maxlim: 304128   bits: 20/19
28.08	c ---[1706]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
28.09	c ---[1704]---> Sorter-cost: 1251     Base: 2 2 2 2 2 2 2 2 2 2 7
28.10	c ---[1703]---> Adder-cost: 53509   maxlim: 320497663   bits: 30/29
96.39	c ---[1701]---> Sorter-cost: 1091     Base: 2 2 2 2 2 2 2 2 2 2 7
96.40	c ---[1699]---> Sorter-cost: 1135     Base: 2 2 2 2 2 2 2 2 2 2 7
96.41	c ---[1696]---> Sorter-cost:  871     Base: 2 2 2 2 2 2 2 2 2 2 7
96.42	c ---[1694]---> Sorter-cost:  666     Base: 2 2 2 2 2 2 2 2 2 2 7
96.43	c ---[1692]---> Sorter-cost:  591     Base: 2 2 2 2 2 2 2 2 2 2 7
96.43	c ---[1690]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
96.44	c ---[1688]---> Adder-cost: 472   maxlim: 249856   bits: 19/18
96.50	c ---[1686]---> Adder-cost: 286   maxlim: 251904   bits: 19/18
96.57	c ---[1684]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
96.58	c ---[1682]---> Sorter-cost: 1030     Base: 2 2 2 2 2 2 2 2 2 2 7
96.59	c ---[1680]---> Sorter-cost:  646     Base: 2 2 2 2 2 2 2 2 2 2 7
96.60	c ---[1678]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
96.61	c ---[1676]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
96.62	c ---[1674]---> Adder-cost: 176   maxlim: 88064   bits: 18/17
96.64	c ---[1672]---> Adder-cost: 202   maxlim: 102400   bits: 18/17
96.67	c ---[1670]---> Adder-cost: 214   maxlim: 109568   bits: 18/17
96.70	c ---[1668]---> Adder-cost: 214   maxlim: 133120   bits: 19/18
96.73	c ---[1666]---> Adder-cost: 88   maxlim: 133120   bits: 19/18
96.77	c ---[1664]---> Adder-cost: 468   maxlim: 259072   bits: 19/18
96.83	c ---[1662]---> Adder-cost: 124   maxlim: 259072   bits: 19/18
96.90	c ---[1660]---> Sorter-cost:  997     Base: 2 2 2 2 2 2 2 2 2 2 7
96.91	c ---[1658]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
96.91	c ---[1656]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
96.92	c ---[1654]---> Adder-cost: 106   maxlim: 55296   bits: 17/16
96.93	c ---[1652]---> Adder-cost: 144   maxlim: 89088   bits: 18/17
96.96	c ---[1650]---> Adder-cost: 274   maxlim: 152576   bits: 19/18
97.00	c ---[1648]---> Adder-cost: 138   maxlim: 71680   bits: 18/17
97.02	c ---[1646]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
97.03	c ---[1644]---> Adder-cost: 292   maxlim: 196608   bits: 19/18
97.08	c ---[1642]---> Adder-cost: 542   maxlim: 321536   bits: 20/19
97.16	c ---[1640]---> Adder-cost: 580   maxlim: 322560   bits: 20/19
97.25	c ---[1638]---> Adder-cost: 566   maxlim: 323584   bits: 20/19
97.33	c ---[1636]---> Adder-cost: 444   maxlim: 238592   bits: 19/18
97.39	c ---[1634]---> Adder-cost: 362   maxlim: 244736   bits: 19/18
97.45	c ---[1632]---> Adder-cost: 142   maxlim: 71680   bits: 18/17
97.47	c ---[1630]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
97.49	c ---[1628]---> Sorter-cost: 1148     Base: 2 2 2 2 2 2 2 2 2 2 7
97.50	c ---[1626]---> Adder-cost: 736   maxlim: 418816   bits: 20/19
97.61	c ---[1624]---> Adder-cost: 174   maxlim: 418816   bits: 20/19
97.71	c ---[1622]---> Adder-cost: 568   maxlim: 319488   bits: 20/19
97.79	c ---[1620]---> Adder-cost: 148   maxlim: 319488   bits: 20/19
97.88	c ---[1618]---> Adder-cost: 216   maxlim: 114688   bits: 18/17
97.91	c ---[1616]---> Adder-cost: 76   maxlim: 114688   bits: 18/17
97.94	c ---[1614]---> Adder-cost: 336   maxlim: 180224   bits: 19/18
97.98	c ---[1612]---> Adder-cost: 246   maxlim: 163840   bits: 19/18
98.03	c ---[1610]---> Adder-cost: 538   maxlim: 312320   bits: 20/19
98.11	c ---[1608]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
98.12	c ---[1606]---> Adder-cost: 154   maxlim: 312320   bits: 20/19
98.20	c ---[1604]---> Adder-cost: 164   maxlim: 86016   bits: 18/17
98.22	c ---[1602]---> Adder-cost: 110   maxlim: 59392   bits: 17/16
98.24	c ---[1600]---> Adder-cost: 584   maxlim: 385024   bits: 20/19
98.33	c ---[1598]---> Adder-cost: 164   maxlim: 385024   bits: 20/19
98.43	c ---[1596]---> Adder-cost: 238   maxlim: 132096   bits: 19/18
98.47	c ---[1594]---> Adder-cost: 90   maxlim: 132096   bits: 19/18
98.50	c ---[1592]---> Adder-cost: 234   maxlim: 152576   bits: 19/18
98.54	c ---[1590]---> Adder-cost: 94   maxlim: 152576   bits: 19/18
98.58	c ---[1588]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
98.59	c ---[1586]---> Adder-cost: 172   maxlim: 123904   bits: 18/17
98.62	c ---[1584]---> Adder-cost: 78   maxlim: 123904   bits: 18/17
98.66	c ---[1582]---> Adder-cost: 170   maxlim: 113664   bits: 18/17
98.69	c ---[1580]---> Adder-cost: 220   maxlim: 142336   bits: 19/18
98.72	c ---[1578]---> Adder-cost: 172   maxlim: 130048   bits: 18/17
98.76	c ---[1576]---> Adder-cost: 74   maxlim: 130048   bits: 18/17
98.79	c ---[1574]---> Adder-cost: 106   maxlim: 59392   bits: 17/16
98.80	c ---[1572]---> Adder-cost: 68   maxlim: 53248   bits: 17/16
98.82	c ---[1570]---> Adder-cost: 234   maxlim: 130048   bits: 18/17
98.85	c ---[1568]---> Adder-cost: 172   maxlim: 117760   bits: 18/17
98.88	c ---[1566]---> Adder-cost: 96   maxlim: 53248   bits: 17/16
98.90	c ---[1564]---> Adder-cost: 230   maxlim: 118784   bits: 18/17
98.93	c ---[1562]---> Adder-cost: 176   maxlim: 102400   bits: 18/17
98.95	c ---[1560]---> Adder-cost: 214   maxlim: 119808   bits: 18/17
98.99	c ---[1558]---> Adder-cost: 378   maxlim: 219136   bits: 19/18
99.04	c ---[1556]---> Sorter-cost: 1248     Base: 2 2 2 2 2 2 2 2 2 2 7
99.05	c ---[1554]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
99.06	c ---[1552]---> Sorter-cost:  626     Base: 2 2 2 2 2 2 2 2 2 2 7
99.07	c ---[1550]---> Adder-cost: 74   maxlim: 130048   bits: 18/17
99.10	c ---[1548]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
99.11	c ---[1546]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
99.13	c ---[1544]---> Adder-cost: 234   maxlim: 134144   bits: 19/18
99.16	c ---[1542]---> Adder-cost: 230   maxlim: 128000   bits: 18/17
99.19	c ---[1540]---> Adder-cost: 98   maxlim: 63488   bits: 17/16
99.21	c ---[1538]---> Adder-cost: 108   maxlim: 78848   bits: 18/17
99.23	c ---[1536]---> Sorter-cost:  446     Base: 2 2 2 2 2 2 2 2 2 2 7
99.24	c ---[1534]---> Sorter-cost:  303     Base: 2 2 2 2 2 2 2 2 2 2 2
99.24	c ---[1532]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
99.25	c ---[1530]---> Adder-cost: 472   maxlim: 264192   bits: 20/19
99.32	c ---[1528]---> Adder-cost: 138   maxlim: 264192   bits: 20/19
99.39	c ---[1526]---> Adder-cost: 338   maxlim: 212992   bits: 19/18
99.44	c ---[1524]---> Adder-cost: 274   maxlim: 172032   bits: 19/18
99.48	c ---[1522]---> Adder-cost: 248   maxlim: 179200   bits: 19/18
99.53	c ---[1520]---> Adder-cost: 290   maxlim: 219136   bits: 19/18
99.58	c ---[1518]---> Adder-cost: 94   maxlim: 58368   bits: 17/16
99.60	c ---[1516]---> Adder-cost: 158   maxlim: 98304   bits: 18/17
99.62	c ---[1514]---> Adder-cost: 130   maxlim: 73728   bits: 18/17
99.65	c ---[1512]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
99.65	c ---[1510]---> Sorter-cost:  441     Base: 2 2 2 2 2 2 2 2 2 2 7
99.66	c ---[1508]---> Sorter-cost:  442     Base: 2 2 2 2 2 2 2 2 2 2 7
99.66	c ---[1506]---> Sorter-cost:  277     Base: 2 2 2 2 2 2 2 2 2 2 2
99.67	c ---[1504]---> Sorter-cost:  579     Base: 2 2 2 2 2 2 2 2 2 2 7
99.67	c ---[1502]---> Adder-cost: 358   maxlim: 203776   bits: 19/18
99.72	c ---[1500]---> Adder-cost: 110   maxlim: 203776   bits: 19/18
99.77	c ---[1498]---> Adder-cost: 220   maxlim: 114688   bits: 18/17
99.80	c ---[1496]---> Adder-cost: 346   maxlim: 182272   bits: 19/18
99.85	c ---[1494]---> Adder-cost: 76   maxlim: 114688   bits: 18/17
99.88	c ---[1492]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
99.89	c ---[1490]---> Sorter-cost:  907     Base: 2 2 2 2 2 2 2 2 2 2 7
99.90	c ---[1488]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
99.90	c ---[1486]---> Sorter-cost:  301     Base: 2 2 2 2 2 2 2 2 2 2 2
99.90	c ---[1484]---> Adder-cost: 326   maxlim: 180224   bits: 19/18
99.95	c ---[1482]---> Adder-cost: 386   maxlim: 229376   bits: 19/18
100.01	c ---[1480]---> Adder-cost: 498   maxlim: 275456   bits: 20/19
100.08	c ---[1478]---> Adder-cost: 148   maxlim: 275456   bits: 20/19
100.15	c ---[1476]---> Adder-cost: 602   maxlim: 321536   bits: 20/19
100.24	c ---[1474]---> Adder-cost: 148   maxlim: 321536   bits: 20/19
100.32	c ---[1472]---> Adder-cost: 190   maxlim: 120832   bits: 18/17
100.35	c ---[1470]---> Adder-cost: 190   maxlim: 125952   bits: 18/17
100.38	c ---[1468]---> Sorter-cost:  233     Base: 2 2 2 2 2 2 2 2 2 2 2
100.39	c ---[1466]---> Sorter-cost:  369     Base: 2 2 2 2 2 2 2 2 2 2 7
100.39	c ---[1464]---> Sorter-cost: 1166     Base: 2 2 2 2 2 2 2 2 2 2 7
100.40	c ---[1462]---> Adder-cost: 174   maxlim: 110592   bits: 18/17
100.43	c ---[1460]---> Adder-cost: 74   maxlim: 110592   bits: 18/17
100.46	c ---[1458]---> Sorter-cost:  439     Base: 2 2 2 2 2 2 2 2 2 2 7
100.46	c ---[1456]---> Sorter-cost:  450     Base: 2 2 2 2 2 2 2 2 2 2 7
100.47	c ---[1454]---> Sorter-cost:  405     Base: 2 2 2 2 2 2 2 2 2 2 7
100.47	c ---[1452]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
100.48	c ---[1450]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
100.48	c ---[1448]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
100.49	c ---[1446]---> Sorter-cost:  253     Base: 2 2 2 2 2 2 2 2 2 2 2
100.49	c ---[1444]---> Sorter-cost:  431     Base: 2 2 2 2 2 2 2 2 2 2 7
100.50	c ---[1442]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
100.50	c ---[1440]---> Sorter-cost:  436     Base: 2 2 2 2 2 2 2 2 2 2 7
100.51	c ---[1438]---> Sorter-cost:  583     Base: 2 2 2 2 2 2 2 2 2 2 7
100.52	c ---[1436]---> Adder-cost: 136   maxlim: 70656   bits: 18/17
100.54	c ---[1434]---> Sorter-cost:  371     Base: 2 2 2 2 2 2 2 2 2 2 7
100.54	c ---[1432]---> Sorter-cost:  573     Base: 2 2 2 2 2 2 2 2 2 2 7
100.55	c ---[1430]---> Sorter-cost:  382     Base: 2 2 2 2 2 2 2 2 2 2 7
100.55	c ---[1428]---> Sorter-cost:  670     Base: 2 2 2 2 2 2 2 2 2 2 7
100.56	c ---[1426]---> Sorter-cost:  448     Base: 2 2 2 2 2 2 2 2 2 2 7
100.57	c ---[1424]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
100.59	c ---[1422]---> Adder-cost: 216   maxlim: 130048   bits: 18/17
100.62	c ---[1420]---> Adder-cost: 82   maxlim: 63488   bits: 17/16
100.63	c ---[1418]---> Sorter-cost:  733     Base: 2 2 2 2 2 2 2 2 2 2 7
100.64	c ---[1416]---> Sorter-cost:  396     Base: 2 2 2 2 2 2 2 2 2 2 7
100.65	c ---[1414]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
100.65	c ---[1412]---> Adder-cost: 102   maxlim: 58368   bits: 17/16
100.67	c ---[1410]---> Sorter-cost:  418     Base: 2 2 2 2 2 2 2 2 2 2 7
100.67	c ---[1408]---> Sorter-cost:  561     Base: 2 2 2 2 2 2 2 2 2 2 7
100.68	c ---[1406]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
100.69	c ---[1404]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
100.70	c ---[1402]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
100.70	c ---[1400]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
100.71	c ---[1398]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
100.72	c ---[1396]---> Adder-cost: 82   maxlim: 56320   bits: 17/16
100.73	c ---[1394]---> Sorter-cost:  572     Base: 2 2 2 2 2 2 2 2 2 2 7
100.74	c ---[1392]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
100.74	c ---[1390]---> Sorter-cost:  412     Base: 2 2 2 2 2 2 2 2 2 2 7
100.75	c ---[1388]---> Sorter-cost:  690     Base: 2 2 2 2 2 2 2 2 2 2 7
100.76	c ---[1386]---> Adder-cost: 98   maxlim: 54272   bits: 17/16
100.77	c ---[1384]---> Sorter-cost:  446     Base: 2 2 2 2 2 2 2 2 2 2 7
100.77	c ---[1382]---> Sorter-cost:  371     Base: 2 2 2 2 2 2 2 2 2 2 7
100.78	c ---[1380]---> Sorter-cost:  609     Base: 2 2 2 2 2 2 2 2 2 2 7
100.79	c ---[1378]---> Adder-cost: 234   maxlim: 133120   bits: 19/18
100.82	c ---[1376]---> Adder-cost: 116   maxlim: 79872   bits: 18/17
100.84	c ---[1374]---> Sorter-cost:  391     Base: 2 2 2 2 2 2 2 2 2 2 7
100.85	c ---[1372]---> Sorter-cost:  661     Base: 2 2 2 2 2 2 2 2 2 2 7
100.86	c ---[1370]---> Adder-cost: 110   maxlim: 64512   bits: 17/16
100.87	c ---[1368]---> Sorter-cost:  622     Base: 2 2 2 2 2 2 2 2 2 2 7
100.88	c ---[1366]---> Adder-cost: 184   maxlim: 100352   bits: 18/17
100.90	c ---[1364]---> Sorter-cost:  401     Base: 2 2 2 2 2 2 2 2 2 2 7
100.91	c ---[1362]---> Sorter-cost: 1039     Base: 2 2 2 2 2 2 2 2 2 2 7
100.92	c ---[1360]---> Sorter-cost: 1221     Base: 2 2 2 2 2 2 2 2 2 2 7
100.93	c ---[1358]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
100.93	c ---[1356]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
100.94	c ---[1354]---> Adder-cost: 106   maxlim: 51200   bits: 17/16
100.95	c ---[1352]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
100.96	c ---[1350]---> Adder-cost: 104   maxlim: 55296   bits: 17/16
100.97	c ---[1348]---> Adder-cost: 352   maxlim: 194560   bits: 19/18
101.02	c ---[1346]---> Adder-cost: 110   maxlim: 194560   bits: 19/18
101.07	c ---[1344]---> Adder-cost: 132   maxlim: 75776   bits: 18/17
101.09	c ---[1342]---> Adder-cost: 64   maxlim: 75776   bits: 18/17
101.11	c ---[1340]---> Adder-cost: 256   maxlim: 166912   bits: 19/18
101.15	c ---[1338]---> Sorter-cost:  787     Base: 2 2 2 2 2 2 2 2 2 2 7
101.16	c ---[1336]---> Sorter-cost:  427     Base: 2 2 2 2 2 2 2 2 2 2 7
101.16	c ---[1334]---> Sorter-cost: 1074     Base: 2 2 2 2 2 2 2 2 2 2 7
101.17	c ---[1332]---> Sorter-cost:  653     Base: 2 2 2 2 2 2 2 2 2 2 7
101.18	c ---[1330]---> Sorter-cost:  921     Base: 2 2 2 2 2 2 2 2 2 2 7
101.19	c ---[1328]---> Adder-cost: 110   maxlim: 58368   bits: 17/16
101.20	c ---[1326]---> Sorter-cost:  919     Base: 2 2 2 2 2 2 2 2 2 2 7
101.21	c ---[1324]---> Adder-cost: 114   maxlim: 60416   bits: 17/16
101.23	c ---[1322]---> Adder-cost: 110   maxlim: 60416   bits: 17/16
101.24	c ---[1320]---> Adder-cost: 150   maxlim: 73728   bits: 18/17
101.26	c ---[1318]---> Adder-cost: 102   maxlim: 64512   bits: 17/16
101.28	c ---[1316]---> Sorter-cost: 1303     Base: 2 2 2 2 2 2 2 2 2 2 7
101.29	c ---[1314]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
101.30	c ---[1312]---> Adder-cost: 288   maxlim: 151552   bits: 19/18
101.34	c ---[1310]---> Adder-cost: 252   maxlim: 143360   bits: 19/18
101.38	c ---[1308]---> Adder-cost: 252   maxlim: 137216   bits: 19/18
101.41	c ---[1306]---> Adder-cost: 194   maxlim: 137216   bits: 19/18
101.45	c ---[1304]---> Adder-cost: 176   maxlim: 97280   bits: 18/17
101.47	c ---[1302]---> Adder-cost: 114   maxlim: 68608   bits: 18/17
101.49	c ---[1300]---> Adder-cost: 146   maxlim: 88064   bits: 18/17
101.51	c ---[1298]---> Adder-cost: 152   maxlim: 102400   bits: 18/17
101.54	c ---[1296]---> Sorter-cost:  317     Base: 2 2 2 2 2 2 2 2 2 2 2
101.54	c ---[1294]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
101.55	c ---[1292]---> Sorter-cost:  653     Base: 2 2 2 2 2 2 2 2 2 2 7
101.56	c ---[1290]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
101.57	c ---[1288]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
101.57	c ---[1286]---> Adder-cost: 564   maxlim: 310272   bits: 20/19
101.65	c ---[1284]---> Adder-cost: 424   maxlim: 314368   bits: 20/19
101.73	c ---[1282]---> Sorter-cost:  863     Base: 2 2 2 2 2 2 2 2 2 2 7
101.74	c ---[1280]---> Adder-cost: 280   maxlim: 171008   bits: 19/18
101.78	c ---[1278]---> Adder-cost: 232   maxlim: 149504   bits: 19/18
101.82	c ---[1276]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
101.83	c ---[1274]---> Sorter-cost:  373     Base: 2 2 2 2 2 2 2 2 2 2 7
101.83	c ---[1272]---> Adder-cost: 182   maxlim: 98304   bits: 18/17
101.86	c ---[1270]---> Adder-cost: 100   maxlim: 53248   bits: 17/16
101.87	c ---[1268]---> Sorter-cost:  593     Base: 2 2 2 2 2 2 2 2 2 2 7
101.88	c ---[1266]---> Sorter-cost:  466     Base: 2 2 2 2 2 2 2 2 2 2 7
101.89	c ---[1264]---> Adder-cost: 90   maxlim: 59392   bits: 17/16
101.90	c ---[1262]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
101.92	c ---[1260]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
101.92	c ---[1258]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
101.93	c ---[1256]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
101.94	c ---[1254]---> Adder-cost: 174   maxlim: 96256   bits: 18/17
101.97	c ---[1252]---> Adder-cost: 68   maxlim: 96256   bits: 18/17
101.99	c ---[1250]---> Adder-cost: 196   maxlim: 102400   bits: 18/17
102.02	c ---[1248]---> Adder-cost: 76   maxlim: 102400   bits: 18/17
102.04	c ---[1246]---> Adder-cost: 254   maxlim: 136192   bits: 19/18
102.08	c ---[1244]---> Adder-cost: 88   maxlim: 136192   bits: 19/18
102.11	c ---[1242]---> Adder-cost: 198   maxlim: 113664   bits: 18/17
102.14	c ---[1240]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
102.17	c ---[1238]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
102.20	c ---[1236]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
102.23	c ---[1234]---> Sorter-cost:  687     Base: 2 2 2 2 2 2 2 2 2 2 7
102.24	c ---[1232]---> Adder-cost: 212   maxlim: 126976   bits: 18/17
102.27	c ---[1230]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
102.28	c ---[1228]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
102.28	c ---[1226]---> Sorter-cost:  597     Base: 2 2 2 2 2 2 2 2 2 2 7
102.29	c ---[1224]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
102.30	c ---[1222]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
102.30	c ---[1220]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
102.31	c ---[1218]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
102.31	c ---[1216]---> Sorter-cost:  309     Base: 2 2 2 2 2 2 2 2 2 2 7
102.32	c ---[1214]---> Adder-cost: 118   maxlim: 61440   bits: 17/16
102.33	c ---[1212]---> Sorter-cost: 1028     Base: 2 2 2 2 2 2 2 2 2 2 7
102.34	c ---[1210]---> Adder-cost: 102   maxlim: 58368   bits: 17/16
102.36	c ---[1208]---> Sorter-cost:  680     Base: 2 2 2 2 2 2 2 2 2 2 7
102.36	c ---[1206]---> Sorter-cost:  959     Base: 2 2 2 2 2 2 2 2 2 2 7
102.37	c ---[1204]---> Adder-cost: 104   maxlim: 52224   bits: 17/16
102.39	c ---[1202]---> Sorter-cost: 1083     Base: 2 2 2 2 2 2 2 2 2 2 7
102.40	c ---[1200]---> Sorter-cost:  971     Base: 2 2 2 2 2 2 2 2 2 2 7
102.41	c ---[1198]---> Sorter-cost:  666     Base: 2 2 2 2 2 2 2 2 2 2 7
102.41	c ---[1196]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
102.42	c ---[1194]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
102.43	c ---[1192]---> Sorter-cost:  959     Base: 2 2 2 2 2 2 2 2 2 2 7
102.44	c ---[1190]---> Sorter-cost:  765     Base: 2 2 2 2 2 2 2 2 2 2 7
102.44	c ---[1188]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
102.45	c ---[1186]---> Sorter-cost:  941     Base: 2 2 2 2 2 2 2 2 2 2 7
102.46	c ---[1184]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
102.47	c ---[1182]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
102.48	c ---[1180]---> Adder-cost: 224   maxlim: 133120   bits: 19/18
102.52	c ---[1178]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
102.52	c ---[1176]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
102.53	c ---[1174]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
102.54	c ---[1172]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 7
102.54	c ---[1170]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
102.54	c ---[1168]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
102.55	c ---[1166]---> Sorter-cost: 1125     Base: 2 2 2 2 2 2 2 2 2 2 7
102.56	c ---[1164]---> Sorter-cost: 1040     Base: 2 2 2 2 2 2 2 2 2 2 7
102.57	c ---[1162]---> Sorter-cost:  941     Base: 2 2 2 2 2 2 2 2 2 2 7
102.58	c ---[1160]---> Sorter-cost:  921     Base: 2 2 2 2 2 2 2 2 2 2 7
102.59	c ---[1158]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
102.60	c ---[1156]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
102.61	c ---[1154]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
102.62	c ---[1152]---> Sorter-cost:  925     Base: 2 2 2 2 2 2 2 2 2 2 7
102.63	c ---[1150]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
102.63	c ---[1148]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
102.64	c ---[1146]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
102.65	c ---[1144]---> Sorter-cost:  303     Base: 2 2 2 2 2 2 2 2 2 2 2
102.65	c ---[1142]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
102.66	c ---[1140]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
102.66	c ---[1138]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
102.66	c ---[1136]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
102.67	c ---[1134]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
102.68	c ---[1132]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
102.68	c ---[1130]---> Sorter-cost: 1121     Base: 2 2 2 2 2 2 2 2 2 2 7
102.69	c ---[1128]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
102.70	c ---[1126]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
102.71	c ---[1124]---> Sorter-cost: 1145     Base: 2 2 2 2 2 2 2 2 2 2 7
102.72	c ---[1122]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
102.73	c ---[1120]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
102.74	c ---[1118]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
102.76	c ---[1116]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
102.76	c ---[1114]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
102.77	c ---[1112]---> Sorter-cost:  283     Base: 2 2 2 2 2 2 2 2 2 2 7
102.77	c ---[1110]---> Adder-cost: 216   maxlim: 116736   bits: 18/17
102.80	c ---[1108]---> Adder-cost: 170   maxlim: 104448   bits: 18/17
102.83	c ---[1106]---> Adder-cost: 296   maxlim: 155648   bits: 19/18
102.87	c ---[1104]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
102.88	c ---[1102]---> Adder-cost: 166   maxlim: 87040   bits: 18/17
102.91	c ---[1100]---> Adder-cost: 66   maxlim: 87040   bits: 18/17
102.93	c ---[1098]---> Adder-cost: 186   maxlim: 95232   bits: 18/17
102.95	c ---[1096]---> Adder-cost: 70   maxlim: 95232   bits: 18/17
102.98	c ---[1094]---> Adder-cost: 70   maxlim: 95232   bits: 18/17
103.00	c ---[1092]---> Adder-cost: 130   maxlim: 66560   bits: 18/17
103.02	c ---[1090]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
103.03	c ---[1088]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
103.05	c ---[1086]---> Adder-cost: 130   maxlim: 79872   bits: 18/17
103.07	c ---[1084]---> Adder-cost: 132   maxlim: 75776   bits: 18/17
103.09	c ---[1082]---> Adder-cost: 64   maxlim: 75776   bits: 18/17
103.11	c ---[1080]---> Sorter-cost: 1024     Base: 2 2 2 2 2 2 2 2 2 2 7
103.12	c ---[1078]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
103.13	c ---[1076]---> Sorter-cost:  913     Base: 2 2 2 2 2 2 2 2 2 2 7
103.14	c ---[1074]---> Sorter-cost:  410     Base: 2 2 2 2 2 2 2 2 2 2 7
103.15	c ---[1072]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
103.15	c ---[1070]---> Sorter-cost:  269     Base: 2 2 2 2 2 2 2 2 2 2 2
103.16	c ---[1068]---> Sorter-cost:  333     Base: 2 2 2 2 2 2 2 2 2 2 7
103.16	c ---[1066]---> Sorter-cost:  395     Base: 2 2 2 2 2 2 2 2 2 2 7
103.17	c ---[1064]---> Sorter-cost:  634     Base: 2 2 2 2 2 2 2 2 2 2 7
103.17	c ---[1062]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
103.18	c ---[1060]---> Sorter-cost:  569     Base: 2 2 2 2 2 2 2 2 2 2 7
103.19	c ---[1058]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
103.19	c ---[1056]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
103.20	c ---[1054]---> Sorter-cost:  539     Base: 2 2 2 2 2 2 2 2 2 2 7
103.21	c ---[1052]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
103.21	c ---[1050]---> Sorter-cost:  422     Base: 2 2 2 2 2 2 2 2 2 2 7
103.22	c ---[1048]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
103.23	c ---[1046]---> Adder-cost: 222   maxlim: 114688   bits: 18/17
103.26	c ---[1044]---> Adder-cost: 76   maxlim: 114688   bits: 18/17
103.28	c ---[1042]---> Adder-cost: 180   maxlim: 112640   bits: 18/17
103.31	c ---[1040]---> Adder-cost: 74   maxlim: 112640   bits: 18/17
103.34	c ---[1038]---> Adder-cost: 182   maxlim: 96256   bits: 18/17
103.37	c ---[1036]---> Adder-cost: 216   maxlim: 116736   bits: 18/17
103.40	c ---[1034]---> Adder-cost: 162   maxlim: 115712   bits: 18/17
103.43	c ---[1032]---> Adder-cost: 148   maxlim: 78848   bits: 18/17
103.45	c ---[1030]---> Adder-cost: 136   maxlim: 71680   bits: 18/17
103.47	c ---[1028]---> Adder-cost: 170   maxlim: 83968   bits: 18/17
103.49	c ---[1026]---> Adder-cost: 68   maxlim: 83968   bits: 18/17
103.51	c ---[1024]---> Sorter-cost: 1081     Base: 2 2 2 2 2 2 2 2 2 2 7
103.52	c ---[1022]---> Sorter-cost:  671     Base: 2 2 2 2 2 2 2 2 2 2 7
103.53	c ---[1020]---> Sorter-cost:  411     Base: 2 2 2 2 2 2 2 2 2 2 7
103.54	c ---[1018]---> Sorter-cost:  386     Base: 2 2 2 2 2 2 2 2 2 2 7
103.54	c ---[1016]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
103.55	c ---[1014]---> Adder-cost: 148   maxlim: 74752   bits: 18/17
103.57	c ---[1012]---> Adder-cost: 60   maxlim: 74752   bits: 18/17
103.59	c ---[1010]---> Sorter-cost:  630     Base: 2 2 2 2 2 2 2 2 2 2 7
103.60	c ---[1008]---> Sorter-cost:  991     Base: 2 2 2 2 2 2 2 2 2 2 7
103.61	c ---[1006]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
103.62	c ---[1004]---> Sorter-cost:  599     Base: 2 2 2 2 2 2 2 2 2 2 7
103.62	c ---[1002]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
103.63	c ---[1000]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
103.64	c ---[ 998]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
103.65	c ---[ 996]---> Sorter-cost: 1131     Base: 2 2 2 2 2 2 2 2 2 2 7
103.66	c ---[ 994]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
103.67	c ---[ 992]---> Sorter-cost:  428     Base: 2 2 2 2 2 2 2 2 2 2 7
103.68	c ---[ 990]---> Adder-cost: 170   maxlim: 86016   bits: 18/17
103.70	c ---[ 988]---> Adder-cost: 66   maxlim: 86016   bits: 18/17
103.73	c ---[ 986]---> Sorter-cost: 1080     Base: 2 2 2 2 2 2 2 2 2 2 7
103.74	c ---[ 984]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
103.75	c ---[ 982]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
103.76	c ---[ 980]---> Sorter-cost:  863     Base: 2 2 2 2 2 2 2 2 2 2 7
103.76	c ---[ 978]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
103.77	c ---[ 976]---> Sorter-cost:  481     Base: 2 2 2 2 2 2 2 2 2 2 7
103.78	c ---[ 974]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
103.78	c ---[ 972]---> Sorter-cost:  332     Base: 2 2 2 2 2 2 2 2 2 2 7
103.79	c ---[ 970]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
103.80	c ---[ 968]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
103.80	c ---[ 966]---> Sorter-cost:  455     Base: 2 2 2 2 2 2 2 2 2 2 7
103.81	c ---[ 964]---> Sorter-cost:  340     Base: 2 2 2 2 2 2 2 2 2 2 7
103.81	c ---[ 962]---> Sorter-cost:  398     Base: 2 2 2 2 2 2 2 2 2 2 7
103.82	c ---[ 960]---> Sorter-cost:  314     Base: 2 2 2 2 2 2 2 2 2 2 7
103.83	c ---[ 958]---> Sorter-cost:  296     Base: 2 2 2 2 2 2 2 2 2 2 7
103.83	c ---[ 956]---> Adder-cost: 186   maxlim: 96256   bits: 18/17
103.86	c ---[ 954]---> Adder-cost: 68   maxlim: 96256   bits: 18/17
103.88	c ---[ 952]---> Adder-cost: 268   maxlim: 145408   bits: 19/18
103.92	c ---[ 950]---> Adder-cost: 88   maxlim: 145408   bits: 19/18
103.96	c ---[ 948]---> Sorter-cost:  935     Base: 2 2 2 2 2 2 2 2 2 2 7
103.97	c ---[ 946]---> Sorter-cost:  949     Base: 2 2 2 2 2 2 2 2 2 2 7
103.98	c ---[ 944]---> Adder-cost: 116   maxlim: 63488   bits: 17/16
103.99	c ---[ 942]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
104.01	c ---[ 940]---> Adder-cost: 134   maxlim: 66560   bits: 18/17
104.02	c ---[ 938]---> Adder-cost: 60   maxlim: 66560   bits: 18/17
104.04	c ---[ 936]---> Adder-cost: 124   maxlim: 70656   bits: 18/17
104.06	c ---[ 934]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
104.08	c ---[ 932]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
104.10	c ---[ 930]---> Adder-cost: 136   maxlim: 75776   bits: 18/17
104.12	c ---[ 928]---> Adder-cost: 64   maxlim: 75776   bits: 18/17
104.14	c ---[ 926]---> Sorter-cost:  690     Base: 2 2 2 2 2 2 2 2 2 2 7
104.15	c ---[ 924]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
104.16	c ---[ 922]---> Sorter-cost:  683     Base: 2 2 2 2 2 2 2 2 2 2 7
104.16	c ---[ 920]---> Adder-cost: 252   maxlim: 140288   bits: 19/18
104.20	c ---[ 918]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
104.21	c ---[ 916]---> Adder-cost: 108   maxlim: 55296   bits: 17/16
104.22	c ---[ 914]---> Adder-cost: 84   maxlim: 52224   bits: 17/16
104.23	c ---[ 912]---> Adder-cost: 344   maxlim: 181248   bits: 19/18
104.28	c ---[ 910]---> Adder-cost: 194   maxlim: 107520   bits: 18/17
104.31	c ---[ 908]---> Adder-cost: 78   maxlim: 107520   bits: 18/17
104.33	c ---[ 906]---> Adder-cost: 120   maxlim: 63488   bits: 17/16
104.35	c ---[ 904]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
104.36	c ---[ 902]---> Adder-cost: 120   maxlim: 59392   bits: 17/16
104.38	c ---[ 900]---> Adder-cost: 120   maxlim: 61440   bits: 17/16
104.39	c ---[ 898]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
104.41	c ---[ 896]---> Adder-cost: 170   maxlim: 97280   bits: 18/17
104.43	c ---[ 894]---> Adder-cost: 64   maxlim: 97280   bits: 18/17
104.46	c ---[ 892]---> Sorter-cost:  315     Base: 2 2 2 2 2 2 2 2 2 2 2
104.46	c ---[ 890]---> Adder-cost: 310   maxlim: 171008   bits: 19/18
104.51	c ---[ 888]---> Sorter-cost: 1184     Base: 2 2 2 2 2 2 2 2 2 2 7
104.52	c ---[ 886]---> Adder-cost: 114   maxlim: 60416   bits: 17/16
104.53	c ---[ 884]---> Adder-cost: 100   maxlim: 60416   bits: 17/16
104.55	c ---[ 882]---> Adder-cost: 206   maxlim: 113664   bits: 18/17
104.57	c ---[ 880]---> Adder-cost: 72   maxlim: 113664   bits: 18/17
104.60	c ---[ 878]---> Adder-cost: 142   maxlim: 71680   bits: 18/17
104.62	c ---[ 876]---> Adder-cost: 136   maxlim: 86016   bits: 18/17
104.65	c ---[ 874]---> Adder-cost: 180   maxlim: 103424   bits: 18/17
104.67	c ---[ 872]---> Adder-cost: 76   maxlim: 103424   bits: 18/17
104.70	c ---[ 870]---> Adder-cost: 76   maxlim: 103424   bits: 18/17
104.73	c ---[ 868]---> Sorter-cost:  739     Base: 2 2 2 2 2 2 2 2 2 2 7
104.73	c ---[ 866]---> Sorter-cost:  716     Base: 2 2 2 2 2 2 2 2 2 2 7
104.74	c ---[ 864]---> Sorter-cost: 1188     Base: 2 2 2 2 2 2 2 2 2 2 7
104.75	c ---[ 862]---> Sorter-cost:  762     Base: 2 2 2 2 2 2 2 2 2 2 7
104.76	c ---[ 860]---> Sorter-cost: 1095     Base: 2 2 2 2 2 2 2 2 2 2 7
104.77	c ---[ 858]---> Sorter-cost:  991     Base: 2 2 2 2 2 2 2 2 2 2 7
104.78	c ---[ 856]---> Adder-cost: 270   maxlim: 143360   bits: 19/18
104.82	c ---[ 854]---> Sorter-cost: 1190     Base: 2 2 2 2 2 2 2 2 2 2 7
104.83	c ---[ 852]---> Sorter-cost: 1068     Base: 2 2 2 2 2 2 2 2 2 2 7
104.84	c ---[ 850]---> Sorter-cost:  548     Base: 2 2 2 2 2 2 2 2 2 2 7
104.85	c ---[ 848]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
104.86	c ---[ 846]---> Sorter-cost: 1155     Base: 2 2 2 2 2 2 2 2 2 2 7
104.87	c ---[ 844]---> Sorter-cost: 1123     Base: 2 2 2 2 2 2 2 2 2 2 7
104.88	c ---[ 842]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
104.89	c ---[ 840]---> Adder-cost: 108   maxlim: 62464   bits: 17/16
104.90	c ---[ 838]---> Sorter-cost: 1028     Base: 2 2 2 2 2 2 2 2 2 2 7
104.91	c ---[ 836]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
104.92	c ---[ 834]---> Adder-cost: 154   maxlim: 95232   bits: 18/17
104.94	c ---[ 832]---> Sorter-cost: 1168     Base: 2 2 2 2 2 2 2 2 2 2 7
104.95	c ---[ 830]---> Sorter-cost:  950     Base: 2 2 2 2 2 2 2 2 2 2 7
104.96	c ---[ 828]---> Adder-cost: 190   maxlim: 103424   bits: 18/17
104.99	c ---[ 826]---> Adder-cost: 76   maxlim: 103424   bits: 18/17
105.02	c ---[ 824]---> Adder-cost: 76   maxlim: 103424   bits: 18/17
105.04	c ---[ 822]---> Sorter-cost: 1183     Base: 2 2 2 2 2 2 2 2 2 2 7
105.05	c ---[ 820]---> Sorter-cost:  588     Base: 2 2 2 2 2 2 2 2 2 2 7
105.06	c ---[ 818]---> Adder-cost: 176   maxlim: 90112   bits: 18/17
105.08	c ---[ 816]---> Adder-cost: 106   maxlim: 55296   bits: 17/16
105.10	c ---[ 814]---> Adder-cost: 100   maxlim: 60416   bits: 17/16
105.11	c ---[ 812]---> Adder-cost: 138   maxlim: 69632   bits: 18/17
105.13	c ---[ 810]---> Adder-cost: 62   maxlim: 69632   bits: 18/17
105.15	c ---[ 808]---> Adder-cost: 120   maxlim: 70656   bits: 18/17
105.17	c ---[ 806]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
105.19	c ---[ 804]---> Sorter-cost:  489     Base: 2 2 2 2 2 2 2 2 2 2 7
105.20	c ---[ 802]---> Sorter-cost: 1243     Base: 2 2 2 2 2 2 2 2 2 2 7
105.21	c ---[ 800]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
105.22	c ---[ 798]---> Adder-cost: 102   maxlim: 54272   bits: 17/16
105.23	c ---[ 796]---> Sorter-cost:  969     Base: 2 2 2 2 2 2 2 2 2 2 7
105.24	c ---[ 794]---> Sorter-cost: 1217     Base: 2 2 2 2 2 2 2 2 2 2 7
105.25	c ---[ 792]---> Adder-cost: 98   maxlim: 54272   bits: 17/16
105.27	c ---[ 790]---> Sorter-cost:  527     Base: 2 2 2 2 2 2 2 2 2 2 7
105.27	c ---[ 788]---> Adder-cost: 180   maxlim: 104448   bits: 18/17
105.30	c ---[ 786]---> Sorter-cost:  592     Base: 2 2 2 2 2 2 2 2 2 2 7
105.31	c ---[ 784]---> Sorter-cost:  640     Base: 2 2 2 2 2 2 2 2 2 2 7
105.31	c ---[ 782]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
105.32	c ---[ 780]---> Adder-cost: 424   maxlim: 242688   bits: 19/18
105.38	c ---[ 778]---> Adder-cost: 316   maxlim: 239616   bits: 19/18
105.44	c ---[ 776]---> Adder-cost: 166   maxlim: 97280   bits: 18/17
105.46	c ---[ 774]---> Sorter-cost:  510     Base: 2 2 2 2 2 2 2 2 2 2 7
105.47	c ---[ 772]---> Adder-cost: 138   maxlim: 86016   bits: 18/17
105.49	c ---[ 770]---> Adder-cost: 120   maxlim: 89088   bits: 18/17
105.52	c ---[ 768]---> Sorter-cost:  441     Base: 2 2 2 2 2 2 2 2 2 2 7
105.52	c ---[ 766]---> Sorter-cost:  257     Base: 2 2 2 2 2 2 2 2 2 2 2
105.52	c ---[ 764]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
105.53	c ---[ 762]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
105.53	c ---[ 760]---> Sorter-cost:  443     Base: 2 2 2 2 2 2 2 2 2 2 7
105.54	c ---[ 758]---> Sorter-cost:  655     Base: 2 2 2 2 2 2 2 2 2 2 7
105.54	c ---[ 756]---> Sorter-cost:  993     Base: 2 2 2 2 2 2 2 2 2 2 7
105.55	c ---[ 754]---> Sorter-cost:  540     Base: 2 2 2 2 2 2 2 2 2 2 7
105.56	c ---[ 752]---> Sorter-cost:  574     Base: 2 2 2 2 2 2 2 2 2 2 7
105.57	c ---[ 750]---> Sorter-cost:  311     Base: 2 2 2 2 2 2 2 2 2 2 2
105.57	c ---[ 748]---> Adder-cost: 174   maxlim: 94208   bits: 18/17
105.59	c ---[ 746]---> Adder-cost: 142   maxlim: 77824   bits: 18/17
105.62	c ---[ 744]---> Adder-cost: 224   maxlim: 120832   bits: 18/17
105.65	c ---[ 742]---> Adder-cost: 214   maxlim: 123904   bits: 18/17
105.68	c ---[ 740]---> Sorter-cost:  793     Base: 2 2 2 2 2 2 2 2 2 2 7
105.69	c ---[ 738]---> Adder-cost: 254   maxlim: 135168   bits: 19/18
105.72	c ---[ 736]---> Adder-cost: 112   maxlim: 63488   bits: 17/16
105.74	c ---[ 734]---> Adder-cost: 140   maxlim: 71680   bits: 18/17
105.76	c ---[ 732]---> Adder-cost: 88   maxlim: 80896   bits: 18/17
105.78	c ---[ 730]---> Adder-cost: 92   maxlim: 76800   bits: 18/17
105.80	c ---[ 728]---> Adder-cost: 202   maxlim: 131072   bits: 19/18
105.83	c ---[ 726]---> Adder-cost: 90   maxlim: 131072   bits: 19/18
105.87	c ---[ 724]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
105.88	c ---[ 722]---> Adder-cost: 136   maxlim: 65536   bits: 18/17
105.90	c ---[ 720]---> Sorter-cost: 1177     Base: 2 2 2 2 2 2 2 2 2 2 7
105.91	c ---[ 718]---> Adder-cost: 146   maxlim: 73728   bits: 18/17
105.93	c ---[ 716]---> Adder-cost: 62   maxlim: 73728   bits: 18/17
105.95	c ---[ 714]---> Adder-cost: 62   maxlim: 73728   bits: 18/17
105.97	c ---[ 712]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
105.97	c ---[ 710]---> Adder-cost: 108   maxlim: 58368   bits: 17/16
105.99	c ---[ 708]---> Adder-cost: 48   maxlim: 58368   bits: 17/16
106.00	c ---[ 706]---> Adder-cost: 110   maxlim: 62464   bits: 17/16
106.02	c ---[ 704]---> Sorter-cost:  313     Base: 2 2 2 2 2 2 2 2 2 2 2
106.02	c ---[ 702]---> Sorter-cost:  361     Base: 2 2 2 2 2 2 2 2 2 2 7
106.03	c ---[ 700]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
106.04	c ---[ 698]---> Adder-cost: 158   maxlim: 83968   bits: 18/17
106.06	c ---[ 696]---> Adder-cost: 162   maxlim: 97280   bits: 18/17
106.08	c ---[ 694]---> Adder-cost: 64   maxlim: 97280   bits: 18/17
106.11	c ---[ 692]---> Adder-cost: 64   maxlim: 97280   bits: 18/17
106.13	c ---[ 690]---> Adder-cost: 64   maxlim: 97280   bits: 18/17
106.16	c ---[ 688]---> Sorter-cost:  937     Base: 2 2 2 2 2 2 2 2 2 2 7
106.17	c ---[ 686]---> Adder-cost: 132   maxlim: 70656   bits: 18/17
106.19	c ---[ 684]---> Adder-cost: 60   maxlim: 70656   bits: 18/17
106.21	c ---[ 682]---> Sorter-cost:  587     Base: 2 2 2 2 2 2 2 2 2 2 7
106.22	c ---[ 680]---> Adder-cost: 144   maxlim: 77824   bits: 18/17
106.24	c ---[ 678]---> Adder-cost: 108   maxlim: 63488   bits: 17/16
106.25	c ---[ 676]---> Sorter-cost:  401     Base: 2 2 2 2 2 2 2 2 2 2 7
106.26	c ---[ 674]---> Sorter-cost: 1067     Base: 2 2 2 2 2 2 2 2 2 2 7
106.27	c ---[ 672]---> Adder-cost: 144   maxlim: 76800   bits: 18/17
106.29	c ---[ 670]---> Adder-cost: 190   maxlim: 104448   bits: 18/17
106.32	c ---[ 668]---> Adder-cost: 74   maxlim: 104448   bits: 18/17
106.34	c ---[ 666]---> Adder-cost: 134   maxlim: 69632   bits: 18/17
106.36	c ---[ 664]---> Adder-cost: 160   maxlim: 82944   bits: 18/17
106.38	c ---[ 662]---> Adder-cost: 104   maxlim: 53248   bits: 17/16
106.40	c ---[ 660]---> Sorter-cost: 1046     Base: 2 2 2 2 2 2 2 2 2 2 7
106.41	c ---[ 658]---> Sorter-cost: 1254     Base: 2 2 2 2 2 2 2 2 2 2 7
106.42	c ---[ 656]---> Sorter-cost:  619     Base: 2 2 2 2 2 2 2 2 2 2 7
106.43	c ---[ 654]---> Sorter-cost:  556     Base: 2 2 2 2 2 2 2 2 2 2 7
106.43	c ---[ 652]---> Sorter-cost: 1050     Base: 2 2 2 2 2 2 2 2 2 2 7
106.44	c ---[ 650]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
106.45	c ---[ 648]---> Adder-cost: 106   maxlim: 54272   bits: 17/16
106.47	c ---[ 646]---> Sorter-cost:  991     Base: 2 2 2 2 2 2 2 2 2 2 7
106.48	c ---[ 644]---> Adder-cost: 160   maxlim: 93184   bits: 18/17
106.50	c ---[ 642]---> Adder-cost: 114   maxlim: 61440   bits: 17/16
106.51	c ---[ 640]---> Adder-cost: 156   maxlim: 130048   bits: 18/17
106.55	c ---[ 638]---> Sorter-cost:  684     Base: 2 2 2 2 2 2 2 2 2 2 7
106.55	c ---[ 636]---> Adder-cost: 112   maxlim: 57344   bits: 17/16
106.57	c ---[ 634]---> Adder-cost: 146   maxlim: 78848   bits: 18/17
106.59	c ---[ 632]---> Adder-cost: 182   maxlim: 98304   bits: 18/17
106.62	c ---[ 630]---> Adder-cost: 144   maxlim: 98304   bits: 18/17
106.64	c ---[ 628]---> Adder-cost: 64   maxlim: 93184   bits: 18/17
106.67	c ---[ 626]---> Adder-cost: 214   maxlim: 132096   bits: 19/18
106.70	c ---[ 624]---> Adder-cost: 200   maxlim: 121856   bits: 18/17
106.73	c ---[ 622]---> Sorter-cost:  906     Base: 2 2 2 2 2 2 2 2 2 2 7
106.74	c ---[ 620]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
106.75	c ---[ 618]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
106.76	c ---[ 616]---> Sorter-cost:  410     Base: 2 2 2 2 2 2 2 2 2 2 7
106.76	c ---[ 614]---> Sorter-cost:  961     Base: 2 2 2 2 2 2 2 2 2 2 7
106.77	c ---[ 612]---> Adder-cost: 132   maxlim: 73728   bits: 18/17
106.79	c ---[ 610]---> Adder-cost: 62   maxlim: 73728   bits: 18/17
106.81	c ---[ 608]---> Adder-cost: 64   maxlim: 93184   bits: 18/17
106.84	c ---[ 606]---> Adder-cost: 190   maxlim: 104448   bits: 18/17
106.86	c ---[ 604]---> Adder-cost: 74   maxlim: 104448   bits: 18/17
106.89	c ---[ 602]---> Adder-cost: 74   maxlim: 104448   bits: 18/17
106.92	c ---[ 600]---> Adder-cost: 120   maxlim: 70656   bits: 18/17
106.94	c ---[ 598]---> Sorter-cost:  448     Base: 2 2 2 2 2 2 2 2 2 2 7
106.94	c ---[ 596]---> Sorter-cost:  365     Base: 2 2 2 2 2 2 2 2 2 2 7
106.95	c ---[ 594]---> Adder-cost: 104   maxlim: 95232   bits: 18/17
106.97	c ---[ 592]---> Sorter-cost:  426     Base: 2 2 2 2 2 2 2 2 2 2 7
106.98	c ---[ 590]---> Sorter-cost:  919     Base: 2 2 2 2 2 2 2 2 2 2 7
106.99	c ---[ 588]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
107.00	c ---[ 586]---> Adder-cost: 128   maxlim: 67584   bits: 18/17
107.01	c ---[ 584]---> Adder-cost: 122   maxlim: 65536   bits: 18/17
107.03	c ---[ 582]---> Adder-cost: 56   maxlim: 56320   bits: 17/16
107.05	c ---[ 580]---> Adder-cost: 98   maxlim: 56320   bits: 17/16
107.06	c ---[ 578]---> Sorter-cost:  267     Base: 2 2 2 2 2 2 2 2 2 2 2
107.06	c ---[ 576]---> Adder-cost: 136   maxlim: 77824   bits: 18/17
107.08	c ---[ 574]---> Sorter-cost:  657     Base: 2 2 2 2 2 2 2 2 2 2 7
107.09	c ---[ 572]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
107.10	c ---[ 570]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
107.12	c ---[ 568]---> Adder-cost: 212   maxlim: 126976   bits: 18/17
107.15	c ---[ 566]---> Adder-cost: 114   maxlim: 58368   bits: 17/16
107.16	c ---[ 564]---> Adder-cost: 128   maxlim: 72704   bits: 18/17
107.18	c ---[ 562]---> Adder-cost: 134   maxlim: 68608   bits: 18/17
107.20	c ---[ 560]---> Adder-cost: 112   maxlim: 59392   bits: 17/16
107.21	c ---[ 558]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
107.23	c ---[ 556]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
107.24	c ---[ 554]---> Adder-cost: 164   maxlim: 95232   bits: 18/17
107.27	c ---[ 552]---> Adder-cost: 148   maxlim: 88064   bits: 18/17
107.29	c ---[ 550]---> Adder-cost: 186   maxlim: 128000   bits: 18/17
107.32	c ---[ 548]---> Adder-cost: 138   maxlim: 99328   bits: 18/17
107.35	c ---[ 546]---> Sorter-cost: 1020     Base: 2 2 2 2 2 2 2 2 2 2 7
107.36	c ---[ 544]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
107.37	c ---[ 542]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
107.38	c ---[ 540]---> Adder-cost: 150   maxlim: 79872   bits: 18/17
107.40	c ---[ 538]---> Adder-cost: 198   maxlim: 111616   bits: 18/17
107.43	c ---[ 536]---> Adder-cost: 196   maxlim: 109568   bits: 18/17
107.46	c ---[ 534]---> Adder-cost: 226   maxlim: 125952   bits: 18/17
107.49	c ---[ 532]---> Adder-cost: 156   maxlim: 100352   bits: 18/17
107.52	c ---[ 530]---> Adder-cost: 194   maxlim: 132096   bits: 19/18
107.55	c ---[ 528]---> Adder-cost: 132   maxlim: 71680   bits: 18/17
107.57	c ---[ 526]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
107.58	c ---[ 524]---> Sorter-cost:  607     Base: 2 2 2 2 2 2 2 2 2 2 7
107.59	c ---[ 522]---> Sorter-cost:  271     Base: 2 2 2 2 2 2 2 2 2 2 2
107.59	c ---[ 520]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
107.60	c ---[ 518]---> Adder-cost: 62   maxlim: 76800   bits: 18/17
107.62	c ---[ 516]---> Adder-cost: 110   maxlim: 109568   bits: 18/17
107.64	c ---[ 514]---> Sorter-cost:  315     Base: 2 2 2 2 2 2 2 2 2 2 2
107.65	c ---[ 512]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
107.65	c ---[ 510]---> Sorter-cost:  255     Base: 2 2 2 2 2 2 2 2 2 2 2
107.66	c ---[ 508]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
107.66	c ---[ 506]---> Sorter-cost:  263     Base: 2 2 2 2 2 2 2 2 2 2 2
107.66	c ---[ 504]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
107.67	c ---[ 502]---> Sorter-cost:  261     Base: 2 2 2 2 2 2 2 2 2 2 2
107.67	c ---[ 500]---> Adder-cost: 178   maxlim: 101376   bits: 18/17
107.70	c ---[ 498]---> Sorter-cost:  892     Base: 2 2 2 2 2 2 2 2 2 2 7
107.70	c ---[ 496]---> Sorter-cost:  678     Base: 2 2 2 2 2 2 2 2 2 2 7
107.71	c ---[ 494]---> Sorter-cost:  307     Base: 2 2 2 2 2 2 2 2 2 2 2
107.72	c ---[ 492]---> Adder-cost: 120   maxlim: 68608   bits: 18/17
107.73	c ---[ 490]---> Adder-cost: 72   maxlim: 101376   bits: 18/17
107.76	c ---[ 488]---> Adder-cost: 228   maxlim: 135168   bits: 19/18
107.80	c ---[ 486]---> Sorter-cost:  789     Base: 2 2 2 2 2 2 2 2 2 2 7
107.80	c ---[ 484]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
107.81	c ---[ 482]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
107.82	c ---[ 480]---> Sorter-cost:  908     Base: 2 2 2 2 2 2 2 2 2 2 7
107.83	c ---[ 478]---> Adder-cost: 104   maxlim: 58368   bits: 17/16
107.84	c ---[ 476]---> Adder-cost: 108   maxlim: 59392   bits: 17/16
107.86	c ---[ 474]---> Adder-cost: 50   maxlim: 59392   bits: 17/16
107.87	c ---[ 472]---> Adder-cost: 72   maxlim: 101376   bits: 18/17
107.90	c ---[ 470]---> Adder-cost: 68   maxlim: 60416   bits: 17/16
107.91	c ---[ 468]---> Adder-cost: 106   maxlim: 56320   bits: 17/16
107.93	c ---[ 466]---> Sorter-cost: 1299     Base: 2 2 2 2 2 2 2 2 2 2 7
107.94	c ---[ 464]---> Sorter-cost:  803     Base: 2 2 2 2 2 2 2 2 2 2 7
107.95	c ---[ 462]---> Adder-cost: 46   maxlim: 56320   bits: 17/16
107.96	c ---[ 460]---> Sorter-cost: 1135     Base: 2 2 2 2 2 2 2 2 2 2 7
107.97	c ---[ 458]---> Adder-cost: 136   maxlim: 81920   bits: 18/17
108.00	c ---[ 456]---> Adder-cost: 168   maxlim: 92160   bits: 18/17
108.02	c ---[ 454]---> Adder-cost: 180   maxlim: 96256   bits: 18/17
108.05	c ---[ 452]---> Adder-cost: 68   maxlim: 96256   bits: 18/17
108.07	c ---[ 450]---> Adder-cost: 100   maxlim: 52224   bits: 17/16
108.08	c ---[ 448]---> Adder-cost: 44   maxlim: 52224   bits: 17/16
108.10	c ---[ 446]---> Adder-cost: 134   maxlim: 67584   bits: 18/17
108.12	c ---[ 444]---> Adder-cost: 328   maxlim: 181248   bits: 19/18
108.16	c ---[ 442]---> Adder-cost: 106   maxlim: 181248   bits: 19/18
108.20	c ---[ 440]---> Adder-cost: 136   maxlim: 80896   bits: 18/17
108.23	c ---[ 438]---> Sorter-cost:  961     Base: 2 2 2 2 2 2 2 2 2 2 7
108.24	c ---[ 436]---> Adder-cost: 114   maxlim: 61440   bits: 17/16
108.25	c ---[ 434]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
108.26	c ---[ 432]---> Sorter-cost: 1055     Base: 2 2 2 2 2 2 2 2 2 2 7
108.27	c ---[ 430]---> Sorter-cost:  667     Base: 2 2 2 2 2 2 2 2 2 2 7
108.28	c ---[ 428]---> Adder-cost: 236   maxlim: 135168   bits: 19/18
108.32	c ---[ 426]---> Sorter-cost: 1016     Base: 2 2 2 2 2 2 2 2 2 2 7
108.33	c ---[ 424]---> Adder-cost: 394   maxlim: 253952   bits: 19/18
108.39	c ---[ 422]---> Adder-cost: 132   maxlim: 253952   bits: 19/18
108.46	c ---[ 420]---> Adder-cost: 96   maxlim: 55296   bits: 17/16
108.47	c ---[ 418]---> Sorter-cost:  311     Base: 2 2 2 2 2 2 2 2 2 2 2
108.47	c ---[ 416]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
108.48	c ---[ 414]---> Sorter-cost:  179     Base: 2 2 2 2 2 2 2 2 2 2 2
108.48	c ---[ 412]---> Adder-cost: 174   maxlim: 110592   bits: 18/17
108.51	c ---[ 410]---> Adder-cost: 178   maxlim: 97280   bits: 18/17
108.54	c ---[ 408]---> Adder-cost: 122   maxlim: 61440   bits: 17/16
108.55	c ---[ 406]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
108.56	c ---[ 404]---> Adder-cost: 80   maxlim: 57344   bits: 17/16
108.58	c ---[ 402]---> Adder-cost: 64   maxlim: 58368   bits: 17/16
108.59	c ---[ 400]---> Sorter-cost: 1255     Base: 2 2 2 2 2 2 2 2 2 2 7
108.60	c ---[ 398]---> Sorter-cost:  864     Base: 2 2 2 2 2 2 2 2 2 2 7
108.62	c ---[ 396]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
108.63	c ---[ 394]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
108.64	c ---[ 392]---> Sorter-cost: 1047     Base: 2 2 2 2 2 2 2 2 2 2 7
108.65	c ---[ 390]---> Adder-cost: 208   maxlim: 107520   bits: 18/17
108.68	c ---[ 388]---> Adder-cost: 78   maxlim: 107520   bits: 18/17
108.70	c ---[ 386]---> Adder-cost: 142   maxlim: 106496   bits: 18/17
108.73	c ---[ 384]---> Sorter-cost:  591     Base: 2 2 2 2 2 2 2 2 2 2 7
108.74	c ---[ 382]---> Adder-cost: 106   maxlim: 54272   bits: 17/16
108.75	c ---[ 380]---> Adder-cost: 200   maxlim: 120832   bits: 18/17
108.78	c ---[ 378]---> Adder-cost: 146   maxlim: 94208   bits: 18/17
108.80	c ---[ 376]---> Adder-cost: 126   maxlim: 77824   bits: 18/17
108.83	c ---[ 374]---> Sorter-cost: 1133     Base: 2 2 2 2 2 2 2 2 2 2 7
108.84	c ---[ 372]---> Sorter-cost:  713     Base: 2 2 2 2 2 2 2 2 2 2 7
108.85	c ---[ 370]---> Adder-cost: 138   maxlim: 66560   bits: 18/17
108.86	c ---[ 368]---> Adder-cost: 150   maxlim: 79872   bits: 18/17
108.89	c ---[ 366]---> Adder-cost: 112   maxlim: 73728   bits: 18/17
108.91	c ---[ 364]---> Adder-cost: 204   maxlim: 108544   bits: 18/17
108.93	c ---[ 362]---> Adder-cost: 104   maxlim: 57344   bits: 17/16
108.95	c ---[ 360]---> Adder-cost: 68   maxlim: 54272   bits: 17/16
108.96	c ---[ 358]---> Sorter-cost: 1012     Base: 2 2 2 2 2 2 2 2 2 2 7
108.97	c ---[ 356]---> Sorter-cost:  636     Base: 2 2 2 2 2 2 2 2 2 2 7
108.98	c ---[ 354]---> Sorter-cost:  931     Base: 2 2 2 2 2 2 2 2 2 2 7
108.99	c ---[ 352]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
109.00	c ---[ 350]---> Adder-cost: 116   maxlim: 77824   bits: 18/17
109.02	c ---[ 348]---> Adder-cost: 114   maxlim: 57344   bits: 17/16
109.03	c ---[ 346]---> Adder-cost: 52   maxlim: 57344   bits: 17/16
109.05	c ---[ 344]---> Sorter-cost: 1159     Base: 2 2 2 2 2 2 2 2 2 2 7
109.06	c ---[ 342]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
109.07	c ---[ 340]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
109.08	c ---[ 338]---> Sorter-cost:  737     Base: 2 2 2 2 2 2 2 2 2 2 7
109.09	c ---[ 336]---> Adder-cost: 210   maxlim: 118784   bits: 18/17
109.12	c ---[ 334]---> Adder-cost: 64   maxlim: 77824   bits: 18/17
109.14	c ---[ 332]---> Adder-cost: 80   maxlim: 118784   bits: 18/17
109.17	c ---[ 330]---> Adder-cost: 206   maxlim: 117760   bits: 18/17
109.20	c ---[ 328]---> Adder-cost: 154   maxlim: 80896   bits: 18/17
109.22	c ---[ 326]---> Adder-cost: 250   maxlim: 135168   bits: 19/18
109.26	c ---[ 324]---> Adder-cost: 382   maxlim: 232448   bits: 19/18
109.31	c ---[ 322]---> Adder-cost: 124   maxlim: 232448   bits: 19/18
109.37	c ---[ 320]---> Adder-cost: 124   maxlim: 232448   bits: 19/18
109.43	c ---[ 318]---> Adder-cost: 124   maxlim: 232448   bits: 19/18
109.48	c ---[ 316]---> Adder-cost: 264   maxlim: 133120   bits: 19/18
109.52	c ---[ 314]---> Adder-cost: 116   maxlim: 61440   bits: 17/16
109.53	c ---[ 312]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
109.55	c ---[ 310]---> Sorter-cost:  375     Base: 2 2 2 2 2 2 2 2 2 2 7
109.55	c ---[ 308]---> Sorter-cost:  927     Base: 2 2 2 2 2 2 2 2 2 2 7
109.56	c ---[ 306]---> Adder-cost: 184   maxlim: 92160   bits: 18/17
109.59	c ---[ 304]---> Sorter-cost:  690     Base: 2 2 2 2 2 2 2 2 2 2 7
109.59	c ---[ 302]---> Adder-cost: 186   maxlim: 104448   bits: 18/17
109.62	c ---[ 300]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
109.63	c ---[ 298]---> Sorter-cost: 1078     Base: 2 2 2 2 2 2 2 2 2 2 7
109.64	c ---[ 296]---> Sorter-cost:  664     Base: 2 2 2 2 2 2 2 2 2 2 7
109.65	c ---[ 294]---> Adder-cost: 118   maxlim: 61440   bits: 17/16
109.66	c ---[ 292]---> Sorter-cost: 1131     Base: 2 2 2 2 2 2 2 2 2 2 7
109.67	c ---[ 290]---> Adder-cost: 422   maxlim: 248832   bits: 19/18
109.73	c ---[ 288]---> Adder-cost: 384   maxlim: 267264   bits: 20/19
109.80	c ---[ 286]---> Adder-cost: 142   maxlim: 267264   bits: 20/19
109.87	c ---[ 284]---> Adder-cost: 100   maxlim: 62464   bits: 17/16
109.89	c ---[ 282]---> Adder-cost: 84   maxlim: 61440   bits: 17/16
109.91	c ---[ 280]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
109.92	c ---[ 278]---> Adder-cost: 386   maxlim: 221184   bits: 19/18
109.97	c ---[ 276]---> Sorter-cost: 1133     Base: 2 2 2 2 2 2 2 2 2 2 7
109.98	c ---[ 274]---> Sorter-cost:  995     Base: 2 2 2 2 2 2 2 2 2 2 7
109.99	c ---[ 272]---> Sorter-cost:  595     Base: 2 2 2 2 2 2 2 2 2 2 7
110.00	c ---[ 270]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
110.01	c ---[ 268]---> Sorter-cost:  433     Base: 2 2 2 2 2 2 2 2 2 2 7
110.01	c ---[ 266]---> Adder-cost: 272   maxlim: 144384   bits: 19/18
110.05	c ---[ 264]---> Sorter-cost:  393     Base: 2 2 2 2 2 2 2 2 2 2 7
110.06	c ---[ 262]---> Sorter-cost:  469     Base: 2 2 2 2 2 2 2 2 2 2 7
110.06	c ---[ 260]---> Sorter-cost:  446     Base: 2 2 2 2 2 2 2 2 2 2 7
110.07	c ---[ 258]---> Sorter-cost: 1269     Base: 2 2 2 2 2 2 2 2 2 2 7
110.08	c ---[ 256]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
110.09	c ---[ 254]---> Sorter-cost:  763     Base: 2 2 2 2 2 2 2 2 2 2 7
110.10	c ---[ 252]---> Adder-cost: 118   maxlim: 62464   bits: 17/16
110.12	c ---[ 250]---> Adder-cost: 236   maxlim: 142336   bits: 19/18
110.16	c ---[ 248]---> Adder-cost: 48   maxlim: 62464   bits: 17/16
110.17	c ---[ 246]---> Sorter-cost:  638     Base: 2 2 2 2 2 2 2 2 2 2 7
110.18	c ---[ 244]---> Sorter-cost:  476     Base: 2 2 2 2 2 2 2 2 2 2 7
110.19	c ---[ 242]---> Adder-cost: 182   maxlim: 101376   bits: 18/17
110.21	c ---[ 240]---> Adder-cost: 198   maxlim: 107520   bits: 18/17
110.24	c ---[ 238]---> Adder-cost: 252   maxlim: 152576   bits: 19/18
110.28	c ---[ 236]---> Adder-cost: 94   maxlim: 152576   bits: 19/18
110.32	c ---[ 234]---> Sorter-cost: 1026     Base: 2 2 2 2 2 2 2 2 2 2 7
110.33	c ---[ 232]---> Adder-cost: 160   maxlim: 100352   bits: 18/17
110.36	c ---[ 230]---> Adder-cost: 72   maxlim: 100352   bits: 18/17
110.38	c ---[ 228]---> Adder-cost: 170   maxlim: 97280   bits: 18/17
110.41	c ---[ 226]---> Adder-cost: 64   maxlim: 97280   bits: 18/17
110.43	c ---[ 224]---> Adder-cost: 220   maxlim: 139264   bits: 19/18
110.47	c ---[ 222]---> Adder-cost: 142   maxlim: 79872   bits: 18/17
110.49	c ---[ 220]---> Sorter-cost: 1099     Base: 2 2 2 2 2 2 2 2 2 2 7
110.50	c ---[ 218]---> Adder-cost: 130   maxlim: 71680   bits: 18/17
110.52	c ---[ 216]---> Adder-cost: 60   maxlim: 71680   bits: 18/17
110.54	c ---[ 214]---> Adder-cost: 222   maxlim: 120832   bits: 18/17
110.58	c ---[ 212]---> Adder-cost: 108   maxlim: 54272   bits: 17/16
110.59	c ---[ 210]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
110.60	c ---[ 208]---> Adder-cost: 170   maxlim: 86016   bits: 18/17
110.63	c ---[ 206]---> Adder-cost: 174   maxlim: 94208   bits: 18/17
110.65	c ---[ 204]---> Adder-cost: 162   maxlim: 84992   bits: 18/17
110.68	c ---[ 202]---> Adder-cost: 102   maxlim: 60416   bits: 17/16
110.69	c ---[ 200]---> Sorter-cost:  933     Base: 2 2 2 2 2 2 2 2 2 2 7
110.70	c ---[ 198]---> Sorter-cost:  744     Base: 2 2 2 2 2 2 2 2 2 2 7
110.71	c ---[ 196]---> Sorter-cost:  456     Base: 2 2 2 2 2 2 2 2 2 2 7
110.71	c ---[ 194]---> Sorter-cost: 1133     Base: 2 2 2 2 2 2 2 2 2 2 7
110.73	c ---[ 192]---> Sorter-cost: 1020     Base: 2 2 2 2 2 2 2 2 2 2 7
110.74	c ---[ 190]---> Sorter-cost:  859     Base: 2 2 2 2 2 2 2 2 2 2 7
110.75	c ---[ 188]---> Sorter-cost:  613     Base: 2 2 2 2 2 2 2 2 2 2 7
110.75	c ---[ 186]---> Sorter-cost:  373     Base: 2 2 2 2 2 2 2 2 2 2 7
110.76	c ---[ 184]---> Adder-cost: 362   maxlim: 242688   bits: 19/18
110.82	c ---[ 182]---> Adder-cost: 366   maxlim: 229376   bits: 19/18
110.87	c ---[ 180]---> Adder-cost: 94   maxlim: 55296   bits: 17/16
110.89	c ---[ 178]---> Sorter-cost:  989     Base: 2 2 2 2 2 2 2 2 2 2 7
110.90	c ---[ 176]---> Adder-cost: 198   maxlim: 117760   bits: 18/17
110.93	c ---[ 174]---> Sorter-cost: 1119     Base: 2 2 2 2 2 2 2 2 2 2 7
110.94	c ---[ 172]---> Sorter-cost:  699     Base: 2 2 2 2 2 2 2 2 2 2 7
110.95	c ---[ 170]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
110.95	c ---[ 168]---> Sorter-cost:  563     Base: 2 2 2 2 2 2 2 2 2 2 7
110.96	c ---[ 166]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
110.97	c ---[ 164]---> Sorter-cost:  611     Base: 2 2 2 2 2 2 2 2 2 2 7
110.97	c ---[ 162]---> Adder-cost: 90   maxlim: 51200   bits: 17/16
110.99	c ---[ 160]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
111.00	c ---[ 158]---> Adder-cost: 44   maxlim: 51200   bits: 17/16
111.01	c ---[ 156]---> Sorter-cost:  528     Base: 2 2 2 2 2 2 2 2 2 2 7
111.02	c ---[ 154]---> Sorter-cost:  921     Base: 2 2 2 2 2 2 2 2 2 2 7
111.03	c ---[ 152]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
111.04	c ---[ 150]---> Sorter-cost:  597     Base: 2 2 2 2 2 2 2 2 2 2 7
111.05	c ---[ 148]---> Adder-cost: 132   maxlim: 75776   bits: 18/17
111.07	c ---[ 146]---> Adder-cost: 64   maxlim: 75776   bits: 18/17
111.09	c ---[ 144]---> Adder-cost: 124   maxlim: 69632   bits: 18/17
111.11	c ---[ 142]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
111.12	c ---[ 140]---> Sorter-cost:  261     Base: 2 2 2 2 2 2 2 2 2 2 2
111.12	c ---[ 138]---> Sorter-cost:  221     Base: 2 2 2 2 2 2 2 2 2 2 2
111.12	c ---[ 136]---> Sorter-cost:  657     Base: 2 2 2 2 2 2 2 2 2 2 7
111.13	c ---[ 134]---> Sorter-cost:  495     Base: 2 2 2 2 2 2 2 2 2 2 7
111.14	c ---[ 132]---> Sorter-cost:  617     Base: 2 2 2 2 2 2 2 2 2 2 7
111.15	c ---[ 130]---> Adder-cost: 126   maxlim: 72704   bits: 18/17
111.17	c ---[ 128]---> Sorter-cost:  520     Base: 2 2 2 2 2 2 2 2 2 2 7
111.17	c ---[ 126]---> Adder-cost: 56   maxlim: 72704   bits: 18/17
111.19	c ---[ 124]---> Adder-cost: 94   maxlim: 61440   bits: 17/16
111.21	c ---[ 122]---> Adder-cost: 50   maxlim: 61440   bits: 17/16
111.23	c ---[ 120]---> Adder-cost: 114   maxlim: 63488   bits: 17/16
111.24	c ---[ 118]---> Adder-cost: 52   maxlim: 63488   bits: 17/16
111.26	c ---[ 116]---> Sorter-cost: 1172     Base: 2 2 2 2 2 2 2 2 2 2 7
111.27	c ---[ 114]---> Adder-cost: 148   maxlim: 87040   bits: 18/17
111.29	c ---[ 112]---> Sorter-cost: 1011     Base: 2 2 2 2 2 2 2 2 2 2 7
111.30	c ---[ 110]---> Sorter-cost:  987     Base: 2 2 2 2 2 2 2 2 2 2 7
111.31	c ---[ 108]---> Sorter-cost:  757     Base: 2 2 2 2 2 2 2 2 2 2 7
111.32	c ---[ 106]---> Sorter-cost:  553     Base: 2 2 2 2 2 2 2 2 2 2 7
111.33	c ---[ 104]---> Sorter-cost:  736     Base: 2 2 2 2 2 2 2 2 2 2 7
111.34	c ---[ 102]---> Sorter-cost: 1275     Base: 2 2 2 2 2 2 2 2 2 2 7
111.35	c ---[ 100]---> Sorter-cost:  779     Base: 2 2 2 2 2 2 2 2 2 2 7
111.36	c ---[  98]---> Adder-cost: 158   maxlim: 83968   bits: 18/17
111.39	c ---[  96]---> Sorter-cost: 1074     Base: 2 2 2 2 2 2 2 2 2 2 7
111.40	c ---[  94]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
111.41	c ---[  92]---> Adder-cost: 94   maxlim: 54272   bits: 17/16
111.42	c ---[  90]---> Adder-cost: 46   maxlim: 54272   bits: 17/16
111.43	c ---[  88]---> Sorter-cost:  965     Base: 2 2 2 2 2 2 2 2 2 2 7
111.44	c ---[  86]---> Adder-cost: 116   maxlim: 59392   bits: 17/16
111.46	c ---[  84]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
111.47	c ---[  82]---> Sorter-cost: 1242     Base: 2 2 2 2 2 2 2 2 2 2 7
111.48	c ---[  80]---> Sorter-cost:  818     Base: 2 2 2 2 2 2 2 2 2 2 7
111.49	c ---[  78]---> Sorter-cost:  771     Base: 2 2 2 2 2 2 2 2 2 2 7
111.50	c ---[  76]---> Sorter-cost:  407     Base: 2 2 2 2 2 2 2 2 2 2 7
111.51	c ---[  74]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
111.51	c ---[  72]---> Sorter-cost:  544     Base: 2 2 2 2 2 2 2 2 2 2 7
111.52	c ---[  70]---> Sorter-cost: 1201     Base: 2 2 2 2 2 2 2 2 2 2 7
111.53	c ---[  69]---> 
1801.17	c *** TERMINATED ***
1801.17	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node44/watcher-35712-1149307265 -o ROOT/results/node44/solver-35712-1149307265 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node44/35712-1149307265/instance-35712-1149307265.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/70 18956
/proc/meminfo: memFree=1533176/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=1048 CPUtime=0
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 196393353 1073152 88 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 262 88 67 215 0 44 0

[startup+10.0031 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 19014
/proc/meminfo: memFree=1491600/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=44620 CPUtime=9.96
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 14284 0 0 0 985 11 0 0 25 0 1 0 196393353 45690880 10554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809086 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 11155 10554 109 215 0 10937 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 44620

[startup+20.011 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1475512/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=63796 CPUtime=19.93
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 19536 0 0 0 1977 16 0 0 25 0 1 0 196393353 65327104 14817 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005302 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 15949 14817 109 215 0 15731 0
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 63796

[startup+30.0188 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1424912/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=114592 CPUtime=29.93
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37469 0 0 0 2970 23 0 0 25 0 1 0 196393353 117342208 27483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134833857 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28648 27483 109 215 0 28430 0
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 114592

[startup+40.0247 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1424976/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=114592 CPUtime=39.93
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 3970 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28648 27485 109 215 0 28430 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 114592

[startup+50.0315 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1425040/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=114592 CPUtime=49.93
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 4970 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28648 27485 109 215 0 28430 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 114592

[startup+60.0373 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1425040/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=114592 CPUtime=59.94
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 5971 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809081 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28648 27485 109 215 0 28430 0
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 114592

[startup+70.0442 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1424976/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=114592 CPUtime=69.94
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 6971 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012196 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28648 27485 109 215 0 28430 0
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 114592

[startup+80.051 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1425040/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=114592 CPUtime=79.94
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 7971 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28648 27485 109 215 0 28430 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 114592

[startup+90.0569 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1425040/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=114592 CPUtime=89.95
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 8972 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28648 27485 109 215 0 28430 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 114592

[startup+100.063 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1423376/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=115516 CPUtime=99.95
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37885 0 0 0 9971 24 0 0 25 0 1 0 196393353 118288384 27899 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679985 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28879 27899 109 215 0 28661 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 115516

[startup+110.07 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1423376/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=115516 CPUtime=109.96
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37886 0 0 0 10971 25 0 0 25 0 1 0 196393353 118288384 27900 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 28879 27900 109 215 0 28661 0
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 115516

[startup+120.075 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1373008/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=165756 CPUtime=119.95
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 51735 0 0 0 11963 32 0 0 25 0 1 0 196393353 169734144 40470 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 41439 40470 109 215 0 41221 0
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 165756

[startup+130.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1311760/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=226840 CPUtime=129.96
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 68323 0 0 0 12955 41 0 0 25 0 1 0 196393353 232284160 55740 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 56710 55740 109 215 0 56492 0
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 226840

[startup+140.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1285328/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=252196 CPUtime=139.96
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 77553 0 0 0 13950 46 0 0 25 0 1 0 196393353 258248704 62333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 63049 62333 109 215 0 62831 0
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 252196

[startup+150.093 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1215312/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=326472 CPUtime=149.96
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 100266 0 0 0 14939 57 0 0 25 0 1 0 196393353 334307328 79773 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665767 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 81618 79773 109 215 0 81400 0
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 326472

[startup+160.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1177616/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=362244 CPUtime=159.96
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 15934 62 0 0 25 0 1 0 196393353 370937856 89182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134669574 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 90561 89182 109 215 0 90343 0
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 362244

[startup+170.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=169.97
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 16934 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 320060

[startup+180.111 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=179.97
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 17934 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 320060

[startup+190.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=189.97
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 18934 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 320060

[startup+200.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=199.97
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 19934 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811828 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 320060

[startup+210.128 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 19096
/proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956

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

[pid=18956] ppid=18954 vsize=320060 CPUtime=1781.39
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178076 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012139 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 320060

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1782.4
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178177 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134691048 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 320060

[startup+1784.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1783.4
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178277 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 320060

[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1784.4
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178377 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838351 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 320060

[startup+1786.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1785.41
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178478 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003213 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 320060

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1786.41
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178578 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012196 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 320060

[startup+1788.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1787.42
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178679 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005772 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1787.42
Current children cumulated vsize (Kb) 320060

[startup+1789.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1788.42
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178779 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134649208 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 320060

[startup+1790.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1789.43
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178880 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003213 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (Kb) 320060

[startup+1791.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1790.43
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178980 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812138 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 320060

[startup+1792.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1791.44
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179081 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (Kb) 320060

[startup+1793.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1792.44
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179181 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808996 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 320060

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1793.44
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179281 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 320060

[startup+1795.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1794.45
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179382 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811772 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 320060

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1795.45
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179482 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 320060

[startup+1797.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219856/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1796.46
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179583 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (Kb) 320060

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219856/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1797.46
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179683 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 320060

[startup+1799.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219856/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1798.47
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179784 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838324 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 320060

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219856/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1799.47
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179884 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809906 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 320060

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1800.48
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179985 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 320060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19096
/proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956
[pid=18956] ppid=18954 vsize=320060 CPUtime=1800.48
/proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179985 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003212 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18956/statm: 80015 78636 109 215 0 79797 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 320060

Sending SIGTERM to -18956
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.23
CPU time (s): 1800.54
CPU user time (s): 1799.86
CPU system time (s): 0.685895
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (Kb): 362244

Launcher Data (download as text)

Begin job on node44 on Sat Jun  3 04:01:05 UTC 2006


FILE ID= 35712-1149307265

PBS_JOBID= 307681

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  0b7be4a8ca67db62b7397f891414d40c

RANDOM SEED= 581891561


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1533512 kB
Buffers:         27664 kB
Cached:         421512 kB
SwapCached:       3364 kB
Active:          48184 kB
Inactive:       410628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1533512 kB
SwapTotal:     4192956 kB
SwapFree:      4181400 kB
Dirty:             228 kB
Writeback:           0 kB
Mapped:          16212 kB
Slab:            49192 kB
Committed_AS:   284708 kB
PageTables:       1644 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Sat Jun  3 04:31:07 UTC 2006